Mul Pow x0 Mul x0 Pow acot asec x2 Mul x0 x0 x3 
Mul x3 Mul Pow x0 Add Mul x0 Pow acot asec x2 Mul x0 x0 -1 Add Mul x0 Pow acot asec x2 Mul x0 x0 Mul Mul x0 log x0 Add Pow acot asec x2 Mul x0 x0 Mul x0 Mul Pow acot asec x2 Add Mul x0 x0 -1 Mul Mul acot asec x2 log acot asec x2 Add x0 x0 