Mul x0 Mul Pow cbrt acot x0 Mul 2 x0 atanh Add E Mul x0 -4 
Add Mul Pow cbrt acot x0 Mul 2 x0 atanh Add E Mul x0 -4 Mul x0 Add Mul atanh Add E Mul x0 -4 Mul Pow cbrt acot x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Pow Mul Mul 3 cbrt acot x0 cbrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul cbrt acot x0 log cbrt acot x0 2 Mul Pow cbrt acot x0 Mul 2 x0 Mul -4 Pow Add 1 Mul -1 Mul Add E Mul x0 -4 Add E Mul x0 -4 -1 