Add Pow Mul x0 -3 E acoth Mul Pow x0 Mul sqrt x0 Mul x5 pi 4 
Add Mul Pow Mul x0 -3 Add E -1 Mul E -3 Mul Mul 4 Mul Pow x0 Add Mul sqrt x0 Mul x5 pi -1 Add Mul sqrt x0 Mul x5 pi Mul Mul x0 log x0 Mul Mul x5 pi Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Mul Pow x0 Mul sqrt x0 Mul x5 pi 4 Mul Pow x0 Mul sqrt x0 Mul x5 pi 4 -1 