Pow Add x3 x3 Mul Mul -4 atanh Add x0 Mul E x0 Pow sqrt acot cos x0 cbrt E 
Mul Pow Add x3 x3 Add Mul Mul -4 atanh Add x0 Mul E x0 Pow sqrt acot cos x0 cbrt E -1 Mul Mul Add x3 x3 log Add x3 x3 Add Mul Pow sqrt acot cos x0 cbrt E Mul -4 Mul Add 1 E Pow Add 1 Mul -1 Mul Add x0 Mul E x0 Add x0 Mul E x0 -1 Mul Mul -4 atanh Add x0 Mul E x0 Mul Pow sqrt acot cos x0 Add cbrt E -1 Mul cbrt E Mul Pow Mul 2 sqrt acot cos x0 -1 Mul -1 Mul Mul -1 sin x0 Pow Add 1 Mul cos x0 cos x0 -1 