Mul Add Pow pi x0 Mul acoth Add Mul x0 x0 x0 x0 Add x1 Mul Pow pi x0 x0 
Add Mul Add x1 Mul Pow pi x0 x0 Add Mul Pow pi Add x0 -1 Mul pi log pi Add Mul x0 Mul Add Add x0 x0 1 Pow Add 1 Mul -1 Mul Add Mul x0 x0 x0 Add Mul x0 x0 x0 -1 acoth Add Mul x0 x0 x0 Mul Add Pow pi x0 Mul acoth Add Mul x0 x0 x0 x0 Add Mul x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow pi x0 