Add acoth x0 Add x5 Pow pi Pow x0 Add Add -3 x7 x0 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow pi Add Pow x0 Add Add -3 x7 x0 -1 Mul Mul pi log pi Mul Pow x0 Add Add Add -3 x7 x0 -1 Add Add Add -3 x7 x0 Mul x0 log x0 