Mul Mul x0 x3 Mul pi asinh cosh Pow acoth Add 4 x0 sech x0 
Add Mul Mul pi asinh cosh Pow acoth Add 4 x0 sech x0 x3 Mul Mul x0 x3 Mul pi Mul Mul sinh Pow acoth Add 4 x0 sech x0 Mul Pow acoth Add 4 x0 Add sech x0 -1 Add Mul sech x0 Pow Add 1 Mul -1 Mul Add 4 x0 Add 4 x0 -1 Mul Mul acoth Add 4 x0 log acoth Add 4 x0 Mul tanh x0 Mul -1 sech x0 Pow sqrt Add 1 Mul cosh Pow acoth Add 4 x0 sech x0 cosh Pow acoth Add 4 x0 sech x0 -1 