Mul x0 Mul x0 Mul x0 Mul E cosh Mul tanh pi coth acos acosh exp x2 
Add Mul x0 Mul x0 Mul E cosh Mul tanh pi coth acos acosh exp x2 Mul x0 Add Mul x0 Mul E cosh Mul tanh pi coth acos acosh exp x2 Mul x0 Mul E cosh Mul tanh pi coth acos acosh exp x2 