4.078 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.183 * * * [progress]: [2/2] Setting up program. 0.187 * [progress]: [Phase 2 of 3] Improving. 0.188 * [simplify]: Simplifying using # : (+ (/ (neg b) 3.0) (* 2.0 (* (sqrt (neg q)) (cos (acos (/ r (* (* (* 3.0 (sqrt (neg q))) (sqrt (neg q))) (sqrt (neg q))))))))) 0.190 * * [simplify]: iteration 0 : 33 enodes (cost 19 ) 0.191 * * [simplify]: iteration 1 : 55 enodes (cost 18 ) 0.193 * * [simplify]: iteration 2 : 89 enodes (cost 18 ) 0.194 * * [simplify]: iteration 3 : 124 enodes (cost 18 ) 0.198 * * [simplify]: iteration 4 : 163 enodes (cost 18 ) 0.200 * * [simplify]: iteration 5 : 217 enodes (cost 18 ) 0.203 * * [simplify]: iteration 6 : 347 enodes (cost 18 ) 0.210 * * [simplify]: iteration 7 : 1026 enodes (cost 18 ) 0.233 * * [simplify]: iteration 8 : 3256 enodes (cost 18 ) 0.322 * * [simplify]: iteration 9 : 5001 enodes (cost 18 ) 0.322 * [simplify]: Simplified to: (- (* 2.0 (* (sqrt (neg q)) (cos (acos (/ r (* (* (* 3.0 (sqrt (neg q))) (sqrt (neg q))) (sqrt (neg q)))))))) (/ b 3.0)) 0.331 * [progress]: [Phase 3 of 3] Extracting. 0.335 * [simplify]: Simplifying using # : (- (* 2.0 (* (sqrt (neg q)) (cos (acos (/ r (* (* (* 3.0 (sqrt (neg q))) (sqrt (neg q))) (sqrt (neg q)))))))) (/ b 3.0)) 0.335 * * [simplify]: iteration 0 : 22 enodes (cost 18 ) 0.336 * * [simplify]: iteration 1 : 22 enodes (cost 18 ) 0.336 * [simplify]: Simplified to: (- (* 2.0 (* (sqrt (neg q)) (cos (acos (/ r (* (* (* 3.0 (sqrt (neg q))) (sqrt (neg q))) (sqrt (neg q)))))))) (/ b 3.0)) 6.180 * [regime-testing]: End program error score: 36.37987549373456