Add Mul 5 Mul csch E Add Add x0 Mul Pow -2 E acos atanh x0 3 tan Pow x0 -0.250000000000000 
Add Mul 5 Mul csch E Add 1 Mul Pow -2 E Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Mul Pow sec Pow x0 -0.250000000000000 2 Mul Pow x0 -1.25000000000000 -0.250000000000000 