Add Add Mul Mul x4 Pow Mul x0 x0 coth acsch Add -5 pi x0 Pow atan x0 x0 2 
Add Add Mul x0 Mul x4 Mul Pow Mul x0 x0 Add coth acsch Add -5 pi -1 Mul coth acsch Add -5 pi Add x0 x0 Mul x4 Pow Mul x0 x0 coth acsch Add -5 pi Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 