Mul asinh x0 sqrt sech Mul Mul -0.0156250000000000 x0 pi 
Add Mul sqrt sech Mul Mul -0.0156250000000000 x0 pi Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul Pow Mul 2 sqrt sech Mul Mul -0.0156250000000000 x0 pi -1 Mul Mul tanh Mul Mul -0.0156250000000000 x0 pi Mul -1 sech Mul Mul -0.0156250000000000 x0 pi Mul pi -0.0156250000000000 