Pow acot Mul x0 x2 Pow Add tan Mul log x0 exp x0 x0 -1 
Mul Pow acot Mul x0 x2 Add Pow Add tan Mul log x0 exp x0 x0 -1 -1 Add Mul Pow Add tan Mul log x0 exp x0 x0 -1 Mul -1 Mul x2 Pow Add 1 Mul Mul x0 x2 Mul x0 x2 -1 Mul Mul acot Mul x0 x2 log acot Mul x0 x2 Mul Pow Add tan Mul log x0 exp x0 x0 2 Mul -1 Add Mul Pow sec Mul log x0 exp x0 2 Add Mul exp x0 Pow x0 -1 Mul log x0 exp x0 1 