Mul pi acos Pow 3 acot acosh Mul atan sinh acosh x0 0.785398163397448 
Mul pi Mul -1 Mul Mul Pow 3 Add acot acosh Mul atan sinh acosh x0 0.785398163397448 -1 Mul 4.09861228866811 Mul -1 Mul Mul Mul 0.785398163397448 Mul Mul cosh acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul sinh acosh x0 sinh acosh x0 -1 Pow Mul sqrt Add Mul atan sinh acosh x0 0.785398163397448 -1 sqrt Add 1 Mul atan sinh acosh x0 0.785398163397448 -1 Pow Add 1 Mul acosh Mul atan sinh acosh x0 0.785398163397448 acosh Mul atan sinh acosh x0 0.785398163397448 -1 Pow sqrt Add 1 Mul -1 Mul Pow 3 acot acosh Mul atan sinh acosh x0 0.785398163397448 Pow 3 acot acosh Mul atan sinh acosh x0 0.785398163397448 -1 