Mul x0 Add Mul 0.283662185463226 asec x0 acoth Pow x0 x7 
Add Add Mul 0.283662185463226 asec x0 acoth Pow x0 x7 Mul x0 Add Mul 0.283662185463226 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Pow x0 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Pow x0 x7 Pow x0 x7 -1 