Mul acosh Mul acos Mul Mul Pow x6 pi -1 asin Add Add 3 x0 1.73205080756888 x7 5 
Mul 5 Mul Mul x7 Mul -1 Mul Mul Mul Pow x6 pi -1 Pow sqrt Add 1 Mul -1 Mul Add Add 3 x0 1.73205080756888 Add Add 3 x0 1.73205080756888 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul Pow x6 pi -1 asin Add Add 3 x0 1.73205080756888 Mul Mul Pow x6 pi -1 asin Add Add 3 x0 1.73205080756888 -1 Pow Mul sqrt Add Mul acos Mul Mul Pow x6 pi -1 asin Add Add 3 x0 1.73205080756888 x7 -1 sqrt Add 1 Mul acos Mul Mul Pow x6 pi -1 asin Add Add 3 x0 1.73205080756888 x7 -1 