Add Mul cosh Pow 6.08249262625116 Mul x1 x0 tanh acot x0 x0 
Add Add Mul tanh acot x0 Mul sinh Pow 6.08249262625116 Mul x1 x0 Mul Pow 6.08249262625116 Add Mul x1 x0 -1 Mul 7.88790720963680 x1 Mul cosh Pow 6.08249262625116 Mul x1 x0 Mul Pow sech acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 1 