Mul Mul x0 cot x3 exp Pow Pow x0 atan x0 x5 
Add Mul exp Pow Pow x0 atan x0 x5 cot x3 Mul Mul x0 cot x3 Mul exp Pow Pow x0 atan x0 x5 Mul Pow Pow x0 atan x0 Add x5 -1 Mul x5 Mul Pow x0 Add atan x0 -1 Add atan x0 Mul Mul x0 log x0 Pow Add 1 Mul x0 x0 -1 