19.011 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.039 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.040 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 0.044 * * [simplify]: iteration 2 : 77 enodes (cost 19 ) 0.061 * * [simplify]: iteration 3 : 208 enodes (cost 19 ) 0.139 * * [simplify]: iteration 4 : 532 enodes (cost 19 ) 0.467 * * [simplify]: iteration 5 : 1225 enodes (cost 19 ) 2.059 * * [simplify]: iteration 6 : 2781 enodes (cost 19 ) 5.789 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 5.789 * [simplify]: Simplified to: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 5.790 * * [progress]: iteration 1 / 4 5.790 * * * [progress]: picking best candidate 5.792 * * * * [pick]: Picked # 5.792 * * * [progress]: localizing error 5.800 * * * [progress]: generating rewritten candidates 5.800 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.813 * * * [progress]: generating series expansions 5.813 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.814 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.814 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.814 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.814 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.814 * [taylor]: Taking taylor expansion of t in t 5.814 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.814 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.814 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.814 * [taylor]: Taking taylor expansion of t in t 5.815 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 5.815 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 5.815 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.815 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 5.815 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.815 * [taylor]: Taking taylor expansion of t in t 5.815 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 5.815 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.815 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 5.815 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.815 * [taylor]: Taking taylor expansion of t in t 5.817 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 5.817 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 5.817 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.817 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 5.817 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.817 * [taylor]: Taking taylor expansion of t in t 5.817 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 5.817 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.817 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 5.817 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.817 * [taylor]: Taking taylor expansion of t in t 5.818 * * * [progress]: simplifying candidates 5.819 * [simplify]: Simplifying using # : (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (/ (exp -1.0) (exp (* 2.0 (* t 2e-16))))) (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (exp (- -1.0 (* 2.0 (* t 2e-16))))) (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (* (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (pow (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) 3) (pow (- -1.0 (* 2.0 (* t 2e-16))) 3)) (+ (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (- (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (- (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (- (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (* t 2e-16)) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 5.820 * * [simplify]: iteration 0 : 14 enodes (cost 22 ) 5.822 * * [simplify]: iteration 1 : 34 enodes (cost 21 ) 5.827 * * [simplify]: iteration 2 : 89 enodes (cost 20 ) 5.850 * * [simplify]: iteration 3 : 255 enodes (cost 20 ) 5.924 * * [simplify]: iteration 4 : 906 enodes (cost 20 ) 6.602 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 6.602 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 6.604 * * [simplify]: iteration 1 : 34 enodes (cost 20 ) 6.609 * * [simplify]: iteration 2 : 100 enodes (cost 20 ) 6.629 * * [simplify]: iteration 3 : 285 enodes (cost 20 ) 6.717 * * [simplify]: iteration 4 : 903 enodes (cost 20 ) 7.423 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 7.424 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 7.425 * * [simplify]: iteration 1 : 28 enodes (cost 20 ) 7.437 * * [simplify]: iteration 2 : 78 enodes (cost 20 ) 7.453 * * [simplify]: iteration 3 : 209 enodes (cost 20 ) 7.527 * * [simplify]: iteration 4 : 532 enodes (cost 20 ) 7.861 * * [simplify]: iteration 5 : 1239 enodes (cost 20 ) 9.443 * * [simplify]: iteration 6 : 2783 enodes (cost 20 ) 13.027 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 13.028 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 13.030 * * [simplify]: iteration 1 : 31 enodes (cost 20 ) 13.035 * * [simplify]: iteration 2 : 94 enodes (cost 20 ) 13.055 * * [simplify]: iteration 3 : 297 enodes (cost 20 ) 13.156 * * [simplify]: iteration 4 : 896 enodes (cost 20 ) 13.951 * * [simplify]: iteration 5 : 3792 enodes (cost 20 ) 15.205 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 15.206 * * [simplify]: iteration 0 : 13 enodes (cost 41 ) 15.208 * * [simplify]: iteration 1 : 29 enodes (cost 41 ) 15.212 * * [simplify]: iteration 2 : 79 enodes (cost 41 ) 15.235 * * [simplify]: iteration 3 : 212 enodes (cost 41 ) 15.307 * * [simplify]: iteration 4 : 540 enodes (cost 41 ) 15.636 * * [simplify]: iteration 5 : 1243 enodes (cost 41 ) 17.423 * * [simplify]: iteration 6 : 2792 enodes (cost 41 ) 20.993 * * [simplify]: iteration done : 5000 enodes (cost 41 ) 20.993 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 20.995 * * [simplify]: iteration 1 : 28 enodes (cost 20 ) 20.999 * * [simplify]: iteration 2 : 78 enodes (cost 20 ) 21.022 * * [simplify]: iteration 3 : 209 enodes (cost 20 ) 21.093 * * [simplify]: iteration 4 : 532 enodes (cost 20 ) 21.420 * * [simplify]: iteration 5 : 1239 enodes (cost 20 ) 22.969 * * [simplify]: iteration 6 : 2783 enodes (cost 20 ) 26.541 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 26.542 * * [simplify]: iteration 0 : 13 enodes (cost 59 ) 26.545 * * [simplify]: iteration 1 : 42 enodes (cost 59 ) 26.558 * * [simplify]: iteration 2 : 158 enodes (cost 21 ) 26.618 * * [simplify]: iteration 3 : 886 enodes (cost 21 ) 27.244 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 27.245 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 27.246 * * [simplify]: iteration 1 : 28 enodes (cost 20 ) 27.251 * * [simplify]: iteration 2 : 78 enodes (cost 20 ) 27.267 * * [simplify]: iteration 3 : 209 enodes (cost 20 ) 27.344 * * [simplify]: iteration 4 : 532 enodes (cost 20 ) 27.673 * * [simplify]: iteration 5 : 1239 enodes (cost 20 ) 29.221 * * [simplify]: iteration 6 : 2783 enodes (cost 20 ) 32.791 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 32.792 * * [simplify]: iteration 0 : 12 enodes (cost 20 ) 32.793 * * [simplify]: iteration 1 : 28 enodes (cost 20 ) 32.798 * * [simplify]: iteration 2 : 78 enodes (cost 20 ) 32.814 * * [simplify]: iteration 3 : 209 enodes (cost 20 ) 32.892 * * [simplify]: iteration 4 : 532 enodes (cost 20 ) 33.218 * * [simplify]: iteration 5 : 1239 enodes (cost 20 ) 34.771 * * [simplify]: iteration 6 : 2783 enodes (cost 20 ) 38.342 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 38.344 * * [simplify]: iteration 0 : 29 enodes (cost 91 ) 38.349 * * [simplify]: iteration 1 : 117 enodes (cost 77 ) 38.383 * * [simplify]: iteration 2 : 479 enodes (cost 77 ) 38.668 * * [simplify]: iteration 3 : 2868 enodes (cost 77 ) 39.738 * * [simplify]: iteration done : 5001 enodes (cost 77 ) 39.739 * * [simplify]: iteration 0 : 19 enodes (cost 59 ) 39.742 * * [simplify]: iteration 1 : 70 enodes (cost 45 ) 39.757 * * [simplify]: iteration 2 : 273 enodes (cost 45 ) 39.878 * * [simplify]: iteration 3 : 1388 enodes (cost 45 ) 40.540 * * [simplify]: iteration done : 5000 enodes (cost 45 ) 40.542 * * [simplify]: iteration 0 : 25 enodes (cost 79 ) 40.554 * * [simplify]: iteration 1 : 97 enodes (cost 71 ) 40.575 * * [simplify]: iteration 2 : 373 enodes (cost 71 ) 40.751 * * [simplify]: iteration 3 : 2032 enodes (cost 63 ) 41.621 * * [simplify]: iteration done : 5000 enodes (cost 63 ) 41.622 * * [simplify]: iteration 0 : 15 enodes (cost 43 ) 41.624 * * [simplify]: iteration 1 : 52 enodes (cost 35 ) 41.634 * * [simplify]: iteration 2 : 172 enodes (cost 35 ) 41.695 * * [simplify]: iteration 3 : 824 enodes (cost 35 ) 42.315 * * [simplify]: iteration done : 5001 enodes (cost 35 ) 42.316 * * [simplify]: iteration 0 : 31 enodes (cost 81 ) 42.322 * * [simplify]: iteration 1 : 115 enodes (cost 71 ) 42.348 * * [simplify]: iteration 2 : 457 enodes (cost 71 ) 42.609 * * [simplify]: iteration 3 : 2617 enodes (cost 71 ) 43.925 * * [simplify]: iteration done : 5000 enodes (cost 71 ) 43.926 * * [simplify]: iteration 0 : 20 enodes (cost 47 ) 43.930 * * [simplify]: iteration 1 : 68 enodes (cost 37 ) 43.943 * * [simplify]: iteration 2 : 253 enodes (cost 37 ) 44.055 * * [simplify]: iteration 3 : 1175 enodes (cost 37 ) 44.670 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 44.671 * * [simplify]: iteration 0 : 27 enodes (cost 69 ) 44.686 * * [simplify]: iteration 1 : 95 enodes (cost 65 ) 44.705 * * [simplify]: iteration 2 : 353 enodes (cost 65 ) 44.869 * * [simplify]: iteration 3 : 1754 enodes (cost 57 ) 45.543 * * [simplify]: iteration done : 5001 enodes (cost 57 ) 45.544 * * [simplify]: iteration 0 : 16 enodes (cost 31 ) 45.555 * * [simplify]: iteration 1 : 50 enodes (cost 27 ) 45.565 * * [simplify]: iteration 2 : 156 enodes (cost 27 ) 45.615 * * [simplify]: iteration 3 : 656 enodes (cost 27 ) 46.091 * * [simplify]: iteration 4 : 4019 enodes (cost 27 ) 47.710 * * [simplify]: iteration done : 5001 enodes (cost 27 ) 47.711 * * [simplify]: iteration 0 : 31 enodes (cost 81 ) 47.717 * * [simplify]: iteration 1 : 127 enodes (cost 71 ) 47.754 * * [simplify]: iteration 2 : 551 enodes (cost 71 ) 48.097 * * [simplify]: iteration 3 : 3624 enodes (cost 71 ) 49.388 * * [simplify]: iteration done : 5000 enodes (cost 71 ) 49.396 * * [simplify]: iteration 0 : 20 enodes (cost 47 ) 49.399 * * [simplify]: iteration 1 : 74 enodes (cost 37 ) 49.415 * * [simplify]: iteration 2 : 296 enodes (cost 37 ) 49.548 * * [simplify]: iteration 3 : 1519 enodes (cost 37 ) 50.245 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 50.246 * * [simplify]: iteration 0 : 27 enodes (cost 69 ) 50.251 * * [simplify]: iteration 1 : 107 enodes (cost 65 ) 50.283 * * [simplify]: iteration 2 : 448 enodes (cost 65 ) 50.521 * * [simplify]: iteration 3 : 2759 enodes (cost 57 ) 51.521 * * [simplify]: iteration done : 5000 enodes (cost 57 ) 51.522 * * [simplify]: iteration 0 : 16 enodes (cost 31 ) 51.524 * * [simplify]: iteration 1 : 56 enodes (cost 27 ) 51.535 * * [simplify]: iteration 2 : 199 enodes (cost 27 ) 51.601 * * [simplify]: iteration 3 : 936 enodes (cost 27 ) 52.294 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 52.295 * * [simplify]: iteration 0 : 25 enodes (cost 71 ) 52.299 * * [simplify]: iteration 1 : 86 enodes (cost 65 ) 52.317 * * [simplify]: iteration 2 : 343 enodes (cost 65 ) 52.503 * * [simplify]: iteration 3 : 2009 enodes (cost 65 ) 53.460 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 53.461 * * [simplify]: iteration 0 : 15 enodes (cost 35 ) 53.464 * * [simplify]: iteration 1 : 46 enodes (cost 29 ) 53.473 * * [simplify]: iteration 2 : 181 enodes (cost 29 ) 53.539 * * [simplify]: iteration 3 : 734 enodes (cost 29 ) 54.123 * * [simplify]: iteration 4 : 3400 enodes (cost 29 ) 55.834 * * [simplify]: iteration done : 5001 enodes (cost 29 ) 55.835 * * [simplify]: iteration 0 : 20 enodes (cost 59 ) 55.838 * * [simplify]: iteration 1 : 61 enodes (cost 59 ) 55.854 * * [simplify]: iteration 2 : 227 enodes (cost 59 ) 55.949 * * [simplify]: iteration 3 : 1196 enodes (cost 51 ) 56.645 * * [simplify]: iteration done : 5001 enodes (cost 51 ) 56.645 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 56.647 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 56.651 * * [simplify]: iteration 2 : 73 enodes (cost 19 ) 56.673 * * [simplify]: iteration 3 : 246 enodes (cost 19 ) 56.778 * * [simplify]: iteration 4 : 1066 enodes (cost 19 ) 57.890 * * [simplify]: iteration 5 : 3760 enodes (cost 19 ) 60.077 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 60.078 * * [simplify]: iteration 0 : 29 enodes (cost 69 ) 60.083 * * [simplify]: iteration 1 : 111 enodes (cost 59 ) 60.109 * * [simplify]: iteration 2 : 460 enodes (cost 59 ) 60.378 * * [simplify]: iteration 3 : 2619 enodes (cost 59 ) 61.436 * * [simplify]: iteration done : 5000 enodes (cost 59 ) 61.437 * * [simplify]: iteration 0 : 18 enodes (cost 41 ) 61.440 * * [simplify]: iteration 1 : 61 enodes (cost 31 ) 61.452 * * [simplify]: iteration 2 : 219 enodes (cost 31 ) 61.541 * * [simplify]: iteration 3 : 906 enodes (cost 31 ) 62.347 * * [simplify]: iteration 4 : 4935 enodes (cost 31 ) 64.215 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 64.216 * * [simplify]: iteration 0 : 25 enodes (cost 57 ) 64.220 * * [simplify]: iteration 1 : 91 enodes (cost 53 ) 64.239 * * [simplify]: iteration 2 : 356 enodes (cost 53 ) 64.399 * * [simplify]: iteration 3 : 1773 enodes (cost 45 ) 65.243 * * [simplify]: iteration done : 5001 enodes (cost 45 ) 65.244 * * [simplify]: iteration 0 : 14 enodes (cost 25 ) 65.246 * * [simplify]: iteration 1 : 43 enodes (cost 21 ) 65.258 * * [simplify]: iteration 2 : 128 enodes (cost 21 ) 65.291 * * [simplify]: iteration 3 : 441 enodes (cost 21 ) 65.514 * * [simplify]: iteration 4 : 1599 enodes (cost 21 ) 66.819 * * [simplify]: iteration 5 : 3719 enodes (cost 21 ) 69.425 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 69.426 * * [simplify]: iteration 0 : 25 enodes (cost 59 ) 69.430 * * [simplify]: iteration 1 : 85 enodes (cost 53 ) 69.455 * * [simplify]: iteration 2 : 343 enodes (cost 53 ) 69.647 * * [simplify]: iteration 3 : 1968 enodes (cost 53 ) 70.662 * * [simplify]: iteration done : 5000 enodes (cost 53 ) 70.663 * * [simplify]: iteration 0 : 14 enodes (cost 29 ) 70.665 * * [simplify]: iteration 1 : 43 enodes (cost 23 ) 70.673 * * [simplify]: iteration 2 : 166 enodes (cost 23 ) 70.738 * * [simplify]: iteration 3 : 669 enodes (cost 23 ) 71.236 * * [simplify]: iteration 4 : 2512 enodes (cost 23 ) 73.681 * * [simplify]: iteration done : 5001 enodes (cost 23 ) 73.682 * * [simplify]: iteration 0 : 20 enodes (cost 47 ) 73.685 * * [simplify]: iteration 1 : 60 enodes (cost 47 ) 73.696 * * [simplify]: iteration 2 : 229 enodes (cost 47 ) 73.799 * * [simplify]: iteration 3 : 1149 enodes (cost 39 ) 74.623 * * [simplify]: iteration done : 5000 enodes (cost 39 ) 74.624 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 74.625 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 74.629 * * [simplify]: iteration 2 : 68 enodes (cost 13 ) 74.643 * * [simplify]: iteration 3 : 231 enodes (cost 13 ) 74.719 * * [simplify]: iteration 4 : 472 enodes (cost 13 ) 74.913 * * [simplify]: iteration 5 : 683 enodes (cost 13 ) 75.239 * * [simplify]: iteration 6 : 869 enodes (cost 13 ) 75.650 * * [simplify]: iteration 7 : 1331 enodes (cost 13 ) 77.762 * * [simplify]: iteration 8 : 2939 enodes (cost 13 ) 79.801 * * [simplify]: iteration 9 : 3548 enodes (cost 13 ) 81.412 * * [simplify]: iteration 10 : 3625 enodes (cost 13 ) 82.855 * * [simplify]: iteration done : 3625 enodes (cost 13 ) 82.856 * * [simplify]: iteration 0 : 29 enodes (cost 69 ) 82.862 * * [simplify]: iteration 1 : 111 enodes (cost 59 ) 82.887 * * [simplify]: iteration 2 : 440 enodes (cost 59 ) 83.139 * * [simplify]: iteration 3 : 2407 enodes (cost 59 ) 84.214 * * [simplify]: iteration done : 5000 enodes (cost 59 ) 84.215 * * [simplify]: iteration 0 : 18 enodes (cost 41 ) 84.218 * * [simplify]: iteration 1 : 61 enodes (cost 31 ) 84.230 * * [simplify]: iteration 2 : 219 enodes (cost 31 ) 84.320 * * [simplify]: iteration 3 : 906 enodes (cost 31 ) 85.139 * * [simplify]: iteration 4 : 4935 enodes (cost 31 ) 86.996 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 86.998 * * [simplify]: iteration 0 : 25 enodes (cost 57 ) 87.002 * * [simplify]: iteration 1 : 91 enodes (cost 53 ) 87.021 * * [simplify]: iteration 2 : 336 enodes (cost 53 ) 87.162 * * [simplify]: iteration 3 : 1531 enodes (cost 45 ) 87.872 * * [simplify]: iteration done : 5001 enodes (cost 45 ) 87.873 * * [simplify]: iteration 0 : 14 enodes (cost 25 ) 87.875 * * [simplify]: iteration 1 : 43 enodes (cost 21 ) 87.883 * * [simplify]: iteration 2 : 128 enodes (cost 21 ) 87.921 * * [simplify]: iteration 3 : 441 enodes (cost 21 ) 88.145 * * [simplify]: iteration 4 : 1599 enodes (cost 21 ) 89.451 * * [simplify]: iteration 5 : 3719 enodes (cost 21 ) 92.043 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 92.044 * * [simplify]: iteration 0 : 25 enodes (cost 59 ) 92.053 * * [simplify]: iteration 1 : 91 enodes (cost 53 ) 92.080 * * [simplify]: iteration 2 : 387 enodes (cost 53 ) 92.299 * * [simplify]: iteration 3 : 2265 enodes (cost 53 ) 93.321 * * [simplify]: iteration done : 5001 enodes (cost 53 ) 93.322 * * [simplify]: iteration 0 : 14 enodes (cost 29 ) 93.324 * * [simplify]: iteration 1 : 43 enodes (cost 23 ) 93.332 * * [simplify]: iteration 2 : 166 enodes (cost 23 ) 93.394 * * [simplify]: iteration 3 : 669 enodes (cost 23 ) 93.891 * * [simplify]: iteration 4 : 2512 enodes (cost 23 ) 96.319 * * [simplify]: iteration done : 5001 enodes (cost 23 ) 96.320 * * [simplify]: iteration 0 : 20 enodes (cost 47 ) 96.323 * * [simplify]: iteration 1 : 66 enodes (cost 47 ) 96.336 * * [simplify]: iteration 2 : 274 enodes (cost 47 ) 96.461 * * [simplify]: iteration 3 : 1467 enodes (cost 39 ) 97.301 * * [simplify]: iteration done : 5000 enodes (cost 39 ) 97.302 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 97.308 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 97.312 * * [simplify]: iteration 2 : 68 enodes (cost 13 ) 97.327 * * [simplify]: iteration 3 : 231 enodes (cost 13 ) 97.408 * * [simplify]: iteration 4 : 472 enodes (cost 13 ) 97.602 * * [simplify]: iteration 5 : 683 enodes (cost 13 ) 97.923 * * [simplify]: iteration 6 : 869 enodes (cost 13 ) 98.333 * * [simplify]: iteration 7 : 1331 enodes (cost 13 ) 100.657 * * [simplify]: iteration 8 : 2939 enodes (cost 13 ) 102.479 * * [simplify]: iteration 9 : 3548 enodes (cost 13 ) 104.100 * * [simplify]: iteration 10 : 3625 enodes (cost 13 ) 105.573 * * [simplify]: iteration done : 3625 enodes (cost 13 ) 105.574 * * [simplify]: iteration 0 : 14 enodes (cost 23 ) 105.576 * * [simplify]: iteration 1 : 43 enodes (cost 23 ) 105.584 * * [simplify]: iteration 2 : 129 enodes (cost 17 ) 105.621 * * [simplify]: iteration 3 : 484 enodes (cost 17 ) 105.942 * * [simplify]: iteration 4 : 2479 enodes (cost 17 ) 107.349 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 107.350 * * [simplify]: iteration 0 : 15 enodes (cost 59 ) 107.352 * * [simplify]: iteration 1 : 42 enodes (cost 51 ) 107.361 * * [simplify]: iteration 2 : 161 enodes (cost 41 ) 107.412 * * [simplify]: iteration 3 : 716 enodes (cost 35 ) 107.968 * * [simplify]: iteration 4 : 4131 enodes (cost 35 ) 109.642 * * [simplify]: iteration done : 5000 enodes (cost 35 ) 109.643 * * [simplify]: iteration 0 : 13 enodes (cost 39 ) 109.645 * * [simplify]: iteration 1 : 35 enodes (cost 39 ) 109.651 * * [simplify]: iteration 2 : 126 enodes (cost 29 ) 109.690 * * [simplify]: iteration 3 : 496 enodes (cost 23 ) 110.002 * * [simplify]: iteration 4 : 2868 enodes (cost 23 ) 111.222 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 111.223 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 111.224 * * [simplify]: iteration 1 : 28 enodes (cost 19 ) 111.229 * * [simplify]: iteration 2 : 79 enodes (cost 19 ) 111.251 * * [simplify]: iteration 3 : 217 enodes (cost 19 ) 111.343 * * [simplify]: iteration 4 : 543 enodes (cost 19 ) 111.678 * * [simplify]: iteration 5 : 1205 enodes (cost 19 ) 113.031 * * [simplify]: iteration 6 : 2625 enodes (cost 19 ) 117.584 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 117.585 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 117.586 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 117.589 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 117.597 * * [simplify]: iteration 3 : 106 enodes (cost 13 ) 117.626 * * [simplify]: iteration 4 : 195 enodes (cost 13 ) 117.685 * * [simplify]: iteration 5 : 280 enodes (cost 13 ) 117.774 * * [simplify]: iteration 6 : 324 enodes (cost 13 ) 117.855 * * [simplify]: iteration 7 : 334 enodes (cost 13 ) 117.940 * * [simplify]: iteration done : 334 enodes (cost 13 ) 117.941 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 117.942 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 117.944 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 117.952 * * [simplify]: iteration 3 : 106 enodes (cost 13 ) 117.982 * * [simplify]: iteration 4 : 195 enodes (cost 13 ) 118.039 * * [simplify]: iteration 5 : 280 enodes (cost 13 ) 118.128 * * [simplify]: iteration 6 : 324 enodes (cost 13 ) 118.207 * * [simplify]: iteration 7 : 334 enodes (cost 13 ) 118.291 * * [simplify]: iteration done : 334 enodes (cost 13 ) 118.292 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 118.294 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 118.297 * * [simplify]: iteration 2 : 60 enodes (cost 17 ) 118.310 * * [simplify]: iteration 3 : 158 enodes (cost 13 ) 118.354 * * [simplify]: iteration 4 : 322 enodes (cost 13 ) 118.453 * * [simplify]: iteration 5 : 577 enodes (cost 13 ) 118.808 * * [simplify]: iteration 6 : 1098 enodes (cost 13 ) 119.296 * * [simplify]: iteration 7 : 1564 enodes (cost 13 ) 119.909 * * [simplify]: iteration 8 : 1880 enodes (cost 13 ) 120.903 * * [simplify]: iteration 9 : 2282 enodes (cost 13 ) 121.655 * * [simplify]: iteration done : 2282 enodes (cost 13 ) 121.656 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 121.657 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 121.667 * * [simplify]: iteration 2 : 89 enodes (cost 17 ) 121.686 * * [simplify]: iteration 3 : 178 enodes (cost 13 ) 121.734 * * [simplify]: iteration 4 : 330 enodes (cost 13 ) 121.839 * * [simplify]: iteration 5 : 593 enodes (cost 13 ) 122.216 * * [simplify]: iteration 6 : 1122 enodes (cost 13 ) 122.711 * * [simplify]: iteration 7 : 1567 enodes (cost 13 ) 123.302 * * [simplify]: iteration 8 : 1875 enodes (cost 13 ) 124.313 * * [simplify]: iteration 9 : 2275 enodes (cost 13 ) 124.857 * * [simplify]: iteration done : 2275 enodes (cost 13 ) 124.858 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 124.859 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 124.862 * * [simplify]: iteration 2 : 42 enodes (cost 13 ) 124.870 * * [simplify]: iteration 3 : 106 enodes (cost 13 ) 124.902 * * [simplify]: iteration 4 : 195 enodes (cost 13 ) 124.961 * * [simplify]: iteration 5 : 280 enodes (cost 13 ) 125.054 * * [simplify]: iteration 6 : 324 enodes (cost 13 ) 125.139 * * [simplify]: iteration 7 : 334 enodes (cost 13 ) 125.223 * * [simplify]: iteration done : 334 enodes (cost 13 ) 125.223 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 125.224 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 125.226 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 125.228 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 125.230 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 125.232 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 125.236 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 125.249 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 125.292 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 125.743 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 128.009 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 128.010 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 128.010 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 128.012 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 128.014 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 128.016 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 128.018 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 128.022 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 128.031 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 128.081 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 128.533 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 130.816 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 130.816 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 130.817 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 130.819 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 130.821 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 130.823 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 130.825 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 130.830 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 130.839 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 130.886 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 131.332 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 133.618 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 133.619 * [simplify]: Simplified to: (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (pow (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 3) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3)))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (* (- -1.0 (* 2.0 (* t 2e-16))) (* (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))) (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))))))) (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (- 1.0 (* t 2e-16)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (* (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))) (- 1.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (- 1.0 (* t 2e-16)) (* (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)) (* -1.0 -1.0)))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- 1.0 (* t 2e-16)))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (* (* t 2e-16) (- (* t 2e-16) 1.0))))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))))) (* (- 1.0 (* t 2e-16)) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (* (- -1.0 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (- 1.0 (* t 2e-16))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (- 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ (* 2.0 (* t 2e-16)) -1.0))) (- 1.0 (* t 2e-16))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (- 1.0 (* t 2e-16))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (pow (+ 1.0 (* t 2e-16)) 6) (pow (- -1.0 (* 2.0 (* t 2e-16))) 3)) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (- (- -1.0 (* 2.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))))) (pow (+ 1.0 (* t 2e-16)) 4)) (- (pow (+ 1.0 (* t 2e-16)) 4) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (- (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (- -1.0 (* (* t 2e-16) (- 2.0 (+ 1.0 (* t 2e-16))))) (- -1.0 (* (* t 2e-16) (- 2.0 (+ 1.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 133.620 * * * [progress]: adding candidates to table 133.735 * * [progress]: iteration 2 / 4 133.735 * * * [progress]: picking best candidate 133.737 * * * * [pick]: Picked # 133.737 * * * [progress]: localizing error 133.741 * * * [progress]: generating rewritten candidates 133.741 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 133.748 * * * [progress]: generating series expansions 133.748 * * * * [progress]: [ 1 / 1 ] generating series at (2) 133.748 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 133.748 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 133.748 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 133.748 * [taylor]: Taking taylor expansion of (pow t 2) in t 133.748 * [taylor]: Taking taylor expansion of t in t 133.748 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 133.748 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 133.748 * [taylor]: Taking taylor expansion of (pow t 2) in t 133.748 * [taylor]: Taking taylor expansion of t in t 133.749 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 133.749 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 133.749 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 133.749 * [taylor]: Taking taylor expansion of (pow t 2) in t 133.749 * [taylor]: Taking taylor expansion of t in t 133.749 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 133.749 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 133.749 * [taylor]: Taking taylor expansion of (pow t 2) in t 133.749 * [taylor]: Taking taylor expansion of t in t 133.750 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 133.750 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 133.750 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 133.750 * [taylor]: Taking taylor expansion of (pow t 2) in t 133.750 * [taylor]: Taking taylor expansion of t in t 133.750 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 133.750 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 133.750 * [taylor]: Taking taylor expansion of (pow t 2) in t 133.750 * [taylor]: Taking taylor expansion of t in t 133.751 * * * [progress]: simplifying candidates 133.752 * [simplify]: Simplifying using # : (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (log (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 2) (pow t 2)) (pow t 2))) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (* (* (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 2)) (* 3.9999999999999997e-32 (pow (sqrt t) 2)) (* 3.9999999999999997e-32 (pow 1 2)) (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* 3.9999999999999997e-32 (sqrt (pow t 2))) (* 3.9999999999999997e-32 1) (* 3.9999999999999997e-32 (pow t (/ 2 2))) (* (cbrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 133.753 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 133.753 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 133.754 * * [simplify]: iteration done : 9 enodes (cost 7 ) 133.755 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 133.755 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 133.756 * * [simplify]: iteration done : 9 enodes (cost 7 ) 133.757 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 133.758 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 133.763 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 133.765 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 133.768 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 133.771 * * [simplify]: iteration 5 : 50 enodes (cost 7 ) 133.776 * * [simplify]: iteration 6 : 72 enodes (cost 7 ) 133.785 * * [simplify]: iteration 7 : 133 enodes (cost 7 ) 133.832 * * [simplify]: iteration 8 : 345 enodes (cost 7 ) 134.289 * * [simplify]: iteration 9 : 1259 enodes (cost 7 ) 136.668 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 136.668 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 136.669 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 136.671 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 136.674 * * [simplify]: iteration 3 : 50 enodes (cost 6 ) 136.678 * * [simplify]: iteration 4 : 58 enodes (cost 6 ) 136.682 * * [simplify]: iteration 5 : 68 enodes (cost 6 ) 136.692 * * [simplify]: iteration 6 : 90 enodes (cost 6 ) 136.704 * * [simplify]: iteration 7 : 153 enodes (cost 6 ) 136.751 * * [simplify]: iteration 8 : 367 enodes (cost 6 ) 137.211 * * [simplify]: iteration 9 : 1307 enodes (cost 6 ) 139.624 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 139.625 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 139.626 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 139.628 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 139.631 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 139.637 * * [simplify]: iteration 4 : 99 enodes (cost 6 ) 139.649 * * [simplify]: iteration 5 : 199 enodes (cost 6 ) 139.734 * * [simplify]: iteration 6 : 452 enodes (cost 6 ) 140.087 * * [simplify]: iteration 7 : 1303 enodes (cost 6 ) 142.511 * * [simplify]: iteration 8 : 4632 enodes (cost 6 ) 143.656 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 143.656 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 143.658 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 143.664 * * [simplify]: iteration 2 : 88 enodes (cost 9 ) 143.694 * * [simplify]: iteration 3 : 210 enodes (cost 9 ) 143.788 * * [simplify]: iteration 4 : 418 enodes (cost 7 ) 144.089 * * [simplify]: iteration 5 : 783 enodes (cost 7 ) 145.152 * * [simplify]: iteration 6 : 2344 enodes (cost 7 ) 146.815 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 146.815 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 146.816 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 146.818 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 146.820 * * [simplify]: iteration 3 : 34 enodes (cost 13 ) 146.822 * * [simplify]: iteration 4 : 40 enodes (cost 13 ) 146.825 * * [simplify]: iteration 5 : 50 enodes (cost 13 ) 146.835 * * [simplify]: iteration 6 : 74 enodes (cost 13 ) 146.845 * * [simplify]: iteration 7 : 136 enodes (cost 13 ) 146.893 * * [simplify]: iteration 8 : 358 enodes (cost 13 ) 147.350 * * [simplify]: iteration 9 : 1301 enodes (cost 13 ) 149.675 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 149.676 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 149.676 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 149.678 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 149.680 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 149.682 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 149.685 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 149.695 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 149.704 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 149.749 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 150.197 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 152.702 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 152.703 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 152.704 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 152.711 * * [simplify]: iteration 2 : 95 enodes (cost 7 ) 152.734 * * [simplify]: iteration 3 : 242 enodes (cost 7 ) 152.869 * * [simplify]: iteration 4 : 390 enodes (cost 7 ) 153.102 * * [simplify]: iteration 5 : 564 enodes (cost 7 ) 153.726 * * [simplify]: iteration 6 : 1458 enodes (cost 7 ) 157.159 * * [simplify]: iteration 7 : 4785 enodes (cost 7 ) 158.677 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 158.678 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.678 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 158.680 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 158.682 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 158.684 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 158.687 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 158.691 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 158.706 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 158.752 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 159.192 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 161.653 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 161.654 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 161.654 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 161.656 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 161.658 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 161.660 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 161.663 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 161.667 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 161.676 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 161.722 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 162.170 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 164.616 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 164.617 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 164.618 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 164.619 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 164.622 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 164.626 * * [simplify]: iteration 4 : 79 enodes (cost 4 ) 164.643 * * [simplify]: iteration 5 : 199 enodes (cost 4 ) 164.794 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 166.265 * * [simplify]: iteration 7 : 2611 enodes (cost 4 ) 169.608 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 169.608 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 169.609 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 169.611 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 169.614 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 169.618 * * [simplify]: iteration 4 : 79 enodes (cost 4 ) 169.634 * * [simplify]: iteration 5 : 199 enodes (cost 4 ) 169.785 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 171.261 * * [simplify]: iteration 7 : 2611 enodes (cost 4 ) 174.867 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 174.868 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 174.868 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 174.868 * * [simplify]: iteration done : 5 enodes (cost 4 ) 174.869 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 174.869 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 174.870 * * [simplify]: iteration done : 5 enodes (cost 4 ) 174.870 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 174.871 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 174.873 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 174.874 * * [simplify]: iteration 3 : 28 enodes (cost 5 ) 174.875 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 174.878 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 174.881 * * [simplify]: iteration 6 : 68 enodes (cost 5 ) 174.890 * * [simplify]: iteration 7 : 134 enodes (cost 5 ) 174.937 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 175.401 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 177.784 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 177.785 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 177.786 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 177.787 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 177.789 * * [simplify]: iteration 3 : 28 enodes (cost 5 ) 177.790 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 177.792 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 177.796 * * [simplify]: iteration 6 : 68 enodes (cost 5 ) 177.805 * * [simplify]: iteration 7 : 134 enodes (cost 5 ) 177.852 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 178.301 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 180.589 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 180.589 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 180.590 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 180.592 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 180.594 * * [simplify]: iteration 3 : 40 enodes (cost 4 ) 180.598 * * [simplify]: iteration 4 : 76 enodes (cost 4 ) 180.615 * * [simplify]: iteration 5 : 200 enodes (cost 4 ) 180.755 * * [simplify]: iteration 6 : 658 enodes (cost 4 ) 182.092 * * [simplify]: iteration 7 : 2471 enodes (cost 4 ) 185.158 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 185.159 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 185.160 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 185.162 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 185.164 * * [simplify]: iteration 3 : 40 enodes (cost 4 ) 185.168 * * [simplify]: iteration 4 : 76 enodes (cost 4 ) 185.189 * * [simplify]: iteration 5 : 200 enodes (cost 4 ) 185.327 * * [simplify]: iteration 6 : 658 enodes (cost 4 ) 186.673 * * [simplify]: iteration 7 : 2471 enodes (cost 4 ) 189.759 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 189.760 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 189.761 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 189.763 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 189.767 * * [simplify]: iteration 3 : 74 enodes (cost 9 ) 189.782 * * [simplify]: iteration 4 : 172 enodes (cost 6 ) 189.844 * * [simplify]: iteration 5 : 424 enodes (cost 6 ) 190.295 * * [simplify]: iteration 6 : 1335 enodes (cost 6 ) 194.136 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 194.137 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 194.138 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 194.140 * * [simplify]: iteration 2 : 28 enodes (cost 3 ) 194.142 * * [simplify]: iteration 3 : 45 enodes (cost 3 ) 194.147 * * [simplify]: iteration 4 : 83 enodes (cost 3 ) 194.168 * * [simplify]: iteration 5 : 205 enodes (cost 3 ) 194.302 * * [simplify]: iteration 6 : 642 enodes (cost 3 ) 195.757 * * [simplify]: iteration 7 : 2582 enodes (cost 3 ) 199.953 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 199.954 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 199.958 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 199.959 * * [simplify]: iteration 2 : 16 enodes (cost 1 ) 199.959 * * [simplify]: iteration done : 16 enodes (cost 1 ) 199.960 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 199.960 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 199.961 * * [simplify]: iteration done : 4 enodes (cost 3 ) 199.961 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 199.962 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 199.964 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 199.966 * * [simplify]: iteration 3 : 30 enodes (cost 11 ) 199.968 * * [simplify]: iteration 4 : 36 enodes (cost 11 ) 199.970 * * [simplify]: iteration 5 : 46 enodes (cost 11 ) 199.975 * * [simplify]: iteration 6 : 70 enodes (cost 11 ) 199.984 * * [simplify]: iteration 7 : 130 enodes (cost 11 ) 200.030 * * [simplify]: iteration 8 : 339 enodes (cost 11 ) 200.473 * * [simplify]: iteration 9 : 1266 enodes (cost 11 ) 203.038 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 203.039 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 203.040 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 203.042 * * [simplify]: iteration 2 : 22 enodes (cost 4 ) 203.043 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 203.044 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 203.046 * * [simplify]: iteration 5 : 43 enodes (cost 4 ) 203.049 * * [simplify]: iteration 6 : 65 enodes (cost 4 ) 203.058 * * [simplify]: iteration 7 : 124 enodes (cost 4 ) 203.108 * * [simplify]: iteration 8 : 349 enodes (cost 4 ) 203.559 * * [simplify]: iteration 9 : 1270 enodes (cost 4 ) 205.903 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 205.904 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 205.904 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 205.905 * * [simplify]: iteration done : 6 enodes (cost 1 ) 205.905 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 205.906 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 205.907 * * [simplify]: iteration 2 : 25 enodes (cost 3 ) 205.909 * * [simplify]: iteration 3 : 41 enodes (cost 3 ) 205.915 * * [simplify]: iteration 4 : 78 enodes (cost 3 ) 205.937 * * [simplify]: iteration 5 : 194 enodes (cost 3 ) 206.087 * * [simplify]: iteration 6 : 648 enodes (cost 3 ) 207.447 * * [simplify]: iteration 7 : 2425 enodes (cost 3 ) 210.445 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 210.446 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 210.451 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 210.453 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 210.455 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 210.457 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 210.460 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 210.464 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 210.473 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 210.519 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 210.962 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 213.427 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 213.428 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 213.429 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 213.431 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 213.433 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 213.435 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 213.437 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 213.441 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 213.450 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 213.498 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 213.947 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 216.434 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 216.435 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.436 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 216.437 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 216.439 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 216.441 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 216.444 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 216.448 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 216.463 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 216.506 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 216.950 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 219.190 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 219.190 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 219.191 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 219.193 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 219.195 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 219.197 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 219.199 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 219.203 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 219.212 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 219.262 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 219.710 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 221.934 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 221.934 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 221.935 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 221.943 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 221.945 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 221.947 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 221.949 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 221.953 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 221.963 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 222.010 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 222.453 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 224.686 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 224.686 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 224.687 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 224.689 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 224.691 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 224.693 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 224.696 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 224.700 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 224.715 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 224.758 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 225.203 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 227.430 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 227.431 * [simplify]: Simplified to: (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (log (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* (fabs t) (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (* (cbrt t) 3.9999999999999997e-32) t) (* t 3.9999999999999997e-32) 3.9999999999999997e-32 (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* (fabs t) 3.9999999999999997e-32) 3.9999999999999997e-32 (* t 3.9999999999999997e-32) (* (cbrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 227.431 * * * [progress]: adding candidates to table 227.472 * * [progress]: iteration 3 / 4 227.472 * * * [progress]: picking best candidate 227.499 * * * * [pick]: Picked # 227.499 * * * [progress]: localizing error 227.502 * * * [progress]: generating rewritten candidates 227.502 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 227.508 * * * [progress]: generating series expansions 227.508 * * * * [progress]: [ 1 / 1 ] generating series at (2) 227.508 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 227.508 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 227.508 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 227.508 * [taylor]: Taking taylor expansion of (pow t 2) in t 227.508 * [taylor]: Taking taylor expansion of t in t 227.508 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 227.508 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 227.508 * [taylor]: Taking taylor expansion of (pow t 2) in t 227.508 * [taylor]: Taking taylor expansion of t in t 227.509 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 227.509 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 227.509 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 227.509 * [taylor]: Taking taylor expansion of (pow t 2) in t 227.509 * [taylor]: Taking taylor expansion of t in t 227.509 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 227.509 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 227.509 * [taylor]: Taking taylor expansion of (pow t 2) in t 227.509 * [taylor]: Taking taylor expansion of t in t 227.510 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 227.510 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 227.510 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 227.511 * [taylor]: Taking taylor expansion of (pow t 2) in t 227.511 * [taylor]: Taking taylor expansion of t in t 227.511 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 227.511 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 227.511 * [taylor]: Taking taylor expansion of (pow t 2) in t 227.511 * [taylor]: Taking taylor expansion of t in t 227.512 * * * [progress]: simplifying candidates 227.512 * [simplify]: Simplifying using # : (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t) (+ (+ (log 3.9999999999999997e-32) (log t)) (log t)) (+ (log (* 3.9999999999999997e-32 t)) (log t)) (log (* (* 3.9999999999999997e-32 t) t)) (exp (* (* 3.9999999999999997e-32 t) t)) (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t)) (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t)) (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (* (* 3.9999999999999997e-32 t) t)) (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (* (* 3.9999999999999997e-32 t) (sqrt t)) (* (* 3.9999999999999997e-32 t) 1) (* t t) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 227.513 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 227.513 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 227.514 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 227.515 * * [simplify]: iteration done : 9 enodes (cost 5 ) 227.516 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 227.516 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 227.517 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 227.518 * * [simplify]: iteration done : 9 enodes (cost 5 ) 227.519 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 227.520 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 227.521 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 227.522 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 227.524 * * [simplify]: iteration done : 14 enodes (cost 7 ) 227.525 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 227.525 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 227.526 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 227.528 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 227.529 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 227.531 * * [simplify]: iteration done : 17 enodes (cost 7 ) 227.532 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 227.532 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 227.534 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 227.536 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 227.538 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 227.541 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 227.544 * * [simplify]: iteration done : 26 enodes (cost 6 ) 227.544 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 227.545 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 227.547 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 227.549 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 227.559 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 227.572 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 227.655 * * [simplify]: iteration 6 : 475 enodes (cost 6 ) 227.975 * * [simplify]: iteration 7 : 1303 enodes (cost 6 ) 229.826 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 229.826 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 229.828 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 229.832 * * [simplify]: iteration 2 : 77 enodes (cost 11 ) 229.864 * * [simplify]: iteration 3 : 219 enodes (cost 7 ) 229.996 * * [simplify]: iteration 4 : 454 enodes (cost 7 ) 230.482 * * [simplify]: iteration 5 : 1201 enodes (cost 7 ) 232.995 * * [simplify]: iteration 6 : 4018 enodes (cost 7 ) 235.119 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 235.120 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 235.121 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 235.133 * * [simplify]: iteration 2 : 89 enodes (cost 9 ) 235.174 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 235.359 * * [simplify]: iteration 4 : 451 enodes (cost 7 ) 235.797 * * [simplify]: iteration 5 : 1025 enodes (cost 7 ) 237.829 * * [simplify]: iteration 6 : 3081 enodes (cost 7 ) 240.149 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 240.150 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 240.151 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 240.152 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 240.153 * * [simplify]: iteration done : 11 enodes (cost 13 ) 240.154 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 240.154 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 240.155 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 240.157 * * [simplify]: iteration done : 10 enodes (cost 6 ) 240.157 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 240.159 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 240.163 * * [simplify]: iteration 2 : 72 enodes (cost 7 ) 240.193 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 240.334 * * [simplify]: iteration 4 : 361 enodes (cost 7 ) 240.548 * * [simplify]: iteration 5 : 532 enodes (cost 7 ) 241.095 * * [simplify]: iteration 6 : 1355 enodes (cost 7 ) 244.091 * * [simplify]: iteration 7 : 4489 enodes (cost 7 ) 246.006 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 246.006 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 246.007 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 246.008 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 246.010 * * [simplify]: iteration done : 10 enodes (cost 6 ) 246.011 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 246.011 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 246.013 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 246.014 * * [simplify]: iteration done : 10 enodes (cost 6 ) 246.015 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 246.016 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 246.017 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 246.021 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 246.027 * * [simplify]: iteration done : 37 enodes (cost 9 ) 246.028 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 246.028 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 246.030 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 246.031 * * [simplify]: iteration done : 15 enodes (cost 6 ) 246.032 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 246.033 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 246.034 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 246.036 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 246.038 * * [simplify]: iteration done : 27 enodes (cost 3 ) 246.038 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 246.038 * * [simplify]: iteration done : 2 enodes (cost 3 ) 246.039 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 246.040 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 246.041 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 246.043 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 246.045 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 246.048 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 246.052 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 246.063 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 246.107 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 246.547 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 248.747 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 248.747 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 248.748 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 248.750 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 248.752 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 248.754 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 248.756 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 248.760 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 248.769 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 248.818 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 249.258 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 251.474 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 251.475 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 251.480 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 251.482 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 251.484 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 251.486 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 251.489 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 251.493 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 251.502 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 251.549 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 251.992 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 254.207 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 254.207 * [simplify]: Simplified to: (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t) (+ (* 2 (log t)) (log 3.9999999999999997e-32)) (+ (log (* 3.9999999999999997e-32 t)) (log t)) (log (* (* 3.9999999999999997e-32 t) t)) (exp (* (* 3.9999999999999997e-32 t) t)) (* (pow 3.9999999999999997e-32 3) (pow t 6)) (pow (* 3.9999999999999997e-32 (* t t)) 3) (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (* (* 3.9999999999999997e-32 t) t)) (pow (* (* 3.9999999999999997e-32 t) t) 3) (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (* (* 3.9999999999999997e-32 t) (sqrt t)) (* 3.9999999999999997e-32 t) (* t t) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 254.207 * * * [progress]: adding candidates to table 254.230 * * [progress]: iteration 4 / 4 254.230 * * * [progress]: picking best candidate 254.254 * * * * [pick]: Picked # 254.254 * * * [progress]: localizing error 254.260 * * * [progress]: generating rewritten candidates 254.260 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 254.268 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 254.278 * * * [progress]: generating series expansions 254.278 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 254.278 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0 254.278 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t 254.278 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.278 * [taylor]: Taking taylor expansion of t in t 254.278 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.278 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.278 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t 254.278 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.278 * [taylor]: Taking taylor expansion of t in t 254.278 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.278 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.280 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0 254.280 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 254.280 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.280 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.280 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.280 * [taylor]: Taking taylor expansion of t in t 254.280 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 254.280 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.280 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.280 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.280 * [taylor]: Taking taylor expansion of t in t 254.282 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0 254.282 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 254.282 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.282 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.282 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.282 * [taylor]: Taking taylor expansion of t in t 254.282 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 254.282 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.282 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.282 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.282 * [taylor]: Taking taylor expansion of t in t 254.283 * * * * [progress]: [ 2 / 2 ] generating series at (2) 254.284 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0 254.284 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 254.284 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.284 * [taylor]: Taking taylor expansion of t in t 254.284 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 254.284 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.284 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.284 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 254.284 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.284 * [taylor]: Taking taylor expansion of t in t 254.284 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 254.284 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.284 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.286 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 254.286 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 254.286 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 254.286 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.286 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.286 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.286 * [taylor]: Taking taylor expansion of t in t 254.286 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 254.286 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 254.286 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.286 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.286 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.286 * [taylor]: Taking taylor expansion of t in t 254.289 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 254.289 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 254.289 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 254.289 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.289 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.289 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.289 * [taylor]: Taking taylor expansion of t in t 254.289 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 254.289 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 254.289 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 254.289 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 254.289 * [taylor]: Taking taylor expansion of (pow t 2) in t 254.289 * [taylor]: Taking taylor expansion of t in t 254.291 * * * [progress]: simplifying candidates 254.292 * [simplify]: Simplifying using # : (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (exp (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2))) (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) 2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) (pow 1 2)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) 1) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2)))) (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2)))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 254.293 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 254.294 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 254.295 * * [simplify]: iteration done : 10 enodes (cost 8 ) 254.295 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 254.296 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 254.297 * * [simplify]: iteration done : 10 enodes (cost 8 ) 254.298 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 254.298 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 254.300 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 254.302 * * [simplify]: iteration 3 : 35 enodes (cost 8 ) 254.305 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 254.308 * * [simplify]: iteration 5 : 51 enodes (cost 8 ) 254.313 * * [simplify]: iteration 6 : 73 enodes (cost 8 ) 254.327 * * [simplify]: iteration 7 : 137 enodes (cost 8 ) 254.374 * * [simplify]: iteration 8 : 356 enodes (cost 8 ) 255.053 * * [simplify]: iteration 9 : 1288 enodes (cost 8 ) 257.289 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 257.290 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 257.291 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 257.293 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 257.302 * * [simplify]: iteration 3 : 51 enodes (cost 7 ) 257.306 * * [simplify]: iteration 4 : 57 enodes (cost 7 ) 257.310 * * [simplify]: iteration 5 : 67 enodes (cost 7 ) 257.316 * * [simplify]: iteration 6 : 91 enodes (cost 7 ) 257.327 * * [simplify]: iteration 7 : 150 enodes (cost 7 ) 257.374 * * [simplify]: iteration 8 : 368 enodes (cost 7 ) 257.825 * * [simplify]: iteration 9 : 1293 enodes (cost 7 ) 260.112 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 260.112 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 260.113 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 260.115 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 260.119 * * [simplify]: iteration 3 : 58 enodes (cost 7 ) 260.124 * * [simplify]: iteration 4 : 102 enodes (cost 7 ) 260.137 * * [simplify]: iteration 5 : 202 enodes (cost 7 ) 260.219 * * [simplify]: iteration 6 : 456 enodes (cost 7 ) 260.569 * * [simplify]: iteration 7 : 1302 enodes (cost 7 ) 262.932 * * [simplify]: iteration 8 : 4694 enodes (cost 7 ) 264.081 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 264.082 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 264.084 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 264.095 * * [simplify]: iteration 2 : 86 enodes (cost 10 ) 264.111 * * [simplify]: iteration 3 : 205 enodes (cost 10 ) 264.184 * * [simplify]: iteration 4 : 361 enodes (cost 8 ) 264.354 * * [simplify]: iteration 5 : 521 enodes (cost 8 ) 264.756 * * [simplify]: iteration 6 : 1159 enodes (cost 8 ) 266.466 * * [simplify]: iteration 7 : 3455 enodes (cost 8 ) 267.986 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 267.987 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 267.988 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 267.990 * * [simplify]: iteration 2 : 30 enodes (cost 15 ) 267.992 * * [simplify]: iteration 3 : 37 enodes (cost 15 ) 267.994 * * [simplify]: iteration 4 : 43 enodes (cost 15 ) 267.997 * * [simplify]: iteration 5 : 53 enodes (cost 15 ) 268.001 * * [simplify]: iteration 6 : 75 enodes (cost 15 ) 268.011 * * [simplify]: iteration 7 : 137 enodes (cost 15 ) 268.058 * * [simplify]: iteration 8 : 347 enodes (cost 15 ) 268.508 * * [simplify]: iteration 9 : 1282 enodes (cost 15 ) 270.813 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 270.814 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 270.815 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 270.816 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 270.818 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 270.821 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 270.829 * * [simplify]: iteration 5 : 52 enodes (cost 7 ) 270.833 * * [simplify]: iteration 6 : 76 enodes (cost 7 ) 270.842 * * [simplify]: iteration 7 : 138 enodes (cost 7 ) 270.891 * * [simplify]: iteration 8 : 355 enodes (cost 7 ) 271.331 * * [simplify]: iteration 9 : 1277 enodes (cost 7 ) 273.646 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 273.647 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 273.649 * * [simplify]: iteration 1 : 24 enodes (cost 20 ) 273.656 * * [simplify]: iteration 2 : 96 enodes (cost 8 ) 273.683 * * [simplify]: iteration 3 : 242 enodes (cost 8 ) 273.814 * * [simplify]: iteration 4 : 424 enodes (cost 8 ) 274.034 * * [simplify]: iteration 5 : 596 enodes (cost 8 ) 274.595 * * [simplify]: iteration 6 : 1480 enodes (cost 8 ) 277.682 * * [simplify]: iteration 7 : 4762 enodes (cost 8 ) 279.650 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 279.651 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 279.652 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 279.653 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 279.656 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 279.658 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 279.661 * * [simplify]: iteration 5 : 52 enodes (cost 7 ) 279.664 * * [simplify]: iteration 6 : 76 enodes (cost 7 ) 279.674 * * [simplify]: iteration 7 : 138 enodes (cost 7 ) 279.722 * * [simplify]: iteration 8 : 355 enodes (cost 7 ) 280.170 * * [simplify]: iteration 9 : 1277 enodes (cost 7 ) 282.537 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 282.538 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 282.539 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 282.545 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 282.548 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 282.550 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 282.552 * * [simplify]: iteration 5 : 52 enodes (cost 7 ) 282.556 * * [simplify]: iteration 6 : 76 enodes (cost 7 ) 282.565 * * [simplify]: iteration 7 : 138 enodes (cost 7 ) 282.615 * * [simplify]: iteration 8 : 355 enodes (cost 7 ) 283.068 * * [simplify]: iteration 9 : 1277 enodes (cost 7 ) 285.415 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 285.416 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 285.416 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 285.419 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 285.421 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 285.426 * * [simplify]: iteration 4 : 83 enodes (cost 5 ) 285.447 * * [simplify]: iteration 5 : 209 enodes (cost 5 ) 285.584 * * [simplify]: iteration 6 : 652 enodes (cost 5 ) 287.099 * * [simplify]: iteration 7 : 2626 enodes (cost 5 ) 290.225 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 290.226 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 290.227 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 290.229 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 290.231 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 290.236 * * [simplify]: iteration 4 : 83 enodes (cost 5 ) 290.258 * * [simplify]: iteration 5 : 209 enodes (cost 5 ) 290.396 * * [simplify]: iteration 6 : 652 enodes (cost 5 ) 291.886 * * [simplify]: iteration 7 : 2626 enodes (cost 5 ) 294.938 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 294.938 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 294.939 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 294.939 * * [simplify]: iteration done : 6 enodes (cost 5 ) 294.940 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 294.940 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 294.941 * * [simplify]: iteration done : 6 enodes (cost 5 ) 294.941 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 294.942 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 294.944 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 294.945 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 294.949 * * [simplify]: iteration 4 : 35 enodes (cost 6 ) 294.952 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 294.955 * * [simplify]: iteration 6 : 67 enodes (cost 6 ) 294.965 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 295.010 * * [simplify]: iteration 8 : 355 enodes (cost 6 ) 295.440 * * [simplify]: iteration 9 : 1278 enodes (cost 6 ) 297.781 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 297.782 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 297.783 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 297.784 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 297.785 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 297.787 * * [simplify]: iteration 4 : 35 enodes (cost 6 ) 297.789 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 297.793 * * [simplify]: iteration 6 : 67 enodes (cost 6 ) 297.806 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 297.852 * * [simplify]: iteration 8 : 355 enodes (cost 6 ) 298.277 * * [simplify]: iteration 9 : 1278 enodes (cost 6 ) 300.621 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 300.622 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 300.623 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 300.624 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 300.626 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 300.631 * * [simplify]: iteration 4 : 80 enodes (cost 5 ) 300.652 * * [simplify]: iteration 5 : 194 enodes (cost 5 ) 300.792 * * [simplify]: iteration 6 : 631 enodes (cost 5 ) 302.207 * * [simplify]: iteration 7 : 2470 enodes (cost 5 ) 305.279 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 305.280 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 305.281 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 305.282 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 305.285 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 305.293 * * [simplify]: iteration 4 : 80 enodes (cost 5 ) 305.309 * * [simplify]: iteration 5 : 194 enodes (cost 5 ) 305.453 * * [simplify]: iteration 6 : 631 enodes (cost 5 ) 306.888 * * [simplify]: iteration 7 : 2470 enodes (cost 5 ) 310.252 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 310.252 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 310.253 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 310.255 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 310.257 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 310.262 * * [simplify]: iteration 4 : 83 enodes (cost 5 ) 310.280 * * [simplify]: iteration 5 : 209 enodes (cost 5 ) 310.420 * * [simplify]: iteration 6 : 652 enodes (cost 5 ) 311.917 * * [simplify]: iteration 7 : 2626 enodes (cost 5 ) 315.034 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 315.035 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 315.036 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 315.038 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 315.040 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 315.045 * * [simplify]: iteration 4 : 83 enodes (cost 5 ) 315.062 * * [simplify]: iteration 5 : 209 enodes (cost 5 ) 315.198 * * [simplify]: iteration 6 : 652 enodes (cost 5 ) 316.691 * * [simplify]: iteration 7 : 2626 enodes (cost 5 ) 319.778 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 319.778 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 319.779 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 319.779 * * [simplify]: iteration done : 6 enodes (cost 5 ) 319.780 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 319.781 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 319.781 * * [simplify]: iteration done : 6 enodes (cost 5 ) 319.782 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 319.783 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 319.784 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 319.785 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 319.787 * * [simplify]: iteration 4 : 35 enodes (cost 6 ) 319.789 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 319.792 * * [simplify]: iteration 6 : 67 enodes (cost 6 ) 319.802 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 319.850 * * [simplify]: iteration 8 : 355 enodes (cost 6 ) 320.285 * * [simplify]: iteration 9 : 1278 enodes (cost 6 ) 322.659 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 322.659 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 322.660 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 322.662 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 322.663 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 322.665 * * [simplify]: iteration 4 : 35 enodes (cost 6 ) 322.667 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 322.671 * * [simplify]: iteration 6 : 67 enodes (cost 6 ) 322.680 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 322.729 * * [simplify]: iteration 8 : 355 enodes (cost 6 ) 323.162 * * [simplify]: iteration 9 : 1278 enodes (cost 6 ) 325.551 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 325.552 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 325.553 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 325.554 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 325.556 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 325.561 * * [simplify]: iteration 4 : 80 enodes (cost 5 ) 325.577 * * [simplify]: iteration 5 : 194 enodes (cost 5 ) 325.720 * * [simplify]: iteration 6 : 631 enodes (cost 5 ) 327.148 * * [simplify]: iteration 7 : 2470 enodes (cost 5 ) 330.214 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 330.215 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 330.215 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 330.217 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 330.219 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 330.224 * * [simplify]: iteration 4 : 80 enodes (cost 5 ) 330.240 * * [simplify]: iteration 5 : 194 enodes (cost 5 ) 330.383 * * [simplify]: iteration 6 : 631 enodes (cost 5 ) 331.817 * * [simplify]: iteration 7 : 2470 enodes (cost 5 ) 334.875 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 334.876 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 334.877 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 334.879 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 334.884 * * [simplify]: iteration 3 : 75 enodes (cost 10 ) 334.899 * * [simplify]: iteration 4 : 180 enodes (cost 7 ) 334.966 * * [simplify]: iteration 5 : 431 enodes (cost 7 ) 335.454 * * [simplify]: iteration 6 : 1421 enodes (cost 7 ) 339.151 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 339.152 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 339.153 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 339.155 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 339.157 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 339.162 * * [simplify]: iteration 4 : 79 enodes (cost 4 ) 339.179 * * [simplify]: iteration 5 : 199 enodes (cost 4 ) 339.334 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 340.837 * * [simplify]: iteration 7 : 2611 enodes (cost 4 ) 344.225 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 344.226 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 344.227 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 344.228 * * [simplify]: iteration 2 : 17 enodes (cost 2 ) 344.229 * * [simplify]: iteration 3 : 22 enodes (cost 2 ) 344.230 * * [simplify]: iteration 4 : 26 enodes (cost 2 ) 344.232 * * [simplify]: iteration 5 : 30 enodes (cost 2 ) 344.233 * * [simplify]: iteration 6 : 34 enodes (cost 2 ) 344.235 * * [simplify]: iteration 7 : 38 enodes (cost 2 ) 344.236 * * [simplify]: iteration done : 38 enodes (cost 2 ) 344.237 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 344.237 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 344.238 * * [simplify]: iteration done : 5 enodes (cost 4 ) 344.238 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 344.239 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 344.241 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 344.243 * * [simplify]: iteration 3 : 31 enodes (cost 12 ) 344.246 * * [simplify]: iteration 4 : 37 enodes (cost 12 ) 344.248 * * [simplify]: iteration 5 : 47 enodes (cost 12 ) 344.252 * * [simplify]: iteration 6 : 69 enodes (cost 12 ) 344.261 * * [simplify]: iteration 7 : 126 enodes (cost 12 ) 344.307 * * [simplify]: iteration 8 : 331 enodes (cost 12 ) 344.752 * * [simplify]: iteration 9 : 1253 enodes (cost 12 ) 347.131 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 347.132 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 347.133 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 347.134 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 347.135 * * [simplify]: iteration 3 : 28 enodes (cost 5 ) 347.137 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 347.139 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 347.142 * * [simplify]: iteration 6 : 68 enodes (cost 5 ) 347.152 * * [simplify]: iteration 7 : 134 enodes (cost 5 ) 347.200 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 347.659 * * [simplify]: iteration 9 : 1274 enodes (cost 5 ) 349.995 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 349.996 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 349.996 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 349.997 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 349.998 * * [simplify]: iteration done : 10 enodes (cost 2 ) 349.998 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 349.999 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 350.000 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 350.002 * * [simplify]: iteration 3 : 40 enodes (cost 4 ) 350.008 * * [simplify]: iteration 4 : 76 enodes (cost 4 ) 350.025 * * [simplify]: iteration 5 : 200 enodes (cost 4 ) 350.168 * * [simplify]: iteration 6 : 658 enodes (cost 4 ) 351.535 * * [simplify]: iteration 7 : 2471 enodes (cost 4 ) 354.602 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 354.603 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 354.604 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 354.606 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 354.608 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 354.610 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 354.613 * * [simplify]: iteration 5 : 50 enodes (cost 7 ) 354.617 * * [simplify]: iteration 6 : 74 enodes (cost 7 ) 354.626 * * [simplify]: iteration 7 : 136 enodes (cost 7 ) 354.674 * * [simplify]: iteration 8 : 358 enodes (cost 7 ) 355.113 * * [simplify]: iteration 9 : 1301 enodes (cost 7 ) 357.378 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 357.378 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 357.379 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 357.381 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 357.383 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 357.385 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 357.388 * * [simplify]: iteration 5 : 50 enodes (cost 7 ) 357.392 * * [simplify]: iteration 6 : 74 enodes (cost 7 ) 357.401 * * [simplify]: iteration 7 : 136 enodes (cost 7 ) 357.450 * * [simplify]: iteration 8 : 358 enodes (cost 7 ) 357.894 * * [simplify]: iteration 9 : 1301 enodes (cost 7 ) 360.182 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 360.182 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 360.183 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 360.185 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 360.187 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 360.189 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 360.192 * * [simplify]: iteration 5 : 50 enodes (cost 7 ) 360.196 * * [simplify]: iteration 6 : 74 enodes (cost 7 ) 360.205 * * [simplify]: iteration 7 : 136 enodes (cost 7 ) 360.255 * * [simplify]: iteration 8 : 358 enodes (cost 7 ) 360.706 * * [simplify]: iteration 9 : 1301 enodes (cost 7 ) 362.995 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 362.995 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 362.996 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 362.998 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 363.000 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 363.002 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 363.005 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 363.008 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 363.018 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 363.065 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 363.513 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 366.202 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 366.202 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 366.203 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 366.205 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 366.207 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 366.209 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 366.212 * * [simplify]: iteration 5 : 50 enodes (cost 7 ) 366.216 * * [simplify]: iteration 6 : 74 enodes (cost 7 ) 366.225 * * [simplify]: iteration 7 : 136 enodes (cost 7 ) 366.276 * * [simplify]: iteration 8 : 358 enodes (cost 7 ) 366.729 * * [simplify]: iteration 9 : 1301 enodes (cost 7 ) 369.066 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 369.066 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 369.067 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 369.069 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 369.071 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 369.073 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 369.076 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 369.079 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 369.089 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 369.137 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 369.588 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 372.079 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 372.080 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 372.081 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 372.084 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 372.094 * * [simplify]: iteration 3 : 53 enodes (cost 5 ) 372.099 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 372.104 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 372.110 * * [simplify]: iteration 6 : 93 enodes (cost 5 ) 372.121 * * [simplify]: iteration 7 : 161 enodes (cost 5 ) 372.170 * * [simplify]: iteration 8 : 371 enodes (cost 5 ) 372.617 * * [simplify]: iteration 9 : 1294 enodes (cost 5 ) 374.987 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 374.988 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 374.989 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 374.991 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 374.993 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 374.995 * * [simplify]: iteration 4 : 23 enodes (cost 8 ) 374.998 * * [simplify]: iteration done : 23 enodes (cost 8 ) 374.998 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 374.999 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 375.001 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 375.003 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 375.012 * * [simplify]: iteration 4 : 23 enodes (cost 8 ) 375.014 * * [simplify]: iteration done : 23 enodes (cost 8 ) 375.015 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 375.016 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 375.019 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 375.021 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 375.026 * * [simplify]: iteration 4 : 62 enodes (cost 8 ) 375.032 * * [simplify]: iteration 5 : 72 enodes (cost 8 ) 375.039 * * [simplify]: iteration 6 : 94 enodes (cost 8 ) 375.053 * * [simplify]: iteration 7 : 156 enodes (cost 8 ) 375.102 * * [simplify]: iteration 8 : 365 enodes (cost 8 ) 375.554 * * [simplify]: iteration 9 : 1289 enodes (cost 8 ) 377.918 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 377.918 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 377.919 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 377.922 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 377.926 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 377.931 * * [simplify]: iteration 4 : 77 enodes (cost 7 ) 377.939 * * [simplify]: iteration 5 : 89 enodes (cost 7 ) 377.947 * * [simplify]: iteration 6 : 113 enodes (cost 7 ) 377.961 * * [simplify]: iteration 7 : 181 enodes (cost 7 ) 378.012 * * [simplify]: iteration 8 : 391 enodes (cost 7 ) 378.467 * * [simplify]: iteration 9 : 1315 enodes (cost 7 ) 380.801 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 380.802 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 380.803 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 380.806 * * [simplify]: iteration 2 : 49 enodes (cost 6 ) 380.811 * * [simplify]: iteration 3 : 74 enodes (cost 6 ) 380.826 * * [simplify]: iteration 4 : 102 enodes (cost 6 ) 380.838 * * [simplify]: iteration 5 : 116 enodes (cost 6 ) 380.849 * * [simplify]: iteration 6 : 140 enodes (cost 6 ) 380.866 * * [simplify]: iteration 7 : 199 enodes (cost 6 ) 380.925 * * [simplify]: iteration 8 : 415 enodes (cost 6 ) 381.384 * * [simplify]: iteration 9 : 1343 enodes (cost 6 ) 383.611 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 383.612 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 383.613 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 383.616 * * [simplify]: iteration 2 : 49 enodes (cost 6 ) 383.622 * * [simplify]: iteration 3 : 93 enodes (cost 6 ) 383.633 * * [simplify]: iteration 4 : 177 enodes (cost 6 ) 383.661 * * [simplify]: iteration 5 : 384 enodes (cost 6 ) 383.857 * * [simplify]: iteration 6 : 903 enodes (cost 6 ) 385.343 * * [simplify]: iteration 7 : 2737 enodes (cost 6 ) 386.628 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 386.629 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 386.631 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 386.638 * * [simplify]: iteration 2 : 124 enodes (cost 11 ) 386.678 * * [simplify]: iteration 3 : 366 enodes (cost 9 ) 386.987 * * [simplify]: iteration 4 : 951 enodes (cost 7 ) 388.474 * * [simplify]: iteration 5 : 1626 enodes (cost 7 ) 392.276 * * [simplify]: iteration 6 : 3890 enodes (cost 7 ) 394.151 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 394.152 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 394.154 * * [simplify]: iteration 1 : 32 enodes (cost 21 ) 394.163 * * [simplify]: iteration 2 : 136 enodes (cost 13 ) 394.216 * * [simplify]: iteration 3 : 449 enodes (cost 13 ) 394.809 * * [simplify]: iteration 4 : 1136 enodes (cost 7 ) 396.590 * * [simplify]: iteration 5 : 1637 enodes (cost 6 ) 400.844 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 400.845 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 400.846 * * [simplify]: iteration 1 : 18 enodes (cost 21 ) 400.854 * * [simplify]: iteration 2 : 41 enodes (cost 13 ) 400.858 * * [simplify]: iteration 3 : 55 enodes (cost 13 ) 400.862 * * [simplify]: iteration 4 : 61 enodes (cost 13 ) 400.867 * * [simplify]: iteration 5 : 71 enodes (cost 13 ) 400.874 * * [simplify]: iteration 6 : 93 enodes (cost 13 ) 400.885 * * [simplify]: iteration 7 : 156 enodes (cost 13 ) 400.933 * * [simplify]: iteration 8 : 364 enodes (cost 13 ) 401.378 * * [simplify]: iteration 9 : 1296 enodes (cost 13 ) 403.664 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 403.665 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 403.666 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 403.669 * * [simplify]: iteration 2 : 40 enodes (cost 6 ) 403.672 * * [simplify]: iteration 3 : 52 enodes (cost 6 ) 403.677 * * [simplify]: iteration 4 : 58 enodes (cost 6 ) 403.681 * * [simplify]: iteration 5 : 68 enodes (cost 6 ) 403.687 * * [simplify]: iteration 6 : 90 enodes (cost 6 ) 403.699 * * [simplify]: iteration 7 : 151 enodes (cost 6 ) 403.748 * * [simplify]: iteration 8 : 363 enodes (cost 6 ) 404.201 * * [simplify]: iteration 9 : 1302 enodes (cost 6 ) 406.510 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 406.511 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 406.513 * * [simplify]: iteration 1 : 27 enodes (cost 29 ) 406.520 * * [simplify]: iteration 2 : 104 enodes (cost 7 ) 406.564 * * [simplify]: iteration 3 : 356 enodes (cost 7 ) 407.080 * * [simplify]: iteration 4 : 1188 enodes (cost 6 ) 408.831 * * [simplify]: iteration 5 : 1922 enodes (cost 6 ) 411.718 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 411.719 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 411.720 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 411.723 * * [simplify]: iteration 2 : 40 enodes (cost 6 ) 411.733 * * [simplify]: iteration 3 : 53 enodes (cost 5 ) 411.738 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 411.743 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 411.749 * * [simplify]: iteration 6 : 91 enodes (cost 5 ) 411.760 * * [simplify]: iteration 7 : 150 enodes (cost 5 ) 411.809 * * [simplify]: iteration 8 : 364 enodes (cost 5 ) 412.257 * * [simplify]: iteration 9 : 1275 enodes (cost 5 ) 414.596 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 414.597 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 414.598 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 414.601 * * [simplify]: iteration 2 : 40 enodes (cost 6 ) 414.604 * * [simplify]: iteration 3 : 53 enodes (cost 5 ) 414.609 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 414.613 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 414.619 * * [simplify]: iteration 6 : 91 enodes (cost 5 ) 414.631 * * [simplify]: iteration 7 : 150 enodes (cost 5 ) 414.681 * * [simplify]: iteration 8 : 364 enodes (cost 5 ) 415.130 * * [simplify]: iteration 9 : 1275 enodes (cost 5 ) 417.488 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 417.489 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 417.489 * * [simplify]: iteration done : 3 enodes (cost 1 ) 417.490 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 417.491 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 417.494 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 417.498 * * [simplify]: iteration 3 : 60 enodes (cost 10 ) 417.505 * * [simplify]: iteration 4 : 67 enodes (cost 10 ) 417.521 * * [simplify]: iteration 5 : 77 enodes (cost 10 ) 417.530 * * [simplify]: iteration 6 : 99 enodes (cost 10 ) 417.544 * * [simplify]: iteration 7 : 160 enodes (cost 10 ) 417.596 * * [simplify]: iteration 8 : 373 enodes (cost 10 ) 418.054 * * [simplify]: iteration 9 : 1311 enodes (cost 10 ) 420.377 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 420.377 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 420.378 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 420.381 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 420.386 * * [simplify]: iteration 3 : 61 enodes (cost 10 ) 420.398 * * [simplify]: iteration 4 : 71 enodes (cost 10 ) 420.405 * * [simplify]: iteration 5 : 81 enodes (cost 10 ) 420.414 * * [simplify]: iteration 6 : 103 enodes (cost 10 ) 420.429 * * [simplify]: iteration 7 : 167 enodes (cost 10 ) 420.479 * * [simplify]: iteration 8 : 375 enodes (cost 10 ) 420.933 * * [simplify]: iteration 9 : 1298 enodes (cost 10 ) 423.262 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 423.263 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 423.264 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 423.267 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 423.272 * * [simplify]: iteration 3 : 60 enodes (cost 10 ) 423.278 * * [simplify]: iteration 4 : 67 enodes (cost 10 ) 423.286 * * [simplify]: iteration 5 : 77 enodes (cost 10 ) 423.301 * * [simplify]: iteration 6 : 99 enodes (cost 10 ) 423.316 * * [simplify]: iteration 7 : 160 enodes (cost 10 ) 423.367 * * [simplify]: iteration 8 : 373 enodes (cost 10 ) 423.831 * * [simplify]: iteration 9 : 1311 enodes (cost 10 ) 426.144 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 426.145 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 426.146 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 426.149 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 426.153 * * [simplify]: iteration 3 : 53 enodes (cost 5 ) 426.157 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 426.162 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 426.168 * * [simplify]: iteration 6 : 93 enodes (cost 5 ) 426.184 * * [simplify]: iteration 7 : 161 enodes (cost 5 ) 426.234 * * [simplify]: iteration 8 : 371 enodes (cost 5 ) 426.913 * * [simplify]: iteration 9 : 1294 enodes (cost 5 ) 429.286 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 429.286 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 429.287 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 429.290 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 429.294 * * [simplify]: iteration 3 : 60 enodes (cost 10 ) 429.301 * * [simplify]: iteration 4 : 67 enodes (cost 10 ) 429.309 * * [simplify]: iteration 5 : 77 enodes (cost 10 ) 429.324 * * [simplify]: iteration 6 : 99 enodes (cost 10 ) 429.338 * * [simplify]: iteration 7 : 160 enodes (cost 10 ) 429.390 * * [simplify]: iteration 8 : 373 enodes (cost 10 ) 429.866 * * [simplify]: iteration 9 : 1311 enodes (cost 10 ) 432.201 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 432.201 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 432.203 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 432.206 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 432.209 * * [simplify]: iteration 3 : 53 enodes (cost 5 ) 432.214 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 432.219 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 432.229 * * [simplify]: iteration 6 : 93 enodes (cost 5 ) 432.241 * * [simplify]: iteration 7 : 161 enodes (cost 5 ) 432.288 * * [simplify]: iteration 8 : 371 enodes (cost 5 ) 432.728 * * [simplify]: iteration 9 : 1294 enodes (cost 5 ) 435.055 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 435.056 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 435.056 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 435.058 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 435.060 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 435.063 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 435.065 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 435.069 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 435.078 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 435.127 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 435.573 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 438.018 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 438.018 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 438.019 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 438.021 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 438.023 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 438.025 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 438.028 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 438.032 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 438.042 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 438.090 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 438.536 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 440.969 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 440.970 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 440.971 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 440.972 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 440.974 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 440.976 * * [simplify]: iteration 4 : 41 enodes (cost 6 ) 440.979 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 440.983 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 440.992 * * [simplify]: iteration 7 : 134 enodes (cost 6 ) 441.040 * * [simplify]: iteration 8 : 346 enodes (cost 6 ) 441.485 * * [simplify]: iteration 9 : 1277 enodes (cost 6 ) 443.930 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 443.930 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 443.931 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 443.935 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 443.941 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 443.954 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 444.020 * * [simplify]: iteration 5 : 448 enodes (cost 5 ) 444.520 * * [simplify]: iteration 6 : 1448 enodes (cost 5 ) 448.788 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 448.789 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 448.790 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 448.794 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 448.800 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 448.817 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 448.880 * * [simplify]: iteration 5 : 448 enodes (cost 5 ) 449.383 * * [simplify]: iteration 6 : 1448 enodes (cost 5 ) 453.683 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 453.683 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 453.684 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 453.688 * * [simplify]: iteration 2 : 59 enodes (cost 5 ) 453.694 * * [simplify]: iteration 3 : 90 enodes (cost 5 ) 453.706 * * [simplify]: iteration 4 : 171 enodes (cost 5 ) 453.768 * * [simplify]: iteration 5 : 448 enodes (cost 5 ) 454.276 * * [simplify]: iteration 6 : 1448 enodes (cost 5 ) 458.795 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 458.796 * [simplify]: Simplified to: (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (exp (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (pow t 6) (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32))) (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (pow (* (sqrt 3.9999999999999997e-32) (pow t 2)) 3) (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* (* (sqrt 3.9999999999999997e-32) t) (cbrt t)) (* t (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* (fabs t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32) (* t (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 2 (+ (log t) (log (sqrt 3.9999999999999997e-32)))) (* 2 (+ (log t) (log (sqrt 3.9999999999999997e-32)))) (* 2 (+ (log (sqrt 3.9999999999999997e-32)) (log t))) (* 2 (log (* t (sqrt 3.9999999999999997e-32)))) (log (* (pow t 2) 3.9999999999999997e-32)) (exp (* (pow t 2) 3.9999999999999997e-32)) (* (pow 3.9999999999999997e-32 3) (pow t 6)) (pow (* (sqrt 3.9999999999999997e-32) t) 6) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* (pow t 2) 3.9999999999999997e-32)) (pow (* (sqrt 3.9999999999999997e-32) t) 6) (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))) 3.9999999999999997e-32 (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* 3.9999999999999997e-32 (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* 3.9999999999999997e-32 (pow t 2)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 458.796 * * * [progress]: adding candidates to table 458.892 * [progress]: [Phase 3 of 3] Extracting. 458.892 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 458.893 * * * [regime-changes]: Trying 1 branch expressions: (t) 458.893 * * * * [regimes]: Trying to branch on t from (# # # # # # # # #) 458.941 * * * [regime]: Found split indices: #