Mul Pow acot x0 cbrt Add x0 E x5 
Mul x5 Mul Pow acot x0 Add cbrt Add x0 E -1 Add Mul cbrt Add x0 E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Pow Mul Mul 3 cbrt Add x0 E cbrt Add x0 E -1 