Mul Pow cbrt exp Mul -0.909297426825682 x0 acot E x0 
Add Mul x0 Mul Pow cbrt exp Mul -0.909297426825682 x0 Add acot E -1 Mul acot E Mul Pow Mul Mul 3 cbrt exp Mul -0.909297426825682 x0 cbrt exp Mul -0.909297426825682 x0 -1 Mul exp Mul -0.909297426825682 x0 -0.909297426825682 Pow cbrt exp Mul -0.909297426825682 x0 acot E 