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