41.932 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (* (+ a b) (+ a b))
0.025 * [simplify]: Sending expressions to egg_math:
 (* (+ h1 h0) (+ h1 h0))
0.111 * * [progress]: iteration 1 / 4
0.112 * * * [progress]: picking best candidate
0.113 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.113 * * * [progress]: localizing error
0.117 * * * [progress]: generating rewritten candidates
0.117 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.152 * * * [progress]: generating series expansions
0.152 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.152 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.153 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.153 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.153 * [taylor]: Taking taylor expansion of (+ a b) in b
0.153 * [taylor]: Taking taylor expansion of a in b
0.153 * [backup-simplify]: Simplify a into a
0.153 * [taylor]: Taking taylor expansion of b in b
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.153 * [backup-simplify]: Simplify (+ a 0) into a
0.153 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.153 * [taylor]: Taking taylor expansion of (+ a b) in a
0.153 * [taylor]: Taking taylor expansion of a in a
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.153 * [taylor]: Taking taylor expansion of b in a
0.153 * [backup-simplify]: Simplify b into b
0.153 * [backup-simplify]: Simplify (+ 0 b) into b
0.153 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.153 * [taylor]: Taking taylor expansion of (+ a b) in a
0.153 * [taylor]: Taking taylor expansion of a in a
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.153 * [taylor]: Taking taylor expansion of b in a
0.153 * [backup-simplify]: Simplify b into b
0.153 * [backup-simplify]: Simplify (+ 0 b) into b
0.153 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.153 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.153 * [taylor]: Taking taylor expansion of b in b
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify (+ 1 0) into 1
0.154 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.154 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.154 * [taylor]: Taking taylor expansion of 2 in b
0.154 * [backup-simplify]: Simplify 2 into 2
0.154 * [taylor]: Taking taylor expansion of b in b
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify (* 2 0) into 0
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify (+ 0 0) into 0
0.155 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.155 * [taylor]: Taking taylor expansion of 1 in b
0.155 * [backup-simplify]: Simplify 1 into 1
0.155 * [backup-simplify]: Simplify 1 into 1
0.155 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.155 * [backup-simplify]: Simplify 2 into 2
0.155 * [backup-simplify]: Simplify (* 1 1) into 1
0.155 * [backup-simplify]: Simplify 1 into 1
0.156 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.156 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 b) (/ 1 a)) 2)
0.156 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0
0.156 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.156 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.156 * [taylor]: Taking taylor expansion of b in b
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 1 into 1
0.156 * [backup-simplify]: Simplify (/ 1 1) into 1
0.156 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.156 * [taylor]: Taking taylor expansion of a in b
0.156 * [backup-simplify]: Simplify a into a
0.156 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.157 * [backup-simplify]: Simplify (+ 1 0) into 1
0.157 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.157 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.157 * [taylor]: Taking taylor expansion of b in a
0.157 * [backup-simplify]: Simplify b into b
0.157 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.157 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.157 * [taylor]: Taking taylor expansion of a in a
0.157 * [backup-simplify]: Simplify 0 into 0
0.157 * [backup-simplify]: Simplify 1 into 1
0.157 * [backup-simplify]: Simplify (/ 1 1) into 1
0.157 * [backup-simplify]: Simplify (+ 0 1) into 1
0.157 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.157 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.157 * [taylor]: Taking taylor expansion of b in a
0.157 * [backup-simplify]: Simplify b into b
0.157 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.158 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.158 * [taylor]: Taking taylor expansion of a in a
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 1 into 1
0.158 * [backup-simplify]: Simplify (/ 1 1) into 1
0.158 * [backup-simplify]: Simplify (+ 0 1) into 1
0.158 * [backup-simplify]: Simplify (* 1 1) into 1
0.158 * [taylor]: Taking taylor expansion of 1 in b
0.158 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.159 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
0.159 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.159 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.159 * [taylor]: Taking taylor expansion of 2 in b
0.159 * [backup-simplify]: Simplify 2 into 2
0.159 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.159 * [taylor]: Taking taylor expansion of b in b
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (/ 1 1) into 1
0.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.160 * [backup-simplify]: Simplify (+ 0 0) into 0
0.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.161 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.161 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.161 * [taylor]: Taking taylor expansion of b in b
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [backup-simplify]: Simplify (* 1 1) into 1
0.161 * [backup-simplify]: Simplify (/ 1 1) into 1
0.161 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (* 2 1) into 2
0.162 * [backup-simplify]: Simplify 2 into 2
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.162 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 b) (/ 1 a)) 2)
0.162 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0
0.162 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b
0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.162 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.162 * [taylor]: Taking taylor expansion of b in b
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (/ 1 1) into 1
0.163 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.163 * [taylor]: Taking taylor expansion of a in b
0.163 * [backup-simplify]: Simplify a into a
0.163 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.163 * [backup-simplify]: Simplify (+ 1 0) into 1
0.163 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.163 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.163 * [taylor]: Taking taylor expansion of b in a
0.163 * [backup-simplify]: Simplify b into b
0.163 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.163 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.163 * [taylor]: Taking taylor expansion of a in a
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (/ 1 1) into 1
0.164 * [backup-simplify]: Simplify (+ 0 1) into 1
0.164 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a
0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.164 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.164 * [taylor]: Taking taylor expansion of b in a
0.164 * [backup-simplify]: Simplify b into b
0.164 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.164 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.164 * [taylor]: Taking taylor expansion of a in a
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (/ 1 1) into 1
0.164 * [backup-simplify]: Simplify (+ 0 1) into 1
0.165 * [backup-simplify]: Simplify (* 1 1) into 1
0.165 * [taylor]: Taking taylor expansion of 1 in b
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.165 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
0.165 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.165 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.165 * [taylor]: Taking taylor expansion of 2 in b
0.165 * [backup-simplify]: Simplify 2 into 2
0.165 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.165 * [taylor]: Taking taylor expansion of b in b
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (/ 1 1) into 1
0.166 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.166 * [backup-simplify]: Simplify (+ 0 0) into 0
0.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.167 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.167 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.167 * [taylor]: Taking taylor expansion of b in b
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (* 1 1) into 1
0.167 * [backup-simplify]: Simplify (/ 1 1) into 1
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (* 2 1) into 2
0.168 * [backup-simplify]: Simplify 2 into 2
0.168 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.168 * * * [progress]: simplifying candidates
0.169 * [simplify]: Simplifying:
  (+ 1 1)
  (* (+ a b) (+ a b))
  (+ 1 1)
  (+ (log (+ a b)) (log (+ a b)))
  (log (* (+ a b) (+ a b)))
  (exp (* (+ a b) (+ a b)))
  (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))
  (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b))))
  (cbrt (* (+ a b) (+ a b)))
  (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))
  (sqrt (* (+ a b) (+ a b)))
  (sqrt (* (+ a b) (+ a b)))
  (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
  (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
  (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
  (* (+ (* a a) (- (* b b) (* a b))) (- a b))
  (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3)))
  (* (- a b) (+ (* a a) (- (* b b) (* a b))))
  (* (- (* a a) (* b b)) (- (* a a) (* b b)))
  (* (- a b) (- a b))
  (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b))))
  (* (cbrt (+ a b)) (cbrt (+ a b)))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* 2 1)
  (* (+ a b) a)
  (* (+ a b) b)
  (* a (+ a b))
  (* b (+ a b))
  (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b))))
  (* (+ a b) (sqrt (+ a b)))
  (* (+ a b) 1)
  (* (+ a b) 1)
  (* (cbrt (+ a b)) (+ a b))
  (* (sqrt (+ a b)) (+ a b))
  (* (+ a b) (+ a b))
  (* (+ a b) (+ a b))
  (* (+ a b) (+ (pow a 3) (pow b 3)))
  (* (+ a b) (- (* a a) (* b b)))
  (* (+ (pow a 3) (pow b 3)) (+ a b))
  (* (- (* a a) (* b b)) (+ a b))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.169 * [simplify]: Sending expressions to egg_math:
 (+ 1 1)
 (* (+ h1 h0) (+ h1 h0))
 (+ 1 1)
 (+ (log (+ h1 h0)) (log (+ h1 h0)))
 (log (* (+ h1 h0) (+ h1 h0)))
 (exp (* (+ h1 h0) (+ h1 h0)))
 (* (* (* (+ h1 h0) (+ h1 h0)) (+ h1 h0)) (* (* (+ h1 h0) (+ h1 h0)) (+ h1 h0)))
 (* (cbrt (* (+ h1 h0) (+ h1 h0))) (cbrt (* (+ h1 h0) (+ h1 h0))))
 (cbrt (* (+ h1 h0) (+ h1 h0)))
 (* (* (* (+ h1 h0) (+ h1 h0)) (* (+ h1 h0) (+ h1 h0))) (* (+ h1 h0) (+ h1 h0)))
 (sqrt (* (+ h1 h0) (+ h1 h0)))
 (sqrt (* (+ h1 h0) (+ h1 h0)))
 (* (+ (pow h1 3) (pow h0 3)) (+ (pow h1 3) (pow h0 3)))
 (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (+ (* h1 h1) (- (* h0 h0) (* h1 h0))))
 (* (+ (pow h1 3) (pow h0 3)) (- (* h1 h1) (* h0 h0)))
 (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (- h1 h0))
 (* (- (* h1 h1) (* h0 h0)) (+ (pow h1 3) (pow h0 3)))
 (* (- h1 h0) (+ (* h1 h1) (- (* h0 h0) (* h1 h0))))
 (* (- (* h1 h1) (* h0 h0)) (- (* h1 h1) (* h0 h0)))
 (* (- h1 h0) (- h1 h0))
 (* (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))) (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))))
 (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0)))
 (* (sqrt (+ h1 h0)) (sqrt (+ h1 h0)))
 (* (sqrt (+ h1 h0)) (sqrt (+ h1 h0)))
 (* 1 1)
 (* (+ h1 h0) (+ h1 h0))
 (* 1 1)
 (* (+ h1 h0) (+ h1 h0))
 (* 1 1)
 (* (+ h1 h0) (+ h1 h0))
 (* 1 1)
 (* (+ h1 h0) (+ h1 h0))
 (* (sqrt (+ h1 h0)) (sqrt (+ h1 h0)))
 (* (sqrt (+ h1 h0)) (sqrt (+ h1 h0)))
 (* 2 1)
 (* (+ h1 h0) h1)
 (* (+ h1 h0) h0)
 (* h1 (+ h1 h0))
 (* h0 (+ h1 h0))
 (* (+ h1 h0) (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))))
 (* (+ h1 h0) (sqrt (+ h1 h0)))
 (* (+ h1 h0) 1)
 (* (+ h1 h0) 1)
 (* (cbrt (+ h1 h0)) (+ h1 h0))
 (* (sqrt (+ h1 h0)) (+ h1 h0))
 (* (+ h1 h0) (+ h1 h0))
 (* (+ h1 h0) (+ h1 h0))
 (* (+ h1 h0) (+ (pow h1 3) (pow h0 3)))
 (* (+ h1 h0) (- (* h1 h1) (* h0 h0)))
 (* (+ (pow h1 3) (pow h0 3)) (+ h1 h0))
 (* (- (* h1 h1) (* h0 h0)) (+ h1 h0))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
0.780 * * * [progress]: adding candidates to table
0.863 * * [progress]: iteration 2 / 4
0.863 * * * [progress]: picking best candidate
0.870 * * * * [pick]: Picked  #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
0.870 * * * [progress]: localizing error
0.883 * * * [progress]: generating rewritten candidates
0.883 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.919 * * * [progress]: generating series expansions
0.919 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.919 * [backup-simplify]: Simplify (+ (* a (+ a b)) (* b (+ a b))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.919 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (a b) around 0
0.919 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b
0.919 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.919 * [taylor]: Taking taylor expansion of a in b
0.919 * [backup-simplify]: Simplify a into a
0.919 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b
0.920 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
0.920 * [taylor]: Taking taylor expansion of 2 in b
0.920 * [backup-simplify]: Simplify 2 into 2
0.920 * [taylor]: Taking taylor expansion of (* a b) in b
0.920 * [taylor]: Taking taylor expansion of a in b
0.920 * [backup-simplify]: Simplify a into a
0.920 * [taylor]: Taking taylor expansion of b in b
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.920 * [taylor]: Taking taylor expansion of b in b
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a
0.920 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.920 * [taylor]: Taking taylor expansion of a in a
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a
0.920 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
0.920 * [taylor]: Taking taylor expansion of 2 in a
0.920 * [backup-simplify]: Simplify 2 into 2
0.920 * [taylor]: Taking taylor expansion of (* a b) in a
0.920 * [taylor]: Taking taylor expansion of a in a
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [taylor]: Taking taylor expansion of b in a
0.920 * [backup-simplify]: Simplify b into b
0.920 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.920 * [taylor]: Taking taylor expansion of b in a
0.920 * [backup-simplify]: Simplify b into b
0.920 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a
0.920 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.920 * [taylor]: Taking taylor expansion of a in a
0.920 * [backup-simplify]: Simplify 0 into 0
0.921 * [backup-simplify]: Simplify 1 into 1
0.921 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a
0.921 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
0.921 * [taylor]: Taking taylor expansion of 2 in a
0.921 * [backup-simplify]: Simplify 2 into 2
0.921 * [taylor]: Taking taylor expansion of (* a b) in a
0.921 * [taylor]: Taking taylor expansion of a in a
0.921 * [backup-simplify]: Simplify 0 into 0
0.921 * [backup-simplify]: Simplify 1 into 1
0.921 * [taylor]: Taking taylor expansion of b in a
0.921 * [backup-simplify]: Simplify b into b
0.921 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.921 * [taylor]: Taking taylor expansion of b in a
0.921 * [backup-simplify]: Simplify b into b
0.921 * [backup-simplify]: Simplify (* 0 b) into 0
0.922 * [backup-simplify]: Simplify (* 2 0) into 0
0.922 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.922 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
0.922 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
0.922 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.922 * [taylor]: Taking taylor expansion of b in b
0.922 * [backup-simplify]: Simplify 0 into 0
0.922 * [backup-simplify]: Simplify 1 into 1
0.923 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.923 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b)
0.923 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
0.923 * [backup-simplify]: Simplify (+ (* 2 b) 0) into (* 2 b)
0.923 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
0.923 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.923 * [taylor]: Taking taylor expansion of 2 in b
0.923 * [backup-simplify]: Simplify 2 into 2
0.923 * [taylor]: Taking taylor expansion of b in b
0.923 * [backup-simplify]: Simplify 0 into 0
0.923 * [backup-simplify]: Simplify 1 into 1
0.924 * [backup-simplify]: Simplify (* 2 0) into 0
0.924 * [backup-simplify]: Simplify 0 into 0
0.924 * [backup-simplify]: Simplify (* 1 1) into 1
0.925 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
0.926 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0
0.926 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
0.927 * [backup-simplify]: Simplify (+ 0 0) into 0
0.927 * [backup-simplify]: Simplify (+ 1 0) into 1
0.927 * [taylor]: Taking taylor expansion of 1 in b
0.927 * [backup-simplify]: Simplify 1 into 1
0.927 * [backup-simplify]: Simplify 1 into 1
0.928 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.928 * [backup-simplify]: Simplify 2 into 2
0.928 * [backup-simplify]: Simplify (* 1 1) into 1
0.928 * [backup-simplify]: Simplify 1 into 1
0.929 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.929 * [backup-simplify]: Simplify (+ (* (/ 1 a) (+ (/ 1 a) (/ 1 b))) (* (/ 1 b) (+ (/ 1 a) (/ 1 b)))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))))
0.929 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0
0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
0.929 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.929 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.929 * [taylor]: Taking taylor expansion of b in b
0.929 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 1 into 1
0.930 * [backup-simplify]: Simplify (* 1 1) into 1
0.930 * [backup-simplify]: Simplify (/ 1 1) into 1
0.930 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.930 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.930 * [taylor]: Taking taylor expansion of 2 in b
0.930 * [backup-simplify]: Simplify 2 into 2
0.930 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.930 * [taylor]: Taking taylor expansion of (* a b) in b
0.930 * [taylor]: Taking taylor expansion of a in b
0.930 * [backup-simplify]: Simplify a into a
0.930 * [taylor]: Taking taylor expansion of b in b
0.931 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify 1 into 1
0.931 * [backup-simplify]: Simplify (* a 0) into 0
0.931 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
0.931 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.931 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.931 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.931 * [taylor]: Taking taylor expansion of a in b
0.931 * [backup-simplify]: Simplify a into a
0.931 * [backup-simplify]: Simplify (* a a) into (pow a 2)
0.931 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
0.931 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.931 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.931 * [taylor]: Taking taylor expansion of b in a
0.932 * [backup-simplify]: Simplify b into b
0.932 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.932 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
0.932 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.932 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.932 * [taylor]: Taking taylor expansion of 2 in a
0.932 * [backup-simplify]: Simplify 2 into 2
0.932 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.932 * [taylor]: Taking taylor expansion of (* a b) in a
0.932 * [taylor]: Taking taylor expansion of a in a
0.932 * [backup-simplify]: Simplify 0 into 0
0.932 * [backup-simplify]: Simplify 1 into 1
0.932 * [taylor]: Taking taylor expansion of b in a
0.932 * [backup-simplify]: Simplify b into b
0.932 * [backup-simplify]: Simplify (* 0 b) into 0
0.932 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.933 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.933 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.933 * [taylor]: Taking taylor expansion of a in a
0.933 * [backup-simplify]: Simplify 0 into 0
0.933 * [backup-simplify]: Simplify 1 into 1
0.933 * [backup-simplify]: Simplify (* 1 1) into 1
0.933 * [backup-simplify]: Simplify (/ 1 1) into 1
0.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.933 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.933 * [taylor]: Taking taylor expansion of b in a
0.934 * [backup-simplify]: Simplify b into b
0.934 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.934 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
0.934 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.934 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.934 * [taylor]: Taking taylor expansion of 2 in a
0.934 * [backup-simplify]: Simplify 2 into 2
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.934 * [taylor]: Taking taylor expansion of (* a b) in a
0.934 * [taylor]: Taking taylor expansion of a in a
0.934 * [backup-simplify]: Simplify 0 into 0
0.934 * [backup-simplify]: Simplify 1 into 1
0.934 * [taylor]: Taking taylor expansion of b in a
0.934 * [backup-simplify]: Simplify b into b
0.934 * [backup-simplify]: Simplify (* 0 b) into 0
0.934 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.935 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.935 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.935 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.935 * [taylor]: Taking taylor expansion of a in a
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify 1 into 1
0.935 * [backup-simplify]: Simplify (* 1 1) into 1
0.935 * [backup-simplify]: Simplify (/ 1 1) into 1
0.936 * [backup-simplify]: Simplify (+ 0 1) into 1
0.936 * [backup-simplify]: Simplify (+ 0 1) into 1
0.936 * [taylor]: Taking taylor expansion of 1 in b
0.936 * [backup-simplify]: Simplify 1 into 1
0.936 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
0.937 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.938 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
0.938 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
0.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.938 * [taylor]: Taking taylor expansion of 2 in b
0.938 * [backup-simplify]: Simplify 2 into 2
0.938 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.938 * [taylor]: Taking taylor expansion of b in b
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 1 into 1
0.938 * [backup-simplify]: Simplify (/ 1 1) into 1
0.939 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
0.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.940 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
0.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.942 * [backup-simplify]: Simplify (+ 0 0) into 0
0.942 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
0.942 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.942 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.942 * [taylor]: Taking taylor expansion of b in b
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 1 into 1
0.942 * [backup-simplify]: Simplify (* 1 1) into 1
0.943 * [backup-simplify]: Simplify (/ 1 1) into 1
0.943 * [backup-simplify]: Simplify 1 into 1
0.943 * [backup-simplify]: Simplify (* 2 1) into 2
0.943 * [backup-simplify]: Simplify 2 into 2
0.943 * [backup-simplify]: Simplify 1 into 1
0.944 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.945 * [backup-simplify]: Simplify (+ (* (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))) (* (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- b))))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))))
0.945 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0
0.945 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
0.945 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.945 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.945 * [taylor]: Taking taylor expansion of b in b
0.945 * [backup-simplify]: Simplify 0 into 0
0.945 * [backup-simplify]: Simplify 1 into 1
0.945 * [backup-simplify]: Simplify (* 1 1) into 1
0.945 * [backup-simplify]: Simplify (/ 1 1) into 1
0.946 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
0.946 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
0.946 * [taylor]: Taking taylor expansion of 2 in b
0.946 * [backup-simplify]: Simplify 2 into 2
0.946 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.946 * [taylor]: Taking taylor expansion of (* a b) in b
0.946 * [taylor]: Taking taylor expansion of a in b
0.946 * [backup-simplify]: Simplify a into a
0.946 * [taylor]: Taking taylor expansion of b in b
0.946 * [backup-simplify]: Simplify 0 into 0
0.946 * [backup-simplify]: Simplify 1 into 1
0.946 * [backup-simplify]: Simplify (* a 0) into 0
0.946 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
0.946 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.946 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.946 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.946 * [taylor]: Taking taylor expansion of a in b
0.946 * [backup-simplify]: Simplify a into a
0.947 * [backup-simplify]: Simplify (* a a) into (pow a 2)
0.947 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
0.947 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
0.947 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.947 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.947 * [taylor]: Taking taylor expansion of b in a
0.947 * [backup-simplify]: Simplify b into b
0.947 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.947 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
0.947 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.947 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.947 * [taylor]: Taking taylor expansion of 2 in a
0.947 * [backup-simplify]: Simplify 2 into 2
0.947 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.947 * [taylor]: Taking taylor expansion of (* a b) in a
0.947 * [taylor]: Taking taylor expansion of a in a
0.947 * [backup-simplify]: Simplify 0 into 0
0.947 * [backup-simplify]: Simplify 1 into 1
0.948 * [taylor]: Taking taylor expansion of b in a
0.948 * [backup-simplify]: Simplify b into b
0.948 * [backup-simplify]: Simplify (* 0 b) into 0
0.948 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.948 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.948 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.948 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.948 * [taylor]: Taking taylor expansion of a in a
0.948 * [backup-simplify]: Simplify 0 into 0
0.948 * [backup-simplify]: Simplify 1 into 1
0.949 * [backup-simplify]: Simplify (* 1 1) into 1
0.949 * [backup-simplify]: Simplify (/ 1 1) into 1
0.949 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
0.949 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.949 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.949 * [taylor]: Taking taylor expansion of b in a
0.949 * [backup-simplify]: Simplify b into b
0.949 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.949 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
0.949 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
0.949 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
0.949 * [taylor]: Taking taylor expansion of 2 in a
0.949 * [backup-simplify]: Simplify 2 into 2
0.949 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.949 * [taylor]: Taking taylor expansion of (* a b) in a
0.949 * [taylor]: Taking taylor expansion of a in a
0.949 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 1 into 1
0.950 * [taylor]: Taking taylor expansion of b in a
0.950 * [backup-simplify]: Simplify b into b
0.950 * [backup-simplify]: Simplify (* 0 b) into 0
0.950 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
0.950 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.950 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.950 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.950 * [taylor]: Taking taylor expansion of a in a
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 1 into 1
0.951 * [backup-simplify]: Simplify (* 1 1) into 1
0.951 * [backup-simplify]: Simplify (/ 1 1) into 1
0.951 * [backup-simplify]: Simplify (+ 0 1) into 1
0.952 * [backup-simplify]: Simplify (+ 0 1) into 1
0.952 * [taylor]: Taking taylor expansion of 1 in b
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
0.952 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.953 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
0.953 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
0.953 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.953 * [taylor]: Taking taylor expansion of 2 in b
0.953 * [backup-simplify]: Simplify 2 into 2
0.953 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.953 * [taylor]: Taking taylor expansion of b in b
0.954 * [backup-simplify]: Simplify 0 into 0
0.954 * [backup-simplify]: Simplify 1 into 1
0.954 * [backup-simplify]: Simplify (/ 1 1) into 1
0.955 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
0.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.955 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
0.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.957 * [backup-simplify]: Simplify (+ 0 0) into 0
0.957 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
0.957 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.957 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.958 * [taylor]: Taking taylor expansion of b in b
0.958 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify 1 into 1
0.958 * [backup-simplify]: Simplify (* 1 1) into 1
0.958 * [backup-simplify]: Simplify (/ 1 1) into 1
0.958 * [backup-simplify]: Simplify 1 into 1
0.959 * [backup-simplify]: Simplify (* 2 1) into 2
0.959 * [backup-simplify]: Simplify 2 into 2
0.959 * [backup-simplify]: Simplify 1 into 1
0.960 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.960 * * * [progress]: simplifying candidates
0.960 * [simplify]: Simplifying:
  (* (exp (* a (+ a b))) (exp (* b (+ a b))))
  (log (+ (* a (+ a b)) (* b (+ a b))))
  (exp (+ (* a (+ a b)) (* b (+ a b))))
  (* (cbrt (+ (* a (+ a b)) (* b (+ a b)))) (cbrt (+ (* a (+ a b)) (* b (+ a b)))))
  (cbrt (+ (* a (+ a b)) (* b (+ a b))))
  (* (* (+ (* a (+ a b)) (* b (+ a b))) (+ (* a (+ a b)) (* b (+ a b)))) (+ (* a (+ a b)) (* b (+ a b))))
  (sqrt (+ (* a (+ a b)) (* b (+ a b))))
  (sqrt (+ (* a (+ a b)) (* b (+ a b))))
  (+ (* (* a (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* b (+ (pow a 3) (pow b 3)))))
  (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
  (+ (* (* a (+ (pow a 3) (pow b 3))) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* b (- (* a a) (* b b)))))
  (* (+ (* a a) (- (* b b) (* a b))) (- a b))
  (+ (* (* a (- (* a a) (* b b))) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* b (+ (pow a 3) (pow b 3)))))
  (* (- a b) (+ (* a a) (- (* b b) (* a b))))
  (+ (* (* a (- (* a a) (* b b))) (- a b)) (* (- a b) (* b (- (* a a) (* b b)))))
  (* (- a b) (- a b))
  (+ (pow (* a (+ a b)) 3) (pow (* b (+ a b)) 3))
  (+ (* (* a (+ a b)) (* a (+ a b))) (- (* (* b (+ a b)) (* b (+ a b))) (* (* a (+ a b)) (* b (+ a b)))))
  (- (* (* a (+ a b)) (* a (+ a b))) (* (* b (+ a b)) (* b (+ a b))))
  (- (* a (+ a b)) (* b (+ a b)))
  (+ a b)
  (+ (* a (+ a b)) (* b a))
  (+ (* a (+ a b)) (* a b))
  (+ (* a b) (* b (+ a b)))
  (+ (* b a) (* b (+ a b)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
0.961 * [simplify]: Sending expressions to egg_math:
 (* (exp (* h1 (+ h1 h0))) (exp (* h0 (+ h1 h0))))
 (log (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))))
 (exp (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))))
 (* (cbrt (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0)))) (cbrt (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0)))))
 (cbrt (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))))
 (* (* (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))) (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0)))) (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))))
 (sqrt (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))))
 (sqrt (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0))))
 (+ (* (* h1 (+ (pow h1 3) (pow h0 3))) (+ (* h1 h1) (- (* h0 h0) (* h1 h0)))) (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (* h0 (+ (pow h1 3) (pow h0 3)))))
 (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (+ (* h1 h1) (- (* h0 h0) (* h1 h0))))
 (+ (* (* h1 (+ (pow h1 3) (pow h0 3))) (- h1 h0)) (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (* h0 (- (* h1 h1) (* h0 h0)))))
 (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (- h1 h0))
 (+ (* (* h1 (- (* h1 h1) (* h0 h0))) (+ (* h1 h1) (- (* h0 h0) (* h1 h0)))) (* (- h1 h0) (* h0 (+ (pow h1 3) (pow h0 3)))))
 (* (- h1 h0) (+ (* h1 h1) (- (* h0 h0) (* h1 h0))))
 (+ (* (* h1 (- (* h1 h1) (* h0 h0))) (- h1 h0)) (* (- h1 h0) (* h0 (- (* h1 h1) (* h0 h0)))))
 (* (- h1 h0) (- h1 h0))
 (+ (pow (* h1 (+ h1 h0)) 3) (pow (* h0 (+ h1 h0)) 3))
 (+ (* (* h1 (+ h1 h0)) (* h1 (+ h1 h0))) (- (* (* h0 (+ h1 h0)) (* h0 (+ h1 h0))) (* (* h1 (+ h1 h0)) (* h0 (+ h1 h0)))))
 (- (* (* h1 (+ h1 h0)) (* h1 (+ h1 h0))) (* (* h0 (+ h1 h0)) (* h0 (+ h1 h0))))
 (- (* h1 (+ h1 h0)) (* h0 (+ h1 h0)))
 (+ h1 h0)
 (+ (* h1 (+ h1 h0)) (* h0 h1))
 (+ (* h1 (+ h1 h0)) (* h1 h0))
 (+ (* h1 h0) (* h0 (+ h1 h0)))
 (+ (* h0 h1) (* h0 (+ h1 h0)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
1.543 * * * [progress]: adding candidates to table
1.620 * * [progress]: iteration 3 / 4
1.620 * * * [progress]: picking best candidate
1.622 * * * * [pick]: Picked  #<alt (λ (a b) (+ (* a a) (* b (+ a (+ a b)))))>
1.622 * * * [progress]: localizing error
1.636 * * * [progress]: generating rewritten candidates
1.636 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.647 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
1.670 * * * [progress]: generating series expansions
1.670 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.670 * [backup-simplify]: Simplify (+ (* a a) (* b (+ a (+ a b)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
1.670 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (a b) around 0
1.670 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b
1.671 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.671 * [taylor]: Taking taylor expansion of a in b
1.671 * [backup-simplify]: Simplify a into a
1.671 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b
1.671 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
1.671 * [taylor]: Taking taylor expansion of 2 in b
1.671 * [backup-simplify]: Simplify 2 into 2
1.671 * [taylor]: Taking taylor expansion of (* a b) in b
1.671 * [taylor]: Taking taylor expansion of a in b
1.671 * [backup-simplify]: Simplify a into a
1.671 * [taylor]: Taking taylor expansion of b in b
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.671 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.671 * [taylor]: Taking taylor expansion of b in b
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.671 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a
1.671 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.671 * [taylor]: Taking taylor expansion of a in a
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.671 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a
1.671 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
1.671 * [taylor]: Taking taylor expansion of 2 in a
1.671 * [backup-simplify]: Simplify 2 into 2
1.671 * [taylor]: Taking taylor expansion of (* a b) in a
1.671 * [taylor]: Taking taylor expansion of a in a
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.671 * [taylor]: Taking taylor expansion of b in a
1.671 * [backup-simplify]: Simplify b into b
1.671 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.671 * [taylor]: Taking taylor expansion of b in a
1.671 * [backup-simplify]: Simplify b into b
1.671 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a
1.672 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.672 * [taylor]: Taking taylor expansion of a in a
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a
1.672 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
1.672 * [taylor]: Taking taylor expansion of 2 in a
1.672 * [backup-simplify]: Simplify 2 into 2
1.672 * [taylor]: Taking taylor expansion of (* a b) in a
1.672 * [taylor]: Taking taylor expansion of a in a
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of b in a
1.672 * [backup-simplify]: Simplify b into b
1.672 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.672 * [taylor]: Taking taylor expansion of b in a
1.672 * [backup-simplify]: Simplify b into b
1.672 * [backup-simplify]: Simplify (* 0 b) into 0
1.673 * [backup-simplify]: Simplify (* 2 0) into 0
1.673 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.673 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
1.673 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
1.673 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.673 * [taylor]: Taking taylor expansion of b in b
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
1.674 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b)
1.674 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.674 * [backup-simplify]: Simplify (+ (* 2 b) 0) into (* 2 b)
1.674 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
1.674 * [taylor]: Taking taylor expansion of (* 2 b) in b
1.674 * [taylor]: Taking taylor expansion of 2 in b
1.674 * [backup-simplify]: Simplify 2 into 2
1.674 * [taylor]: Taking taylor expansion of b in b
1.674 * [backup-simplify]: Simplify 0 into 0
1.674 * [backup-simplify]: Simplify 1 into 1
1.675 * [backup-simplify]: Simplify (* 2 0) into 0
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify (* 1 1) into 1
1.675 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
1.676 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0
1.676 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.676 * [backup-simplify]: Simplify (+ 0 0) into 0
1.677 * [backup-simplify]: Simplify (+ 1 0) into 1
1.677 * [taylor]: Taking taylor expansion of 1 in b
1.677 * [backup-simplify]: Simplify 1 into 1
1.677 * [backup-simplify]: Simplify 1 into 1
1.677 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.677 * [backup-simplify]: Simplify 2 into 2
1.677 * [backup-simplify]: Simplify (* 1 1) into 1
1.677 * [backup-simplify]: Simplify 1 into 1
1.678 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
1.678 * [backup-simplify]: Simplify (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (+ (/ 1 a) (+ (/ 1 a) (/ 1 b))))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))))
1.678 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0
1.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
1.678 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.678 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.678 * [taylor]: Taking taylor expansion of b in b
1.678 * [backup-simplify]: Simplify 0 into 0
1.678 * [backup-simplify]: Simplify 1 into 1
1.678 * [backup-simplify]: Simplify (* 1 1) into 1
1.679 * [backup-simplify]: Simplify (/ 1 1) into 1
1.679 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
1.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
1.679 * [taylor]: Taking taylor expansion of 2 in b
1.679 * [backup-simplify]: Simplify 2 into 2
1.679 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.679 * [taylor]: Taking taylor expansion of (* a b) in b
1.679 * [taylor]: Taking taylor expansion of a in b
1.679 * [backup-simplify]: Simplify a into a
1.679 * [taylor]: Taking taylor expansion of b in b
1.679 * [backup-simplify]: Simplify 0 into 0
1.679 * [backup-simplify]: Simplify 1 into 1
1.679 * [backup-simplify]: Simplify (* a 0) into 0
1.679 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
1.679 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.679 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
1.679 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.679 * [taylor]: Taking taylor expansion of a in b
1.679 * [backup-simplify]: Simplify a into a
1.679 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.679 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
1.679 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.679 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.679 * [taylor]: Taking taylor expansion of b in a
1.679 * [backup-simplify]: Simplify b into b
1.680 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.680 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.680 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
1.680 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
1.680 * [taylor]: Taking taylor expansion of 2 in a
1.680 * [backup-simplify]: Simplify 2 into 2
1.680 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.680 * [taylor]: Taking taylor expansion of (* a b) in a
1.680 * [taylor]: Taking taylor expansion of a in a
1.680 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify 1 into 1
1.680 * [taylor]: Taking taylor expansion of b in a
1.680 * [backup-simplify]: Simplify b into b
1.680 * [backup-simplify]: Simplify (* 0 b) into 0
1.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
1.680 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.680 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.680 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.680 * [taylor]: Taking taylor expansion of a in a
1.680 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify 1 into 1
1.680 * [backup-simplify]: Simplify (* 1 1) into 1
1.681 * [backup-simplify]: Simplify (/ 1 1) into 1
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
1.681 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.681 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.681 * [taylor]: Taking taylor expansion of b in a
1.681 * [backup-simplify]: Simplify b into b
1.681 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.681 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.681 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
1.681 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
1.681 * [taylor]: Taking taylor expansion of 2 in a
1.681 * [backup-simplify]: Simplify 2 into 2
1.681 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.681 * [taylor]: Taking taylor expansion of (* a b) in a
1.681 * [taylor]: Taking taylor expansion of a in a
1.681 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify 1 into 1
1.681 * [taylor]: Taking taylor expansion of b in a
1.681 * [backup-simplify]: Simplify b into b
1.681 * [backup-simplify]: Simplify (* 0 b) into 0
1.681 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
1.681 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.681 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.681 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.681 * [taylor]: Taking taylor expansion of a in a
1.681 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify 1 into 1
1.682 * [backup-simplify]: Simplify (* 1 1) into 1
1.682 * [backup-simplify]: Simplify (/ 1 1) into 1
1.682 * [backup-simplify]: Simplify (+ 0 1) into 1
1.682 * [backup-simplify]: Simplify (+ 0 1) into 1
1.683 * [taylor]: Taking taylor expansion of 1 in b
1.683 * [backup-simplify]: Simplify 1 into 1
1.683 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
1.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.683 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
1.684 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
1.684 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
1.684 * [taylor]: Taking taylor expansion of 2 in b
1.684 * [backup-simplify]: Simplify 2 into 2
1.684 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.684 * [taylor]: Taking taylor expansion of b in b
1.684 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify 1 into 1
1.684 * [backup-simplify]: Simplify (/ 1 1) into 1
1.684 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
1.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.686 * [backup-simplify]: Simplify (+ 0 0) into 0
1.686 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.686 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.686 * [taylor]: Taking taylor expansion of b in b
1.686 * [backup-simplify]: Simplify 0 into 0
1.686 * [backup-simplify]: Simplify 1 into 1
1.686 * [backup-simplify]: Simplify (* 1 1) into 1
1.687 * [backup-simplify]: Simplify (/ 1 1) into 1
1.687 * [backup-simplify]: Simplify 1 into 1
1.687 * [backup-simplify]: Simplify (* 2 1) into 2
1.687 * [backup-simplify]: Simplify 2 into 2
1.687 * [backup-simplify]: Simplify 1 into 1
1.687 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
1.688 * [backup-simplify]: Simplify (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (+ (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))))
1.688 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0
1.688 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b
1.688 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.688 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.688 * [taylor]: Taking taylor expansion of b in b
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.688 * [backup-simplify]: Simplify (* 1 1) into 1
1.688 * [backup-simplify]: Simplify (/ 1 1) into 1
1.688 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b
1.688 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
1.688 * [taylor]: Taking taylor expansion of 2 in b
1.689 * [backup-simplify]: Simplify 2 into 2
1.689 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.689 * [taylor]: Taking taylor expansion of (* a b) in b
1.689 * [taylor]: Taking taylor expansion of a in b
1.689 * [backup-simplify]: Simplify a into a
1.689 * [taylor]: Taking taylor expansion of b in b
1.689 * [backup-simplify]: Simplify 0 into 0
1.689 * [backup-simplify]: Simplify 1 into 1
1.689 * [backup-simplify]: Simplify (* a 0) into 0
1.689 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
1.689 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.689 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
1.689 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.689 * [taylor]: Taking taylor expansion of a in b
1.689 * [backup-simplify]: Simplify a into a
1.689 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.689 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.689 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
1.689 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.689 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.689 * [taylor]: Taking taylor expansion of b in a
1.689 * [backup-simplify]: Simplify b into b
1.689 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.689 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.689 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
1.689 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
1.689 * [taylor]: Taking taylor expansion of 2 in a
1.689 * [backup-simplify]: Simplify 2 into 2
1.689 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.689 * [taylor]: Taking taylor expansion of (* a b) in a
1.689 * [taylor]: Taking taylor expansion of a in a
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [taylor]: Taking taylor expansion of b in a
1.690 * [backup-simplify]: Simplify b into b
1.690 * [backup-simplify]: Simplify (* 0 b) into 0
1.690 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
1.690 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.690 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.690 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.690 * [taylor]: Taking taylor expansion of a in a
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [backup-simplify]: Simplify 1 into 1
1.690 * [backup-simplify]: Simplify (* 1 1) into 1
1.690 * [backup-simplify]: Simplify (/ 1 1) into 1
1.690 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a
1.690 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.690 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.691 * [taylor]: Taking taylor expansion of b in a
1.691 * [backup-simplify]: Simplify b into b
1.691 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.691 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.691 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a
1.691 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
1.691 * [taylor]: Taking taylor expansion of 2 in a
1.691 * [backup-simplify]: Simplify 2 into 2
1.691 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.691 * [taylor]: Taking taylor expansion of (* a b) in a
1.691 * [taylor]: Taking taylor expansion of a in a
1.691 * [backup-simplify]: Simplify 0 into 0
1.691 * [backup-simplify]: Simplify 1 into 1
1.691 * [taylor]: Taking taylor expansion of b in a
1.691 * [backup-simplify]: Simplify b into b
1.691 * [backup-simplify]: Simplify (* 0 b) into 0
1.691 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
1.691 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.691 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.691 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.691 * [taylor]: Taking taylor expansion of a in a
1.691 * [backup-simplify]: Simplify 0 into 0
1.691 * [backup-simplify]: Simplify 1 into 1
1.691 * [backup-simplify]: Simplify (* 1 1) into 1
1.692 * [backup-simplify]: Simplify (/ 1 1) into 1
1.692 * [backup-simplify]: Simplify (+ 0 1) into 1
1.692 * [backup-simplify]: Simplify (+ 0 1) into 1
1.692 * [taylor]: Taking taylor expansion of 1 in b
1.692 * [backup-simplify]: Simplify 1 into 1
1.692 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
1.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.693 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
1.693 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
1.693 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
1.693 * [taylor]: Taking taylor expansion of 2 in b
1.693 * [backup-simplify]: Simplify 2 into 2
1.693 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.693 * [taylor]: Taking taylor expansion of b in b
1.693 * [backup-simplify]: Simplify 0 into 0
1.693 * [backup-simplify]: Simplify 1 into 1
1.694 * [backup-simplify]: Simplify (/ 1 1) into 1
1.694 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
1.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.695 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
1.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.696 * [backup-simplify]: Simplify (+ 0 0) into 0
1.696 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
1.696 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.696 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.696 * [taylor]: Taking taylor expansion of b in b
1.696 * [backup-simplify]: Simplify 0 into 0
1.696 * [backup-simplify]: Simplify 1 into 1
1.696 * [backup-simplify]: Simplify (* 1 1) into 1
1.696 * [backup-simplify]: Simplify (/ 1 1) into 1
1.696 * [backup-simplify]: Simplify 1 into 1
1.697 * [backup-simplify]: Simplify (* 2 1) into 2
1.697 * [backup-simplify]: Simplify 2 into 2
1.697 * [backup-simplify]: Simplify 1 into 1
1.697 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
1.697 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
1.697 * [backup-simplify]: Simplify (+ a (+ a b)) into (+ (* 2 a) b)
1.697 * [approximate]: Taking taylor expansion of (+ (* 2 a) b) in (a b) around 0
1.697 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b
1.697 * [taylor]: Taking taylor expansion of (* 2 a) in b
1.697 * [taylor]: Taking taylor expansion of 2 in b
1.697 * [backup-simplify]: Simplify 2 into 2
1.697 * [taylor]: Taking taylor expansion of a in b
1.698 * [backup-simplify]: Simplify a into a
1.698 * [taylor]: Taking taylor expansion of b in b
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.698 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a
1.698 * [taylor]: Taking taylor expansion of (* 2 a) in a
1.698 * [taylor]: Taking taylor expansion of 2 in a
1.698 * [backup-simplify]: Simplify 2 into 2
1.698 * [taylor]: Taking taylor expansion of a in a
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.698 * [taylor]: Taking taylor expansion of b in a
1.698 * [backup-simplify]: Simplify b into b
1.698 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a
1.698 * [taylor]: Taking taylor expansion of (* 2 a) in a
1.698 * [taylor]: Taking taylor expansion of 2 in a
1.698 * [backup-simplify]: Simplify 2 into 2
1.698 * [taylor]: Taking taylor expansion of a in a
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.698 * [taylor]: Taking taylor expansion of b in a
1.698 * [backup-simplify]: Simplify b into b
1.698 * [backup-simplify]: Simplify (* 2 0) into 0
1.698 * [backup-simplify]: Simplify (+ 0 b) into b
1.698 * [taylor]: Taking taylor expansion of b in b
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.698 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.699 * [backup-simplify]: Simplify (+ 2 0) into 2
1.699 * [taylor]: Taking taylor expansion of 2 in b
1.699 * [backup-simplify]: Simplify 2 into 2
1.699 * [backup-simplify]: Simplify 2 into 2
1.699 * [backup-simplify]: Simplify 1 into 1
1.700 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
1.700 * [backup-simplify]: Simplify (+ 0 0) into 0
1.700 * [taylor]: Taking taylor expansion of 0 in b
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 0 into 0
1.700 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.701 * [backup-simplify]: Simplify (+ 0 0) into 0
1.701 * [taylor]: Taking taylor expansion of 0 in b
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (* 2 (* 1 a))) into (+ (* 2 a) b)
1.701 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 a) (/ 1 b))) into (+ (/ 1 b) (* 2 (/ 1 a)))
1.701 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in (a b) around 0
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b
1.701 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.701 * [taylor]: Taking taylor expansion of b in b
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.702 * [backup-simplify]: Simplify (/ 1 1) into 1
1.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
1.702 * [taylor]: Taking taylor expansion of 2 in b
1.702 * [backup-simplify]: Simplify 2 into 2
1.702 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.702 * [taylor]: Taking taylor expansion of a in b
1.702 * [backup-simplify]: Simplify a into a
1.702 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a
1.702 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.702 * [taylor]: Taking taylor expansion of b in a
1.702 * [backup-simplify]: Simplify b into b
1.702 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
1.702 * [taylor]: Taking taylor expansion of 2 in a
1.702 * [backup-simplify]: Simplify 2 into 2
1.702 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.702 * [taylor]: Taking taylor expansion of a in a
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify 1 into 1
1.702 * [backup-simplify]: Simplify (/ 1 1) into 1
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a
1.702 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.702 * [taylor]: Taking taylor expansion of b in a
1.702 * [backup-simplify]: Simplify b into b
1.702 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
1.702 * [taylor]: Taking taylor expansion of 2 in a
1.702 * [backup-simplify]: Simplify 2 into 2
1.702 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.703 * [taylor]: Taking taylor expansion of a in a
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [backup-simplify]: Simplify (/ 1 1) into 1
1.703 * [backup-simplify]: Simplify (* 2 1) into 2
1.703 * [backup-simplify]: Simplify (+ 0 2) into 2
1.703 * [taylor]: Taking taylor expansion of 2 in b
1.703 * [backup-simplify]: Simplify 2 into 2
1.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.704 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.704 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
1.704 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.704 * [taylor]: Taking taylor expansion of b in b
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.705 * [backup-simplify]: Simplify (/ 1 1) into 1
1.705 * [backup-simplify]: Simplify 1 into 1
1.705 * [backup-simplify]: Simplify 2 into 2
1.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.706 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1.706 * [backup-simplify]: Simplify (+ 0 0) into 0
1.706 * [taylor]: Taking taylor expansion of 0 in b
1.706 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.708 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.708 * [backup-simplify]: Simplify (+ 0 0) into 0
1.708 * [taylor]: Taking taylor expansion of 0 in b
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.709 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.710 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.711 * [backup-simplify]: Simplify (+ 0 0) into 0
1.711 * [taylor]: Taking taylor expansion of 0 in b
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 a)))) (* 1 (* (/ 1 (/ 1 b)) 1))) into (+ (* 2 a) b)
1.711 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))) into (- (+ (/ 1 b) (* 2 (/ 1 a))))
1.711 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (* 2 (/ 1 a)))) in (a b) around 0
1.711 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 2 (/ 1 a)))) in b
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b
1.711 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.711 * [taylor]: Taking taylor expansion of b in b
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 1 into 1
1.711 * [backup-simplify]: Simplify (/ 1 1) into 1
1.711 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
1.711 * [taylor]: Taking taylor expansion of 2 in b
1.711 * [backup-simplify]: Simplify 2 into 2
1.711 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.711 * [taylor]: Taking taylor expansion of a in b
1.711 * [backup-simplify]: Simplify a into a
1.711 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.711 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 2 (/ 1 a)))) in a
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a
1.711 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.711 * [taylor]: Taking taylor expansion of b in a
1.711 * [backup-simplify]: Simplify b into b
1.712 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.712 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
1.712 * [taylor]: Taking taylor expansion of 2 in a
1.712 * [backup-simplify]: Simplify 2 into 2
1.712 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.712 * [taylor]: Taking taylor expansion of a in a
1.712 * [backup-simplify]: Simplify 0 into 0
1.712 * [backup-simplify]: Simplify 1 into 1
1.712 * [backup-simplify]: Simplify (/ 1 1) into 1
1.712 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 2 (/ 1 a)))) in a
1.712 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a
1.712 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.712 * [taylor]: Taking taylor expansion of b in a
1.712 * [backup-simplify]: Simplify b into b
1.712 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.712 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
1.712 * [taylor]: Taking taylor expansion of 2 in a
1.712 * [backup-simplify]: Simplify 2 into 2
1.712 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.712 * [taylor]: Taking taylor expansion of a in a
1.712 * [backup-simplify]: Simplify 0 into 0
1.712 * [backup-simplify]: Simplify 1 into 1
1.712 * [backup-simplify]: Simplify (/ 1 1) into 1
1.713 * [backup-simplify]: Simplify (* 2 1) into 2
1.713 * [backup-simplify]: Simplify (+ 0 2) into 2
1.713 * [backup-simplify]: Simplify (- 2) into -2
1.713 * [taylor]: Taking taylor expansion of -2 in b
1.713 * [backup-simplify]: Simplify -2 into -2
1.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.714 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.714 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
1.714 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b))
1.714 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b
1.714 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.714 * [taylor]: Taking taylor expansion of b in b
1.714 * [backup-simplify]: Simplify 0 into 0
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (/ 1 1) into 1
1.715 * [backup-simplify]: Simplify (- 1) into -1
1.715 * [backup-simplify]: Simplify -1 into -1
1.715 * [backup-simplify]: Simplify -2 into -2
1.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.716 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1.716 * [backup-simplify]: Simplify (+ 0 0) into 0
1.716 * [backup-simplify]: Simplify (- 0) into 0
1.716 * [taylor]: Taking taylor expansion of 0 in b
1.716 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.717 * [backup-simplify]: Simplify (- 0) into 0
1.717 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.718 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.719 * [backup-simplify]: Simplify (+ 0 0) into 0
1.719 * [backup-simplify]: Simplify (- 0) into 0
1.719 * [taylor]: Taking taylor expansion of 0 in b
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.720 * [backup-simplify]: Simplify (- 0) into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.721 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.721 * [backup-simplify]: Simplify (+ 0 0) into 0
1.722 * [backup-simplify]: Simplify (- 0) into 0
1.722 * [taylor]: Taking taylor expansion of 0 in b
1.722 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- a))))) (* -1 (* (/ 1 (/ 1 (- b))) 1))) into (+ (* 2 a) b)
1.722 * * * [progress]: simplifying candidates
1.722 * [simplify]: Simplifying:
  (* (exp (* a a)) (exp (* b (+ a (+ a b)))))
  (log (+ (* a a) (* b (+ a (+ a b)))))
  (exp (+ (* a a) (* b (+ a (+ a b)))))
  (* (cbrt (+ (* a a) (* b (+ a (+ a b))))) (cbrt (+ (* a a) (* b (+ a (+ a b))))))
  (cbrt (+ (* a a) (* b (+ a (+ a b)))))
  (* (* (+ (* a a) (* b (+ a (+ a b)))) (+ (* a a) (* b (+ a (+ a b))))) (+ (* a a) (* b (+ a (+ a b)))))
  (sqrt (+ (* a a) (* b (+ a (+ a b)))))
  (sqrt (+ (* a a) (* b (+ a (+ a b)))))
  (+ (pow (* a a) 3) (pow (* b (+ a (+ a b))) 3))
  (+ (* (* a a) (* a a)) (- (* (* b (+ a (+ a b))) (* b (+ a (+ a b)))) (* (* a a) (* b (+ a (+ a b))))))
  (- (* (* a a) (* a a)) (* (* b (+ a (+ a b))) (* b (+ a (+ a b)))))
  (- (* a a) (* b (+ a (+ a b))))
  (+ (* a a) (* b a))
  (+ (* a a) (* a b))
  (* (exp a) (* (exp a) (exp b)))
  (* (exp a) (exp (+ a b)))
  (log (+ a (+ a b)))
  (exp (+ a (+ a b)))
  (* (cbrt (+ a (+ a b))) (cbrt (+ a (+ a b))))
  (cbrt (+ a (+ a b)))
  (* (* (+ a (+ a b)) (+ a (+ a b))) (+ a (+ a b)))
  (sqrt (+ a (+ a b)))
  (sqrt (+ a (+ a b)))
  (+ (pow a 3) (pow (+ a b) 3))
  (+ (* a a) (- (* (+ a b) (+ a b)) (* a (+ a b))))
  (- (* a a) (* (+ a b) (+ a b)))
  (- a (+ a b))
  (+ a (+ a b))
  (+ a (+ a b))
  (+ a a)
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))
  (+ (* 2 a) b)
  (+ (* 2 a) b)
  (+ (* 2 a) b)
1.723 * [simplify]: Sending expressions to egg_math:
 (* (exp (* h1 h1)) (exp (* h0 (+ h1 (+ h1 h0)))))
 (log (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))))
 (exp (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))))
 (* (cbrt (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0))))) (cbrt (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0))))))
 (cbrt (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))))
 (* (* (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))) (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0))))) (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))))
 (sqrt (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))))
 (sqrt (+ (* h1 h1) (* h0 (+ h1 (+ h1 h0)))))
 (+ (pow (* h1 h1) 3) (pow (* h0 (+ h1 (+ h1 h0))) 3))
 (+ (* (* h1 h1) (* h1 h1)) (- (* (* h0 (+ h1 (+ h1 h0))) (* h0 (+ h1 (+ h1 h0)))) (* (* h1 h1) (* h0 (+ h1 (+ h1 h0))))))
 (- (* (* h1 h1) (* h1 h1)) (* (* h0 (+ h1 (+ h1 h0))) (* h0 (+ h1 (+ h1 h0)))))
 (- (* h1 h1) (* h0 (+ h1 (+ h1 h0))))
 (+ (* h1 h1) (* h0 h1))
 (+ (* h1 h1) (* h1 h0))
 (* (exp h1) (* (exp h1) (exp h0)))
 (* (exp h1) (exp (+ h1 h0)))
 (log (+ h1 (+ h1 h0)))
 (exp (+ h1 (+ h1 h0)))
 (* (cbrt (+ h1 (+ h1 h0))) (cbrt (+ h1 (+ h1 h0))))
 (cbrt (+ h1 (+ h1 h0)))
 (* (* (+ h1 (+ h1 h0)) (+ h1 (+ h1 h0))) (+ h1 (+ h1 h0)))
 (sqrt (+ h1 (+ h1 h0)))
 (sqrt (+ h1 (+ h1 h0)))
 (+ (pow h1 3) (pow (+ h1 h0) 3))
 (+ (* h1 h1) (- (* (+ h1 h0) (+ h1 h0)) (* h1 (+ h1 h0))))
 (- (* h1 h1) (* (+ h1 h0) (+ h1 h0)))
 (- h1 (+ h1 h0))
 (+ h1 (+ h1 h0))
 (+ h1 (+ h1 h0))
 (+ h1 h1)
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (pow h1 2) (+ (* 2 (* h1 h0)) (pow h0 2)))
 (+ (* 2 h1) h0)
 (+ (* 2 h1) h0)
 (+ (* 2 h1) h0)
2.245 * * * [progress]: adding candidates to table
2.347 * [progress]: [Phase 3 of 3] Extracting.
2.347 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))> #<alt (λ (a b) (+ (* a a) (* b (+ a (+ a b)))))>)
2.347 * * * [regime-changes]: Trying 2 branch expressions: (b a)
2.347 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))> #<alt (λ (a b) (+ (* a a) (* b (+ a (+ a b)))))>)
2.367 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))> #<alt (λ (a b) (+ (* a a) (* b (+ a (+ a b)))))>)
2.385 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.385 * [simplify]: Simplifying:
  (+ (* a (+ a b)) (* b (+ a b)))
2.385 * [simplify]: Sending expressions to egg_math:
 (+ (* h1 (+ h1 h0)) (* h0 (+ h1 h0)))
3.222 * [regime-testing]: Baseline error score: 0.017127140892611577
3.224 * [regime-testing]: Oracle error score: 0.005500687585948244
3.228 * [regime-testing]: End program error score: 0.02314913426696366
3.265 * [regime-testing]: Target error score: 0.012376547068383549