Mul Add E 3 acot Pow x0 Add Mul 0.0312398334302683 x0 Pow Mul acosh x2 4 x7 
Mul Add E 3 Mul -1 Mul Mul Pow x0 Add Add Mul 0.0312398334302683 x0 Pow Mul acosh x2 4 x7 -1 Add Add Mul 0.0312398334302683 x0 Pow Mul acosh x2 4 x7 Mul Mul x0 log x0 0.0312398334302683 Pow Add 1 Mul Pow x0 Add Mul 0.0312398334302683 x0 Pow Mul acosh x2 4 x7 Pow x0 Add Mul 0.0312398334302683 x0 Pow Mul acosh x2 4 x7 -1 