Add sec Pow Pow acoth x0 E tanh Pow sec x0 sec Pow Mul sqrt x0 sqrt x0 x0 -1.57079632679490 
Mul Mul tan Pow Pow acoth x0 E tanh Pow sec x0 sec Pow Mul sqrt x0 sqrt x0 x0 sec Pow Pow acoth x0 E tanh Pow sec x0 sec Pow Mul sqrt x0 sqrt x0 x0 Mul Pow Pow acoth x0 E Add tanh Pow sec x0 sec Pow Mul sqrt x0 sqrt x0 x0 -1 Add Mul tanh Pow sec x0 sec Pow Mul sqrt x0 sqrt x0 x0 Mul Pow acoth x0 Add E -1 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow acoth x0 E log Pow acoth x0 E Mul Pow sech Pow sec x0 sec Pow Mul sqrt x0 sqrt x0 x0 2 Mul Pow sec x0 Add sec Pow Mul sqrt x0 sqrt x0 x0 -1 Add Mul sec Pow Mul sqrt x0 sqrt x0 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul tan Pow Mul sqrt x0 sqrt x0 x0 sec Pow Mul sqrt x0 sqrt x0 x0 Mul Pow Mul sqrt x0 sqrt x0 Add x0 -1 Add Mul x0 Add Mul sqrt x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 sqrt x0 log Mul sqrt x0 sqrt x0 