Pow x0 acot Add 3 Mul log tan Mul x0 Mul x0 x0 Pow Pow sqrt E Mul -2 x0 -1 
Mul Pow x0 Add acot Add 3 Mul log tan Mul x0 Mul x0 x0 Pow Pow sqrt E Mul -2 x0 -1 -1 Add acot Add 3 Mul log tan Mul x0 Mul x0 x0 Pow Pow sqrt E Mul -2 x0 -1 Mul Mul x0 log x0 Mul -1 Mul Add Mul Pow Pow sqrt E Mul -2 x0 -1 Mul Mul Pow sec Mul x0 Mul x0 x0 2 Add Mul x0 x0 Mul x0 Add x0 x0 Pow tan Mul x0 Mul x0 x0 -1 Mul log tan Mul x0 Mul x0 x0 Mul Pow Pow sqrt E Mul -2 x0 2 Mul -1 Mul Pow sqrt E Add Mul -2 x0 -1 Mul Mul sqrt E log sqrt E -2 Pow Add 1 Mul Add 3 Mul log tan Mul x0 Mul x0 x0 Pow Pow sqrt E Mul -2 x0 -1 Add 3 Mul log tan Mul x0 Mul x0 x0 Pow Pow sqrt E Mul -2 x0 -1 -1 