exp Add Pow cbrt Mul x0 x0 Pow x0 acosh E x0 
Mul exp Add Pow cbrt Mul x0 x0 Pow x0 acosh E x0 Add Mul Pow cbrt Mul x0 x0 Add Pow x0 acosh E -1 Add Mul Pow x0 acosh E Mul Pow Mul Mul 3 cbrt Mul x0 x0 cbrt Mul x0 x0 -1 Add x0 x0 Mul Mul cbrt Mul x0 x0 log cbrt Mul x0 x0 Mul Pow x0 Add acosh E -1 acosh E 1 