Add sqrt x0 Pow tan Mul x0 Mul acot x7 x0 Pow sec x4 x0 
Add Pow Mul 2 sqrt x0 -1 Mul Pow tan Mul x0 Mul acot x7 x0 Add Pow sec x4 x0 -1 Add Mul Pow sec x4 x0 Mul Pow sec Mul x0 Mul acot x7 x0 2 Add Mul acot x7 x0 Mul x0 acot x7 Mul Mul tan Mul x0 Mul acot x7 x0 log tan Mul x0 Mul acot x7 x0 Mul Pow sec x4 Add x0 -1 Mul sec x4 log sec x4 