Add x2 Mul Add x0 Mul x0 Pow Pow x1 -1.32820358823569 x3 exp acoth x0 
Add Mul exp acoth x0 Add 1 Pow Pow x1 -1.32820358823569 x3 Mul Add x0 Mul x0 Pow Pow x1 -1.32820358823569 x3 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 