Add Mul acos acoth Mul 0.881765166036633 x0 x7 x0 
Add Mul x7 Mul -1 Mul Mul 0.881765166036633 Pow Add 1 Mul -1 Mul Mul 0.881765166036633 x0 Mul 0.881765166036633 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul 0.881765166036633 x0 acoth Mul 0.881765166036633 x0 -1 1 