Pow Mul -2 x3 Pow pi asinh sinh x0 
Mul Pow Mul -2 x3 Add Pow pi asinh sinh x0 -1 Mul Mul Mul -2 x3 log Mul -2 x3 Mul Pow pi Add asinh sinh x0 -1 Mul Mul pi log pi Mul cosh x0 Pow sqrt Add 1 Mul sinh x0 sinh x0 -1 