Pow Mul Pow acoth E tan Add 0.665773750028354 x0 sech x0 Mul Mul Mul x1 x0 x4 -4 
Mul Pow Mul Pow acoth E tan Add 0.665773750028354 x0 sech x0 Add Mul Mul Mul x1 x0 x4 -4 -1 Add Mul Mul Mul Mul x1 x0 x4 -4 Add Mul sech x0 Mul Pow acoth E Add tan Add 0.665773750028354 x0 -1 Mul Mul acoth E log acoth E Pow sec Add 0.665773750028354 x0 2 Mul Pow acoth E tan Add 0.665773750028354 x0 Mul tanh x0 Mul -1 sech x0 Mul Mul Mul Pow acoth E tan Add 0.665773750028354 x0 sech x0 log Mul Pow acoth E tan Add 0.665773750028354 x0 sech x0 Mul -4 Mul x4 x1 