Mul x0 tanh Add cot Pow Mul acosh x0 x0 4 x0 
Add tanh Add cot Pow Mul acosh x0 x0 4 x0 Mul x0 Mul Pow sech Add cot Pow Mul acosh x0 x0 4 x0 2 Add Mul Mul -1 Pow csc Pow Mul acosh x0 x0 4 2 Mul Pow Mul acosh x0 x0 3 Mul 4 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 1 