Mul Pow sinh x0 asech x7 atan Add Mul x0 x0 Mul x6 Mul atan Pow x0 1.73205080756888 x1 
Add Mul atan Add Mul x0 x0 Mul x6 Mul atan Pow x0 1.73205080756888 x1 Mul Pow sinh x0 Add asech x7 -1 Mul asech x7 cosh x0 Mul Pow sinh x0 asech x7 Mul Add Add x0 x0 Mul x6 Mul x1 Mul Mul Pow x0 0.732050807568877 1.73205080756888 Pow Add 1 Mul Pow x0 1.73205080756888 Pow x0 1.73205080756888 -1 Pow Add 1 Mul Add Mul x0 x0 Mul x6 Mul atan Pow x0 1.73205080756888 x1 Add Mul x0 x0 Mul x6 Mul atan Pow x0 1.73205080756888 x1 -1 