Mul Pow acoth x0 23.0855369231877 Add x7 Mul Mul -2 x1 x0 
Add Mul Add x7 Mul Mul -2 x1 x0 Mul Pow acoth x0 22.0855369231877 Mul 23.0855369231877 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 23.0855369231877 Mul -2 x1 