Mul sqrt Mul Mul tan asech x5 cbrt pi Add Mul -3 x0 x1 x0 
Add Mul x0 Mul Pow Mul 2 sqrt Mul Mul tan asech x5 cbrt pi Add Mul -3 x0 x1 -1 Mul Mul tan asech x5 cbrt pi -3 sqrt Mul Mul tan asech x5 cbrt pi Add Mul -3 x0 x1 