Mul Mul x0 x0 Pow exp x3 Mul Mul x0 acot Pow x4 atan Add x1 x3 asec x0 
Add Mul Pow exp x3 Mul Mul x0 acot Pow x4 atan Add x1 x3 asec x0 Add x0 x0 Mul Mul x0 x0 Mul Pow exp x3 Add Mul Mul x0 acot Pow x4 atan Add x1 x3 asec x0 -1 Mul Mul exp x3 log exp x3 Add Mul asec x0 acot Pow x4 atan Add x1 x3 Mul Mul x0 acot Pow x4 atan Add x1 x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 