Mul Mul Pow x6 x2 acosh Mul acoth E x0 Pow x0 Pow 4 tanh Add x6 x2 
Add Mul Pow x0 Pow 4 tanh Add x6 x2 Mul Pow x6 x2 Mul acoth E Pow Mul sqrt Add Mul acoth E x0 -1 sqrt Add 1 Mul acoth E x0 -1 Mul Mul Pow x6 x2 acosh Mul acoth E x0 Mul Pow x0 Add Pow 4 tanh Add x6 x2 -1 Pow 4 tanh Add x6 x2 