Mul x0 Add 0.0865895375300469 Pow Pow coth x0 atan x3 x0 
Add Add 0.0865895375300469 Pow Pow coth x0 atan x3 x0 Mul x0 Mul Pow Pow coth x0 atan x3 Add x0 -1 Add Mul x0 Mul Pow coth x0 Add atan x3 -1 Mul atan x3 Mul -1 Pow csch x0 2 Mul Pow coth x0 atan x3 log Pow coth x0 atan x3 