Pow Add Pow Mul atan Add Add exp acoth x0 x0 x0 Add x7 x0 x1 Add x0 -0.198690110349241 Add x1 x0 
Mul Pow Add Pow Mul atan Add Add exp acoth x0 x0 x0 Add x7 x0 x1 Add x0 -0.198690110349241 Add Add x1 x0 -1 Add Mul Add x1 x0 Add Mul Pow Mul atan Add Add exp acoth x0 x0 x0 Add x7 x0 Add x1 -1 Mul x1 Add Mul Add x7 x0 Mul Add Add Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 1 Pow Add 1 Mul Add Add exp acoth x0 x0 x0 Add Add exp acoth x0 x0 x0 -1 atan Add Add exp acoth x0 x0 x0 1 Mul Add Pow Mul atan Add Add exp acoth x0 x0 x0 Add x7 x0 x1 Add x0 -0.198690110349241 log Add Pow Mul atan Add Add exp acoth x0 x0 x0 Add x7 x0 x1 Add x0 -0.198690110349241 