RealDomain 

`+`(`/`(`*`(`h w = h w2 + `, `*`(m0, `*`(`^`(c, 2)))), `*`(sqrt(`+`(1, `-`(`^`(`/`(`*`(v), `*`(c)), 2)))))), `-`(`*`(m0, `*`(`^`(c, 2))))) 

`+`(`/`(`*`(`h w = h w2 + `, `*`(m0, `*`(`^`(c, 2)))), `*`(`^`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `/`(1, 2)))), `-`(`*`(m0, `*`(`^`(c, 2))))) (1)
 

 

Greiner 1.6 (above) 

`/`(`*`(h, `*`(w)), `*`(c)) = `+`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)), `/`(`*`(m0, `*`(v, `*`(cos(S)))), `*`(sqrt(`+`(1, `-`(`^`(`/`(`*`(v), `*`(c)), 2))))))) 

`/`(`*`(h, `*`(w)), `*`(c)) = `+`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)), `/`(`*`(m0, `*`(v, `*`(cos(S)))), `*`(`^`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `/`(1, 2))))) (2)
 

 

 

 

 

 

`/`(`*`(h, `*`(w)), `*`(c)) = `+`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)), `/`(`*`(m0, `*`(v, `*`(cos(S)))), `*`(`^`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `/`(1, 2)))))
`+`(`/`(`*`(h, `*`(w)), `*`(c)), `-`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)))) = `/`(`*`(m0, `*`(v, `*`(cos(S)))), `*`(`^`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `/`(1, 2))))
`*`(`^`(`+`(`/`(`*`(h, `*`(w)), `*`(c)), `-`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)))), 2)) = `/`(`*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`^`(cos(S), 2)))), `*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, ...
`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(`+`(`/`(`*`(h, `*`(w)), `*`(c)), `-`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)))), 2))) = `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`^`(cos(S), 2)...
`/`(`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(`+`(`/`(`*`(h, `*`(w)), `*`(c)), `-`(`/`(`*`(h, `*`(w2, `*`(cos(O)))), `*`(c)))), 2))), `*`(`^`(m0, 2), `*`(`^`(v, 2)))) = `*`(`^`(cos... (3)
 

 

`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`(`^`(m0,... (4)
 

 

 

`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`(`^`(m0,...
`*`(`^`(`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`... (5)
 

 

Greiner 1.8 (above) 

 

`/`(`*`(h, `*`(w2, `*`(sin(O)))), `*`(c)) = `/`(`*`(m0, `*`(v, `*`(sqrt(`+`(1, `-`(`*`(`^`(cos(S), 2)))))))), `*`(sqrt(`+`(1, `-`(`^`(`/`(`*`(v), `*`(c)), 2)))))) 

`/`(`*`(h, `*`(w2, `*`(sin(O)))), `*`(c)) = `/`(`*`(m0, `*`(v, `*`(`^`(`+`(1, `-`(`*`(`^`(cos(S), 2)))), `/`(1, 2))))), `*`(`^`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `/`(1, 2)))) (6)
 

 

 

 

 

 

`/`(`*`(h, `*`(w2, `*`(sin(O)))), `*`(c)) = `/`(`*`(m0, `*`(v, `*`(`^`(`+`(1, `-`(`*`(`^`(cos(S), 2)))), `/`(1, 2))))), `*`(`^`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `/`(1, 2))))
`/`(`*`(`^`(h, 2), `*`(`^`(w2, 2), `*`(`^`(sin(O), 2)))), `*`(`^`(c, 2))) = `/`(`*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`+`(1, `-`(`*`(`^`(cos(S), 2))))))), `*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2)...
`/`(`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(h, 2), `*`(`^`(w2, 2), `*`(`^`(sin(O), 2))))), `*`(`^`(c, 2))) = `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`+`(1, `-`(`*`(`^`(cos(S), 2))))))...
`/`(`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(h, 2), `*`(`^`(w2, 2), `*`(`^`(sin(O), 2))))), `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`^`(c, 2))))) = `+`(1, `-`(`*`(`^`(cos(S), 2))))
`+`(`/`(`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(h, 2), `*`(`^`(w2, 2), `*`(`^`(sin(O), 2))))), `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`^`(c, 2))))), `-`(1)) = `+`(`-`(`*`(`^`(cos(S),... (7)
 

 

 

`+`(`/`(`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(h, 2), `*`(`^`(w2, 2), `*`(`^`(sin(O), 2))))), `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`^`(c, 2))))), `-`(1)) = `+`(`-`(`*`(`^`(cos(S),...
`+`(`-`(`/`(`*`(`+`(1, `-`(`/`(`*`(`^`(v, 2)), `*`(`^`(c, 2))))), `*`(`^`(h, 2), `*`(`^`(w2, 2), `*`(`^`(sin(O), 2))))), `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`^`(c, 2)))))), 1) = `*`(`^`(cos(S), 2)) (8)
 

 

`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`(`^`(m0,... 

`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`(`^`(m0,... (9)
 

 

 

 

 

`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`(`^`(m0,...
`+`(`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O)))))), `*`(`^`(w, 2)))))), `*`(`^`(c, 4), `*`(`^`...
`*`(`^`(c, 4), `*`(`^`(m0, 2), `*`(`^`(v, 2), `*`(`+`(`/`(`*`(`+`(`*`(`^`(c, 2)), `-`(`*`(`^`(v, 2)))), `*`(`^`(h, 2), `*`(`+`(`*`(`^`(w2, 2), `*`(`^`(cos(O), 2))), `-`(`*`(2, `*`(w, `*`(w2, `*`(cos(O...
`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(v, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O)))))))), `-`(`*`(`^`(h, 2), `*`(`^`(v, 2), `*`(`^`(w, 2)))))... (10)
 

 

 

 

 

 

`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(v, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O)))))))), `-`(`*`(`^`(h, 2), `*`(`^`(v, 2), `*`(`^`(w, 2)))))...
`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(v, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(v, 2), `*`(`^`(w, 2))))), `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^...
`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(v, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(v, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2), `*`(`^`(v, 2))))), `*`(`^`(h, 2), `*`(...
`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(v, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(v, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2), `*`(`^`(v, 2))))), `-`(`*`(`^`(h, 2), ...
`*`(`^`(v, 2), `*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(`^`(h, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2)))), `-`(`*`(`^`(h, 2), `*`(`^`(w2, 2))))))) = `+`(`*... (11)
 

 

 

 

`*`(`^`(v, 2), `*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(`^`(h, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2)))), `-`(`*`(`^`(h, 2), `*`(`^`(w2, 2))))))) = `+`(`*...
`*`(`^`(v, 2)) = `/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w2, 2)...
v = `*`(`^`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w2, 2))))))... (12)
 

 

`*`(h, `*`(w)) = `+`(`*`(h, `*`(w2)), `/`(`*`(m0, `*`(`^`(c, 2))), `*`(`^`(`+`(1, `-`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2)... (13)
 

 

 

`*`(h, `*`(w)) = `+`(`*`(h, `*`(w2)), `/`(`*`(m0, `*`(`^`(c, 2))), `*`(`^`(`+`(1, `-`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2)...
`+`(`*`(h, `*`(w)), `-`(`*`(h, `*`(w2)))) = `+`(`/`(`*`(m0, `*`(`^`(c, 2))), `*`(`^`(`+`(1, `-`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`... (14)
 

 

 

wrk = `+`(1, `-`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w2, 2)))))))... 

wrk = `+`(1, `-`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w2, 2)... (15)
 

 

 

 

wrk = `+`(1, `-`(`/`(`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(`^`(c, 2), `*`(w, `*`(w2, `*`(cos(O))))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w, 2))))), `-`(`*`(`^`(h, 2), `*`(`^`(c, 2), `*`(`^`(w2, 2)...
`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(`^`(h, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2)))), `-`(`*`(`^`(h, 2), `*`(`^`(w2, 2))))), `*`(`^`(c, 2), `*`(wrk))...
`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(`^`(h, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2)))), `-`(`*`(`^`(h, 2), `*`(`^`(w2, 2))))), `*`(`^`(c, 2), `*`(wrk))...
`*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(`^`(h, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2)))), `-`(`*`(`^`(h, 2), `*`(`^`(w2, 2))))), `*`(`^`(c, 2), `*`(wrk))... (16)
 

wrk = `+`(`-`(`/`(`*`(`^`(c, 4), `*`(`^`(m0, 2))), `*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(`^`(h, 2), `*`(`^`(w, 2)))), `-`(`*`(`^`(c, 4), `*`(`^`(m0, 2)))), `-`(`*`(`^`(... 

`+`(`*`(h, `*`(w)), `-`(`*`(h, `*`(w2)))) = `+`(`/`(`*`(m0, `*`(`^`(c, 2))), `*`(sqrt(`+`(`-`(`/`(`*`(`^`(c, 4), `*`(`^`(m0, 2))), `*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`... 

`+`(`*`(h, `*`(w)), `-`(`*`(h, `*`(w2)))) = `+`(`/`(`*`(m0, `*`(`^`(c, 2))), `*`(`^`(`+`(`-`(`/`(`*`(`^`(c, 4), `*`(`^`(m0, 2))), `*`(`+`(`*`(2, `*`(`^`(h, 2), `*`(w, `*`(w2, `*`(cos(O)))))), `-`(`*`(... (17)