atan Add Mul Mul csch Pow log Mul x0 x0 x0 -2 Add Add x0 1 x5 Add x0 4 
Mul Add Add Mul Add Add x0 1 x5 Mul -2 Mul Mul Mul -1 coth Pow log Mul x0 x0 x0 csch Pow log Mul x0 x0 x0 Mul Pow log Mul x0 x0 Add x0 -1 Add Mul x0 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul log Mul x0 x0 log log Mul x0 x0 Mul csch Pow log Mul x0 x0 x0 -2 1 Pow Add 1 Mul Add Mul Mul csch Pow log Mul x0 x0 x0 -2 Add Add x0 1 x5 Add x0 4 Add Mul Mul csch Pow log Mul x0 x0 x0 -2 Add Add x0 1 x5 Add x0 4 -1 