Add x0 acosh Mul acot Add x0 Pow -0.848367889552813 x7 x0 
Add 1 Mul Add Mul x0 Mul -1 Pow Add 1 Mul Add x0 Pow -0.848367889552813 x7 Add x0 Pow -0.848367889552813 x7 -1 acot Add x0 Pow -0.848367889552813 x7 Pow Mul sqrt Add Mul acot Add x0 Pow -0.848367889552813 x7 x0 -1 sqrt Add 1 Mul acot Add x0 Pow -0.848367889552813 x7 x0 -1 