Mul x0 Mul Add acot sinh x0 x0 Add Mul Add Pow x7 x0 Mul 1.24904577239825 x0 x3 x4 
Add Mul Add acot sinh x0 x0 Add Mul Add Pow x7 x0 Mul 1.24904577239825 x0 x3 x4 Mul x0 Add Mul Add Mul Add Pow x7 x0 Mul 1.24904577239825 x0 x3 x4 Add Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 1 Mul Add acot sinh x0 x0 Mul x3 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 1.24904577239825 