0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.065 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.067 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.067 * [simplify]: Simplifying: (- (exp (* a x)) 1) 0.067 * * [simplify]: iteration 1: (6 enodes) 0.070 * * [simplify]: iteration 2: (27 enodes) 0.078 * * [simplify]: iteration 3: (39 enodes) 0.090 * * [simplify]: iteration 4: (57 enodes) 0.108 * * [simplify]: iteration 5: (96 enodes) 0.146 * * [simplify]: iteration 6: (201 enodes) 0.197 * * [simplify]: iteration 7: (482 enodes) 0.614 * * [simplify]: iteration 8: (1610 enodes) 4.542 * * [simplify]: Extracting #0: cost 1 inf + 0 4.543 * * [simplify]: Extracting #1: cost 180 inf + 0 4.554 * * [simplify]: Extracting #2: cost 1280 inf + 2 4.578 * * [simplify]: Extracting #3: cost 1466 inf + 320 4.601 * * [simplify]: Extracting #4: cost 1348 inf + 45929 4.759 * * [simplify]: Extracting #5: cost 492 inf + 651135 5.007 * * [simplify]: Extracting #6: cost 0 inf + 1036233 5.292 * * [simplify]: Extracting #7: cost 0 inf + 1017121 5.571 * * [simplify]: Extracting #8: cost 0 inf + 1012122 5.855 * * [simplify]: Extracting #9: cost 0 inf + 1010486 6.139 * * [simplify]: Extracting #10: cost 0 inf + 1010455 6.382 * [simplify]: Simplified to: (expm1 (* a x)) 6.393 * * [progress]: iteration 1 / 4 6.393 * * * [progress]: picking best candidate 6.396 * * * * [pick]: Picked # 6.396 * * * [progress]: localizing error 6.402 * * * [progress]: generating rewritten candidates 6.402 * * * [progress]: generating series expansions 6.402 * * * [progress]: simplifying candidates 6.402 * [simplify]: Simplifying: 6.402 * * [simplify]: iteration 1: (0 enodes) 6.402 * * [simplify]: Extracting #0: cost 0 inf + 0 6.402 * [simplify]: Simplified to: 6.402 * * * [progress]: adding candidates to table 6.403 * [progress]: [Phase 3 of 3] Extracting. 6.405 * [simplify]: Simplifying: (expm1 (* a x)) 6.405 * * [simplify]: iteration 1: (4 enodes) 6.405 * * [simplify]: iteration 2: (5 enodes) 6.405 * * [simplify]: Extracting #0: cost 1 inf + 0 6.405 * * [simplify]: Extracting #1: cost 2 inf + 0 6.405 * * [simplify]: Extracting #2: cost 4 inf + 0 6.405 * * [simplify]: Extracting #3: cost 2 inf + 2 6.405 * * [simplify]: Extracting #4: cost 0 inf + 156 6.405 * [simplify]: Simplified to: (expm1 (* a x)) 9.377 * [regime-testing]: Baseline error score: 0.020831163226978675 9.379 * [regime-testing]: Oracle error score: 0.020831163226978675 9.379 * [regime-testing]: End program error score: 0.020831163226978675 9.452 * [regime-testing]: Target error score: 0.2029617101210756