Pow acosh Mul Mul x0 asech x0 8 Pow x0 acos Mul x0 1.73205080756888 
Mul Pow acosh Mul Mul x0 asech x0 8 Add Pow x0 acos Mul x0 1.73205080756888 -1 Add Mul Pow x0 acos Mul x0 1.73205080756888 Mul Mul 8 Add asech x0 Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Mul Mul x0 asech x0 8 -1 sqrt Add 1 Mul Mul x0 asech x0 8 -1 Mul Mul acosh Mul Mul x0 asech x0 8 log acosh Mul Mul x0 asech x0 8 Mul Pow x0 Add acos Mul x0 1.73205080756888 -1 Add acos Mul x0 1.73205080756888 Mul Mul x0 log x0 Mul -1 Mul 1.73205080756888 Pow sqrt Add 1 Mul -1 Mul Mul x0 1.73205080756888 Mul x0 1.73205080756888 -1 