exp Add Add Pow pi x0 -5 acot Add Pow x3 x0 Mul 6 x6 
Mul exp Add Add Pow pi x0 -5 acot Add Pow x3 x0 Mul 6 x6 Add Mul Pow pi Add x0 -1 Mul pi log pi Mul -1 Mul Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow Add 1 Mul Add Pow x3 x0 Mul 6 x6 Add Pow x3 x0 Mul 6 x6 -1 