Mul x6 Add -3 Pow Mul Pow x6 x0 Add pi x0 Pow atan cot Pow pi 4 x4 
Mul x6 Mul Pow Mul Pow x6 x0 Add pi x0 Add Pow atan cot Pow pi 4 x4 -1 Mul Pow atan cot Pow pi 4 x4 Add Mul Add pi x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow x6 x0 