acos Mul Mul Mul acos sinh x0 x0 E x3 
Mul -1 Mul Mul x3 Mul E Add Mul x0 Mul -1 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 acos sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul Mul acos sinh x0 x0 E x3 Mul Mul Mul acos sinh x0 x0 E x3 -1 