Add Mul 0.642092615934331 Add exp x0 Mul Mul 27 pi Mul Add acoth sinh acos x0 x0 x0 x0 
Add Mul 0.642092615934331 Add exp x0 Mul Mul 27 pi Add Mul x0 Add Mul Mul cosh acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sinh acos x0 sinh acos x0 -1 1 Add acoth sinh acos x0 x0 1 