3.121 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (+.f64 (*.f64 (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (-.f64 -1 (*.f64 2 (*.f64 t 2028240960365167/10141204801825835211973625643008)))) 0.028 * * [simplify]: iteration 0 : 12 enodes (cost 28 ) 0.028 * * [simplify]: iteration 1 : 12 enodes (cost 28 ) 0.028 * [simplify]: Simplified to: (+.f64 (*.f64 (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (-.f64 -1 (*.f64 2 (*.f64 t 2028240960365167/10141204801825835211973625643008)))) 0.029 * * [progress]: iteration 1 / 4 0.029 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.030 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.037 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.037 * * * [progress]: generating series expansions 0.037 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.039 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0 0.039 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.040 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.040 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.040 * [taylor]: Taking taylor expansion of t in t 0.040 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.040 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.040 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.040 * [taylor]: Taking taylor expansion of t in t 0.051 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/ 1 (pow t 2))) in (t) around 0 0.051 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/ 1 (pow t 2))) in t 0.051 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.051 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.052 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.052 * [taylor]: Taking taylor expansion of t in t 0.052 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/ 1 (pow t 2))) in t 0.052 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.052 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.052 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.052 * [taylor]: Taking taylor expansion of t in t 0.074 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/ 1 (pow t 2))) in (t) around 0 0.074 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/ 1 (pow t 2))) in t 0.074 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.074 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.074 * [taylor]: Taking taylor expansion of t in t 0.074 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (/ 1 (pow t 2))) in t 0.074 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.074 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.074 * [taylor]: Taking taylor expansion of t in t 0.092 * * * [progress]: simplifying candidates 0.093 * [simplify]: Simplifying using # : (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) 0.093 * * [simplify]: iteration 0 : 6 enodes (cost 21 ) 0.093 * * [simplify]: iteration 1 : 6 enodes (cost 21 ) 0.093 * [simplify]: Simplified to: (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) 0.093 * * * [progress]: adding candidates to table 0.096 * * [progress]: iteration 2 / 4 0.096 * * * [progress]: picking best candidate 0.097 * * * * [pick]: Picked # 0.097 * * * [progress]: localizing error 0.100 * * * [progress]: generating rewritten candidates 0.100 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.100 * * * [progress]: generating series expansions 0.100 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.101 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0 0.101 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.101 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.101 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.101 * [taylor]: Taking taylor expansion of t in t 0.101 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.101 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.101 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.101 * [taylor]: Taking taylor expansion of t in t 0.110 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0 0.110 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.110 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.110 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.110 * [taylor]: Taking taylor expansion of t in t 0.111 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.111 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.111 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.111 * [taylor]: Taking taylor expansion of t in t 0.123 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0 0.123 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.123 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.124 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.124 * [taylor]: Taking taylor expansion of t in t 0.124 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t 0.124 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t 0.124 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.124 * [taylor]: Taking taylor expansion of t in t 0.137 * * * [progress]: simplifying candidates 0.137 * [simplify]: Simplifying using # : (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) 0.138 * * [simplify]: iteration 0 : 6 enodes (cost 21 ) 0.138 * * [simplify]: iteration 1 : 6 enodes (cost 21 ) 0.138 * [simplify]: Simplified to: (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) 0.138 * * * [progress]: adding candidates to table 0.138 * [progress]: [Phase 3 of 3] Extracting. 0.139 * [simplify]: Simplifying using # : (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) 0.139 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.139 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 0.139 * [simplify]: Simplified to: (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2)) 0.952 * [regime-testing]: End program error score: 0.34361851637821916 0.977 * [regime-testing]: Target error score: 50.565651095590596