Mul acosh sinh x0 Mul Pow x0 3 acot Mul log x0 x4 
Add Mul Mul Pow x0 3 acot Mul log x0 x4 Mul cosh x0 Pow Mul sqrt Add sinh x0 -1 sqrt Add 1 sinh x0 -1 Mul acosh sinh x0 Add Mul acot Mul log x0 x4 Mul Pow x0 2 3 Mul Pow x0 3 Mul -1 Mul Mul x4 Pow x0 -1 Pow Add 1 Mul Mul log x0 x4 Mul log x0 x4 -1 