Add Add E x0 Pow acos cbrt asech x7 Pow x3 Add x0 x3 
Add 1 Mul Pow acos cbrt asech x7 Add Pow x3 Add x0 x3 -1 Mul Mul acos cbrt asech x7 log acos cbrt asech x7 Mul Pow x3 Add Add x0 x3 -1 Mul x3 log x3 