Add x5 Pow x0 Mul x1 csc tanh Pow acosh x0 x5 
Mul Pow x0 Add Mul x1 csc tanh Pow acosh x0 x5 -1 Add Mul x1 csc tanh Pow acosh x0 x5 Mul Mul x0 log x0 Mul x1 Mul Mul Mul -1 cot tanh Pow acosh x0 x5 csc tanh Pow acosh x0 x5 Mul Pow sech Pow acosh x0 x5 2 Mul Pow acosh x0 Add x5 -1 Mul x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 