37.630 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.110 * * * [progress]: [2/2] Setting up program. 0.114 * [progress]: [Phase 2 of 3] Improving. 0.114 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 0.115 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.117 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 0.121 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 0.130 * * [simplify]: iteration 3 : 82 enodes (cost 11 ) 0.155 * * [simplify]: iteration 4 : 184 enodes (cost 11 ) 0.194 * * [simplify]: iteration 5 : 252 enodes (cost 11 ) 0.239 * * [simplify]: iteration 6 : 328 enodes (cost 11 ) 0.364 * * [simplify]: iteration 7 : 565 enodes (cost 11 ) 0.546 * * [simplify]: iteration 8 : 674 enodes (cost 11 ) 0.667 * * [simplify]: iteration 9 : 710 enodes (cost 11 ) 0.847 * * [simplify]: iteration 10 : 837 enodes (cost 11 ) 1.009 * * [simplify]: iteration 11 : 854 enodes (cost 11 ) 1.166 * * [simplify]: iteration done : 854 enodes (cost 11 ) 1.166 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 1.166 * * [progress]: iteration 1 / 4 1.166 * * * [progress]: picking best candidate 1.170 * * * * [pick]: Picked # 1.170 * * * [progress]: localizing error 1.180 * * * [progress]: generating rewritten candidates 1.181 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 1.187 * * * [progress]: generating series expansions 1.188 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 1.188 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 1.188 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.188 * [taylor]: Taking taylor expansion of (exp im) in im 1.188 * [taylor]: Taking taylor expansion of im in im 1.188 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.188 * [taylor]: Taking taylor expansion of (neg im) in im 1.188 * [taylor]: Taking taylor expansion of im in im 1.188 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.188 * [taylor]: Taking taylor expansion of (exp im) in im 1.188 * [taylor]: Taking taylor expansion of im in im 1.188 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.188 * [taylor]: Taking taylor expansion of (neg im) in im 1.188 * [taylor]: Taking taylor expansion of im in im 1.190 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 1.190 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.190 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.190 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.190 * [taylor]: Taking taylor expansion of im in im 1.190 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.190 * [taylor]: Taking taylor expansion of im in im 1.190 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.190 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.190 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.190 * [taylor]: Taking taylor expansion of im in im 1.190 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.190 * [taylor]: Taking taylor expansion of im in im 1.191 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 1.191 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.191 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.191 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.191 * [taylor]: Taking taylor expansion of -1 in im 1.191 * [taylor]: Taking taylor expansion of im in im 1.191 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.191 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.191 * [taylor]: Taking taylor expansion of im in im 1.191 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.191 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.191 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.191 * [taylor]: Taking taylor expansion of -1 in im 1.191 * [taylor]: Taking taylor expansion of im in im 1.191 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.191 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.191 * [taylor]: Taking taylor expansion of im in im 1.192 * * * [progress]: simplifying candidates 1.192 * [simplify]: Simplifying using # : (* (exp (exp (neg im))) (exp (exp im))) (log (+ (exp (neg im)) (exp im))) (exp (+ (exp (neg im)) (exp im))) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im)))) (cbrt (+ (exp (neg im)) (exp im))) (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im))) (sqrt (+ (exp (neg im)) (exp im))) (sqrt (+ (exp (neg im)) (exp im))) (+ (pow (exp (neg im)) 3) (pow (exp im) 3)) (+ (* (exp (neg im)) (exp (neg im))) (- (* (exp im) (exp im)) (* (exp (neg im)) (exp im)))) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))) (- (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im)) (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)) (+ (exp im) (exp (neg im))) (+ (exp (* -1 im)) (exp im)) 1.193 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 1.193 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 1.195 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 1.196 * * [simplify]: iteration done : 15 enodes (cost 7 ) 1.197 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 1.197 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 1.198 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 1.199 * * [simplify]: iteration done : 11 enodes (cost 7 ) 1.200 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 1.201 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 1.202 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 1.204 * * [simplify]: iteration done : 15 enodes (cost 7 ) 1.205 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 1.205 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 1.206 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 1.207 * * [simplify]: iteration done : 12 enodes (cost 15 ) 1.208 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 1.209 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 1.209 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 1.210 * * [simplify]: iteration done : 11 enodes (cost 7 ) 1.211 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 1.212 * * [simplify]: iteration 1 : 23 enodes (cost 20 ) 1.216 * * [simplify]: iteration 2 : 65 enodes (cost 8 ) 1.240 * * [simplify]: iteration 3 : 181 enodes (cost 8 ) 1.420 * * [simplify]: iteration 4 : 681 enodes (cost 8 ) 2.634 * * [simplify]: iteration 5 : 2780 enodes (cost 8 ) 4.861 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 4.862 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.862 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 4.863 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 4.864 * * [simplify]: iteration done : 11 enodes (cost 7 ) 4.865 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.865 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 4.866 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 4.867 * * [simplify]: iteration done : 11 enodes (cost 7 ) 4.868 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 4.869 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 4.872 * * [simplify]: iteration 2 : 49 enodes (cost 10 ) 4.880 * * [simplify]: iteration 3 : 100 enodes (cost 10 ) 4.904 * * [simplify]: iteration 4 : 195 enodes (cost 10 ) 4.954 * * [simplify]: iteration 5 : 407 enodes (cost 9 ) 5.289 * * [simplify]: iteration 6 : 1326 enodes (cost 9 ) 8.651 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 8.652 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 8.654 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 8.663 * * [simplify]: iteration 2 : 57 enodes (cost 12 ) 8.672 * * [simplify]: iteration 3 : 87 enodes (cost 11 ) 8.692 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 8.747 * * [simplify]: iteration 5 : 293 enodes (cost 11 ) 8.966 * * [simplify]: iteration 6 : 707 enodes (cost 11 ) 10.070 * * [simplify]: iteration 7 : 2228 enodes (cost 11 ) 12.004 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 12.005 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 12.006 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 12.008 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 12.013 * * [simplify]: iteration 3 : 66 enodes (cost 9 ) 12.025 * * [simplify]: iteration 4 : 129 enodes (cost 9 ) 12.059 * * [simplify]: iteration 5 : 270 enodes (cost 9 ) 12.190 * * [simplify]: iteration 6 : 584 enodes (cost 9 ) 12.477 * * [simplify]: iteration 7 : 1355 enodes (cost 9 ) 16.250 * * [simplify]: iteration 8 : 4977 enodes (cost 9 ) 17.366 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 17.367 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 17.368 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 17.369 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 17.369 * * [simplify]: iteration done : 12 enodes (cost 6 ) 17.370 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 17.371 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 17.371 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 17.372 * * [simplify]: iteration done : 10 enodes (cost 6 ) 17.373 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 17.374 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 17.379 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 17.385 * * [simplify]: iteration 3 : 81 enodes (cost 11 ) 17.395 * * [simplify]: iteration 4 : 105 enodes (cost 11 ) 17.413 * * [simplify]: iteration 5 : 143 enodes (cost 11 ) 17.436 * * [simplify]: iteration 6 : 227 enodes (cost 11 ) 17.507 * * [simplify]: iteration 7 : 476 enodes (cost 11 ) 17.769 * * [simplify]: iteration 8 : 1252 enodes (cost 11 ) 20.825 * * [simplify]: iteration 9 : 4919 enodes (cost 11 ) 22.524 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 22.525 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 22.525 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 22.526 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 22.527 * * [simplify]: iteration done : 10 enodes (cost 6 ) 22.528 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.528 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 22.530 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 22.532 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 22.535 * * [simplify]: iteration 4 : 53 enodes (cost 6 ) 22.542 * * [simplify]: iteration 5 : 102 enodes (cost 6 ) 22.575 * * [simplify]: iteration 6 : 229 enodes (cost 6 ) 22.692 * * [simplify]: iteration 7 : 667 enodes (cost 6 ) 23.497 * * [simplify]: iteration 8 : 2294 enodes (cost 6 ) 25.392 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 25.392 * [simplify]: Simplified to: (exp (+ (exp (neg im)) (exp im))) (log (+ (exp (neg im)) (exp im))) (exp (+ (exp (neg im)) (exp im))) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im)))) (cbrt (+ (exp (neg im)) (exp im))) (pow (+ (exp (neg im)) (exp im)) 3) (sqrt (+ (exp (neg im)) (exp im))) (sqrt (+ (exp (neg im)) (exp im))) (+ (exp (* -3 im)) (pow (exp im) 3)) (+ (exp (* -2 im)) (- (exp (+ im im)) 1)) (- (exp (* -2 im)) (pow (exp im) 2)) (- (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im)) (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)) (+ (exp im) (exp (neg im))) (+ (exp im) (exp (neg im))) 25.392 * * * [progress]: adding candidates to table 25.410 * [progress]: [Phase 3 of 3] Extracting. 25.413 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 25.413 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 25.414 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 25.414 * * [simplify]: iteration done : 13 enodes (cost 11 ) 25.414 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 28.893 * [regime-testing]: End program error score: 0.011324535879575092