Pow Pow 1.73205080756888 Pow x2 Add acsch x0 x2 acosh x7 
Mul Pow Pow 1.73205080756888 Pow x2 Add acsch x0 x2 Add acosh x7 -1 Mul acosh x7 Mul Pow 1.73205080756888 Add Pow x2 Add acsch x0 x2 -1 Mul 2.28135695190293 Mul Pow x2 Add Add acsch x0 x2 -1 Mul Mul x2 log x2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 