Mul x0 Add x2 Pow tan Add Mul Add sqrt Pow asec x7 x0 pi Add acsch atan sec x0 x0 x0 x0 
Add Add x2 Pow tan Add Mul Add sqrt Pow asec x7 x0 pi Add acsch atan sec x0 x0 x0 x0 Mul x0 Mul Pow tan Add Mul Add sqrt Pow asec x7 x0 pi Add acsch atan sec x0 x0 x0 Add x0 -1 Add Mul x0 Mul Pow sec Add Mul Add sqrt Pow asec x7 x0 pi Add acsch atan sec x0 x0 x0 2 Add Add Mul Add acsch atan sec x0 x0 Mul Pow Mul 2 sqrt Pow asec x7 x0 -1 Mul Pow asec x7 Add x0 -1 Mul asec x7 log asec x7 Mul Add sqrt Pow asec x7 x0 pi Add Mul Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Pow Mul Mul atan sec x0 atan sec x0 sqrt Add 1 Mul -1 Pow Mul atan sec x0 atan sec x0 -1 -1 1 1 Mul tan Add Mul Add sqrt Pow asec x7 x0 pi Add acsch atan sec x0 x0 x0 log tan Add Mul Add sqrt Pow asec x7 x0 pi Add acsch atan sec x0 x0 x0 