Mul tanh sech Mul pi Pow x0 Mul asinh E 2 Add x0 x0 
Add Mul Add x0 x0 Mul Pow sech sech Mul pi Pow x0 Mul asinh E 2 2 Mul Mul tanh Mul pi Pow x0 Mul asinh E 2 Mul -1 sech Mul pi Pow x0 Mul asinh E 2 Mul pi Mul Pow x0 Add Mul asinh E 2 -1 Mul asinh E 2 Mul tanh sech Mul pi Pow x0 Mul asinh E 2 2 