Add Pow Mul x0 Mul x0 acoth Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 x0 x0 
Add Mul Pow Mul x0 Mul x0 acoth Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 Add x0 -1 Add Mul x0 Add Mul x0 acoth Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 Mul x0 Add acoth Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 Mul x0 Mul Add 1 Add Mul log exp x0 Add Add Mul exp Mul x0 -0.000976562500000000 -0.000976562500000000 1 1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 Mul exp x0 Pow exp x0 -1 Pow Add 1 Mul -1 Mul Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 -1 Mul Mul x0 Mul x0 acoth Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 log Mul x0 Mul x0 acoth Add x0 Add x1 Mul Add Add exp Mul x0 -0.000976562500000000 x0 x0 log exp x0 1 