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