atan Pow Pow x0 Pow exp x0 coth x0 Mul pi x4 
Mul Mul Pow Pow x0 Pow exp x0 coth x0 Add Mul pi x4 -1 Mul Mul pi x4 Mul Pow x0 Add Pow exp x0 coth x0 -1 Add Pow exp x0 coth x0 Mul Mul x0 log x0 Mul Pow exp x0 Add coth x0 -1 Add Mul coth x0 exp x0 Mul Mul exp x0 log exp x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul Pow Pow x0 Pow exp x0 coth x0 Mul pi x4 Pow Pow x0 Pow exp x0 coth x0 Mul pi x4 -1 