Mul Add x0 Mul exp Pow x4 Mul Mul acoth pi 3 Pow pi x0 x1 4 
Mul 4 Add 1 Mul x1 Mul exp Pow x4 Mul Mul acoth pi 3 Pow pi x0 Mul Pow x4 Add Mul Mul acoth pi 3 Pow pi x0 -1 Mul Mul x4 log x4 Mul Mul acoth pi 3 Mul Pow pi Add x0 -1 Mul pi log pi 