cos atan Add Add x0 acos Mul sinh x0 -0.476401224401701 -1.13705502240548 
Mul Mul -1 sin atan Add Add x0 acos Mul sinh x0 -0.476401224401701 -1.13705502240548 Mul Add 1 Mul -1 Mul Mul -0.476401224401701 cosh x0 Pow sqrt Add 1 Mul -1 Mul Mul sinh x0 -0.476401224401701 Mul sinh x0 -0.476401224401701 -1 Pow Add 1 Mul Add Add x0 acos Mul sinh x0 -0.476401224401701 -1.13705502240548 Add Add x0 acos Mul sinh x0 -0.476401224401701 -1.13705502240548 -1 