Mul Pow Mul Add x0 atan acoth cbrt x0 Add x3 x0 x1 Add x0 x0 
Add Mul Add x0 x0 Mul Pow Mul Add x0 atan acoth cbrt x0 Add x3 x0 Add x1 -1 Mul x1 Add Mul Add x3 x0 Add 1 Mul Mul Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Pow Add 1 Mul -1 Mul cbrt x0 cbrt x0 -1 Pow Add 1 Mul acoth cbrt x0 acoth cbrt x0 -1 Add x0 atan acoth cbrt x0 Mul Pow Mul Add x0 atan acoth cbrt x0 Add x3 x0 x1 2 