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