acot Mul Add exp sec Mul x0 0.0993279274194332 2 tan Pow Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 x0 x4 
Mul -1 Mul Add Mul tan Pow Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 x0 x4 Mul exp sec Mul x0 0.0993279274194332 Mul Mul tan Mul x0 0.0993279274194332 sec Mul x0 0.0993279274194332 0.0993279274194332 Mul Add exp sec Mul x0 0.0993279274194332 2 Mul Pow sec Pow Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 x0 x4 2 Mul Pow Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 x0 Add x4 -1 Mul x4 Mul Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 Add x0 -1 Add Mul x0 Mul E Mul Pow x0 Add Mul 1.44224957030741 Pow x0 -3 -1 Add Mul 1.44224957030741 Pow x0 -3 Mul Mul x0 log x0 Mul 1.44224957030741 Mul Pow x0 4 -3 Mul Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 log Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 Pow Add 1 Mul Mul Add exp sec Mul x0 0.0993279274194332 2 tan Pow Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 x0 x4 Mul Add exp sec Mul x0 0.0993279274194332 2 tan Pow Pow Mul E Pow x0 Mul 1.44224957030741 Pow x0 -3 x0 x4 -1 