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