Add Mul acoth Pow acoth x0 acoth x1 x1 Add x0 -1.24904577239825 
Add Mul x1 Mul Mul Pow acoth x0 Add acoth x1 -1 Mul acoth x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acoth x0 acoth x1 Pow acoth x0 acoth x1 -1 1 