acos Pow tan Mul x0 Pow x5 x0 Mul Mul 2 Add Add x0 Pow Mul x0 -2 2 Add x0 E x7 
Mul -1 Mul Mul Pow tan Mul x0 Pow x5 x0 Add Mul Mul 2 Add Add x0 Pow Mul x0 -2 2 Add x0 E x7 -1 Add Mul Mul Mul 2 Add Add x0 Pow Mul x0 -2 2 Add x0 E x7 Mul Pow sec Mul x0 Pow x5 x0 2 Add Pow x5 x0 Mul x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Mul tan Mul x0 Pow x5 x0 log tan Mul x0 Pow x5 x0 Mul x7 4 Pow sqrt Add 1 Mul -1 Mul Pow tan Mul x0 Pow x5 x0 Mul Mul 2 Add Add x0 Pow Mul x0 -2 2 Add x0 E x7 Pow tan Mul x0 Pow x5 x0 Mul Mul 2 Add Add x0 Pow Mul x0 -2 2 Add x0 E x7 -1 