Mul Mul cosh x0 Mul Pow cbrt x1 x0 acosh x0 x0 
Add Mul x0 Add Mul Mul Pow cbrt x1 x0 acosh x0 sinh x0 Mul cosh x0 Add Mul acosh x0 Mul Pow cbrt x1 Add x0 -1 Mul cbrt x1 log cbrt x1 Mul Pow cbrt x1 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul cosh x0 Mul Pow cbrt x1 x0 acosh x0 