Mul atan x0 Pow Pow Mul x0 Mul x5 -1 x0 Mul atan pi acoth E 
Add Mul Pow Pow Mul x0 Mul x5 -1 x0 Mul atan pi acoth E Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow Pow Mul x0 Mul x5 -1 x0 Add Mul atan pi acoth E -1 Mul Mul atan pi acoth E Mul Pow Mul x0 Mul x5 -1 Add x0 -1 Add Mul x0 Mul x5 -1 Mul Mul x0 Mul x5 -1 log Mul x0 Mul x5 -1 