Add acos x0 Pow Add Mul Pow acosh E -4 Add acsch pi cosh x0 -2 atanh Mul 4 E 
Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Add Mul Pow acosh E -4 Add acsch pi cosh x0 -2 Add atanh Mul 4 E -1 Mul atanh Mul 4 E Mul Pow acosh E -4 sinh x0 