acosh Mul Mul Mul coth Add 5 x4 x0 Pow x0 acot E x0 
Mul Add Mul x0 Add Mul Pow x0 acot E coth Add 5 x4 Mul Mul coth Add 5 x4 x0 Mul Pow x0 Add acot E -1 acot E Mul Mul coth Add 5 x4 x0 Pow x0 acot E Pow Mul sqrt Add Mul Mul Mul coth Add 5 x4 x0 Pow x0 acot E x0 -1 sqrt Add 1 Mul Mul Mul coth Add 5 x4 x0 Pow x0 acot E x0 -1 