Add Add Pow Pow x3 Add x0 Pow pi x0 Mul pi coth Pow asin x2 Pow log E 4 x0 pi 
Add Mul Pow Pow x3 Add x0 Pow pi x0 Add Mul pi coth Pow asin x2 Pow log E 4 -1 Mul Mul pi coth Pow asin x2 Pow log E 4 Mul Pow x3 Add Add x0 Pow pi x0 -1 Mul Mul x3 log x3 Add 1 Mul Pow pi Add x0 -1 Mul pi log pi 1 