Mul Mul x0 2 Pow tanh x5 Pow x0 cos acot acos sqrt E 
Add Mul Pow tanh x5 Pow x0 cos acot acos sqrt E 2 Mul Mul x0 2 Mul Pow tanh x5 Add Pow x0 cos acot acos sqrt E -1 Mul Mul tanh x5 log tanh x5 Mul Pow x0 Add cos acot acos sqrt E -1 cos acot acos sqrt E 