exp Mul Mul x0 Add Pow sqrt sin atan x0 x0 cot x5 pi 
Mul exp Mul Mul x0 Add Pow sqrt sin atan x0 x0 cot x5 pi Mul pi Add Add Pow sqrt sin atan x0 x0 cot x5 Mul x0 Mul Pow sqrt sin atan x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt sin atan x0 -1 Mul cos atan x0 Pow Add 1 Mul x0 x0 -1 Mul sqrt sin atan x0 log sqrt sin atan x0 