Mul Pow Pow cot E atan x0 Mul -1 Mul Add Pow pi 5 -3 x6 x6 
Mul x6 Mul Pow Pow cot E atan x0 Add Mul -1 Mul Add Pow pi 5 -3 x6 -1 Mul Mul -1 Mul Add Pow pi 5 -3 x6 Mul Pow cot E Add atan x0 -1 Mul Mul cot E log cot E Pow Add 1 Mul x0 x0 -1 