Add 3 Pow coth csch Mul x0 x1 tan Pow acosh x0 0.0625000000000000 
Mul Pow coth csch Mul x0 x1 Add tan Pow acosh x0 0.0625000000000000 -1 Add Mul tan Pow acosh x0 0.0625000000000000 Mul Mul -1 Pow csch csch Mul x0 x1 2 Mul Mul Mul -1 coth Mul x0 x1 csch Mul x0 x1 x1 Mul Mul coth csch Mul x0 x1 log coth csch Mul x0 x1 Mul Pow sec Pow acosh x0 0.0625000000000000 2 Mul Pow acosh x0 -0.937500000000000 Mul 0.0625000000000000 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 