Mul Pow Mul x0 x0 acoth Pow Mul pi Add -5 x0 x5 x3 
Mul x3 Mul Pow Mul x0 x0 Add acoth Pow Mul pi Add -5 x0 x5 -1 Add Mul acoth Pow Mul pi Add -5 x0 x5 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Mul Pow Mul pi Add -5 x0 Add x5 -1 Mul x5 pi Pow Add 1 Mul -1 Mul Pow Mul pi Add -5 x0 x5 Pow Mul pi Add -5 x0 x5 -1 