9.976 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 a b) (+.f64 a b))
0.017 * * [simplify]: iteration  0 :  5  enodes  (cost  10 )
0.017 * * [simplify]: iteration  1 :  5  enodes  (cost  10 )
0.017 * [simplify]: Simplified to:
   (*.f64 (+.f64 a b) (+.f64 a b))
0.018 * * [progress]: iteration 1 / 4
0.018 * * * [progress]: picking best candidate
0.018 * * * * [pick]: Picked  #<alt (λ (a b) (*.f64 (+.f64 a b) (+.f64 a b)))>
0.018 * * * [progress]: localizing error
0.021 * * * [progress]: generating rewritten candidates
0.021 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.021 * * * [progress]: generating series expansions
0.022 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.022 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.022 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.022 * [taylor]: Taking taylor expansion of (+ a b) in b
0.022 * [taylor]: Taking taylor expansion of a in b
0.023 * [taylor]: Taking taylor expansion of b in b
0.023 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.023 * [taylor]: Taking taylor expansion of (+ a b) in a
0.023 * [taylor]: Taking taylor expansion of a in a
0.023 * [taylor]: Taking taylor expansion of b in a
0.023 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.023 * [taylor]: Taking taylor expansion of (+ a b) in a
0.023 * [taylor]: Taking taylor expansion of a in a
0.023 * [taylor]: Taking taylor expansion of b in a
0.023 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.023 * [taylor]: Taking taylor expansion of b in b
0.024 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.024 * [taylor]: Taking taylor expansion of 2 in b
0.024 * [taylor]: Taking taylor expansion of b in b
0.025 * [taylor]: Taking taylor expansion of 1 in b
0.029 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0
0.029 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b
0.029 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.029 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.029 * [taylor]: Taking taylor expansion of b in b
0.029 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.029 * [taylor]: Taking taylor expansion of a in b
0.029 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.029 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.029 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.029 * [taylor]: Taking taylor expansion of b in a
0.030 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.030 * [taylor]: Taking taylor expansion of a in a
0.030 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.030 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.030 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.030 * [taylor]: Taking taylor expansion of b in a
0.030 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.030 * [taylor]: Taking taylor expansion of a in a
0.031 * [taylor]: Taking taylor expansion of 1 in b
0.032 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.032 * [taylor]: Taking taylor expansion of 2 in b
0.032 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.032 * [taylor]: Taking taylor expansion of b in b
0.034 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.034 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.034 * [taylor]: Taking taylor expansion of b in b
0.039 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0
0.039 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b
0.039 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.040 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.040 * [taylor]: Taking taylor expansion of b in b
0.040 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.040 * [taylor]: Taking taylor expansion of a in b
0.040 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.040 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.040 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.040 * [taylor]: Taking taylor expansion of b in a
0.040 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.040 * [taylor]: Taking taylor expansion of a in a
0.041 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.041 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.041 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.041 * [taylor]: Taking taylor expansion of b in a
0.041 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.041 * [taylor]: Taking taylor expansion of a in a
0.041 * [taylor]: Taking taylor expansion of 1 in b
0.042 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.043 * [taylor]: Taking taylor expansion of 2 in b
0.043 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.043 * [taylor]: Taking taylor expansion of b in b
0.045 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.045 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.045 * [taylor]: Taking taylor expansion of b in b
0.048 * * * [progress]: simplifying candidates
0.048 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
0.049 * * [simplify]: iteration  0 :  10  enodes  (cost  57 )
0.049 * * [simplify]: iteration  1 :  10  enodes  (cost  57 )
0.049 * [simplify]: Simplified to:
   (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
0.049 * * * [progress]: adding candidates to table
0.051 * * [progress]: iteration 2 / 4
0.051 * * * [progress]: picking best candidate
0.052 * * * * [pick]: Picked  #<alt (λ (a b) (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))))>
0.052 * * * [progress]: localizing error
0.061 * * * [progress]: generating rewritten candidates
0.061 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.061 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.061 * * * [progress]: generating series expansions
0.061 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.061 * [approximate]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in (a b) around 0
0.061 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in b
0.062 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.062 * [taylor]: Taking taylor expansion of a in b
0.062 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
0.062 * [taylor]: Taking taylor expansion of 2 in b
0.062 * [taylor]: Taking taylor expansion of (* a b) in b
0.062 * [taylor]: Taking taylor expansion of a in b
0.062 * [taylor]: Taking taylor expansion of b in b
0.062 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in a
0.062 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.062 * [taylor]: Taking taylor expansion of a in a
0.062 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
0.062 * [taylor]: Taking taylor expansion of 2 in a
0.062 * [taylor]: Taking taylor expansion of (* a b) in a
0.062 * [taylor]: Taking taylor expansion of a in a
0.062 * [taylor]: Taking taylor expansion of b in a
0.062 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in a
0.062 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.062 * [taylor]: Taking taylor expansion of a in a
0.062 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
0.062 * [taylor]: Taking taylor expansion of 2 in a
0.062 * [taylor]: Taking taylor expansion of (* a b) in a
0.062 * [taylor]: Taking taylor expansion of a in a
0.062 * [taylor]: Taking taylor expansion of b in a
0.062 * [taylor]: Taking taylor expansion of 0 in b
0.063 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.063 * [taylor]: Taking taylor expansion of 2 in b
0.063 * [taylor]: Taking taylor expansion of b in b
0.064 * [taylor]: Taking taylor expansion of 1 in b
0.066 * [taylor]: Taking taylor expansion of 0 in b
0.069 * [taylor]: Taking taylor expansion of 0 in b
0.071 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in (a b) around 0
0.071 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.071 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.071 * [taylor]: Taking taylor expansion of 2 in b
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.071 * [taylor]: Taking taylor expansion of (* a b) in b
0.071 * [taylor]: Taking taylor expansion of a in b
0.071 * [taylor]: Taking taylor expansion of b in b
0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.072 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.072 * [taylor]: Taking taylor expansion of a in b
0.072 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.072 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.072 * [taylor]: Taking taylor expansion of 2 in a
0.072 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.072 * [taylor]: Taking taylor expansion of (* a b) in a
0.072 * [taylor]: Taking taylor expansion of a in a
0.072 * [taylor]: Taking taylor expansion of b in a
0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.073 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.073 * [taylor]: Taking taylor expansion of a in a
0.073 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.073 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.073 * [taylor]: Taking taylor expansion of 2 in a
0.073 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.073 * [taylor]: Taking taylor expansion of (* a b) in a
0.073 * [taylor]: Taking taylor expansion of a in a
0.073 * [taylor]: Taking taylor expansion of b in a
0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.074 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.074 * [taylor]: Taking taylor expansion of a in a
0.074 * [taylor]: Taking taylor expansion of 1 in b
0.076 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.076 * [taylor]: Taking taylor expansion of 2 in b
0.076 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.076 * [taylor]: Taking taylor expansion of b in b
0.079 * [taylor]: Taking taylor expansion of 0 in b
0.084 * [taylor]: Taking taylor expansion of 0 in b
0.091 * [taylor]: Taking taylor expansion of 0 in b
0.094 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in (a b) around 0
0.094 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.094 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.094 * [taylor]: Taking taylor expansion of 2 in b
0.094 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.094 * [taylor]: Taking taylor expansion of (* a b) in b
0.094 * [taylor]: Taking taylor expansion of a in b
0.094 * [taylor]: Taking taylor expansion of b in b
0.095 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.095 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.095 * [taylor]: Taking taylor expansion of a in b
0.095 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.095 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.095 * [taylor]: Taking taylor expansion of 2 in a
0.095 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.095 * [taylor]: Taking taylor expansion of (* a b) in a
0.095 * [taylor]: Taking taylor expansion of a in a
0.096 * [taylor]: Taking taylor expansion of b in a
0.096 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.096 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.096 * [taylor]: Taking taylor expansion of a in a
0.096 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.096 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.097 * [taylor]: Taking taylor expansion of 2 in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.097 * [taylor]: Taking taylor expansion of (* a b) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.097 * [taylor]: Taking taylor expansion of b in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.097 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.098 * [taylor]: Taking taylor expansion of 1 in b
0.099 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.099 * [taylor]: Taking taylor expansion of 2 in b
0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.099 * [taylor]: Taking taylor expansion of b in b
0.103 * [taylor]: Taking taylor expansion of 0 in b
0.108 * [taylor]: Taking taylor expansion of 0 in b
0.115 * [taylor]: Taking taylor expansion of 0 in b
0.117 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.118 * [approximate]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in (b a) around 0
0.118 * [taylor]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in a
0.118 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.118 * [taylor]: Taking taylor expansion of b in a
0.118 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in a
0.118 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.118 * [taylor]: Taking taylor expansion of a in a
0.118 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
0.118 * [taylor]: Taking taylor expansion of 2 in a
0.118 * [taylor]: Taking taylor expansion of (* a b) in a
0.118 * [taylor]: Taking taylor expansion of a in a
0.118 * [taylor]: Taking taylor expansion of b in a
0.118 * [taylor]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in b
0.118 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.118 * [taylor]: Taking taylor expansion of b in b
0.118 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in b
0.118 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.118 * [taylor]: Taking taylor expansion of a in b
0.118 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
0.118 * [taylor]: Taking taylor expansion of 2 in b
0.118 * [taylor]: Taking taylor expansion of (* a b) in b
0.118 * [taylor]: Taking taylor expansion of a in b
0.118 * [taylor]: Taking taylor expansion of b in b
0.118 * [taylor]: Taking taylor expansion of (+ (pow b 2) (+ (pow a 2) (* 2 (* a b)))) in b
0.118 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.119 * [taylor]: Taking taylor expansion of b in b
0.119 * [taylor]: Taking taylor expansion of (+ (pow a 2) (* 2 (* a b))) in b
0.119 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.119 * [taylor]: Taking taylor expansion of a in b
0.119 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
0.119 * [taylor]: Taking taylor expansion of 2 in b
0.119 * [taylor]: Taking taylor expansion of (* a b) in b
0.119 * [taylor]: Taking taylor expansion of a in b
0.119 * [taylor]: Taking taylor expansion of b in b
0.120 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.120 * [taylor]: Taking taylor expansion of a in a
0.121 * [taylor]: Taking taylor expansion of (* 2 a) in a
0.121 * [taylor]: Taking taylor expansion of 2 in a
0.121 * [taylor]: Taking taylor expansion of a in a
0.123 * [taylor]: Taking taylor expansion of 1 in a
0.127 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.127 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.127 * [taylor]: Taking taylor expansion of b in a
0.127 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.127 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.127 * [taylor]: Taking taylor expansion of 2 in a
0.127 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.127 * [taylor]: Taking taylor expansion of (* a b) in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.127 * [taylor]: Taking taylor expansion of b in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.128 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.128 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.128 * [taylor]: Taking taylor expansion of b in b
0.129 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.129 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.129 * [taylor]: Taking taylor expansion of 2 in b
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.129 * [taylor]: Taking taylor expansion of (* a b) in b
0.129 * [taylor]: Taking taylor expansion of a in b
0.129 * [taylor]: Taking taylor expansion of b in b
0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.129 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.129 * [taylor]: Taking taylor expansion of a in b
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.130 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.130 * [taylor]: Taking taylor expansion of b in b
0.130 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.130 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.130 * [taylor]: Taking taylor expansion of 2 in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.130 * [taylor]: Taking taylor expansion of (* a b) in b
0.130 * [taylor]: Taking taylor expansion of a in b
0.130 * [taylor]: Taking taylor expansion of b in b
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.131 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.131 * [taylor]: Taking taylor expansion of a in b
0.131 * [taylor]: Taking taylor expansion of 1 in a
0.133 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
0.133 * [taylor]: Taking taylor expansion of 2 in a
0.133 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.133 * [taylor]: Taking taylor expansion of a in a
0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.136 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.136 * [taylor]: Taking taylor expansion of a in a
0.144 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0
0.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.144 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.144 * [taylor]: Taking taylor expansion of b in a
0.144 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.144 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.144 * [taylor]: Taking taylor expansion of 2 in a
0.144 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.144 * [taylor]: Taking taylor expansion of (* a b) in a
0.144 * [taylor]: Taking taylor expansion of a in a
0.144 * [taylor]: Taking taylor expansion of b in a
0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.145 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.145 * [taylor]: Taking taylor expansion of a in a
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.145 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.145 * [taylor]: Taking taylor expansion of b in b
0.145 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.145 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.145 * [taylor]: Taking taylor expansion of 2 in b
0.145 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.145 * [taylor]: Taking taylor expansion of (* a b) in b
0.146 * [taylor]: Taking taylor expansion of a in b
0.146 * [taylor]: Taking taylor expansion of b in b
0.146 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.146 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.146 * [taylor]: Taking taylor expansion of a in b
0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
0.147 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.147 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.147 * [taylor]: Taking taylor expansion of b in b
0.147 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.147 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.147 * [taylor]: Taking taylor expansion of 2 in b
0.147 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.147 * [taylor]: Taking taylor expansion of (* a b) in b
0.147 * [taylor]: Taking taylor expansion of a in b
0.147 * [taylor]: Taking taylor expansion of b in b
0.148 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.148 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.148 * [taylor]: Taking taylor expansion of a in b
0.148 * [taylor]: Taking taylor expansion of 1 in a
0.150 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
0.150 * [taylor]: Taking taylor expansion of 2 in a
0.150 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.150 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.154 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.158 * * * [progress]: simplifying candidates
0.158 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))
  (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))
  (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
0.158 * * [simplify]: iteration  0 :  10  enodes  (cost  96 )
0.158 * * [simplify]: iteration  1 :  10  enodes  (cost  96 )
0.159 * [simplify]: Simplified to:
   (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))
  (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))
  (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
  (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
0.159 * * * [progress]: adding candidates to table
0.159 * [progress]: [Phase 3 of 3] Extracting.
0.159 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))))> #<alt (λ (a b) (*.f64 (+.f64 a b) (+.f64 a b)))>)
0.160 * * * [regime-changes]: Trying 4 branch expressions: ((+.f64 a b) (*.f64 (+.f64 a b) (+.f64 a b)) b a)
0.160 * * * * [regimes]: Trying to branch on (+.f64 a b) from (#<alt (λ (a b) (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))))> #<alt (λ (a b) (*.f64 (+.f64 a b) (+.f64 a b)))>)
0.168 * * * * [regimes]: Trying to branch on (*.f64 (+.f64 a b) (+.f64 a b)) from (#<alt (λ (a b) (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))))> #<alt (λ (a b) (*.f64 (+.f64 a b) (+.f64 a b)))>)
0.176 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))))> #<alt (λ (a b) (*.f64 (+.f64 a b) (+.f64 a b)))>)
0.183 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b)))))> #<alt (λ (a b) (*.f64 (+.f64 a b) (+.f64 a b)))>)
0.192 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.192 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
0.192 * * [simplify]: iteration  0 :  10  enodes  (cost  19 )
0.192 * * [simplify]: iteration  1 :  10  enodes  (cost  19 )
0.192 * [simplify]: Simplified to:
   (+.f64 (pow.f64 b 2) (+.f64 (pow.f64 a 2) (*.f64 2 (*.f64 a b))))
0.666 * [regime-testing]: End program error score: 0.013126640830103764
0.683 * [regime-testing]: Target error score: 0.011376422052756595