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