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