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