11.891 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * [simplify]: Simplifying:
  (* (+ a b) (+ a b))
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: Extracting # 3 : cost  0
0.036 * * [simplify]: Extracting # 4 : cost  0
0.036 * * [simplify]: iteration  0 :  4  enodes  (cost  7 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.043 * * [simplify]: Extracting # 0 : cost  0
0.043 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: iteration  2 :  27  enodes  (cost  7 )
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: iteration  3 :  65  enodes  (cost  7 )
0.078 * * [simplify]: Extracting # 0 : cost  0
0.079 * * [simplify]: Extracting # 1 : cost  0
0.079 * * [simplify]: Extracting # 2 : cost  0
0.079 * * [simplify]: iteration  4 :  147  enodes  (cost  7 )
0.133 * * [simplify]: Extracting # 0 : cost  0
0.134 * * [simplify]: Extracting # 1 : cost  0
0.134 * * [simplify]: Extracting # 2 : cost  0
0.134 * * [simplify]: Extracting # 3 : cost  0
0.134 * * [simplify]: iteration  5 :  243  enodes  (cost  7 )
0.182 * * [simplify]: Extracting # 0 : cost  0
0.183 * * [simplify]: Extracting # 1 : cost  0
0.183 * * [simplify]: iteration  6 :  273  enodes  (cost  7 )
0.228 * * [simplify]: Extracting # 0 : cost  0
0.229 * * [simplify]: Extracting # 1 : cost  0
0.229 * * [simplify]: Extracting # 2 : cost  0
0.229 * * [simplify]: iteration  7 :  290  enodes  (cost  7 )
0.265 * * [simplify]: Extracting # 0 : cost  0
0.265 * * [simplify]: iteration  8 :  292  enodes  (cost  7 )
0.309 * * [simplify]: Extracting # 0 : cost  0
0.310 * * [simplify]: iteration done:  292  enodes  (cost  7 )
0.310 * [simplify]: Simplified to:
  (* (+ a b) (+ a b))
0.310 * * [progress]: iteration 1 / 4
0.310 * * * [progress]: picking best candidate
0.315 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.315 * * * [progress]: localizing error
0.325 * * * [progress]: generating rewritten candidates
0.325 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.384 * * * [progress]: generating series expansions
0.384 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.384 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.384 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.384 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.384 * [taylor]: Taking taylor expansion of (+ a b) in b
0.384 * [taylor]: Taking taylor expansion of a in b
0.384 * [backup-simplify]: Simplify a into a
0.384 * [taylor]: Taking taylor expansion of b in b
0.384 * [backup-simplify]: Simplify 0 into 0
0.384 * [backup-simplify]: Simplify 1 into 1
0.384 * [backup-simplify]: Simplify (+ a 0) into a
0.384 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.384 * [taylor]: Taking taylor expansion of (+ a b) in a
0.384 * [taylor]: Taking taylor expansion of a in a
0.385 * [backup-simplify]: Simplify 0 into 0
0.385 * [backup-simplify]: Simplify 1 into 1
0.385 * [taylor]: Taking taylor expansion of b in a
0.385 * [backup-simplify]: Simplify b into b
0.385 * [backup-simplify]: Simplify (+ 0 b) into b
0.385 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.385 * [taylor]: Taking taylor expansion of (+ a b) in a
0.385 * [taylor]: Taking taylor expansion of a in a
0.385 * [backup-simplify]: Simplify 0 into 0
0.385 * [backup-simplify]: Simplify 1 into 1
0.385 * [taylor]: Taking taylor expansion of b in a
0.385 * [backup-simplify]: Simplify b into b
0.385 * [backup-simplify]: Simplify (+ 0 b) into b
0.385 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.385 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.385 * [taylor]: Taking taylor expansion of b in b
0.385 * [backup-simplify]: Simplify 0 into 0
0.385 * [backup-simplify]: Simplify 1 into 1
0.386 * [backup-simplify]: Simplify (+ 1 0) into 1
0.386 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.386 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.386 * [taylor]: Taking taylor expansion of 2 in b
0.386 * [backup-simplify]: Simplify 2 into 2
0.386 * [taylor]: Taking taylor expansion of b in b
0.386 * [backup-simplify]: Simplify 0 into 0
0.386 * [backup-simplify]: Simplify 1 into 1
0.387 * [backup-simplify]: Simplify (* 2 0) into 0
0.387 * [backup-simplify]: Simplify 0 into 0
0.387 * [backup-simplify]: Simplify (+ 0 0) into 0
0.388 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.388 * [taylor]: Taking taylor expansion of 1 in b
0.388 * [backup-simplify]: Simplify 1 into 1
0.388 * [backup-simplify]: Simplify 1 into 1
0.388 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.388 * [backup-simplify]: Simplify 2 into 2
0.389 * [backup-simplify]: Simplify (* 1 1) into 1
0.389 * [backup-simplify]: Simplify 1 into 1
0.389 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.390 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.390 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.390 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.390 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.390 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.390 * [taylor]: Taking taylor expansion of a in b
0.390 * [backup-simplify]: Simplify a into a
0.390 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.390 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.390 * [taylor]: Taking taylor expansion of b in b
0.390 * [backup-simplify]: Simplify 0 into 0
0.390 * [backup-simplify]: Simplify 1 into 1
0.390 * [backup-simplify]: Simplify (/ 1 1) into 1
0.391 * [backup-simplify]: Simplify (+ 0 1) into 1
0.391 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.391 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.391 * [taylor]: Taking taylor expansion of a in a
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 1 into 1
0.391 * [backup-simplify]: Simplify (/ 1 1) into 1
0.391 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.391 * [taylor]: Taking taylor expansion of b in a
0.391 * [backup-simplify]: Simplify b into b
0.392 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.392 * [backup-simplify]: Simplify (+ 1 0) into 1
0.392 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.392 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.392 * [taylor]: Taking taylor expansion of a in a
0.392 * [backup-simplify]: Simplify 0 into 0
0.392 * [backup-simplify]: Simplify 1 into 1
0.393 * [backup-simplify]: Simplify (/ 1 1) into 1
0.393 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.393 * [taylor]: Taking taylor expansion of b in a
0.393 * [backup-simplify]: Simplify b into b
0.393 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.393 * [backup-simplify]: Simplify (+ 1 0) into 1
0.394 * [backup-simplify]: Simplify (* 1 1) into 1
0.394 * [taylor]: Taking taylor expansion of 1 in b
0.394 * [backup-simplify]: Simplify 1 into 1
0.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.395 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.395 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.395 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.395 * [taylor]: Taking taylor expansion of 2 in b
0.395 * [backup-simplify]: Simplify 2 into 2
0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.395 * [taylor]: Taking taylor expansion of b in b
0.395 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify 1 into 1
0.395 * [backup-simplify]: Simplify (/ 1 1) into 1
0.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.397 * [backup-simplify]: Simplify (+ 0 0) into 0
0.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.398 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.398 * [taylor]: Taking taylor expansion of b in b
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [backup-simplify]: Simplify (* 1 1) into 1
0.399 * [backup-simplify]: Simplify (/ 1 1) into 1
0.399 * [backup-simplify]: Simplify 1 into 1
0.399 * [backup-simplify]: Simplify (* 2 1) into 2
0.399 * [backup-simplify]: Simplify 2 into 2
0.399 * [backup-simplify]: Simplify 1 into 1
0.400 * [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) (+ (pow b 2) (* 2 (* a b))))
0.401 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.401 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.401 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.401 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.401 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.401 * [taylor]: Taking taylor expansion of a in b
0.401 * [backup-simplify]: Simplify a into a
0.401 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.401 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.401 * [taylor]: Taking taylor expansion of b in b
0.401 * [backup-simplify]: Simplify 0 into 0
0.401 * [backup-simplify]: Simplify 1 into 1
0.402 * [backup-simplify]: Simplify (/ 1 1) into 1
0.402 * [backup-simplify]: Simplify (+ 0 1) into 1
0.402 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.402 * [taylor]: Taking taylor expansion of a in a
0.402 * [backup-simplify]: Simplify 0 into 0
0.402 * [backup-simplify]: Simplify 1 into 1
0.403 * [backup-simplify]: Simplify (/ 1 1) into 1
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.403 * [taylor]: Taking taylor expansion of b in a
0.403 * [backup-simplify]: Simplify b into b
0.403 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.403 * [backup-simplify]: Simplify (+ 1 0) into 1
0.403 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.403 * [taylor]: Taking taylor expansion of a in a
0.403 * [backup-simplify]: Simplify 0 into 0
0.403 * [backup-simplify]: Simplify 1 into 1
0.404 * [backup-simplify]: Simplify (/ 1 1) into 1
0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.404 * [taylor]: Taking taylor expansion of b in a
0.404 * [backup-simplify]: Simplify b into b
0.404 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.405 * [backup-simplify]: Simplify (+ 1 0) into 1
0.405 * [backup-simplify]: Simplify (* 1 1) into 1
0.405 * [taylor]: Taking taylor expansion of 1 in b
0.405 * [backup-simplify]: Simplify 1 into 1
0.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.406 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.406 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.406 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.406 * [taylor]: Taking taylor expansion of 2 in b
0.406 * [backup-simplify]: Simplify 2 into 2
0.406 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.406 * [taylor]: Taking taylor expansion of b in b
0.407 * [backup-simplify]: Simplify 0 into 0
0.407 * [backup-simplify]: Simplify 1 into 1
0.407 * [backup-simplify]: Simplify (/ 1 1) into 1
0.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.408 * [backup-simplify]: Simplify (+ 0 0) into 0
0.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.409 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.409 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.409 * [taylor]: Taking taylor expansion of b in b
0.410 * [backup-simplify]: Simplify 0 into 0
0.410 * [backup-simplify]: Simplify 1 into 1
0.410 * [backup-simplify]: Simplify (* 1 1) into 1
0.410 * [backup-simplify]: Simplify (/ 1 1) into 1
0.410 * [backup-simplify]: Simplify 1 into 1
0.411 * [backup-simplify]: Simplify (* 2 1) into 2
0.411 * [backup-simplify]: Simplify 2 into 2
0.411 * [backup-simplify]: Simplify 1 into 1
0.412 * [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) (+ (pow b 2) (* 2 (* a b))))
0.412 * * * [progress]: simplifying candidates
0.413 * [simplify]: Simplifying:
  (expm1 (* (+ a b) (+ a b)))
  (log1p (* (+ a b) (+ a b)))
  (+ 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) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.415 * * [simplify]: Extracting # 0 : cost  0
0.415 * * [simplify]: Extracting # 1 : cost  0
0.415 * * [simplify]: Extracting # 2 : cost  0
0.415 * * [simplify]: Extracting # 3 : cost  0
0.416 * * [simplify]: Extracting # 4 : cost  0
0.416 * * [simplify]: Extracting # 5 : cost  0
0.416 * * [simplify]: Extracting # 6 : cost  0
0.416 * * [simplify]: iteration  0 :  64  enodes  (cost  532 )
0.447 * * [simplify]: Extracting # 0 : cost  0
0.448 * * [simplify]: Extracting # 1 : cost  0
0.448 * * [simplify]: Extracting # 2 : cost  0
0.449 * * [simplify]: Extracting # 3 : cost  0
0.449 * * [simplify]: Extracting # 4 : cost  0
0.450 * * [simplify]: iteration  1 :  232  enodes  (cost  465 )
0.682 * * [simplify]: Extracting # 0 : cost  0
0.686 * * [simplify]: Extracting # 1 : cost  0
0.694 * * [simplify]: Extracting # 2 : cost  0
0.699 * * [simplify]: Extracting # 3 : cost  0
0.703 * * [simplify]: Extracting # 4 : cost  0
0.707 * * [simplify]: iteration  2 :  1740  enodes  (cost  416 )
1.793 * * [simplify]: Extracting # 0 : cost  0
1.808 * * [simplify]: Extracting # 1 : cost  0
1.828 * * [simplify]: Extracting # 2 : cost  0
1.835 * * [simplify]: Extracting # 3 : cost  0
1.841 * * [simplify]: Extracting # 4 : cost  0
1.848 * * [simplify]: iteration done:  5000  enodes  (cost  406 )
1.848 * [simplify]: Simplified to:
  (expm1 (* (+ a b) (+ a b)))
  (log1p (* (+ a b) (+ a b)))
  2
  (* (+ b a) (+ b a))
  2
  (* 2 (log (+ a b)))
  (* 2 (log (+ a b)))
  (exp (* (+ a b) (+ a b)))
  (pow (+ b a) (* 2 3))
  (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b))))
  (cbrt (* (+ a b) (+ a b)))
  (pow (+ b a) (* 2 3))
  (fabs (+ a b))
  (fabs (+ a b))
  (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
  (* (fma a a (* b (- b a))) (fma a a (* b (- b a))))
  (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
  (* (fma a a (* b (- b a))) (- a b))
  (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
  (* (fma a a (* b (- b a))) (- a b))
  (* (- (* a a) (* b b)) (- (* a a) (* b b)))
  (* (- a b) (- a b))
  (* (cbrt (+ a b)) (+ a b))
  (* (cbrt (+ a b)) (cbrt (+ a b)))
  (+ b a)
  (+ b a)
  1
  (* (+ b a) (+ b a))
  1
  (* (+ b a) (+ b a))
  1
  (* (+ b a) (+ b a))
  1
  (* (+ b a) (+ b a))
  (+ b a)
  (+ b a)
  2
  (* a (+ b a))
  (* b (+ a b))
  (* a (+ b a))
  (* b (+ a b))
  (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b))))
  (pow (sqrt (+ b a)) 3)
  (+ b a)
  (+ b a)
  (* (cbrt (+ a b)) (+ a b))
  (pow (sqrt (+ b a)) 3)
  (* (+ b a) (+ b a))
  (* (+ b a) (+ b a))
  (* (+ a b) (+ (pow a 3) (pow b 3)))
  (* (+ a b) (- (* a a) (* b b)))
  (* (+ a b) (+ (pow a 3) (pow b 3)))
  (* (+ a b) (- (* a a) (* b b)))
  (fma b (fma a 2 b) (* a a))
  (fma b (fma a 2 b) (* a a))
  (fma b (fma a 2 b) (* a a))
1.848 * * * [progress]: adding candidates to table
1.965 * * [progress]: iteration 2 / 4
1.965 * * * [progress]: picking best candidate
1.981 * * * * [pick]: Picked  #<alt (λ (a b) (fma b (fma a 2 b) (* a a)))>
1.981 * * * [progress]: localizing error
1.998 * * * [progress]: generating rewritten candidates
1.998 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.999 * * * [progress]: generating series expansions
1.999 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.999 * [backup-simplify]: Simplify (fma b (fma a 2 b) (* a a)) into (fma b (fma a 2 b) (pow a 2))
1.999 * [approximate]: Taking taylor expansion of (fma b (fma a 2 b) (pow a 2)) in (b a) around 0
1.999 * [taylor]: Taking taylor expansion of (fma b (fma a 2 b) (pow a 2)) in a
2.000 * [taylor]: Rewrote expression to (+ (* b (fma a 2 b)) (pow a 2))
2.000 * [taylor]: Taking taylor expansion of (* b (fma a 2 b)) in a
2.000 * [taylor]: Taking taylor expansion of b in a
2.000 * [backup-simplify]: Simplify b into b
2.000 * [taylor]: Taking taylor expansion of (fma a 2 b) in a
2.000 * [taylor]: Rewrote expression to (+ (* a 2) b)
2.000 * [taylor]: Taking taylor expansion of (* a 2) in a
2.000 * [taylor]: Taking taylor expansion of a in a
2.000 * [backup-simplify]: Simplify 0 into 0
2.000 * [backup-simplify]: Simplify 1 into 1
2.000 * [taylor]: Taking taylor expansion of 2 in a
2.000 * [backup-simplify]: Simplify 2 into 2
2.000 * [taylor]: Taking taylor expansion of b in a
2.000 * [backup-simplify]: Simplify b into b
2.000 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.000 * [taylor]: Taking taylor expansion of a in a
2.000 * [backup-simplify]: Simplify 0 into 0
2.000 * [backup-simplify]: Simplify 1 into 1
2.000 * [taylor]: Taking taylor expansion of (fma b (fma a 2 b) (pow a 2)) in b
2.000 * [taylor]: Rewrote expression to (+ (* b (fma a 2 b)) (pow a 2))
2.000 * [taylor]: Taking taylor expansion of (* b (fma a 2 b)) in b
2.000 * [taylor]: Taking taylor expansion of b in b
2.000 * [backup-simplify]: Simplify 0 into 0
2.000 * [backup-simplify]: Simplify 1 into 1
2.000 * [taylor]: Taking taylor expansion of (fma a 2 b) in b
2.001 * [taylor]: Rewrote expression to (+ (* a 2) b)
2.001 * [taylor]: Taking taylor expansion of (* a 2) in b
2.001 * [taylor]: Taking taylor expansion of a in b
2.001 * [backup-simplify]: Simplify a into a
2.001 * [taylor]: Taking taylor expansion of 2 in b
2.001 * [backup-simplify]: Simplify 2 into 2
2.001 * [taylor]: Taking taylor expansion of b in b
2.001 * [backup-simplify]: Simplify 0 into 0
2.001 * [backup-simplify]: Simplify 1 into 1
2.001 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.001 * [taylor]: Taking taylor expansion of a in b
2.001 * [backup-simplify]: Simplify a into a
2.001 * [taylor]: Taking taylor expansion of (fma b (fma a 2 b) (pow a 2)) in b
2.001 * [taylor]: Rewrote expression to (+ (* b (fma a 2 b)) (pow a 2))
2.001 * [taylor]: Taking taylor expansion of (* b (fma a 2 b)) in b
2.001 * [taylor]: Taking taylor expansion of b in b
2.001 * [backup-simplify]: Simplify 0 into 0
2.001 * [backup-simplify]: Simplify 1 into 1
2.001 * [taylor]: Taking taylor expansion of (fma a 2 b) in b
2.001 * [taylor]: Rewrote expression to (+ (* a 2) b)
2.001 * [taylor]: Taking taylor expansion of (* a 2) in b
2.001 * [taylor]: Taking taylor expansion of a in b
2.001 * [backup-simplify]: Simplify a into a
2.001 * [taylor]: Taking taylor expansion of 2 in b
2.002 * [backup-simplify]: Simplify 2 into 2
2.002 * [taylor]: Taking taylor expansion of b in b
2.002 * [backup-simplify]: Simplify 0 into 0
2.002 * [backup-simplify]: Simplify 1 into 1
2.002 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.002 * [taylor]: Taking taylor expansion of a in b
2.002 * [backup-simplify]: Simplify a into a
2.002 * [backup-simplify]: Simplify (* a 2) into (* 2 a)
2.002 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a)
2.002 * [backup-simplify]: Simplify (* 0 (* 2 a)) into 0
2.002 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.002 * [backup-simplify]: Simplify (+ 0 (pow a 2)) into (pow a 2)
2.002 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.002 * [taylor]: Taking taylor expansion of a in a
2.002 * [backup-simplify]: Simplify 0 into 0
2.002 * [backup-simplify]: Simplify 1 into 1
2.003 * [backup-simplify]: Simplify (+ (* a 0) (* 0 2)) into 0
2.003 * [backup-simplify]: Simplify (+ 0 1) into 1
2.004 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* 2 a))) into (* 2 a)
2.004 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
2.004 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a)
2.004 * [taylor]: Taking taylor expansion of (* 2 a) in a
2.004 * [taylor]: Taking taylor expansion of 2 in a
2.004 * [backup-simplify]: Simplify 2 into 2
2.004 * [taylor]: Taking taylor expansion of a in a
2.004 * [backup-simplify]: Simplify 0 into 0
2.004 * [backup-simplify]: Simplify 1 into 1
2.005 * [backup-simplify]: Simplify (* 2 0) into 0
2.005 * [backup-simplify]: Simplify 0 into 0
2.006 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 2))) into 0
2.006 * [backup-simplify]: Simplify (+ 0 0) into 0
2.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* 2 a)))) into 1
2.007 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
2.008 * [backup-simplify]: Simplify (+ 1 0) into 1
2.008 * [taylor]: Taking taylor expansion of 1 in a
2.008 * [backup-simplify]: Simplify 1 into 1
2.008 * [backup-simplify]: Simplify 1 into 1
2.009 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.009 * [backup-simplify]: Simplify 2 into 2
2.009 * [backup-simplify]: Simplify (* 1 1) into 1
2.009 * [backup-simplify]: Simplify 1 into 1
2.010 * [backup-simplify]: Simplify (+ (* 1 (pow (* a 1) 2)) (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.010 * [backup-simplify]: Simplify (fma (/ 1 b) (fma (/ 1 a) 2 (/ 1 b)) (* (/ 1 a) (/ 1 a))) into (fma (/ 1 b) (fma (/ 1 a) 2 (/ 1 b)) (/ 1 (pow a 2)))
2.010 * [approximate]: Taking taylor expansion of (fma (/ 1 b) (fma (/ 1 a) 2 (/ 1 b)) (/ 1 (pow a 2))) in (b a) around 0
2.010 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (fma (/ 1 a) 2 (/ 1 b)) (/ 1 (pow a 2))) in a
2.010 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) (/ 1 (pow a 2)))
2.010 * [taylor]: Taking taylor expansion of (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) in a
2.010 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.010 * [taylor]: Taking taylor expansion of b in a
2.010 * [backup-simplify]: Simplify b into b
2.010 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.010 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2 (/ 1 b)) in a
2.010 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2) (/ 1 b))
2.010 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2) in a
2.010 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.011 * [taylor]: Taking taylor expansion of a in a
2.011 * [backup-simplify]: Simplify 0 into 0
2.011 * [backup-simplify]: Simplify 1 into 1
2.011 * [backup-simplify]: Simplify (/ 1 1) into 1
2.011 * [taylor]: Taking taylor expansion of 2 in a
2.011 * [backup-simplify]: Simplify 2 into 2
2.011 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.011 * [taylor]: Taking taylor expansion of b in a
2.011 * [backup-simplify]: Simplify b into b
2.011 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.011 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.011 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.011 * [taylor]: Taking taylor expansion of a in a
2.011 * [backup-simplify]: Simplify 0 into 0
2.011 * [backup-simplify]: Simplify 1 into 1
2.011 * [backup-simplify]: Simplify (* 1 1) into 1
2.012 * [backup-simplify]: Simplify (/ 1 1) into 1
2.012 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (fma (/ 1 a) 2 (/ 1 b)) (/ 1 (pow a 2))) in b
2.012 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) (/ 1 (pow a 2)))
2.012 * [taylor]: Taking taylor expansion of (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) in b
2.012 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.012 * [taylor]: Taking taylor expansion of b in b
2.012 * [backup-simplify]: Simplify 0 into 0
2.012 * [backup-simplify]: Simplify 1 into 1
2.012 * [backup-simplify]: Simplify (/ 1 1) into 1
2.012 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2 (/ 1 b)) in b
2.012 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2) (/ 1 b))
2.012 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2) in b
2.012 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.012 * [taylor]: Taking taylor expansion of a in b
2.012 * [backup-simplify]: Simplify a into a
2.012 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.012 * [taylor]: Taking taylor expansion of 2 in b
2.012 * [backup-simplify]: Simplify 2 into 2
2.012 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.012 * [taylor]: Taking taylor expansion of b in b
2.012 * [backup-simplify]: Simplify 0 into 0
2.012 * [backup-simplify]: Simplify 1 into 1
2.012 * [backup-simplify]: Simplify (/ 1 1) into 1
2.013 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
2.013 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.013 * [taylor]: Taking taylor expansion of a in b
2.013 * [backup-simplify]: Simplify a into a
2.013 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.013 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
2.013 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (fma (/ 1 a) 2 (/ 1 b)) (/ 1 (pow a 2))) in b
2.013 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) (/ 1 (pow a 2)))
2.013 * [taylor]: Taking taylor expansion of (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) in b
2.013 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.013 * [taylor]: Taking taylor expansion of b in b
2.013 * [backup-simplify]: Simplify 0 into 0
2.013 * [backup-simplify]: Simplify 1 into 1
2.013 * [backup-simplify]: Simplify (/ 1 1) into 1
2.013 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2 (/ 1 b)) in b
2.013 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2) (/ 1 b))
2.013 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2) in b
2.013 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.013 * [taylor]: Taking taylor expansion of a in b
2.013 * [backup-simplify]: Simplify a into a
2.013 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.013 * [taylor]: Taking taylor expansion of 2 in b
2.013 * [backup-simplify]: Simplify 2 into 2
2.013 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.013 * [taylor]: Taking taylor expansion of b in b
2.013 * [backup-simplify]: Simplify 0 into 0
2.013 * [backup-simplify]: Simplify 1 into 1
2.014 * [backup-simplify]: Simplify (/ 1 1) into 1
2.014 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
2.014 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.014 * [taylor]: Taking taylor expansion of a in b
2.014 * [backup-simplify]: Simplify a into a
2.014 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.014 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
2.014 * [backup-simplify]: Simplify (+ 0 1) into 1
2.014 * [backup-simplify]: Simplify (* 1 1) into 1
2.015 * [backup-simplify]: Simplify (+ 1 0) into 1
2.015 * [taylor]: Taking taylor expansion of 1 in a
2.015 * [backup-simplify]: Simplify 1 into 1
2.015 * [backup-simplify]: Simplify (* (/ 1 a) 2) into (/ 2 a)
2.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.015 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a))
2.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.016 * [backup-simplify]: Simplify (+ (* 1 (* 2 (/ 1 a))) (* 0 1)) into (* 2 (/ 1 a))
2.016 * [backup-simplify]: Simplify (+ (* 2 (/ 1 a)) 0) into (* 2 (/ 1 a))
2.016 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
2.016 * [taylor]: Taking taylor expansion of 2 in a
2.016 * [backup-simplify]: Simplify 2 into 2
2.016 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.016 * [taylor]: Taking taylor expansion of a in a
2.016 * [backup-simplify]: Simplify 0 into 0
2.016 * [backup-simplify]: Simplify 1 into 1
2.016 * [backup-simplify]: Simplify (/ 1 1) into 1
2.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.017 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 2)) into 0
2.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.018 * [backup-simplify]: Simplify (+ 0 0) into 0
2.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (* 2 (/ 1 a))) (* 0 1))) into 0
2.019 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow a 2))) into (/ 1 (pow a 2))
2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.019 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.019 * [taylor]: Taking taylor expansion of a in a
2.019 * [backup-simplify]: Simplify 0 into 0
2.019 * [backup-simplify]: Simplify 1 into 1
2.019 * [backup-simplify]: Simplify (* 1 1) into 1
2.019 * [backup-simplify]: Simplify (/ 1 1) into 1
2.019 * [backup-simplify]: Simplify 1 into 1
2.020 * [backup-simplify]: Simplify (* 2 1) into 2
2.020 * [backup-simplify]: Simplify 2 into 2
2.020 * [backup-simplify]: Simplify 1 into 1
2.020 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (+ (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b)))) (* 1 (pow (* (/ 1 (/ 1 a)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.020 * [backup-simplify]: Simplify (fma (/ 1 (- b)) (fma (/ 1 (- a)) 2 (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fma (/ -1 b) (fma (/ -1 a) 2 (/ -1 b)) (/ 1 (pow a 2)))
2.020 * [approximate]: Taking taylor expansion of (fma (/ -1 b) (fma (/ -1 a) 2 (/ -1 b)) (/ 1 (pow a 2))) in (b a) around 0
2.020 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (fma (/ -1 a) 2 (/ -1 b)) (/ 1 (pow a 2))) in a
2.020 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (fma (/ -1 a) 2 (/ -1 b))) (/ 1 (pow a 2)))
2.020 * [taylor]: Taking taylor expansion of (* (/ -1 b) (fma (/ -1 a) 2 (/ -1 b))) in a
2.021 * [taylor]: Taking taylor expansion of (/ -1 b) in a
2.021 * [taylor]: Taking taylor expansion of -1 in a
2.021 * [backup-simplify]: Simplify -1 into -1
2.021 * [taylor]: Taking taylor expansion of b in a
2.021 * [backup-simplify]: Simplify b into b
2.021 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
2.021 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2 (/ -1 b)) in a
2.021 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2) (/ -1 b))
2.021 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2) in a
2.021 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.021 * [taylor]: Taking taylor expansion of -1 in a
2.021 * [backup-simplify]: Simplify -1 into -1
2.021 * [taylor]: Taking taylor expansion of a in a
2.021 * [backup-simplify]: Simplify 0 into 0
2.021 * [backup-simplify]: Simplify 1 into 1
2.021 * [backup-simplify]: Simplify (/ -1 1) into -1
2.021 * [taylor]: Taking taylor expansion of 2 in a
2.021 * [backup-simplify]: Simplify 2 into 2
2.021 * [taylor]: Taking taylor expansion of (/ -1 b) in a
2.021 * [taylor]: Taking taylor expansion of -1 in a
2.021 * [backup-simplify]: Simplify -1 into -1
2.021 * [taylor]: Taking taylor expansion of b in a
2.021 * [backup-simplify]: Simplify b into b
2.021 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
2.021 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.021 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.021 * [taylor]: Taking taylor expansion of a in a
2.021 * [backup-simplify]: Simplify 0 into 0
2.021 * [backup-simplify]: Simplify 1 into 1
2.022 * [backup-simplify]: Simplify (* 1 1) into 1
2.022 * [backup-simplify]: Simplify (/ 1 1) into 1
2.022 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (fma (/ -1 a) 2 (/ -1 b)) (/ 1 (pow a 2))) in b
2.022 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (fma (/ -1 a) 2 (/ -1 b))) (/ 1 (pow a 2)))
2.022 * [taylor]: Taking taylor expansion of (* (/ -1 b) (fma (/ -1 a) 2 (/ -1 b))) in b
2.022 * [taylor]: Taking taylor expansion of (/ -1 b) in b
2.022 * [taylor]: Taking taylor expansion of -1 in b
2.022 * [backup-simplify]: Simplify -1 into -1
2.022 * [taylor]: Taking taylor expansion of b in b
2.022 * [backup-simplify]: Simplify 0 into 0
2.022 * [backup-simplify]: Simplify 1 into 1
2.022 * [backup-simplify]: Simplify (/ -1 1) into -1
2.022 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2 (/ -1 b)) in b
2.022 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2) (/ -1 b))
2.022 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2) in b
2.022 * [taylor]: Taking taylor expansion of (/ -1 a) in b
2.022 * [taylor]: Taking taylor expansion of -1 in b
2.022 * [backup-simplify]: Simplify -1 into -1
2.022 * [taylor]: Taking taylor expansion of a in b
2.023 * [backup-simplify]: Simplify a into a
2.023 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.023 * [taylor]: Taking taylor expansion of 2 in b
2.023 * [backup-simplify]: Simplify 2 into 2
2.023 * [taylor]: Taking taylor expansion of (/ -1 b) in b
2.023 * [taylor]: Taking taylor expansion of -1 in b
2.023 * [backup-simplify]: Simplify -1 into -1
2.023 * [taylor]: Taking taylor expansion of b in b
2.023 * [backup-simplify]: Simplify 0 into 0
2.023 * [backup-simplify]: Simplify 1 into 1
2.023 * [backup-simplify]: Simplify (/ -1 1) into -1
2.023 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
2.023 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.023 * [taylor]: Taking taylor expansion of a in b
2.023 * [backup-simplify]: Simplify a into a
2.023 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.023 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
2.023 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (fma (/ -1 a) 2 (/ -1 b)) (/ 1 (pow a 2))) in b
2.023 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (fma (/ -1 a) 2 (/ -1 b))) (/ 1 (pow a 2)))
2.023 * [taylor]: Taking taylor expansion of (* (/ -1 b) (fma (/ -1 a) 2 (/ -1 b))) in b
2.023 * [taylor]: Taking taylor expansion of (/ -1 b) in b
2.023 * [taylor]: Taking taylor expansion of -1 in b
2.023 * [backup-simplify]: Simplify -1 into -1
2.023 * [taylor]: Taking taylor expansion of b in b
2.023 * [backup-simplify]: Simplify 0 into 0
2.023 * [backup-simplify]: Simplify 1 into 1
2.024 * [backup-simplify]: Simplify (/ -1 1) into -1
2.024 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2 (/ -1 b)) in b
2.024 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2) (/ -1 b))
2.024 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2) in b
2.024 * [taylor]: Taking taylor expansion of (/ -1 a) in b
2.024 * [taylor]: Taking taylor expansion of -1 in b
2.024 * [backup-simplify]: Simplify -1 into -1
2.024 * [taylor]: Taking taylor expansion of a in b
2.024 * [backup-simplify]: Simplify a into a
2.024 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.024 * [taylor]: Taking taylor expansion of 2 in b
2.024 * [backup-simplify]: Simplify 2 into 2
2.024 * [taylor]: Taking taylor expansion of (/ -1 b) in b
2.024 * [taylor]: Taking taylor expansion of -1 in b
2.024 * [backup-simplify]: Simplify -1 into -1
2.024 * [taylor]: Taking taylor expansion of b in b
2.024 * [backup-simplify]: Simplify 0 into 0
2.024 * [backup-simplify]: Simplify 1 into 1
2.024 * [backup-simplify]: Simplify (/ -1 1) into -1
2.024 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
2.024 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.024 * [taylor]: Taking taylor expansion of a in b
2.024 * [backup-simplify]: Simplify a into a
2.024 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.024 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
2.025 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.025 * [backup-simplify]: Simplify (* -1 -1) into 1
2.025 * [backup-simplify]: Simplify (+ 1 0) into 1
2.025 * [taylor]: Taking taylor expansion of 1 in a
2.025 * [backup-simplify]: Simplify 1 into 1
2.025 * [backup-simplify]: Simplify (* (/ -1 a) 2) into (/ -2 a)
2.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.026 * [backup-simplify]: Simplify (+ (/ -2 a) 0) into (- (* 2 (/ 1 a)))
2.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.027 * [backup-simplify]: Simplify (+ (* -1 (- (* 2 (/ 1 a)))) (* 0 -1)) into (* 2 (/ 1 a))
2.027 * [backup-simplify]: Simplify (+ (* 2 (/ 1 a)) 0) into (* 2 (/ 1 a))
2.027 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
2.027 * [taylor]: Taking taylor expansion of 2 in a
2.027 * [backup-simplify]: Simplify 2 into 2
2.027 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.027 * [taylor]: Taking taylor expansion of a in a
2.027 * [backup-simplify]: Simplify 0 into 0
2.027 * [backup-simplify]: Simplify 1 into 1
2.027 * [backup-simplify]: Simplify (/ 1 1) into 1
2.027 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
2.028 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (* 0 2)) into 0
2.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.028 * [backup-simplify]: Simplify (+ 0 0) into 0
2.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.030 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (* 2 (/ 1 a)))) (* 0 -1))) into 0
2.030 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow a 2))) into (/ 1 (pow a 2))
2.030 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.030 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.030 * [taylor]: Taking taylor expansion of a in a
2.030 * [backup-simplify]: Simplify 0 into 0
2.030 * [backup-simplify]: Simplify 1 into 1
2.030 * [backup-simplify]: Simplify (* 1 1) into 1
2.030 * [backup-simplify]: Simplify (/ 1 1) into 1
2.030 * [backup-simplify]: Simplify 1 into 1
2.031 * [backup-simplify]: Simplify (* 2 1) into 2
2.031 * [backup-simplify]: Simplify 2 into 2
2.031 * [backup-simplify]: Simplify 1 into 1
2.032 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b))))) (* 1 (pow (* (/ 1 (/ 1 (- a))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.032 * * * [progress]: simplifying candidates
2.032 * [simplify]: Simplifying:
  (expm1 (fma b (fma a 2 b) (* a a)))
  (log1p (fma b (fma a 2 b) (* a a)))
  (* b (fma a 2 b))
  (log (fma b (fma a 2 b) (* a a)))
  (exp (fma b (fma a 2 b) (* a a)))
  (* (cbrt (fma b (fma a 2 b) (* a a))) (cbrt (fma b (fma a 2 b) (* a a))))
  (cbrt (fma b (fma a 2 b) (* a a)))
  (* (* (fma b (fma a 2 b) (* a a)) (fma b (fma a 2 b) (* a a))) (fma b (fma a 2 b) (* a a)))
  (sqrt (fma b (fma a 2 b) (* a a)))
  (sqrt (fma b (fma a 2 b) (* a a)))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.032 * * [simplify]: Extracting # 0 : cost  0
2.032 * * [simplify]: Extracting # 1 : cost  0
2.032 * * [simplify]: Extracting # 2 : cost  0
2.032 * * [simplify]: Extracting # 3 : cost  0
2.032 * * [simplify]: Extracting # 4 : cost  0
2.032 * * [simplify]: Extracting # 5 : cost  0
2.032 * * [simplify]: Extracting # 6 : cost  0
2.032 * * [simplify]: iteration  0 :  22  enodes  (cost  165 )
2.036 * * [simplify]: Extracting # 0 : cost  0
2.036 * * [simplify]: Extracting # 1 : cost  0
2.036 * * [simplify]: Extracting # 2 : cost  0
2.036 * * [simplify]: Extracting # 3 : cost  0
2.036 * * [simplify]: Extracting # 4 : cost  0
2.037 * * [simplify]: iteration  1 :  42  enodes  (cost  165 )
2.055 * * [simplify]: Extracting # 0 : cost  0
2.055 * * [simplify]: Extracting # 1 : cost  0
2.055 * * [simplify]: Extracting # 2 : cost  0
2.055 * * [simplify]: Extracting # 3 : cost  0
2.055 * * [simplify]: iteration  2 :  131  enodes  (cost  138 )
2.134 * * [simplify]: Extracting # 0 : cost  0
2.135 * * [simplify]: Extracting # 1 : cost  0
2.136 * * [simplify]: Extracting # 2 : cost  0
2.137 * * [simplify]: Extracting # 3 : cost  0
2.138 * * [simplify]: Extracting # 4 : cost  0
2.139 * * [simplify]: iteration  3 :  571  enodes  (cost  135 )
2.430 * * [simplify]: Extracting # 0 : cost  0
2.440 * * [simplify]: Extracting # 1 : cost  0
2.446 * * [simplify]: Extracting # 2 : cost  0
2.454 * * [simplify]: Extracting # 3 : cost  0
2.467 * * [simplify]: Extracting # 4 : cost  0
2.473 * * [simplify]: iteration done:  5000  enodes  (cost  135 )
2.473 * [simplify]: Simplified to:
  (expm1 (fma b (fma a 2 b) (* a a)))
  (log1p (fma b (fma a 2 b) (* a a)))
  (* b (fma a 2 b))
  (log (fma b (fma a 2 b) (* a a)))
  (exp (fma b (fma a 2 b) (* a a)))
  (* (cbrt (fma b (fma a 2 b) (* a a))) (cbrt (fma b (fma a 2 b) (* a a))))
  (cbrt (fma b (fma a 2 b) (* a a)))
  (pow (fma b (fma a 2 b) (* a a)) 3)
  (sqrt (fma b (fma a 2 b) (* a a)))
  (sqrt (fma b (fma a 2 b) (* a a)))
  (fma b (fma a 2 b) (* a a))
  (fma b (fma a 2 b) (* a a))
  (fma b (fma a 2 b) (* a a))
2.473 * * * [progress]: adding candidates to table
2.525 * * [progress]: iteration 3 / 4
2.525 * * * [progress]: picking best candidate
2.530 * * * * [pick]: Picked  #<alt (λ (a b) (+ (* a (+ b a)) (* b (+ a b))))>
2.530 * * * [progress]: localizing error
2.539 * * * [progress]: generating rewritten candidates
2.539 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
2.563 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.596 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.622 * * * [progress]: generating series expansions
2.622 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
2.622 * [backup-simplify]: Simplify (* b (+ a b)) into (* (+ a b) b)
2.622 * [approximate]: Taking taylor expansion of (* (+ a b) b) in (b a) around 0
2.622 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a
2.622 * [taylor]: Taking taylor expansion of (+ a b) in a
2.622 * [taylor]: Taking taylor expansion of a in a
2.622 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify 1 into 1
2.622 * [taylor]: Taking taylor expansion of b in a
2.622 * [backup-simplify]: Simplify b into b
2.622 * [taylor]: Taking taylor expansion of b in a
2.622 * [backup-simplify]: Simplify b into b
2.622 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b
2.622 * [taylor]: Taking taylor expansion of (+ a b) in b
2.622 * [taylor]: Taking taylor expansion of a in b
2.622 * [backup-simplify]: Simplify a into a
2.622 * [taylor]: Taking taylor expansion of b in b
2.622 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify 1 into 1
2.623 * [taylor]: Taking taylor expansion of b in b
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 1 into 1
2.623 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b
2.623 * [taylor]: Taking taylor expansion of (+ a b) in b
2.623 * [taylor]: Taking taylor expansion of a in b
2.623 * [backup-simplify]: Simplify a into a
2.623 * [taylor]: Taking taylor expansion of b in b
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 1 into 1
2.623 * [taylor]: Taking taylor expansion of b in b
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 1 into 1
2.623 * [backup-simplify]: Simplify (+ a 0) into a
2.623 * [backup-simplify]: Simplify (* a 0) into 0
2.623 * [taylor]: Taking taylor expansion of 0 in a
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify (+ 0 1) into 1
2.624 * [backup-simplify]: Simplify (+ (* a 1) (* 1 0)) into a
2.624 * [taylor]: Taking taylor expansion of a in a
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 1 into 1
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 0 into 0
2.625 * [backup-simplify]: Simplify (+ 0 0) into 0
2.626 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 1) (* 0 0))) into 1
2.626 * [taylor]: Taking taylor expansion of 1 in a
2.626 * [backup-simplify]: Simplify 1 into 1
2.626 * [backup-simplify]: Simplify 1 into 1
2.626 * [backup-simplify]: Simplify 1 into 1
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (+ 0 0) into 0
2.627 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
2.627 * [taylor]: Taking taylor expansion of 0 in a
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify (+ 0 0) into 0
2.628 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.628 * [taylor]: Taking taylor expansion of 0 in a
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify (+ (* 1 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* a b))
2.628 * [backup-simplify]: Simplify (* (/ 1 b) (+ (/ 1 a) (/ 1 b))) into (/ (+ (/ 1 a) (/ 1 b)) b)
2.628 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (b a) around 0
2.628 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
2.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
2.628 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.628 * [taylor]: Taking taylor expansion of a in a
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 1 into 1
2.629 * [backup-simplify]: Simplify (/ 1 1) into 1
2.629 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.629 * [taylor]: Taking taylor expansion of b in a
2.629 * [backup-simplify]: Simplify b into b
2.629 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.629 * [taylor]: Taking taylor expansion of b in a
2.629 * [backup-simplify]: Simplify b into b
2.629 * [backup-simplify]: Simplify (+ 1 0) into 1
2.629 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.629 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
2.629 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
2.629 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.629 * [taylor]: Taking taylor expansion of a in b
2.629 * [backup-simplify]: Simplify a into a
2.629 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.629 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.629 * [taylor]: Taking taylor expansion of b in b
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 1 into 1
2.629 * [backup-simplify]: Simplify (/ 1 1) into 1
2.629 * [taylor]: Taking taylor expansion of b in b
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [backup-simplify]: Simplify (+ 0 1) into 1
2.630 * [backup-simplify]: Simplify (/ 1 1) into 1
2.630 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
2.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
2.630 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.630 * [taylor]: Taking taylor expansion of a in b
2.630 * [backup-simplify]: Simplify a into a
2.630 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.630 * [taylor]: Taking taylor expansion of b in b
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [backup-simplify]: Simplify (/ 1 1) into 1
2.630 * [taylor]: Taking taylor expansion of b in b
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.631 * [backup-simplify]: Simplify (+ 0 1) into 1
2.631 * [backup-simplify]: Simplify (/ 1 1) into 1
2.631 * [taylor]: Taking taylor expansion of 1 in a
2.631 * [backup-simplify]: Simplify 1 into 1
2.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.632 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
2.632 * [backup-simplify]: Simplify (- (/ (/ 1 a) 1) (+ (* 1 (/ 0 1)))) into (/ 1 a)
2.632 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.632 * [taylor]: Taking taylor expansion of a in a
2.632 * [backup-simplify]: Simplify 0 into 0
2.632 * [backup-simplify]: Simplify 1 into 1
2.632 * [backup-simplify]: Simplify (/ 1 1) into 1
2.632 * [backup-simplify]: Simplify 1 into 1
2.632 * [backup-simplify]: Simplify 1 into 1
2.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.633 * [backup-simplify]: Simplify (+ 0 0) into 0
2.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)))) into 0
2.634 * [taylor]: Taking taylor expansion of 0 in a
2.634 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.635 * [backup-simplify]: Simplify (+ 0 0) into 0
2.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.637 * [taylor]: Taking taylor expansion of 0 in a
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify (+ 0 0) into 0
2.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.640 * [taylor]: Taking taylor expansion of 0 in a
2.640 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 1 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* a b))
2.640 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- b)))) into (/ (+ (/ 1 a) (/ 1 b)) b)
2.640 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (b a) around 0
2.640 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
2.640 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
2.640 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.640 * [taylor]: Taking taylor expansion of a in a
2.640 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify 1 into 1
2.640 * [backup-simplify]: Simplify (/ 1 1) into 1
2.640 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.640 * [taylor]: Taking taylor expansion of b in a
2.640 * [backup-simplify]: Simplify b into b
2.641 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.641 * [taylor]: Taking taylor expansion of b in a
2.641 * [backup-simplify]: Simplify b into b
2.641 * [backup-simplify]: Simplify (+ 1 0) into 1
2.641 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.641 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
2.641 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
2.641 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.641 * [taylor]: Taking taylor expansion of a in b
2.641 * [backup-simplify]: Simplify a into a
2.641 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.641 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.641 * [taylor]: Taking taylor expansion of b in b
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 1 into 1
2.641 * [backup-simplify]: Simplify (/ 1 1) into 1
2.641 * [taylor]: Taking taylor expansion of b in b
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 1 into 1
2.642 * [backup-simplify]: Simplify (+ 0 1) into 1
2.642 * [backup-simplify]: Simplify (/ 1 1) into 1
2.642 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
2.642 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
2.642 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.642 * [taylor]: Taking taylor expansion of a in b
2.642 * [backup-simplify]: Simplify a into a
2.642 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.642 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.642 * [taylor]: Taking taylor expansion of b in b
2.642 * [backup-simplify]: Simplify 0 into 0
2.642 * [backup-simplify]: Simplify 1 into 1
2.642 * [backup-simplify]: Simplify (/ 1 1) into 1
2.642 * [taylor]: Taking taylor expansion of b in b
2.642 * [backup-simplify]: Simplify 0 into 0
2.642 * [backup-simplify]: Simplify 1 into 1
2.643 * [backup-simplify]: Simplify (+ 0 1) into 1
2.643 * [backup-simplify]: Simplify (/ 1 1) into 1
2.643 * [taylor]: Taking taylor expansion of 1 in a
2.643 * [backup-simplify]: Simplify 1 into 1
2.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.643 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
2.644 * [backup-simplify]: Simplify (- (/ (/ 1 a) 1) (+ (* 1 (/ 0 1)))) into (/ 1 a)
2.644 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.644 * [taylor]: Taking taylor expansion of a in a
2.644 * [backup-simplify]: Simplify 0 into 0
2.644 * [backup-simplify]: Simplify 1 into 1
2.644 * [backup-simplify]: Simplify (/ 1 1) into 1
2.644 * [backup-simplify]: Simplify 1 into 1
2.644 * [backup-simplify]: Simplify 1 into 1
2.644 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.645 * [backup-simplify]: Simplify (+ 0 0) into 0
2.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)))) into 0
2.646 * [taylor]: Taking taylor expansion of 0 in a
2.646 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.646 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.647 * [backup-simplify]: Simplify (+ 0 0) into 0
2.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.649 * [taylor]: Taking taylor expansion of 0 in a
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.650 * [backup-simplify]: Simplify (+ 0 0) into 0
2.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.652 * [taylor]: Taking taylor expansion of 0 in a
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 1 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* a b))
2.652 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.652 * [backup-simplify]: Simplify (* a (+ b a)) into (* a (+ a b))
2.652 * [approximate]: Taking taylor expansion of (* a (+ a b)) in (a b) around 0
2.652 * [taylor]: Taking taylor expansion of (* a (+ a b)) in b
2.652 * [taylor]: Taking taylor expansion of a in b
2.652 * [backup-simplify]: Simplify a into a
2.652 * [taylor]: Taking taylor expansion of (+ a b) in b
2.652 * [taylor]: Taking taylor expansion of a in b
2.652 * [backup-simplify]: Simplify a into a
2.652 * [taylor]: Taking taylor expansion of b in b
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of (* a (+ a b)) in a
2.652 * [taylor]: Taking taylor expansion of a in a
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of (+ a b) in a
2.652 * [taylor]: Taking taylor expansion of a in a
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of b in a
2.652 * [backup-simplify]: Simplify b into b
2.652 * [taylor]: Taking taylor expansion of (* a (+ a b)) in a
2.652 * [taylor]: Taking taylor expansion of a in a
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of (+ a b) in a
2.652 * [taylor]: Taking taylor expansion of a in a
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of b in a
2.652 * [backup-simplify]: Simplify b into b
2.653 * [backup-simplify]: Simplify (+ 0 b) into b
2.653 * [backup-simplify]: Simplify (* 0 b) into 0
2.653 * [taylor]: Taking taylor expansion of 0 in b
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify (+ 1 0) into 1
2.653 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 b)) into b
2.653 * [taylor]: Taking taylor expansion of b in b
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 1 into 1
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify (+ 0 0) into 0
2.654 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 b))) into 1
2.654 * [taylor]: Taking taylor expansion of 1 in b
2.654 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify (+ 0 0) into 0
2.655 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 b)))) into 0
2.655 * [taylor]: Taking taylor expansion of 0 in b
2.655 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify (+ 0 0) into 0
2.658 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 b))))) into 0
2.658 * [taylor]: Taking taylor expansion of 0 in b
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify (+ (* 1 (* b a)) (* 1 (pow (* 1 a) 2))) into (+ (pow a 2) (* a b))
2.658 * [backup-simplify]: Simplify (* (/ 1 a) (+ (/ 1 b) (/ 1 a))) into (/ (+ (/ 1 b) (/ 1 a)) a)
2.658 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in (a b) around 0
2.658 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in b
2.658 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
2.658 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.658 * [taylor]: Taking taylor expansion of b in b
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify (/ 1 1) into 1
2.659 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.659 * [taylor]: Taking taylor expansion of a in b
2.659 * [backup-simplify]: Simplify a into a
2.659 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.659 * [taylor]: Taking taylor expansion of a in b
2.659 * [backup-simplify]: Simplify a into a
2.659 * [backup-simplify]: Simplify (+ 1 0) into 1
2.660 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.660 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in a
2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
2.660 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.660 * [taylor]: Taking taylor expansion of b in a
2.660 * [backup-simplify]: Simplify b into b
2.660 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.660 * [taylor]: Taking taylor expansion of a in a
2.660 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify 1 into 1
2.660 * [backup-simplify]: Simplify (/ 1 1) into 1
2.660 * [taylor]: Taking taylor expansion of a in a
2.660 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify 1 into 1
2.661 * [backup-simplify]: Simplify (+ 0 1) into 1
2.661 * [backup-simplify]: Simplify (/ 1 1) into 1
2.661 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in a
2.661 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
2.661 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.661 * [taylor]: Taking taylor expansion of b in a
2.661 * [backup-simplify]: Simplify b into b
2.661 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.661 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.661 * [taylor]: Taking taylor expansion of a in a
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify 1 into 1
2.662 * [backup-simplify]: Simplify (/ 1 1) into 1
2.662 * [taylor]: Taking taylor expansion of a in a
2.662 * [backup-simplify]: Simplify 0 into 0
2.662 * [backup-simplify]: Simplify 1 into 1
2.662 * [backup-simplify]: Simplify (+ 0 1) into 1
2.663 * [backup-simplify]: Simplify (/ 1 1) into 1
2.663 * [taylor]: Taking taylor expansion of 1 in b
2.663 * [backup-simplify]: Simplify 1 into 1
2.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.663 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
2.664 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* 1 (/ 0 1)))) into (/ 1 b)
2.664 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.664 * [taylor]: Taking taylor expansion of b in b
2.664 * [backup-simplify]: Simplify 0 into 0
2.664 * [backup-simplify]: Simplify 1 into 1
2.664 * [backup-simplify]: Simplify (/ 1 1) into 1
2.664 * [backup-simplify]: Simplify 1 into 1
2.664 * [backup-simplify]: Simplify 1 into 1
2.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.665 * [backup-simplify]: Simplify (+ 0 0) into 0
2.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0
2.666 * [taylor]: Taking taylor expansion of 0 in b
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
2.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.667 * [backup-simplify]: Simplify (+ 0 0) into 0
2.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.669 * [taylor]: Taking taylor expansion of 0 in b
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
2.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.670 * [backup-simplify]: Simplify (+ 0 0) into 0
2.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.672 * [taylor]: Taking taylor expansion of 0 in b
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))))) into (+ (pow a 2) (* a b))
2.672 * [backup-simplify]: Simplify (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- a)))) into (/ (+ (/ 1 b) (/ 1 a)) a)
2.672 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in (a b) around 0
2.672 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in b
2.672 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
2.672 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.672 * [taylor]: Taking taylor expansion of b in b
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify 1 into 1
2.673 * [backup-simplify]: Simplify (/ 1 1) into 1
2.673 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.673 * [taylor]: Taking taylor expansion of a in b
2.673 * [backup-simplify]: Simplify a into a
2.673 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.673 * [taylor]: Taking taylor expansion of a in b
2.673 * [backup-simplify]: Simplify a into a
2.673 * [backup-simplify]: Simplify (+ 1 0) into 1
2.673 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.673 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in a
2.673 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
2.673 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.673 * [taylor]: Taking taylor expansion of b in a
2.673 * [backup-simplify]: Simplify b into b
2.673 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.673 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.673 * [taylor]: Taking taylor expansion of a in a
2.673 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify 1 into 1
2.673 * [backup-simplify]: Simplify (/ 1 1) into 1
2.673 * [taylor]: Taking taylor expansion of a in a
2.673 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify 1 into 1
2.674 * [backup-simplify]: Simplify (+ 0 1) into 1
2.674 * [backup-simplify]: Simplify (/ 1 1) into 1
2.674 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) a) in a
2.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
2.674 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.674 * [taylor]: Taking taylor expansion of b in a
2.674 * [backup-simplify]: Simplify b into b
2.674 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.674 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.674 * [taylor]: Taking taylor expansion of a in a
2.674 * [backup-simplify]: Simplify 0 into 0
2.674 * [backup-simplify]: Simplify 1 into 1
2.674 * [backup-simplify]: Simplify (/ 1 1) into 1
2.674 * [taylor]: Taking taylor expansion of a in a
2.674 * [backup-simplify]: Simplify 0 into 0
2.674 * [backup-simplify]: Simplify 1 into 1
2.675 * [backup-simplify]: Simplify (+ 0 1) into 1
2.675 * [backup-simplify]: Simplify (/ 1 1) into 1
2.675 * [taylor]: Taking taylor expansion of 1 in b
2.675 * [backup-simplify]: Simplify 1 into 1
2.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.676 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
2.676 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* 1 (/ 0 1)))) into (/ 1 b)
2.676 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.676 * [taylor]: Taking taylor expansion of b in b
2.676 * [backup-simplify]: Simplify 0 into 0
2.676 * [backup-simplify]: Simplify 1 into 1
2.676 * [backup-simplify]: Simplify (/ 1 1) into 1
2.676 * [backup-simplify]: Simplify 1 into 1
2.676 * [backup-simplify]: Simplify 1 into 1
2.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.677 * [backup-simplify]: Simplify (+ 0 0) into 0
2.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0
2.678 * [taylor]: Taking taylor expansion of 0 in b
2.678 * [backup-simplify]: Simplify 0 into 0
2.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.679 * [backup-simplify]: Simplify 0 into 0
2.679 * [backup-simplify]: Simplify 0 into 0
2.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
2.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.679 * [backup-simplify]: Simplify (+ 0 0) into 0
2.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.681 * [taylor]: Taking taylor expansion of 0 in b
2.681 * [backup-simplify]: Simplify 0 into 0
2.681 * [backup-simplify]: Simplify 0 into 0
2.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.681 * [backup-simplify]: Simplify 0 into 0
2.681 * [backup-simplify]: Simplify 0 into 0
2.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
2.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.682 * [backup-simplify]: Simplify (+ 0 0) into 0
2.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.684 * [taylor]: Taking taylor expansion of 0 in b
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))))) into (+ (pow a 2) (* a b))
2.684 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.684 * [backup-simplify]: Simplify (+ (* a (+ b a)) (* b (+ a b))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.684 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (a b) around 0
2.684 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b
2.684 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.684 * [taylor]: Taking taylor expansion of a in b
2.684 * [backup-simplify]: Simplify a into a
2.684 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b
2.684 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.684 * [taylor]: Taking taylor expansion of b in b
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 1 into 1
2.684 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
2.684 * [taylor]: Taking taylor expansion of 2 in b
2.684 * [backup-simplify]: Simplify 2 into 2
2.684 * [taylor]: Taking taylor expansion of (* a b) in b
2.684 * [taylor]: Taking taylor expansion of a in b
2.684 * [backup-simplify]: Simplify a into a
2.684 * [taylor]: Taking taylor expansion of b in b
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 1 into 1
2.684 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
2.684 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.684 * [taylor]: Taking taylor expansion of a in a
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 1 into 1
2.684 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
2.685 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.685 * [taylor]: Taking taylor expansion of b in a
2.685 * [backup-simplify]: Simplify b into b
2.685 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
2.685 * [taylor]: Taking taylor expansion of 2 in a
2.685 * [backup-simplify]: Simplify 2 into 2
2.685 * [taylor]: Taking taylor expansion of (* a b) in a
2.685 * [taylor]: Taking taylor expansion of a in a
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 1 into 1
2.685 * [taylor]: Taking taylor expansion of b in a
2.685 * [backup-simplify]: Simplify b into b
2.685 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
2.685 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.685 * [taylor]: Taking taylor expansion of a in a
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 1 into 1
2.685 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
2.685 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.685 * [taylor]: Taking taylor expansion of b in a
2.685 * [backup-simplify]: Simplify b into b
2.685 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
2.685 * [taylor]: Taking taylor expansion of 2 in a
2.685 * [backup-simplify]: Simplify 2 into 2
2.685 * [taylor]: Taking taylor expansion of (* a b) in a
2.685 * [taylor]: Taking taylor expansion of a in a
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 1 into 1
2.685 * [taylor]: Taking taylor expansion of b in a
2.685 * [backup-simplify]: Simplify b into b
2.685 * [backup-simplify]: Simplify (* b b) into (pow b 2)
2.685 * [backup-simplify]: Simplify (* 0 b) into 0
2.687 * [backup-simplify]: Simplify (* 2 0) into 0
2.687 * [backup-simplify]: Simplify (+ (pow b 2) 0) into (pow b 2)
2.687 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
2.687 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.687 * [taylor]: Taking taylor expansion of b in b
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 1 into 1
2.688 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
2.688 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.688 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b)
2.688 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
2.688 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
2.688 * [taylor]: Taking taylor expansion of (* 2 b) in b
2.688 * [taylor]: Taking taylor expansion of 2 in b
2.688 * [backup-simplify]: Simplify 2 into 2
2.688 * [taylor]: Taking taylor expansion of b in b
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 1 into 1
2.689 * [backup-simplify]: Simplify (* 2 0) into 0
2.689 * [backup-simplify]: Simplify 0 into 0
2.689 * [backup-simplify]: Simplify (* 1 1) into 1
2.689 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
2.690 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
2.690 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0
2.690 * [backup-simplify]: Simplify (+ 0 0) into 0
2.691 * [backup-simplify]: Simplify (+ 1 0) into 1
2.691 * [taylor]: Taking taylor expansion of 1 in b
2.691 * [backup-simplify]: Simplify 1 into 1
2.691 * [backup-simplify]: Simplify 1 into 1
2.692 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.692 * [backup-simplify]: Simplify 2 into 2
2.692 * [backup-simplify]: Simplify (* 1 1) into 1
2.692 * [backup-simplify]: Simplify 1 into 1
2.693 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.693 * [backup-simplify]: Simplify (+ (* (/ 1 a) (+ (/ 1 b) (/ 1 a))) (* (/ 1 b) (+ (/ 1 a) (/ 1 b)))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
2.693 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0
2.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
2.693 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
2.693 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.693 * [taylor]: Taking taylor expansion of a in b
2.693 * [backup-simplify]: Simplify a into a
2.694 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.694 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
2.694 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
2.694 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
2.694 * [taylor]: Taking taylor expansion of 2 in b
2.694 * [backup-simplify]: Simplify 2 into 2
2.694 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.694 * [taylor]: Taking taylor expansion of (* a b) in b
2.694 * [taylor]: Taking taylor expansion of a in b
2.694 * [backup-simplify]: Simplify a into a
2.694 * [taylor]: Taking taylor expansion of b in b
2.694 * [backup-simplify]: Simplify 0 into 0
2.694 * [backup-simplify]: Simplify 1 into 1
2.694 * [backup-simplify]: Simplify (* a 0) into 0
2.695 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.695 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.695 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.695 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.695 * [taylor]: Taking taylor expansion of b in b
2.695 * [backup-simplify]: Simplify 0 into 0
2.695 * [backup-simplify]: Simplify 1 into 1
2.695 * [backup-simplify]: Simplify (* 1 1) into 1
2.696 * [backup-simplify]: Simplify (/ 1 1) into 1
2.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
2.696 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.696 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.696 * [taylor]: Taking taylor expansion of a in a
2.696 * [backup-simplify]: Simplify 0 into 0
2.696 * [backup-simplify]: Simplify 1 into 1
2.696 * [backup-simplify]: Simplify (* 1 1) into 1
2.697 * [backup-simplify]: Simplify (/ 1 1) into 1
2.697 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
2.697 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
2.697 * [taylor]: Taking taylor expansion of 2 in a
2.697 * [backup-simplify]: Simplify 2 into 2
2.697 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.697 * [taylor]: Taking taylor expansion of (* a b) in a
2.697 * [taylor]: Taking taylor expansion of a in a
2.697 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify 1 into 1
2.697 * [taylor]: Taking taylor expansion of b in a
2.697 * [backup-simplify]: Simplify b into b
2.697 * [backup-simplify]: Simplify (* 0 b) into 0
2.697 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.697 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.697 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.697 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.698 * [taylor]: Taking taylor expansion of b in a
2.698 * [backup-simplify]: Simplify b into b
2.698 * [backup-simplify]: Simplify (* b b) into (pow b 2)
2.698 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
2.698 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
2.698 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.698 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.698 * [taylor]: Taking taylor expansion of a in a
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 1 into 1
2.698 * [backup-simplify]: Simplify (* 1 1) into 1
2.699 * [backup-simplify]: Simplify (/ 1 1) into 1
2.699 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
2.699 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
2.699 * [taylor]: Taking taylor expansion of 2 in a
2.699 * [backup-simplify]: Simplify 2 into 2
2.699 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.699 * [taylor]: Taking taylor expansion of (* a b) in a
2.699 * [taylor]: Taking taylor expansion of a in a
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 1 into 1
2.699 * [taylor]: Taking taylor expansion of b in a
2.699 * [backup-simplify]: Simplify b into b
2.699 * [backup-simplify]: Simplify (* 0 b) into 0
2.700 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.700 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.700 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.700 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.700 * [taylor]: Taking taylor expansion of b in a
2.700 * [backup-simplify]: Simplify b into b
2.700 * [backup-simplify]: Simplify (* b b) into (pow b 2)
2.700 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
2.700 * [backup-simplify]: Simplify (+ 1 0) into 1
2.701 * [taylor]: Taking taylor expansion of 1 in b
2.701 * [backup-simplify]: Simplify 1 into 1
2.701 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.702 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
2.702 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
2.702 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
2.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
2.702 * [taylor]: Taking taylor expansion of 2 in b
2.702 * [backup-simplify]: Simplify 2 into 2
2.702 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.702 * [taylor]: Taking taylor expansion of b in b
2.702 * [backup-simplify]: Simplify 0 into 0
2.703 * [backup-simplify]: Simplify 1 into 1
2.703 * [backup-simplify]: Simplify (/ 1 1) into 1
2.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.706 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
2.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.706 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
2.707 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
2.707 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
2.707 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.707 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.707 * [taylor]: Taking taylor expansion of b in b
2.707 * [backup-simplify]: Simplify 0 into 0
2.707 * [backup-simplify]: Simplify 1 into 1
2.707 * [backup-simplify]: Simplify (* 1 1) into 1
2.708 * [backup-simplify]: Simplify (/ 1 1) into 1
2.708 * [backup-simplify]: Simplify 1 into 1
2.708 * [backup-simplify]: Simplify (* 2 1) into 2
2.708 * [backup-simplify]: Simplify 2 into 2
2.708 * [backup-simplify]: Simplify 1 into 1
2.709 * [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) (+ (pow b 2) (* 2 (* a b))))
2.710 * [backup-simplify]: Simplify (+ (* (/ 1 (- a)) (+ (/ 1 (- b)) (/ 1 (- a)))) (* (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- b))))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
2.710 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0
2.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
2.710 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
2.710 * [taylor]: Taking taylor expansion of (pow a 2) in b
2.710 * [taylor]: Taking taylor expansion of a in b
2.710 * [backup-simplify]: Simplify a into a
2.710 * [backup-simplify]: Simplify (* a a) into (pow a 2)
2.710 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
2.710 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
2.710 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
2.710 * [taylor]: Taking taylor expansion of 2 in b
2.710 * [backup-simplify]: Simplify 2 into 2
2.710 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.710 * [taylor]: Taking taylor expansion of (* a b) in b
2.710 * [taylor]: Taking taylor expansion of a in b
2.710 * [backup-simplify]: Simplify a into a
2.710 * [taylor]: Taking taylor expansion of b in b
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify 1 into 1
2.710 * [backup-simplify]: Simplify (* a 0) into 0
2.711 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.711 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.711 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.711 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.711 * [taylor]: Taking taylor expansion of b in b
2.711 * [backup-simplify]: Simplify 0 into 0
2.711 * [backup-simplify]: Simplify 1 into 1
2.711 * [backup-simplify]: Simplify (* 1 1) into 1
2.712 * [backup-simplify]: Simplify (/ 1 1) into 1
2.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
2.712 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.712 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.712 * [taylor]: Taking taylor expansion of a in a
2.712 * [backup-simplify]: Simplify 0 into 0
2.712 * [backup-simplify]: Simplify 1 into 1
2.712 * [backup-simplify]: Simplify (* 1 1) into 1
2.713 * [backup-simplify]: Simplify (/ 1 1) into 1
2.713 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
2.713 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
2.713 * [taylor]: Taking taylor expansion of 2 in a
2.713 * [backup-simplify]: Simplify 2 into 2
2.713 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.713 * [taylor]: Taking taylor expansion of (* a b) in a
2.713 * [taylor]: Taking taylor expansion of a in a
2.713 * [backup-simplify]: Simplify 0 into 0
2.713 * [backup-simplify]: Simplify 1 into 1
2.713 * [taylor]: Taking taylor expansion of b in a
2.713 * [backup-simplify]: Simplify b into b
2.713 * [backup-simplify]: Simplify (* 0 b) into 0
2.714 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.714 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.714 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.714 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.714 * [taylor]: Taking taylor expansion of b in a
2.714 * [backup-simplify]: Simplify b into b
2.714 * [backup-simplify]: Simplify (* b b) into (pow b 2)
2.714 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
2.714 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
2.714 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.714 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.714 * [taylor]: Taking taylor expansion of a in a
2.714 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify 1 into 1
2.715 * [backup-simplify]: Simplify (* 1 1) into 1
2.715 * [backup-simplify]: Simplify (/ 1 1) into 1
2.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
2.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
2.715 * [taylor]: Taking taylor expansion of 2 in a
2.715 * [backup-simplify]: Simplify 2 into 2
2.715 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.715 * [taylor]: Taking taylor expansion of (* a b) in a
2.715 * [taylor]: Taking taylor expansion of a in a
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify 1 into 1
2.715 * [taylor]: Taking taylor expansion of b in a
2.715 * [backup-simplify]: Simplify b into b
2.715 * [backup-simplify]: Simplify (* 0 b) into 0
2.715 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
2.715 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
2.715 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.715 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.715 * [taylor]: Taking taylor expansion of b in a
2.715 * [backup-simplify]: Simplify b into b
2.715 * [backup-simplify]: Simplify (* b b) into (pow b 2)
2.716 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
2.716 * [backup-simplify]: Simplify (+ 1 0) into 1
2.716 * [taylor]: Taking taylor expansion of 1 in b
2.716 * [backup-simplify]: Simplify 1 into 1
2.716 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.717 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
2.717 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
2.717 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
2.717 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
2.717 * [taylor]: Taking taylor expansion of 2 in b
2.717 * [backup-simplify]: Simplify 2 into 2
2.717 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.717 * [taylor]: Taking taylor expansion of b in b
2.717 * [backup-simplify]: Simplify 0 into 0
2.717 * [backup-simplify]: Simplify 1 into 1
2.717 * [backup-simplify]: Simplify (/ 1 1) into 1
2.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
2.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
2.719 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
2.719 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
2.719 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
2.719 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.719 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.719 * [taylor]: Taking taylor expansion of b in b
2.719 * [backup-simplify]: Simplify 0 into 0
2.719 * [backup-simplify]: Simplify 1 into 1
2.720 * [backup-simplify]: Simplify (* 1 1) into 1
2.720 * [backup-simplify]: Simplify (/ 1 1) into 1
2.720 * [backup-simplify]: Simplify 1 into 1
2.720 * [backup-simplify]: Simplify (* 2 1) into 2
2.720 * [backup-simplify]: Simplify 2 into 2
2.721 * [backup-simplify]: Simplify 1 into 1
2.721 * [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) (+ (pow b 2) (* 2 (* a b))))
2.721 * * * [progress]: simplifying candidates
2.722 * [simplify]: Simplifying:
  (expm1 (* b (+ a b)))
  (log1p (* b (+ a b)))
  (* b (+ a b))
  (+ (log b) (log (+ a b)))
  (log (* b (+ a b)))
  (exp (* b (+ a b)))
  (* (* (* b b) b) (* (* (+ a b) (+ a b)) (+ a b)))
  (* (cbrt (* b (+ a b))) (cbrt (* b (+ a b))))
  (cbrt (* b (+ a b)))
  (* (* (* b (+ a b)) (* b (+ a b))) (* b (+ a b)))
  (sqrt (* b (+ a b)))
  (sqrt (* b (+ a b)))
  (* (sqrt b) (sqrt (+ a b)))
  (* (sqrt b) (sqrt (+ a b)))
  (* b a)
  (* b b)
  (* a b)
  (* b b)
  (* b (* (cbrt (+ a b)) (cbrt (+ a b))))
  (* b (sqrt (+ a b)))
  (* b 1)
  (* b 1)
  (* (cbrt b) (+ a b))
  (* (sqrt b) (+ a b))
  (* b (+ a b))
  (* b (+ (pow a 3) (pow b 3)))
  (* b (- (* a a) (* b b)))
  (expm1 (* a (+ b a)))
  (log1p (* a (+ b a)))
  (* a (+ b a))
  (+ (log a) (log (+ b a)))
  (log (* a (+ b a)))
  (exp (* a (+ b a)))
  (* (* (* a a) a) (* (* (+ b a) (+ b a)) (+ b a)))
  (* (cbrt (* a (+ b a))) (cbrt (* a (+ b a))))
  (cbrt (* a (+ b a)))
  (* (* (* a (+ b a)) (* a (+ b a))) (* a (+ b a)))
  (sqrt (* a (+ b a)))
  (sqrt (* a (+ b a)))
  (* (sqrt a) (sqrt (+ b a)))
  (* (sqrt a) (sqrt (+ b a)))
  (* a b)
  (* a a)
  (* b a)
  (* a a)
  (* a (* (cbrt (+ b a)) (cbrt (+ b a))))
  (* a (sqrt (+ b a)))
  (* a 1)
  (* a 1)
  (* (cbrt a) (+ b a))
  (* (sqrt a) (+ b a))
  (* a (+ b a))
  (* a (+ (pow b 3) (pow a 3)))
  (* a (- (* b b) (* a a)))
  (expm1 (+ (* a (+ b a)) (* b (+ a b))))
  (log1p (+ (* a (+ b a)) (* b (+ a b))))
  (* (exp (* a (+ b a))) (exp (* b (+ a b))))
  (log (+ (* a (+ b a)) (* b (+ a b))))
  (exp (+ (* a (+ b a)) (* b (+ a b))))
  (* (cbrt (+ (* a (+ b a)) (* b (+ a b)))) (cbrt (+ (* a (+ b a)) (* b (+ a b)))))
  (cbrt (+ (* a (+ b a)) (* b (+ a b))))
  (* (* (+ (* a (+ b a)) (* b (+ a b))) (+ (* a (+ b a)) (* b (+ a b)))) (+ (* a (+ b a)) (* b (+ a b))))
  (sqrt (+ (* a (+ b a)) (* b (+ a b))))
  (sqrt (+ (* a (+ b a)) (* b (+ a b))))
  (+ (* (* a (+ (pow b 3) (pow a 3))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* b b) (- (* a a) (* b a))) (* b (+ (pow a 3) (pow b 3)))))
  (* (+ (* b b) (- (* a a) (* b a))) (+ (* a a) (- (* b b) (* a b))))
  (+ (* (* a (+ (pow b 3) (pow a 3))) (- a b)) (* (+ (* b b) (- (* a a) (* b a))) (* b (- (* a a) (* b b)))))
  (* (+ (* b b) (- (* a a) (* b a))) (- a b))
  (+ (* (* a (- (* b b) (* a a))) (+ (* a a) (- (* b b) (* a b)))) (* (- b a) (* b (+ (pow a 3) (pow b 3)))))
  (* (- b a) (+ (* a a) (- (* b b) (* a b))))
  (+ (* (* a (- (* b b) (* a a))) (- a b)) (* (- b a) (* b (- (* a a) (* b b)))))
  (* (- b a) (- a b))
  (+ (pow (* a (+ b a)) 3) (pow (* b (+ a b)) 3))
  (+ (* (* a (+ b a)) (* a (+ b a))) (- (* (* b (+ a b)) (* b (+ a b))) (* (* a (+ b a)) (* b (+ a b)))))
  (- (* (* a (+ b a)) (* a (+ b a))) (* (* b (+ a b)) (* b (+ a b))))
  (- (* a (+ b a)) (* b (+ a b)))
  (+ (* a (+ b a)) (* b a))
  (+ (* a (+ b a)) (* a b))
  (+ (* a a) (* b (+ a b)))
  (+ (* a a) (* b (+ a b)))
  (+ (pow b 2) (* a b))
  (+ (pow b 2) (* a b))
  (+ (pow b 2) (* a b))
  (+ (pow a 2) (* a b))
  (+ (pow a 2) (* a b))
  (+ (pow a 2) (* a b))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.723 * * [simplify]: Extracting # 0 : cost  0
2.723 * * [simplify]: Extracting # 1 : cost  0
2.723 * * [simplify]: Extracting # 2 : cost  0
2.723 * * [simplify]: Extracting # 3 : cost  0
2.724 * * [simplify]: Extracting # 4 : cost  0
2.724 * * [simplify]: Extracting # 5 : cost  0
2.724 * * [simplify]: Extracting # 6 : cost  0
2.724 * * [simplify]: iteration  0 :  128  enodes  (cost  928 )
2.777 * * [simplify]: Extracting # 0 : cost  0
2.778 * * [simplify]: Extracting # 1 : cost  0
2.778 * * [simplify]: Extracting # 2 : cost  0
2.779 * * [simplify]: Extracting # 3 : cost  0
2.779 * * [simplify]: Extracting # 4 : cost  0
2.780 * * [simplify]: Extracting # 5 : cost  0
2.781 * * [simplify]: iteration  1 :  448  enodes  (cost  839 )
3.252 * * [simplify]: Extracting # 0 : cost  0
3.255 * * [simplify]: Extracting # 1 : cost  0
3.259 * * [simplify]: Extracting # 2 : cost  0
3.263 * * [simplify]: Extracting # 3 : cost  0
3.267 * * [simplify]: Extracting # 4 : cost  0
3.272 * * [simplify]: iteration  2 :  2852  enodes  (cost  781 )
5.621 * * [simplify]: Extracting # 0 : cost  0
5.634 * * [simplify]: Extracting # 1 : cost  0
5.647 * * [simplify]: Extracting # 2 : cost  0
5.660 * * [simplify]: Extracting # 3 : cost  0
5.673 * * [simplify]: iteration done:  5000  enodes  (cost  778 )
5.674 * [simplify]: Simplified to:
  (expm1 (* b (+ a b)))
  (log1p (* b (+ a b)))
  (* b (+ a b))
  (log (* b (+ a b)))
  (log (* b (+ a b)))
  (exp (* b (+ a b)))
  (pow (* b (+ a b)) 3)
  (* (cbrt (* b (+ a b))) (cbrt (* b (+ a b))))
  (cbrt (* b (+ a b)))
  (pow (* b (+ a b)) 3)
  (sqrt (* b (+ a b)))
  (sqrt (* b (+ a b)))
  (* (sqrt b) (sqrt (+ a b)))
  (* (sqrt b) (sqrt (+ a b)))
  (* b a)
  (* b b)
  (* a b)
  (* b b)
  (* b (* (cbrt (+ a b)) (cbrt (+ a b))))
  (* b (sqrt (+ a b)))
  b
  b
  (* (cbrt b) (+ a b))
  (* (sqrt b) (+ a b))
  (* b (+ a b))
  (* b (+ (pow a 3) (pow b 3)))
  (* b (- (* a a) (* b b)))
  (expm1 (* a (+ b a)))
  (log1p (* a (+ b a)))
  (* a (+ b a))
  (log (* a (+ b a)))
  (log (* a (+ b a)))
  (exp (* a (+ b a)))
  (pow (* a (+ b a)) 3)
  (* (cbrt (* a (+ b a))) (cbrt (* a (+ b a))))
  (cbrt (* a (+ b a)))
  (pow (* a (+ b a)) 3)
  (sqrt (* a (+ b a)))
  (sqrt (* a (+ b a)))
  (* (sqrt a) (sqrt (+ b a)))
  (* (sqrt a) (sqrt (+ b a)))
  (* a b)
  (* a a)
  (* b a)
  (* a a)
  (* a (* (cbrt (+ b a)) (cbrt (+ b a))))
  (* a (sqrt (+ b a)))
  a
  a
  (* (cbrt a) (+ b a))
  (* (sqrt a) (+ b a))
  (* a (+ b a))
  (* a (+ (pow b 3) (pow a 3)))
  (* a (- (* b b) (* a a)))
  (expm1 (fma a (+ b a) (* b (+ a b))))
  (log1p (fma a (+ b a) (* b (+ a b))))
  (exp (fma a (+ b a) (* b (+ a b))))
  (log (fma a (+ b a) (* b (+ a b))))
  (exp (fma a (+ b a) (* b (+ a b))))
  (* (cbrt (fma a (+ b a) (* b (+ a b)))) (cbrt (fma a (+ b a) (* b (+ a b)))))
  (cbrt (fma a (+ b a) (* b (+ a b))))
  (pow (fma a (+ b a) (* b (+ a b))) 3)
  (sqrt (fma a (+ b a) (* b (+ a b))))
  (sqrt (fma a (+ b a) (* b (+ a b))))
  (fma (* a (+ (pow b 3) (pow a 3))) (fma a a (* b (- b a))) (* (* b (+ (pow a 3) (pow b 3))) (fma b b (* a (- a b)))))
  (* (fma a a (* b (- b a))) (fma b b (* a (- a b))))
  (fma (* a (+ (pow b 3) (pow a 3))) (- a b) (* (fma b b (* a (- a b))) (* b (- (* a a) (* b b)))))
  (* (- a b) (fma b b (* a (- a b))))
  (fma (* a (- (* b b) (* a a))) (fma a a (* b (- b a))) (* (- b a) (* b (+ (pow a 3) (pow b 3)))))
  (* (- b a) (fma a a (* b (- b a))))
  (fma (* a (- (* b b) (* a a))) (- a b) (* (- b a) (* b (- (* a a) (* b b)))))
  (* (- b a) (- a b))
  (+ (pow (* a (+ b a)) 3) (pow (* b (+ a b)) 3))
  (fma (* a (+ b a)) (* a (+ b a)) (* (* b (+ a b)) (- (* b (+ a b)) (* a (+ b a)))))
  (* (fma a (+ b a) (* b (+ a b))) (- (* a (+ b a)) (* b (+ a b))))
  (- (* a (+ b a)) (* b (+ a b)))
  (* a (+ (+ b a) b))
  (* a (+ (+ b a) b))
  (fma a a (* b (+ a b)))
  (fma a a (* b (+ a b)))
  (* b (+ a b))
  (* b (+ a b))
  (* b (+ a b))
  (* a (+ b a))
  (* a (+ b a))
  (* a (+ b a))
  (fma a a (* b (fma a 2 b)))
  (fma a a (* b (fma a 2 b)))
  (fma a a (* b (fma a 2 b)))
5.675 * * * [progress]: adding candidates to table
5.949 * * [progress]: iteration 4 / 4
5.949 * * * [progress]: picking best candidate
5.952 * * * * [pick]: Picked  #<alt (λ (a b) (fma a a (* b (fma a 2 b))))>
5.952 * * * [progress]: localizing error
5.963 * * * [progress]: generating rewritten candidates
5.963 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
5.969 * * * [progress]: generating series expansions
5.969 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
5.970 * [backup-simplify]: Simplify (* b (fma a 2 b)) into (* (fma a 2 b) b)
5.970 * [approximate]: Taking taylor expansion of (* (fma a 2 b) b) in (b a) around 0
5.970 * [taylor]: Taking taylor expansion of (* (fma a 2 b) b) in a
5.970 * [taylor]: Taking taylor expansion of (fma a 2 b) in a
5.970 * [taylor]: Rewrote expression to (+ (* a 2) b)
5.970 * [taylor]: Taking taylor expansion of (* a 2) in a
5.970 * [taylor]: Taking taylor expansion of a in a
5.970 * [backup-simplify]: Simplify 0 into 0
5.970 * [backup-simplify]: Simplify 1 into 1
5.970 * [taylor]: Taking taylor expansion of 2 in a
5.970 * [backup-simplify]: Simplify 2 into 2
5.970 * [taylor]: Taking taylor expansion of b in a
5.970 * [backup-simplify]: Simplify b into b
5.970 * [taylor]: Taking taylor expansion of b in a
5.970 * [backup-simplify]: Simplify b into b
5.970 * [taylor]: Taking taylor expansion of (* (fma a 2 b) b) in b
5.970 * [taylor]: Taking taylor expansion of (fma a 2 b) in b
5.970 * [taylor]: Rewrote expression to (+ (* a 2) b)
5.970 * [taylor]: Taking taylor expansion of (* a 2) in b
5.970 * [taylor]: Taking taylor expansion of a in b
5.970 * [backup-simplify]: Simplify a into a
5.970 * [taylor]: Taking taylor expansion of 2 in b
5.970 * [backup-simplify]: Simplify 2 into 2
5.970 * [taylor]: Taking taylor expansion of b in b
5.970 * [backup-simplify]: Simplify 0 into 0
5.970 * [backup-simplify]: Simplify 1 into 1
5.970 * [taylor]: Taking taylor expansion of b in b
5.970 * [backup-simplify]: Simplify 0 into 0
5.970 * [backup-simplify]: Simplify 1 into 1
5.971 * [taylor]: Taking taylor expansion of (* (fma a 2 b) b) in b
5.971 * [taylor]: Taking taylor expansion of (fma a 2 b) in b
5.971 * [taylor]: Rewrote expression to (+ (* a 2) b)
5.971 * [taylor]: Taking taylor expansion of (* a 2) in b
5.971 * [taylor]: Taking taylor expansion of a in b
5.971 * [backup-simplify]: Simplify a into a
5.971 * [taylor]: Taking taylor expansion of 2 in b
5.971 * [backup-simplify]: Simplify 2 into 2
5.971 * [taylor]: Taking taylor expansion of b in b
5.971 * [backup-simplify]: Simplify 0 into 0
5.971 * [backup-simplify]: Simplify 1 into 1
5.971 * [taylor]: Taking taylor expansion of b in b
5.971 * [backup-simplify]: Simplify 0 into 0
5.971 * [backup-simplify]: Simplify 1 into 1
5.971 * [backup-simplify]: Simplify (* a 2) into (* 2 a)
5.971 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a)
5.971 * [backup-simplify]: Simplify (* (* 2 a) 0) into 0
5.971 * [taylor]: Taking taylor expansion of 0 in a
5.971 * [backup-simplify]: Simplify 0 into 0
5.971 * [backup-simplify]: Simplify 0 into 0
5.972 * [backup-simplify]: Simplify (+ (* a 0) (* 0 2)) into 0
5.972 * [backup-simplify]: Simplify (+ 0 1) into 1
5.973 * [backup-simplify]: Simplify (+ (* (* 2 a) 1) (* 1 0)) into (* 2 a)
5.973 * [taylor]: Taking taylor expansion of (* 2 a) in a
5.973 * [taylor]: Taking taylor expansion of 2 in a
5.973 * [backup-simplify]: Simplify 2 into 2
5.973 * [taylor]: Taking taylor expansion of a in a
5.973 * [backup-simplify]: Simplify 0 into 0
5.973 * [backup-simplify]: Simplify 1 into 1
5.973 * [backup-simplify]: Simplify (* 2 0) into 0
5.973 * [backup-simplify]: Simplify 0 into 0
5.973 * [backup-simplify]: Simplify 0 into 0
5.973 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 2))) into 0
5.974 * [backup-simplify]: Simplify (+ 0 0) into 0
5.974 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 1) (* 0 0))) into 1
5.974 * [taylor]: Taking taylor expansion of 1 in a
5.974 * [backup-simplify]: Simplify 1 into 1
5.974 * [backup-simplify]: Simplify 1 into 1
5.975 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
5.975 * [backup-simplify]: Simplify 2 into 2
5.975 * [backup-simplify]: Simplify 0 into 0
5.975 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0
5.975 * [backup-simplify]: Simplify (+ 0 0) into 0
5.976 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.976 * [taylor]: Taking taylor expansion of 0 in a
5.976 * [backup-simplify]: Simplify 0 into 0
5.976 * [backup-simplify]: Simplify 0 into 0
5.976 * [backup-simplify]: Simplify 0 into 0
5.977 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
5.977 * [backup-simplify]: Simplify 0 into 0
5.977 * [backup-simplify]: Simplify 0 into 0
5.977 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0
5.978 * [backup-simplify]: Simplify (+ 0 0) into 0
5.978 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.978 * [taylor]: Taking taylor expansion of 0 in a
5.978 * [backup-simplify]: Simplify 0 into 0
5.978 * [backup-simplify]: Simplify 0 into 0
5.978 * [backup-simplify]: Simplify (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* 2 (* a b)))
5.979 * [backup-simplify]: Simplify (* (/ 1 b) (fma (/ 1 a) 2 (/ 1 b))) into (/ (fma (/ 1 a) 2 (/ 1 b)) b)
5.979 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 a) 2 (/ 1 b)) b) in (b a) around 0
5.979 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2 (/ 1 b)) b) in a
5.979 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2 (/ 1 b)) in a
5.979 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2) (/ 1 b))
5.979 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2) in a
5.979 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.979 * [taylor]: Taking taylor expansion of a in a
5.979 * [backup-simplify]: Simplify 0 into 0
5.979 * [backup-simplify]: Simplify 1 into 1
5.979 * [backup-simplify]: Simplify (/ 1 1) into 1
5.979 * [taylor]: Taking taylor expansion of 2 in a
5.979 * [backup-simplify]: Simplify 2 into 2
5.979 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.979 * [taylor]: Taking taylor expansion of b in a
5.979 * [backup-simplify]: Simplify b into b
5.979 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
5.979 * [taylor]: Taking taylor expansion of b in a
5.979 * [backup-simplify]: Simplify b into b
5.980 * [backup-simplify]: Simplify (* 1 2) into 2
5.980 * [backup-simplify]: Simplify (+ 2 0) into 2
5.980 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b)
5.980 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2 (/ 1 b)) b) in b
5.980 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2 (/ 1 b)) in b
5.980 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2) (/ 1 b))
5.980 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2) in b
5.980 * [taylor]: Taking taylor expansion of (/ 1 a) in b
5.980 * [taylor]: Taking taylor expansion of a in b
5.980 * [backup-simplify]: Simplify a into a
5.980 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.980 * [taylor]: Taking taylor expansion of 2 in b
5.980 * [backup-simplify]: Simplify 2 into 2
5.980 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.980 * [taylor]: Taking taylor expansion of b in b
5.980 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify 1 into 1
5.980 * [backup-simplify]: Simplify (/ 1 1) into 1
5.980 * [taylor]: Taking taylor expansion of b in b
5.980 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify 1 into 1
5.981 * [backup-simplify]: Simplify (+ 0 1) into 1
5.981 * [backup-simplify]: Simplify (/ 1 1) into 1
5.981 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2 (/ 1 b)) b) in b
5.981 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2 (/ 1 b)) in b
5.981 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2) (/ 1 b))
5.981 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2) in b
5.981 * [taylor]: Taking taylor expansion of (/ 1 a) in b
5.981 * [taylor]: Taking taylor expansion of a in b
5.981 * [backup-simplify]: Simplify a into a
5.981 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.981 * [taylor]: Taking taylor expansion of 2 in b
5.981 * [backup-simplify]: Simplify 2 into 2
5.981 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.981 * [taylor]: Taking taylor expansion of b in b
5.981 * [backup-simplify]: Simplify 0 into 0
5.981 * [backup-simplify]: Simplify 1 into 1
5.982 * [backup-simplify]: Simplify (/ 1 1) into 1
5.982 * [taylor]: Taking taylor expansion of b in b
5.982 * [backup-simplify]: Simplify 0 into 0
5.982 * [backup-simplify]: Simplify 1 into 1
5.982 * [backup-simplify]: Simplify (+ 0 1) into 1
5.982 * [backup-simplify]: Simplify (/ 1 1) into 1
5.982 * [taylor]: Taking taylor expansion of 1 in a
5.982 * [backup-simplify]: Simplify 1 into 1
5.982 * [backup-simplify]: Simplify (* (/ 1 a) 2) into (/ 2 a)
5.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.983 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a))
5.983 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a))
5.983 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
5.983 * [taylor]: Taking taylor expansion of 2 in a
5.983 * [backup-simplify]: Simplify 2 into 2
5.983 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.983 * [taylor]: Taking taylor expansion of a in a
5.983 * [backup-simplify]: Simplify 0 into 0
5.983 * [backup-simplify]: Simplify 1 into 1
5.984 * [backup-simplify]: Simplify (/ 1 1) into 1
5.984 * [backup-simplify]: Simplify (* 2 1) into 2
5.984 * [backup-simplify]: Simplify 2 into 2
5.984 * [backup-simplify]: Simplify 1 into 1
5.984 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
5.984 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 2)) into 0
5.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.985 * [backup-simplify]: Simplify (+ 0 0) into 0
5.986 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0
5.986 * [taylor]: Taking taylor expansion of 0 in a
5.986 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.987 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.987 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 2))) into 0
5.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.988 * [backup-simplify]: Simplify (+ 0 0) into 0
5.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.989 * [taylor]: Taking taylor expansion of 0 in a
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 0 into 0
5.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.991 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
5.991 * [backup-simplify]: Simplify 0 into 0
5.991 * [backup-simplify]: Simplify 0 into 0
5.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
5.991 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0
5.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.992 * [backup-simplify]: Simplify (+ 0 0) into 0
5.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.994 * [taylor]: Taking taylor expansion of 0 in a
5.994 * [backup-simplify]: Simplify 0 into 0
5.994 * [backup-simplify]: Simplify 0 into 0
5.994 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* 2 (* a b)))
5.994 * [backup-simplify]: Simplify (* (/ 1 (- b)) (fma (/ 1 (- a)) 2 (/ 1 (- b)))) into (* -1 (/ (fma (/ -1 a) 2 (/ -1 b)) b))
5.994 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 a) 2 (/ -1 b)) b)) in (b a) around 0
5.994 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 a) 2 (/ -1 b)) b)) in a
5.994 * [taylor]: Taking taylor expansion of -1 in a
5.994 * [backup-simplify]: Simplify -1 into -1
5.994 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2 (/ -1 b)) b) in a
5.994 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2 (/ -1 b)) in a
5.994 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2) (/ -1 b))
5.994 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2) in a
5.994 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.994 * [taylor]: Taking taylor expansion of -1 in a
5.994 * [backup-simplify]: Simplify -1 into -1
5.994 * [taylor]: Taking taylor expansion of a in a
5.994 * [backup-simplify]: Simplify 0 into 0
5.994 * [backup-simplify]: Simplify 1 into 1
5.995 * [backup-simplify]: Simplify (/ -1 1) into -1
5.995 * [taylor]: Taking taylor expansion of 2 in a
5.995 * [backup-simplify]: Simplify 2 into 2
5.995 * [taylor]: Taking taylor expansion of (/ -1 b) in a
5.995 * [taylor]: Taking taylor expansion of -1 in a
5.995 * [backup-simplify]: Simplify -1 into -1
5.995 * [taylor]: Taking taylor expansion of b in a
5.995 * [backup-simplify]: Simplify b into b
5.995 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
5.995 * [taylor]: Taking taylor expansion of b in a
5.995 * [backup-simplify]: Simplify b into b
5.995 * [backup-simplify]: Simplify (* -1 2) into -2
5.995 * [backup-simplify]: Simplify (+ -2 0) into -2
5.995 * [backup-simplify]: Simplify (/ -2 b) into (/ -2 b)
5.995 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 a) 2 (/ -1 b)) b)) in b
5.995 * [taylor]: Taking taylor expansion of -1 in b
5.995 * [backup-simplify]: Simplify -1 into -1
5.995 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2 (/ -1 b)) b) in b
5.995 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2 (/ -1 b)) in b
5.996 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2) (/ -1 b))
5.996 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2) in b
5.996 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.996 * [taylor]: Taking taylor expansion of -1 in b
5.996 * [backup-simplify]: Simplify -1 into -1
5.996 * [taylor]: Taking taylor expansion of a in b
5.996 * [backup-simplify]: Simplify a into a
5.996 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.996 * [taylor]: Taking taylor expansion of 2 in b
5.996 * [backup-simplify]: Simplify 2 into 2
5.996 * [taylor]: Taking taylor expansion of (/ -1 b) in b
5.996 * [taylor]: Taking taylor expansion of -1 in b
5.996 * [backup-simplify]: Simplify -1 into -1
5.996 * [taylor]: Taking taylor expansion of b in b
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 1 into 1
5.996 * [backup-simplify]: Simplify (/ -1 1) into -1
5.996 * [taylor]: Taking taylor expansion of b in b
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 1 into 1
5.996 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.997 * [backup-simplify]: Simplify (/ -1 1) into -1
5.997 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 a) 2 (/ -1 b)) b)) in b
5.997 * [taylor]: Taking taylor expansion of -1 in b
5.997 * [backup-simplify]: Simplify -1 into -1
5.997 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2 (/ -1 b)) b) in b
5.997 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2 (/ -1 b)) in b
5.997 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2) (/ -1 b))
5.997 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2) in b
5.997 * [taylor]: Taking taylor expansion of (/ -1 a) in b
5.997 * [taylor]: Taking taylor expansion of -1 in b
5.997 * [backup-simplify]: Simplify -1 into -1
5.997 * [taylor]: Taking taylor expansion of a in b
5.997 * [backup-simplify]: Simplify a into a
5.997 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
5.997 * [taylor]: Taking taylor expansion of 2 in b
5.997 * [backup-simplify]: Simplify 2 into 2
5.997 * [taylor]: Taking taylor expansion of (/ -1 b) in b
5.997 * [taylor]: Taking taylor expansion of -1 in b
5.997 * [backup-simplify]: Simplify -1 into -1
5.997 * [taylor]: Taking taylor expansion of b in b
5.997 * [backup-simplify]: Simplify 0 into 0
5.997 * [backup-simplify]: Simplify 1 into 1
5.997 * [backup-simplify]: Simplify (/ -1 1) into -1
5.997 * [taylor]: Taking taylor expansion of b in b
5.997 * [backup-simplify]: Simplify 0 into 0
5.997 * [backup-simplify]: Simplify 1 into 1
5.998 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.998 * [backup-simplify]: Simplify (/ -1 1) into -1
5.998 * [backup-simplify]: Simplify (* -1 -1) into 1
5.998 * [taylor]: Taking taylor expansion of 1 in a
5.998 * [backup-simplify]: Simplify 1 into 1
5.998 * [backup-simplify]: Simplify (* (/ -1 a) 2) into (/ -2 a)
5.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.999 * [backup-simplify]: Simplify (+ (/ -2 a) 0) into (- (* 2 (/ 1 a)))
5.999 * [backup-simplify]: Simplify (- (/ (- (* 2 (/ 1 a))) 1) (+ (* -1 (/ 0 1)))) into (- (* 2 (/ 1 a)))
6.000 * [backup-simplify]: Simplify (+ (* -1 (- (* 2 (/ 1 a)))) (* 0 -1)) into (* 2 (/ 1 a))
6.000 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
6.000 * [taylor]: Taking taylor expansion of 2 in a
6.000 * [backup-simplify]: Simplify 2 into 2
6.000 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.000 * [taylor]: Taking taylor expansion of a in a
6.000 * [backup-simplify]: Simplify 0 into 0
6.000 * [backup-simplify]: Simplify 1 into 1
6.000 * [backup-simplify]: Simplify (/ 1 1) into 1
6.001 * [backup-simplify]: Simplify (* 2 1) into 2
6.001 * [backup-simplify]: Simplify 2 into 2
6.001 * [backup-simplify]: Simplify 1 into 1
6.001 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
6.001 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (* 0 2)) into 0
6.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.002 * [backup-simplify]: Simplify (+ 0 0) into 0
6.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (* 2 (/ 1 a))) (/ 0 1)))) into 0
6.003 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (* 2 (/ 1 a)))) (* 0 -1))) into 0
6.004 * [taylor]: Taking taylor expansion of 0 in a
6.004 * [backup-simplify]: Simplify 0 into 0
6.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.004 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
6.004 * [backup-simplify]: Simplify 0 into 0
6.005 * [backup-simplify]: Simplify 0 into 0
6.005 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
6.005 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (+ (* 0 0) (* 0 2))) into 0
6.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.006 * [backup-simplify]: Simplify (+ 0 0) into 0
6.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (* 2 (/ 1 a))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.008 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 a)))) (* 0 -1)))) into 0
6.008 * [taylor]: Taking taylor expansion of 0 in a
6.008 * [backup-simplify]: Simplify 0 into 0
6.008 * [backup-simplify]: Simplify 0 into 0
6.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.009 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
6.009 * [backup-simplify]: Simplify 0 into 0
6.009 * [backup-simplify]: Simplify 0 into 0
6.009 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
6.010 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0
6.010 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.011 * [backup-simplify]: Simplify (+ 0 0) into 0
6.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (- (* 2 (/ 1 a))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.013 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 a)))) (* 0 -1))))) into 0
6.013 * [taylor]: Taking taylor expansion of 0 in a
6.013 * [backup-simplify]: Simplify 0 into 0
6.014 * [backup-simplify]: Simplify 0 into 0
6.014 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* 2 (* a b)))
6.014 * * * [progress]: simplifying candidates
6.014 * [simplify]: Simplifying:
  (expm1 (* b (fma a 2 b)))
  (log1p (* b (fma a 2 b)))
  (* b (fma a 2 b))
  (+ (log b) (log (fma a 2 b)))
  (log (* b (fma a 2 b)))
  (exp (* b (fma a 2 b)))
  (* (* (* b b) b) (* (* (fma a 2 b) (fma a 2 b)) (fma a 2 b)))
  (* (cbrt (* b (fma a 2 b))) (cbrt (* b (fma a 2 b))))
  (cbrt (* b (fma a 2 b)))
  (* (* (* b (fma a 2 b)) (* b (fma a 2 b))) (* b (fma a 2 b)))
  (sqrt (* b (fma a 2 b)))
  (sqrt (* b (fma a 2 b)))
  (* (sqrt b) (sqrt (fma a 2 b)))
  (* (sqrt b) (sqrt (fma a 2 b)))
  (* b (* a 2))
  (* b b)
  (* (* a 2) b)
  (* b b)
  (* b (* (cbrt (fma a 2 b)) (cbrt (fma a 2 b))))
  (* b (sqrt (fma a 2 b)))
  (* b 1)
  (* (cbrt b) (fma a 2 b))
  (* (sqrt b) (fma a 2 b))
  (* b (fma a 2 b))
  (+ (pow b 2) (* 2 (* a b)))
  (+ (pow b 2) (* 2 (* a b)))
  (+ (pow b 2) (* 2 (* a b)))
6.015 * * [simplify]: Extracting # 0 : cost  0
6.015 * * [simplify]: Extracting # 1 : cost  0
6.015 * * [simplify]: Extracting # 2 : cost  0
6.015 * * [simplify]: Extracting # 3 : cost  0
6.015 * * [simplify]: Extracting # 4 : cost  0
6.015 * * [simplify]: Extracting # 5 : cost  0
6.015 * * [simplify]: Extracting # 6 : cost  0
6.015 * * [simplify]: iteration  0 :  41  enodes  (cost  220 )
6.025 * * [simplify]: Extracting # 0 : cost  0
6.025 * * [simplify]: Extracting # 1 : cost  0
6.025 * * [simplify]: Extracting # 2 : cost  0
6.025 * * [simplify]: iteration  1 :  90  enodes  (cost  217 )
6.059 * * [simplify]: Extracting # 0 : cost  0
6.059 * * [simplify]: Extracting # 1 : cost  0
6.059 * * [simplify]: Extracting # 2 : cost  0
6.060 * * [simplify]: Extracting # 3 : cost  0
6.060 * * [simplify]: Extracting # 4 : cost  0
6.061 * * [simplify]: iteration  2 :  374  enodes  (cost  189 )
6.850 * * [simplify]: Extracting # 0 : cost  0
6.853 * * [simplify]: Extracting # 1 : cost  0
6.858 * * [simplify]: Extracting # 2 : cost  0
6.865 * * [simplify]: Extracting # 3 : cost  0
6.870 * * [simplify]: iteration  3 :  2623  enodes  (cost  184 )
7.887 * * [simplify]: Extracting # 0 : cost  0
7.896 * * [simplify]: Extracting # 1 : cost  0
7.909 * * [simplify]: Extracting # 2 : cost  0
7.928 * * [simplify]: Extracting # 3 : cost  0
7.940 * * [simplify]: Extracting # 4 : cost  0
7.948 * * [simplify]: iteration done:  5000  enodes  (cost  184 )
7.948 * [simplify]: Simplified to:
  (expm1 (* b (fma a 2 b)))
  (log1p (* b (fma a 2 b)))
  (* b (fma a 2 b))
  (log (* b (fma a 2 b)))
  (log (* b (fma a 2 b)))
  (exp (* b (fma a 2 b)))
  (pow (* b (fma a 2 b)) 3)
  (* (cbrt (* b (fma a 2 b))) (cbrt (* b (fma a 2 b))))
  (cbrt (* b (fma a 2 b)))
  (pow (* b (fma a 2 b)) 3)
  (sqrt (* b (fma a 2 b)))
  (sqrt (* b (fma a 2 b)))
  (* (sqrt b) (sqrt (fma a 2 b)))
  (* (sqrt b) (sqrt (fma a 2 b)))
  (* 2 (* a b))
  (* b b)
  (* (* a 2) b)
  (* b b)
  (* b (* (cbrt (fma a 2 b)) (cbrt (fma a 2 b))))
  (* b (sqrt (fma a 2 b)))
  b
  (* (cbrt b) (fma a 2 b))
  (* (sqrt b) (fma a 2 b))
  (* b (fma a 2 b))
  (* b (fma a 2 b))
  (* b (fma a 2 b))
  (* b (fma a 2 b))
7.948 * * * [progress]: adding candidates to table
8.017 * [progress]: [Phase 3 of 3] Extracting.
8.021 * [simplify]: Simplifying:
  (fma a a (* b (fma a 2 b)))
8.021 * * [simplify]: Extracting # 0 : cost  0
8.021 * * [simplify]: Extracting # 1 : cost  0
8.021 * * [simplify]: Extracting # 2 : cost  0
8.021 * * [simplify]: Extracting # 3 : cost  0
8.021 * * [simplify]: Extracting # 4 : cost  0
8.021 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
8.022 * * [simplify]: Extracting # 0 : cost  0
8.022 * * [simplify]: iteration  1 :  7  enodes  (cost  9 )
8.022 * * [simplify]: Extracting # 0 : cost  0
8.022 * * [simplify]: iteration done:  7  enodes  (cost  9 )
8.023 * [simplify]: Simplified to:
  (fma a a (* b (fma a 2 b)))
9.033 * [regime-testing]: Baseline error score: 0
9.037 * [regime-testing]: Oracle error score: 0
9.038 * [regime-testing]: End program error score: 0
9.115 * [regime-testing]: Target error score: 0.011751468933616702