Pow Add acosh x0 acosh Add x1 2 Pow x0 0.333333333333333 
Mul Pow Add acosh x0 acosh Add x1 2 Add Pow x0 0.333333333333333 -1 Add Mul Pow x0 0.333333333333333 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add acosh x0 acosh Add x1 2 log Add acosh x0 acosh Add x1 2 Mul Pow x0 -0.666666666666667 0.333333333333333 