Pow 1.73205080756888 sinh Pow Add Mul acot x0 x5 x0 x7 
Mul Pow 1.73205080756888 Add sinh Pow Add Mul acot x0 x5 x0 x7 -1 Mul 2.28135695190293 Mul cosh Pow Add Mul acot x0 x5 x0 x7 Mul Pow Add Mul acot x0 x5 x0 Add x7 -1 Mul x7 Add Mul x5 Mul -1 Pow Add 1 Mul x0 x0 -1 1 