Mul Pow asech Mul x0 x0 x1 Mul Mul x0 acsch x0 cosh Add 2.27869104755642 x2 
Add Mul Mul Mul x0 acsch x0 cosh Add 2.27869104755642 x2 Mul Pow asech Mul x0 x0 Add x1 -1 Mul x1 Mul Add x0 x0 Pow Mul Mul Mul x0 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 -1 Mul Pow asech Mul x0 x0 x1 Mul cosh Add 2.27869104755642 x2 Add acsch x0 Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 