sqrt atan Add x0 Pow 1.09861228866811 sinh Pow Add Add x3 4 x0 coth pi 
Mul Pow Mul 2 sqrt atan Add x0 Pow 1.09861228866811 sinh Pow Add Add x3 4 x0 coth pi -1 Mul Add 1 Mul Pow 1.09861228866811 Add sinh Pow Add Add x3 4 x0 coth pi -1 Mul 1.19266011628481 Mul cosh Pow Add Add x3 4 x0 coth pi Mul Pow Add Add x3 4 x0 Add coth pi -1 coth pi Pow Add 1 Mul Add x0 Pow 1.09861228866811 sinh Pow Add Add x3 4 x0 coth pi Add x0 Pow 1.09861228866811 sinh Pow Add Add x3 4 x0 coth pi -1 