Pow Mul Mul acosh E Mul Mul acsch sqrt x0 x2 x0 x0 log x0 
Mul Pow Mul Mul acosh E Mul Mul acsch sqrt x0 x2 x0 x0 Add log x0 -1 Add Mul log x0 Add Mul x0 Mul acosh E Add Mul x0 Mul x2 Mul Mul -1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Mul acsch sqrt x0 x2 Mul acosh E Mul Mul acsch sqrt x0 x2 x0 Mul Mul Mul Mul acosh E Mul Mul acsch sqrt x0 x2 x0 x0 log Mul Mul acosh E Mul Mul acsch sqrt x0 x2 x0 x0 Pow x0 -1 