23.943 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.036 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.038 * * [simplify]: iteration  0 :  18  enodes  (cost  7 )
0.040 * * [simplify]: iteration  1 :  47  enodes  (cost  7 )
0.041 * * [simplify]: iteration  2 :  106  enodes  (cost  7 )
0.043 * * [simplify]: iteration  3 :  265  enodes  (cost  7 )
0.049 * * [simplify]: iteration  4 :  1495  enodes  (cost  7 )
0.086 * * [simplify]: iteration  5 :  5001  enodes  (cost  7 )
0.087 * [simplify]: Simplified to:
   (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
0.087 * * [progress]: iteration 1 / 4
0.087 * * * [progress]: picking best candidate
0.090 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))>
0.090 * * * [progress]: localizing error
0.097 * * * [progress]: generating rewritten candidates
0.098 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
0.104 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
0.109 * * * [progress]: generating series expansions
0.109 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
0.109 * [approximate]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in (a b) around 0
0.109 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in b
0.109 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b
0.109 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.109 * [taylor]: Taking taylor expansion of a in b
0.109 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.109 * [taylor]: Taking taylor expansion of b in b
0.109 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.109 * [taylor]: Taking taylor expansion of a in b
0.109 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a
0.109 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
0.109 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.109 * [taylor]: Taking taylor expansion of a in a
0.109 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.109 * [taylor]: Taking taylor expansion of b in a
0.109 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.109 * [taylor]: Taking taylor expansion of a in a
0.110 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a
0.110 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
0.110 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.110 * [taylor]: Taking taylor expansion of a in a
0.110 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.110 * [taylor]: Taking taylor expansion of b in a
0.110 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.110 * [taylor]: Taking taylor expansion of a in a
0.110 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b
0.110 * [taylor]: Taking taylor expansion of -1 in b
0.110 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.110 * [taylor]: Taking taylor expansion of b in b
0.110 * [taylor]: Taking taylor expansion of 0 in b
0.110 * [taylor]: Taking taylor expansion of 1 in b
0.111 * [taylor]: Taking taylor expansion of 0 in b
0.111 * [taylor]: Taking taylor expansion of 0 in b
0.111 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0
0.111 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b
0.111 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.111 * [taylor]: Taking taylor expansion of a in b
0.112 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.112 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.112 * [taylor]: Taking taylor expansion of a in b
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.112 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.112 * [taylor]: Taking taylor expansion of b in b
0.112 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
0.112 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.112 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.112 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.112 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.112 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.112 * [taylor]: Taking taylor expansion of b in a
0.112 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
0.112 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.112 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.112 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.112 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.112 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.112 * [taylor]: Taking taylor expansion of b in a
0.112 * [taylor]: Taking taylor expansion of 1 in b
0.112 * [taylor]: Taking taylor expansion of 0 in b
0.113 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.113 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.113 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.113 * [taylor]: Taking taylor expansion of b in b
0.113 * [taylor]: Taking taylor expansion of 0 in b
0.114 * [taylor]: Taking taylor expansion of 0 in b
0.114 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0
0.114 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b
0.114 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.114 * [taylor]: Taking taylor expansion of a in b
0.114 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.114 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.114 * [taylor]: Taking taylor expansion of a in b
0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.114 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.115 * [taylor]: Taking taylor expansion of b in b
0.115 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
0.115 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.115 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.115 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.115 * [taylor]: Taking taylor expansion of b in a
0.115 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a
0.115 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.115 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.115 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.115 * [taylor]: Taking taylor expansion of b in a
0.115 * [taylor]: Taking taylor expansion of 1 in b
0.115 * [taylor]: Taking taylor expansion of 0 in b
0.116 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.116 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.116 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.116 * [taylor]: Taking taylor expansion of b in b
0.116 * [taylor]: Taking taylor expansion of 0 in b
0.117 * [taylor]: Taking taylor expansion of 0 in b
0.117 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
0.117 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0
0.117 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b
0.117 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.117 * [taylor]: Taking taylor expansion of a in b
0.117 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.117 * [taylor]: Taking taylor expansion of b in b
0.117 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
0.117 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.117 * [taylor]: Taking taylor expansion of a in a
0.117 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.117 * [taylor]: Taking taylor expansion of b in a
0.117 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a
0.117 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.117 * [taylor]: Taking taylor expansion of a in a
0.117 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.117 * [taylor]: Taking taylor expansion of b in a
0.118 * [taylor]: Taking taylor expansion of (neg (pow b 2)) in b
0.118 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.118 * [taylor]: Taking taylor expansion of b in b
0.118 * [taylor]: Taking taylor expansion of 0 in b
0.118 * [taylor]: Taking taylor expansion of 1 in b
0.118 * [taylor]: Taking taylor expansion of 0 in b
0.118 * [taylor]: Taking taylor expansion of 0 in b
0.119 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.119 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.119 * [taylor]: Taking taylor expansion of a in b
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.119 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.119 * [taylor]: Taking taylor expansion of b in b
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.119 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.119 * [taylor]: Taking taylor expansion of a in a
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.119 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.119 * [taylor]: Taking taylor expansion of b in a
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.119 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.119 * [taylor]: Taking taylor expansion of a in a
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.119 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.119 * [taylor]: Taking taylor expansion of b in a
0.119 * [taylor]: Taking taylor expansion of 1 in b
0.119 * [taylor]: Taking taylor expansion of 0 in b
0.120 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.120 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.120 * [taylor]: Taking taylor expansion of b in b
0.120 * [taylor]: Taking taylor expansion of 0 in b
0.120 * [taylor]: Taking taylor expansion of 0 in b
0.121 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.121 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.121 * [taylor]: Taking taylor expansion of a in b
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.121 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.121 * [taylor]: Taking taylor expansion of b in b
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.121 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.121 * [taylor]: Taking taylor expansion of a in a
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.121 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.121 * [taylor]: Taking taylor expansion of b in a
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.121 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.121 * [taylor]: Taking taylor expansion of a in a
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.121 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.121 * [taylor]: Taking taylor expansion of b in a
0.122 * [taylor]: Taking taylor expansion of 1 in b
0.122 * [taylor]: Taking taylor expansion of 0 in b
0.122 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.122 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.122 * [taylor]: Taking taylor expansion of b in b
0.122 * [taylor]: Taking taylor expansion of 0 in b
0.123 * [taylor]: Taking taylor expansion of 0 in b
0.123 * * * [progress]: simplifying candidates
0.124 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* a a) (* b b))) (+ (log a) (log a)))
  (- (log (- (* a a) (* b b))) (log (* a a)))
  (log (/ (- (* a a) (* b b)) (* a a)))
  (exp (/ (- (* a a) (* b b)) (* a a)))
  (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) a) (* (* a a) a)))
  (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) (* a a)) (* a a)))
  (* (cbrt (/ (- (* a a) (* b b)) (* a a))) (cbrt (/ (- (* a a) (* b b)) (* a a))))
  (cbrt (/ (- (* a a) (* b b)) (* a a)))
  (* (* (/ (- (* a a) (* b b)) (* a a)) (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)))
  (sqrt (/ (- (* a a) (* b b)) (* a a)))
  (sqrt (/ (- (* a a) (* b b)) (* a a)))
  (neg (- (* a a) (* b b)))
  (neg (* a a))
  (/ (* a a) (* a a))
  (/ (* b b) (* a a))
  (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) a)
  (/ (cbrt (- (* a a) (* b b))) a)
  (/ (sqrt (- (* a a) (* b b))) a)
  (/ (sqrt (- (* a a) (* b b))) a)
  (/ 1 a)
  (/ (- (* a a) (* b b)) a)
  (/ (+ a b) a)
  (/ (- a b) a)
  (/ 1 (* a a))
  (/ (* a a) (- (* a a) (* b b)))
  (/ (- (* a a) (* b b)) a)
  (/ (* a a) (cbrt (- (* a a) (* b b))))
  (/ (* a a) (sqrt (- (* a a) (* b b))))
  (/ (* a a) (- (* a a) (* b b)))
  (/ (* a a) (- a b))
  (* (* a a) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))))
  (* (* a a) (+ (* a a) (* b b)))
  (/ (exp (* a a)) (exp (* b b)))
  (log (- (* a a) (* b b)))
  (exp (- (* a a) (* b b)))
  (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b))))
  (cbrt (- (* a a) (* b b)))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b)))
  (sqrt (- (* a a) (* b b)))
  (sqrt (- (* a a) (* b b)))
  (- (pow (* a a) 3) (pow (* b b) 3))
  (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))
  (neg (* b b))
  (- (* (* a a) (* a a)) (* (* b b) (* b b)))
  (+ (* a a) (* b b))
  (+ a b)
  (- a b)
  (neg (* b b))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- (pow a 2) (pow b 2))
  (- (pow a 2) (pow b 2))
  (- (pow a 2) (pow b 2))
0.127 * * [simplify]: iteration  0 :  206  enodes  (cost  285 )
0.132 * * [simplify]: iteration  1 :  933  enodes  (cost  242 )
0.149 * * [simplify]: iteration  2 :  4682  enodes  (cost  242 )
0.283 * * [simplify]: iteration  3 :  5001  enodes  (cost  241 )
0.285 * [simplify]: Simplified to:
   (log (/ (- (* a a) (* b b)) (* a a)))
  (log (/ (- (* a a) (* b b)) (* a a)))
  (log (/ (- (* a a) (* b b)) (* a a)))
  (pow E (- 1 (/ (pow b 2) (pow a 2))))
  (pow (- 1 (/ (pow b 2) (pow a 2))) 3)
  (pow (- 1 (/ (pow b 2) (pow a 2))) 3)
  (* (cbrt (/ (- (* a a) (* b b)) (* a a))) (cbrt (/ (- (* a a) (* b b)) (* a a))))
  (cbrt (/ (- (* a a) (* b b)) (* a a)))
  (pow (- 1 (/ (pow b 2) (pow a 2))) 3)
  (sqrt (/ (- (* a a) (* b b)) (* a a)))
  (sqrt (/ (- (* a a) (* b b)) (* a a)))
  (neg (- (* a a) (* b b)))
  (neg (* a a))
  1
  (/ (* b b) (* a a))
  (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) a)
  (/ (cbrt (- (* a a) (* b b))) a)
  (/ (sqrt (- (* a a) (* b b))) a)
  (/ (sqrt (- (* a a) (* b b))) a)
  (/ 1 a)
  (/ (- (* a a) (* b b)) a)
  (/ (+ a b) a)
  (/ (- a b) a)
  (/ 1 (* a a))
  (/ (* a a) (- (* a a) (* b b)))
  (/ (- (* a a) (* b b)) a)
  (/ (* a a) (cbrt (- (* a a) (* b b))))
  (/ (* a a) (sqrt (- (* a a) (* b b))))
  (/ (* a a) (- (* a a) (* b b)))
  (/ (* a a) (- a b))
  (+ (pow a 6) (* (pow a 2) (* (pow b 2) (+ (pow b 2) (pow a 2)))))
  (* (* a a) (+ (* a a) (* b b)))
  (exp (- (* a a) (* b b)))
  (log (- (* a a) (* b b)))
  (exp (- (* a a) (* b b)))
  (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b))))
  (cbrt (- (* a a) (* b b)))
  (pow (- (* a a) (* b b)) 3)
  (sqrt (- (* a a) (* b b)))
  (sqrt (- (* a a) (* b b)))
  (- (pow (* a a) 3) (pow (* b b) 3))
  (+ (* (* a a) (+ (* a a) (* b b))) (pow b 4))
  (neg (* b b))
  (+ (* (neg (pow b 3)) b) (pow a 4))
  (+ (* a a) (* b b))
  (+ a b)
  (- a b)
  (neg (* b b))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- (* a a) (* b b))
  (- (* a a) (* b b))
  (- (* a a) (* b b))
0.285 * * * [progress]: adding candidates to table
0.344 * * [progress]: iteration 2 / 4
0.344 * * * [progress]: picking best candidate
0.351 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a)))))>
0.351 * * * [progress]: localizing error
0.359 * * * [progress]: generating rewritten candidates
0.359 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.377 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.382 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
0.393 * * * [progress]: generating series expansions
0.393 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.393 * [approximate]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in (a b) around 0
0.393 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in b
0.393 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in b
0.393 * [taylor]: Taking taylor expansion of (- a b) in b
0.393 * [taylor]: Taking taylor expansion of a in b
0.393 * [taylor]: Taking taylor expansion of b in b
0.393 * [taylor]: Taking taylor expansion of (+ a b) in b
0.393 * [taylor]: Taking taylor expansion of a in b
0.393 * [taylor]: Taking taylor expansion of b in b
0.393 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.393 * [taylor]: Taking taylor expansion of a in b
0.393 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in a
0.393 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a
0.393 * [taylor]: Taking taylor expansion of (- a b) in a
0.393 * [taylor]: Taking taylor expansion of a in a
0.393 * [taylor]: Taking taylor expansion of b in a
0.393 * [taylor]: Taking taylor expansion of (+ a b) in a
0.393 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of b in a
0.394 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.394 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in a
0.394 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a
0.394 * [taylor]: Taking taylor expansion of (- a b) in a
0.394 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of b in a
0.394 * [taylor]: Taking taylor expansion of (+ a b) in a
0.394 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of b in a
0.394 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.394 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b
0.394 * [taylor]: Taking taylor expansion of -1 in b
0.394 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.394 * [taylor]: Taking taylor expansion of b in b
0.394 * [taylor]: Taking taylor expansion of 0 in b
0.395 * [taylor]: Taking taylor expansion of 1 in b
0.395 * [taylor]: Taking taylor expansion of 0 in b
0.395 * [taylor]: Taking taylor expansion of 0 in b
0.395 * [approximate]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in (a b) around 0
0.395 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in b
0.395 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.395 * [taylor]: Taking taylor expansion of a in b
0.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in b
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.396 * [taylor]: Taking taylor expansion of a in b
0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.396 * [taylor]: Taking taylor expansion of b in b
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.396 * [taylor]: Taking taylor expansion of b in b
0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.396 * [taylor]: Taking taylor expansion of a in b
0.396 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in a
0.396 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.396 * [taylor]: Taking taylor expansion of b in a
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.396 * [taylor]: Taking taylor expansion of b in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in a
0.396 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.396 * [taylor]: Taking taylor expansion of b in a
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.396 * [taylor]: Taking taylor expansion of b in a
0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of 1 in b
0.397 * [taylor]: Taking taylor expansion of 0 in b
0.397 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.397 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.397 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.397 * [taylor]: Taking taylor expansion of b in b
0.398 * [taylor]: Taking taylor expansion of 0 in b
0.398 * [taylor]: Taking taylor expansion of 0 in b
0.399 * [approximate]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in (a b) around 0
0.399 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in b
0.399 * [taylor]: Taking taylor expansion of -1 in b
0.399 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in b
0.399 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.399 * [taylor]: Taking taylor expansion of a in b
0.399 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in b
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.399 * [taylor]: Taking taylor expansion of b in b
0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.399 * [taylor]: Taking taylor expansion of a in b
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.399 * [taylor]: Taking taylor expansion of b in b
0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.399 * [taylor]: Taking taylor expansion of a in b
0.399 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in a
0.399 * [taylor]: Taking taylor expansion of -1 in a
0.399 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a
0.399 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.399 * [taylor]: Taking taylor expansion of b in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.399 * [taylor]: Taking taylor expansion of b in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in a
0.399 * [taylor]: Taking taylor expansion of -1 in a
0.399 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a
0.399 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.399 * [taylor]: Taking taylor expansion of b in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.400 * [taylor]: Taking taylor expansion of b in a
0.400 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.400 * [taylor]: Taking taylor expansion of a in a
0.400 * [taylor]: Taking taylor expansion of 1 in b
0.400 * [taylor]: Taking taylor expansion of 0 in b
0.400 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.400 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.400 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.400 * [taylor]: Taking taylor expansion of b in b
0.401 * [taylor]: Taking taylor expansion of 0 in b
0.402 * [taylor]: Taking taylor expansion of 0 in b
0.402 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.402 * [approximate]: Taking taylor expansion of (/ (+ a b) a) in (a b) around 0
0.402 * [taylor]: Taking taylor expansion of (/ (+ a b) a) in b
0.402 * [taylor]: Taking taylor expansion of (+ a b) in b
0.402 * [taylor]: Taking taylor expansion of a in b
0.402 * [taylor]: Taking taylor expansion of b in b
0.402 * [taylor]: Taking taylor expansion of a in b
0.402 * [taylor]: Taking taylor expansion of (/ (+ a b) a) in a
0.402 * [taylor]: Taking taylor expansion of (+ a b) in a
0.402 * [taylor]: Taking taylor expansion of a in a
0.402 * [taylor]: Taking taylor expansion of b in a
0.402 * [taylor]: Taking taylor expansion of a in a
0.402 * [taylor]: Taking taylor expansion of (/ (+ a b) a) in a
0.402 * [taylor]: Taking taylor expansion of (+ a b) in a
0.402 * [taylor]: Taking taylor expansion of a in a
0.402 * [taylor]: Taking taylor expansion of b in a
0.402 * [taylor]: Taking taylor expansion of a in a
0.402 * [taylor]: Taking taylor expansion of b in b
0.402 * [taylor]: Taking taylor expansion of 1 in b
0.403 * [taylor]: Taking taylor expansion of 0 in b
0.403 * [taylor]: Taking taylor expansion of 0 in b
0.403 * [approximate]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in (a b) around 0
0.403 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in b
0.403 * [taylor]: Taking taylor expansion of a in b
0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.403 * [taylor]: Taking taylor expansion of b in b
0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.403 * [taylor]: Taking taylor expansion of a in b
0.403 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.403 * [taylor]: Taking taylor expansion of a in a
0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.403 * [taylor]: Taking taylor expansion of 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 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.403 * [taylor]: Taking taylor expansion of a in a
0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.403 * [taylor]: Taking taylor expansion of 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 * [taylor]: Taking taylor expansion of 0 in b
0.403 * [taylor]: Taking taylor expansion of 1 in b
0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.404 * [taylor]: Taking taylor expansion of b in b
0.404 * [taylor]: Taking taylor expansion of 0 in b
0.404 * [taylor]: Taking taylor expansion of 0 in b
0.404 * [approximate]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in (a b) around 0
0.404 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in b
0.404 * [taylor]: Taking taylor expansion of a in b
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.404 * [taylor]: Taking taylor expansion of b in b
0.404 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.404 * [taylor]: Taking taylor expansion of a in b
0.404 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.404 * [taylor]: Taking taylor expansion of a in a
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.405 * [taylor]: Taking taylor expansion of b in a
0.405 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.405 * [taylor]: Taking taylor expansion of a in a
0.405 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.405 * [taylor]: Taking taylor expansion of a in a
0.405 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.405 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.405 * [taylor]: Taking taylor expansion of b in a
0.405 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.405 * [taylor]: Taking taylor expansion of a in a
0.405 * [taylor]: Taking taylor expansion of 0 in b
0.405 * [taylor]: Taking taylor expansion of 1 in b
0.405 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.405 * [taylor]: Taking taylor expansion of b in b
0.405 * [taylor]: Taking taylor expansion of 0 in b
0.406 * [taylor]: Taking taylor expansion of 0 in b
0.406 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
0.406 * [approximate]: Taking taylor expansion of (/ (- a b) a) in (a b) around 0
0.406 * [taylor]: Taking taylor expansion of (/ (- a b) a) in b
0.406 * [taylor]: Taking taylor expansion of (- a b) in b
0.406 * [taylor]: Taking taylor expansion of a in b
0.406 * [taylor]: Taking taylor expansion of b in b
0.406 * [taylor]: Taking taylor expansion of a in b
0.406 * [taylor]: Taking taylor expansion of (/ (- a b) a) in a
0.406 * [taylor]: Taking taylor expansion of (- a b) in a
0.406 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of b in a
0.406 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of (/ (- a b) a) in a
0.406 * [taylor]: Taking taylor expansion of (- a b) in a
0.406 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of b in a
0.406 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of (* -1 b) in b
0.406 * [taylor]: Taking taylor expansion of -1 in b
0.406 * [taylor]: Taking taylor expansion of b in b
0.406 * [taylor]: Taking taylor expansion of 1 in b
0.407 * [taylor]: Taking taylor expansion of 0 in b
0.407 * [taylor]: Taking taylor expansion of 0 in b
0.407 * [approximate]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in (a b) around 0
0.407 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in b
0.407 * [taylor]: Taking taylor expansion of a in b
0.407 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
0.407 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.407 * [taylor]: Taking taylor expansion of a in b
0.407 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.407 * [taylor]: Taking taylor expansion of b in b
0.407 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in a
0.407 * [taylor]: Taking taylor expansion of a in a
0.407 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.407 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.407 * [taylor]: Taking taylor expansion of a in a
0.407 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.407 * [taylor]: Taking taylor expansion of b in a
0.407 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in a
0.407 * [taylor]: Taking taylor expansion of a in a
0.407 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.407 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.407 * [taylor]: Taking taylor expansion of a in a
0.407 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.407 * [taylor]: Taking taylor expansion of b in a
0.407 * [taylor]: Taking taylor expansion of 0 in b
0.408 * [taylor]: Taking taylor expansion of 1 in b
0.408 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
0.408 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.408 * [taylor]: Taking taylor expansion of b in b
0.408 * [taylor]: Taking taylor expansion of 0 in b
0.408 * [taylor]: Taking taylor expansion of 0 in b
0.409 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in (a b) around 0
0.409 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in b
0.409 * [taylor]: Taking taylor expansion of -1 in b
0.409 * [taylor]: Taking taylor expansion of (* a (- (/ 1 b) (/ 1 a))) in b
0.409 * [taylor]: Taking taylor expansion of a in b
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
0.409 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.409 * [taylor]: Taking taylor expansion of b in b
0.409 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.409 * [taylor]: Taking taylor expansion of a in b
0.409 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in a
0.409 * [taylor]: Taking taylor expansion of -1 in a
0.409 * [taylor]: Taking taylor expansion of (* a (- (/ 1 b) (/ 1 a))) in a
0.409 * [taylor]: Taking taylor expansion of a in a
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.409 * [taylor]: Taking taylor expansion of b in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.409 * [taylor]: Taking taylor expansion of a in a
0.409 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in a
0.409 * [taylor]: Taking taylor expansion of -1 in a
0.409 * [taylor]: Taking taylor expansion of (* a (- (/ 1 b) (/ 1 a))) in a
0.409 * [taylor]: Taking taylor expansion of a in a
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.409 * [taylor]: Taking taylor expansion of b in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.409 * [taylor]: Taking taylor expansion of a in a
0.409 * [taylor]: Taking taylor expansion of 0 in b
0.409 * [taylor]: Taking taylor expansion of 1 in b
0.410 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
0.410 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.410 * [taylor]: Taking taylor expansion of b in b
0.410 * [taylor]: Taking taylor expansion of 0 in b
0.410 * [taylor]: Taking taylor expansion of 0 in b
0.410 * * * [progress]: simplifying candidates
0.412 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (+ a b) a) (/ (- a b) a))
  (+ (- (log (+ a b)) (log a)) (- (log (- a b)) (log a)))
  (+ (- (log (+ a b)) (log a)) (log (/ (- a b) a)))
  (+ (log (/ (+ a b) a)) (- (log (- a b)) (log a)))
  (+ (log (/ (+ a b) a)) (log (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (exp (* (/ (+ a b) a) (/ (- a b) a)))
  (* (/ (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) a)) (/ (* (* (- a b) (- a b)) (- a b)) (* (* a a) a)))
  (* (/ (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) a)) (* (* (/ (- a b) a) (/ (- a b) a)) (/ (- a b) a)))
  (* (* (* (/ (+ a b) a) (/ (+ a b) a)) (/ (+ a b) a)) (/ (* (* (- a b) (- a b)) (- a b)) (* (* a a) a)))
  (* (* (* (/ (+ a b) a) (/ (+ a b) a)) (/ (+ a b) a)) (* (* (/ (- a b) a) (/ (- a b) a)) (/ (- a b) a)))
  (* (cbrt (* (/ (+ a b) a) (/ (- a b) a))) (cbrt (* (/ (+ a b) a) (/ (- a b) a))))
  (cbrt (* (/ (+ a b) a) (/ (- a b) a)))
  (* (* (* (/ (+ a b) a) (/ (- a b) a)) (* (/ (+ a b) a) (/ (- a b) a))) (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (* (+ a b) (- a b))
  (* a a)
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (+ a b) a) (* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a))))
  (* (/ (+ a b) a) (sqrt (/ (- a b) a)))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a)))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) 1))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) 1))
  (* (/ (+ a b) a) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ 1 (sqrt a)))
  (* (/ (+ a b) a) (/ 1 1))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (sqrt a)))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) 1))
  (* (/ (+ a b) a) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ 1 (sqrt a)))
  (* (/ (+ a b) a) (/ 1 1))
  (* (/ (+ a b) a) 1)
  (* (/ (+ a b) a) (- a b))
  (* (cbrt (/ (+ a b) a)) (/ (- a b) a))
  (* (sqrt (/ (+ a b) a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) a) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ 1 a) (/ (- a b) a))
  (* (/ (+ a b) a) (- a b))
  (* (+ a b) (/ (- a b) a))
  (- (log (+ a b)) (log a))
  (log (/ (+ a b) a))
  (exp (/ (+ a b) a))
  (/ (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) 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))
  (neg (+ a b))
  (neg a)
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ a b)) (cbrt a))
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (sqrt a))
  (/ (cbrt (+ a b)) (sqrt a))
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) 1)
  (/ (cbrt (+ a b)) a)
  (/ (sqrt (+ a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ a b)) (cbrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (/ (sqrt (+ a b)) 1)
  (/ (sqrt (+ a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  (/ 1 1)
  (/ (+ a b) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  (/ 1 1)
  (/ (+ a b) a)
  (/ 1 a)
  (/ a (+ a b))
  (/ (+ a b) (* (cbrt a) (cbrt a)))
  (/ (+ a b) (sqrt a))
  (/ (+ a b) 1)
  (/ a (cbrt (+ a b)))
  (/ a (sqrt (+ a b)))
  (/ a (+ a b))
  (/ a (+ a b))
  (* a (+ (* a a) (- (* b b) (* a b))))
  (* a (- a b))
  (- (log (- a b)) (log a))
  (log (/ (- a b) a))
  (exp (/ (- a b) a))
  (/ (* (* (- a b) (- a b)) (- a b)) (* (* a a) 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))
  (neg (- a b))
  (neg a)
  (/ a a)
  (/ b a)
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- a b)) (cbrt a))
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a))
  (/ (cbrt (- a b)) (sqrt a))
  (/ (* (cbrt (- a b)) (cbrt (- a b))) 1)
  (/ (cbrt (- a b)) a)
  (/ (sqrt (- a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- a b)) (cbrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (/ (sqrt (- a b)) 1)
  (/ (sqrt (- a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  (/ 1 1)
  (/ (- a b) a)
  (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a)))
  (/ (- (sqrt a) (sqrt b)) (cbrt a))
  (/ (+ (sqrt a) (sqrt b)) (sqrt a))
  (/ (- (sqrt a) (sqrt b)) (sqrt a))
  (/ (+ (sqrt a) (sqrt b)) 1)
  (/ (- (sqrt a) (sqrt b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  (/ 1 1)
  (/ (- a b) a)
  (/ 1 a)
  (/ a (- a b))
  (/ (- a b) (* (cbrt a) (cbrt a)))
  (/ (- a b) (sqrt a))
  (/ (- a b) 1)
  (/ a (cbrt (- a b)))
  (/ a (sqrt (- a b)))
  (/ a (- a b))
  (/ a (- (sqrt a) (sqrt b)))
  (/ a (- a b))
  (* a (+ (* a a) (+ (* b b) (* a b))))
  (* a (+ a b))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (+ 1 (/ b a))
  (+ (/ b a) 1)
  (+ (/ b a) 1)
  (- 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ b a))
0.418 * * [simplify]: iteration  0 :  467  enodes  (cost  819 )
0.427 * * [simplify]: iteration  1 :  2446  enodes  (cost  744 )
0.467 * * [simplify]: iteration  2 :  5001  enodes  (cost  742 )
0.472 * [simplify]: Simplified to:
   (* (/ (+ a b) a) (/ (- a b) a))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (exp (* (/ (+ a b) a) (/ (- a b) a)))
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (* (cbrt (* (/ (+ a b) a) (/ (- a b) a))) (cbrt (* (/ (+ a b) a) (/ (- a b) a))))
  (cbrt (* (/ (+ a b) a) (/ (- a b) a)))
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (* (+ a b) (- a b))
  (pow a 2)
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (+ a b) a) (* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a))))
  (* (/ (+ a b) a) (sqrt (/ (- a b) a)))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a)))
  (/ (* (+ a b) (* (cbrt (- a b)) (cbrt (- a b)))) a)
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (sqrt a)))
  (/ (* (+ a b) (sqrt (- a b))) a)
  (/ (/ (+ a b) a) (* (cbrt a) (cbrt a)))
  (/ (/ (+ a b) a) (sqrt a))
  (/ (+ a b) a)
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (sqrt a)))
  (/ (* (+ a b) (+ (sqrt a) (sqrt b))) a)
  (/ (/ (+ a b) a) (* (cbrt a) (cbrt a)))
  (/ (/ (+ a b) a) (sqrt a))
  (/ (+ a b) a)
  (/ (+ a b) a)
  (* (+ a b) (/ (- a b) a))
  (* (cbrt (/ (+ a b) a)) (/ (- a b) a))
  (* (sqrt (/ (+ a b) a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) a) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (/ (- 1 (/ b a)) a)
  (* (+ a b) (/ (- a b) a))
  (* (+ a b) (/ (- 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))
  (neg (+ a b))
  (neg a)
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ a b)) (cbrt a))
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (sqrt a))
  (/ (cbrt (+ a b)) (pow a 1/2))
  (* (cbrt (+ a b)) (cbrt (+ a b)))
  (/ (cbrt (+ a b)) a)
  (/ (sqrt (+ a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ a b)) (cbrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (sqrt (+ a b))
  (/ (sqrt (+ a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  1
  (/ (+ a b) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  1
  (/ (+ a b) a)
  (/ 1 a)
  (/ a (+ a b))
  (/ (+ a b) (* (cbrt a) (cbrt a)))
  (/ (+ a b) (sqrt a))
  (+ a b)
  (/ a (cbrt (+ a b)))
  (/ a (sqrt (+ a b)))
  (/ a (+ a b))
  (/ a (+ a b))
  (* (+ (* b (- b a)) (pow a 2)) a)
  (* a (- a b))
  (log (/ (- a b) a))
  (log (/ (- a b) a))
  (exp (/ (- a b) a))
  (pow (- 1 (/ b a)) 3)
  (* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a)))
  (cbrt (/ (- a b) a))
  (pow (- 1 (/ b a)) 3)
  (sqrt (/ (- a b) a))
  (sqrt (/ (- a b) a))
  (neg (- a b))
  (neg a)
  1
  (/ b a)
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- a b)) (cbrt a))
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a))
  (/ (cbrt (- a b)) (pow a 1/2))
  (* (cbrt (- a b)) (cbrt (- a b)))
  (/ (cbrt (- a b)) a)
  (/ (sqrt (- a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- a b)) (cbrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (sqrt (- a b))
  (/ (sqrt (- a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  1
  (- 1 (/ b a))
  (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a)))
  (/ (- (sqrt a) (sqrt b)) (cbrt a))
  (/ (+ (sqrt a) (sqrt b)) (sqrt a))
  (- 1 (/ (sqrt b) (sqrt a)))
  (+ (sqrt a) (sqrt b))
  (/ (- (sqrt a) (sqrt b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  1
  (- 1 (/ b a))
  (/ 1 a)
  (/ a (- a b))
  (/ (- a b) (* (cbrt a) (cbrt a)))
  (/ (- a b) (sqrt a))
  (- a b)
  (/ a (cbrt (- a b)))
  (/ a (sqrt (- a b)))
  (/ a (- a b))
  (/ a (- (sqrt a) (sqrt b)))
  (/ a (- a b))
  (* (+ (* b (+ b a)) (pow a 2)) a)
  (* a (+ a b))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (+ 1 (/ b a))
  (+ 1 (/ b a))
  (+ 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ b a))
0.472 * * * [progress]: adding candidates to table
0.610 * * [progress]: iteration 3 / 4
0.610 * * * [progress]: picking best candidate
0.616 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))))>
0.616 * * * [progress]: localizing error
0.629 * * * [progress]: generating rewritten candidates
0.629 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
0.645 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
0.650 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.656 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.663 * * * [progress]: generating series expansions
0.663 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
0.663 * [approximate]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in (a b) around 0
0.663 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in b
0.663 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in b
0.663 * [taylor]: Taking taylor expansion of (- a b) in b
0.663 * [taylor]: Taking taylor expansion of a in b
0.663 * [taylor]: Taking taylor expansion of b in b
0.663 * [taylor]: Taking taylor expansion of (+ a b) in b
0.663 * [taylor]: Taking taylor expansion of a in b
0.663 * [taylor]: Taking taylor expansion of b in b
0.663 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.663 * [taylor]: Taking taylor expansion of a in b
0.664 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in a
0.664 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a
0.664 * [taylor]: Taking taylor expansion of (- a b) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of b in a
0.664 * [taylor]: Taking taylor expansion of (+ a b) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of b in a
0.664 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in a
0.664 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a
0.664 * [taylor]: Taking taylor expansion of (- a b) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of b in a
0.664 * [taylor]: Taking taylor expansion of (+ a b) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of b in a
0.664 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b
0.664 * [taylor]: Taking taylor expansion of -1 in b
0.664 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.664 * [taylor]: Taking taylor expansion of b in b
0.665 * [taylor]: Taking taylor expansion of 0 in b
0.665 * [taylor]: Taking taylor expansion of 1 in b
0.665 * [taylor]: Taking taylor expansion of 0 in b
0.665 * [taylor]: Taking taylor expansion of 0 in b
0.666 * [approximate]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in (a b) around 0
0.666 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in b
0.666 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.666 * [taylor]: Taking taylor expansion of a in b
0.666 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in b
0.666 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.666 * [taylor]: Taking taylor expansion of a in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.666 * [taylor]: Taking taylor expansion of b in b
0.666 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.666 * [taylor]: Taking taylor expansion of b in b
0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.666 * [taylor]: Taking taylor expansion of a in b
0.666 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in a
0.666 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.666 * [taylor]: Taking taylor expansion of a in a
0.666 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a
0.666 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.666 * [taylor]: Taking taylor expansion of a in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.666 * [taylor]: Taking taylor expansion of b in a
0.666 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.666 * [taylor]: Taking taylor expansion of b in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.666 * [taylor]: Taking taylor expansion of a in a
0.666 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in a
0.666 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.666 * [taylor]: Taking taylor expansion of a in a
0.666 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a
0.666 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.666 * [taylor]: Taking taylor expansion of a in a
0.666 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.667 * [taylor]: Taking taylor expansion of b in a
0.667 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.667 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.667 * [taylor]: Taking taylor expansion of b in a
0.667 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.667 * [taylor]: Taking taylor expansion of a in a
0.667 * [taylor]: Taking taylor expansion of 1 in b
0.667 * [taylor]: Taking taylor expansion of 0 in b
0.668 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.668 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.668 * [taylor]: Taking taylor expansion of b in b
0.668 * [taylor]: Taking taylor expansion of 0 in b
0.669 * [taylor]: Taking taylor expansion of 0 in b
0.669 * [approximate]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in (a b) around 0
0.669 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in b
0.669 * [taylor]: Taking taylor expansion of -1 in b
0.669 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in b
0.669 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.669 * [taylor]: Taking taylor expansion of a in b
0.669 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in b
0.669 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
0.669 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.669 * [taylor]: Taking taylor expansion of b in b
0.669 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.669 * [taylor]: Taking taylor expansion of a in b
0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.669 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.669 * [taylor]: Taking taylor expansion of b in b
0.669 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.670 * [taylor]: Taking taylor expansion of a in b
0.670 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in a
0.670 * [taylor]: Taking taylor expansion of -1 in a
0.670 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a
0.670 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a
0.670 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.670 * [taylor]: Taking taylor expansion of b in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.670 * [taylor]: Taking taylor expansion of b in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in a
0.670 * [taylor]: Taking taylor expansion of -1 in a
0.670 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a
0.670 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a
0.670 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.670 * [taylor]: Taking taylor expansion of b in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.670 * [taylor]: Taking taylor expansion of b in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of 1 in b
0.671 * [taylor]: Taking taylor expansion of 0 in b
0.671 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.671 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.671 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.671 * [taylor]: Taking taylor expansion of b in b
0.672 * [taylor]: Taking taylor expansion of 0 in b
0.672 * [taylor]: Taking taylor expansion of 0 in b
0.673 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
0.673 * [approximate]: Taking taylor expansion of (/ (+ a b) a) in (a b) around 0
0.673 * [taylor]: Taking taylor expansion of (/ (+ a b) a) in b
0.673 * [taylor]: Taking taylor expansion of (+ a b) in b
0.673 * [taylor]: Taking taylor expansion of a in b
0.673 * [taylor]: Taking taylor expansion of b in b
0.673 * [taylor]: Taking taylor expansion of a in b
0.673 * [taylor]: Taking taylor expansion of (/ (+ a b) a) in a
0.673 * [taylor]: Taking taylor expansion of (+ a b) in a
0.673 * [taylor]: Taking taylor expansion of a in a
0.673 * [taylor]: Taking taylor expansion of b in a
0.673 * [taylor]: Taking taylor expansion of a in a
0.673 * [taylor]: Taking taylor expansion of (/ (+ a b) a) in a
0.673 * [taylor]: Taking taylor expansion of (+ a b) in a
0.673 * [taylor]: Taking taylor expansion of a in a
0.673 * [taylor]: Taking taylor expansion of b in a
0.673 * [taylor]: Taking taylor expansion of a in a
0.673 * [taylor]: Taking taylor expansion of b in b
0.673 * [taylor]: Taking taylor expansion of 1 in b
0.673 * [taylor]: Taking taylor expansion of 0 in b
0.673 * [taylor]: Taking taylor expansion of 0 in b
0.674 * [approximate]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in (a b) around 0
0.674 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in b
0.674 * [taylor]: Taking taylor expansion of a in b
0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.674 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.674 * [taylor]: Taking taylor expansion of b in b
0.674 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.674 * [taylor]: Taking taylor expansion of a in b
0.674 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.674 * [taylor]: Taking taylor expansion of a in a
0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.674 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.674 * [taylor]: Taking taylor expansion of b in a
0.674 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.674 * [taylor]: Taking taylor expansion of a in a
0.674 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.674 * [taylor]: Taking taylor expansion of a in a
0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.674 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.674 * [taylor]: Taking taylor expansion of b in a
0.674 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.674 * [taylor]: Taking taylor expansion of a in a
0.674 * [taylor]: Taking taylor expansion of 0 in b
0.674 * [taylor]: Taking taylor expansion of 1 in b
0.674 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.674 * [taylor]: Taking taylor expansion of b in b
0.675 * [taylor]: Taking taylor expansion of 0 in b
0.675 * [taylor]: Taking taylor expansion of 0 in b
0.675 * [approximate]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in (a b) around 0
0.675 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in b
0.675 * [taylor]: Taking taylor expansion of a in b
0.675 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.675 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.675 * [taylor]: Taking taylor expansion of b in b
0.675 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.675 * [taylor]: Taking taylor expansion of a in b
0.675 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.675 * [taylor]: Taking taylor expansion of a in a
0.675 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.675 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.675 * [taylor]: Taking taylor expansion of b in a
0.675 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.675 * [taylor]: Taking taylor expansion of a in a
0.675 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 b) (/ 1 a))) in a
0.675 * [taylor]: Taking taylor expansion of a in a
0.675 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.675 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.675 * [taylor]: Taking taylor expansion of b in a
0.676 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.676 * [taylor]: Taking taylor expansion of a in a
0.676 * [taylor]: Taking taylor expansion of 0 in b
0.676 * [taylor]: Taking taylor expansion of 1 in b
0.676 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.676 * [taylor]: Taking taylor expansion of b in b
0.676 * [taylor]: Taking taylor expansion of 0 in b
0.676 * [taylor]: Taking taylor expansion of 0 in b
0.676 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
0.677 * [approximate]: Taking taylor expansion of (/ (- a b) a) in (a b) around 0
0.677 * [taylor]: Taking taylor expansion of (/ (- a b) a) in b
0.677 * [taylor]: Taking taylor expansion of (- a b) in b
0.677 * [taylor]: Taking taylor expansion of a in b
0.677 * [taylor]: Taking taylor expansion of b in b
0.677 * [taylor]: Taking taylor expansion of a in b
0.677 * [taylor]: Taking taylor expansion of (/ (- a b) a) in a
0.677 * [taylor]: Taking taylor expansion of (- a b) in a
0.677 * [taylor]: Taking taylor expansion of a in a
0.677 * [taylor]: Taking taylor expansion of b in a
0.677 * [taylor]: Taking taylor expansion of a in a
0.677 * [taylor]: Taking taylor expansion of (/ (- a b) a) in a
0.677 * [taylor]: Taking taylor expansion of (- a b) in a
0.677 * [taylor]: Taking taylor expansion of a in a
0.677 * [taylor]: Taking taylor expansion of b in a
0.677 * [taylor]: Taking taylor expansion of a in a
0.677 * [taylor]: Taking taylor expansion of (* -1 b) in b
0.677 * [taylor]: Taking taylor expansion of -1 in b
0.677 * [taylor]: Taking taylor expansion of b in b
0.677 * [taylor]: Taking taylor expansion of 1 in b
0.677 * [taylor]: Taking taylor expansion of 0 in b
0.677 * [taylor]: Taking taylor expansion of 0 in b
0.678 * [approximate]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in (a b) around 0
0.678 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in b
0.678 * [taylor]: Taking taylor expansion of a in b
0.678 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
0.678 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.678 * [taylor]: Taking taylor expansion of a in b
0.678 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.678 * [taylor]: Taking taylor expansion of b in b
0.678 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in a
0.678 * [taylor]: Taking taylor expansion of a in a
0.678 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.678 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.678 * [taylor]: Taking taylor expansion of a in a
0.678 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.678 * [taylor]: Taking taylor expansion of b in a
0.678 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ 1 b))) in a
0.678 * [taylor]: Taking taylor expansion of a in a
0.678 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.678 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.678 * [taylor]: Taking taylor expansion of a in a
0.678 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.678 * [taylor]: Taking taylor expansion of b in a
0.678 * [taylor]: Taking taylor expansion of 0 in b
0.678 * [taylor]: Taking taylor expansion of 1 in b
0.678 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
0.678 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.678 * [taylor]: Taking taylor expansion of b in b
0.679 * [taylor]: Taking taylor expansion of 0 in b
0.679 * [taylor]: Taking taylor expansion of 0 in b
0.679 * [approximate]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in (a b) around 0
0.679 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in b
0.679 * [taylor]: Taking taylor expansion of -1 in b
0.679 * [taylor]: Taking taylor expansion of (* a (- (/ 1 b) (/ 1 a))) in b
0.679 * [taylor]: Taking taylor expansion of a in b
0.679 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.679 * [taylor]: Taking taylor expansion of b in b
0.679 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.679 * [taylor]: Taking taylor expansion of a in b
0.679 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in a
0.679 * [taylor]: Taking taylor expansion of -1 in a
0.679 * [taylor]: Taking taylor expansion of (* a (- (/ 1 b) (/ 1 a))) in a
0.679 * [taylor]: Taking taylor expansion of a in a
0.679 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.679 * [taylor]: Taking taylor expansion of b in a
0.679 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.679 * [taylor]: Taking taylor expansion of a in a
0.680 * [taylor]: Taking taylor expansion of (* -1 (* a (- (/ 1 b) (/ 1 a)))) in a
0.680 * [taylor]: Taking taylor expansion of -1 in a
0.680 * [taylor]: Taking taylor expansion of (* a (- (/ 1 b) (/ 1 a))) in a
0.680 * [taylor]: Taking taylor expansion of a in a
0.680 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.680 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.680 * [taylor]: Taking taylor expansion of b in a
0.680 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.680 * [taylor]: Taking taylor expansion of a in a
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.680 * [taylor]: Taking taylor expansion of 1 in b
0.680 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
0.680 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.680 * [taylor]: Taking taylor expansion of b in b
0.680 * [taylor]: Taking taylor expansion of 0 in b
0.681 * [taylor]: Taking taylor expansion of 0 in b
0.681 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.681 * [approximate]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in (a b) around 0
0.681 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in b
0.681 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in b
0.681 * [taylor]: Taking taylor expansion of (- a b) in b
0.681 * [taylor]: Taking taylor expansion of a in b
0.681 * [taylor]: Taking taylor expansion of b in b
0.681 * [taylor]: Taking taylor expansion of (+ a b) in b
0.681 * [taylor]: Taking taylor expansion of a in b
0.681 * [taylor]: Taking taylor expansion of b in b
0.681 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.681 * [taylor]: Taking taylor expansion of a in b
0.681 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in a
0.681 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a
0.681 * [taylor]: Taking taylor expansion of (- a b) in a
0.681 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of b in a
0.682 * [taylor]: Taking taylor expansion of (+ a b) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of b in a
0.682 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of (/ (* (- a b) (+ a b)) (pow a 2)) in a
0.682 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a
0.682 * [taylor]: Taking taylor expansion of (- a b) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of b in a
0.682 * [taylor]: Taking taylor expansion of (+ a b) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of b in a
0.682 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b
0.682 * [taylor]: Taking taylor expansion of -1 in b
0.682 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.682 * [taylor]: Taking taylor expansion of b in b
0.682 * [taylor]: Taking taylor expansion of 0 in b
0.682 * [taylor]: Taking taylor expansion of 1 in b
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.686 * [approximate]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in (a b) around 0
0.686 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in b
0.686 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.686 * [taylor]: Taking taylor expansion of a in b
0.686 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in b
0.686 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.686 * [taylor]: Taking taylor expansion of a in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.686 * [taylor]: Taking taylor expansion of b in b
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.686 * [taylor]: Taking taylor expansion of b in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.686 * [taylor]: Taking taylor expansion of a in b
0.686 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in a
0.686 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.686 * [taylor]: Taking taylor expansion of a in a
0.686 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a
0.686 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.686 * [taylor]: Taking taylor expansion of a in a
0.686 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.686 * [taylor]: Taking taylor expansion of b in a
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.687 * [taylor]: Taking taylor expansion of b in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.687 * [taylor]: Taking taylor expansion of a in a
0.687 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a)))) in a
0.687 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.687 * [taylor]: Taking taylor expansion of a in a
0.687 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a
0.687 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.687 * [taylor]: Taking taylor expansion of a in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.687 * [taylor]: Taking taylor expansion of b in a
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.687 * [taylor]: Taking taylor expansion of b in a
0.687 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.687 * [taylor]: Taking taylor expansion of a in a
0.687 * [taylor]: Taking taylor expansion of 1 in b
0.687 * [taylor]: Taking taylor expansion of 0 in b
0.688 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.688 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.688 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.688 * [taylor]: Taking taylor expansion of b in b
0.688 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [taylor]: Taking taylor expansion of 0 in b
0.689 * [approximate]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in (a b) around 0
0.689 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in b
0.689 * [taylor]: Taking taylor expansion of -1 in b
0.689 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in b
0.689 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.689 * [taylor]: Taking taylor expansion of a in b
0.689 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in b
0.689 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
0.689 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.689 * [taylor]: Taking taylor expansion of b in b
0.689 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.689 * [taylor]: Taking taylor expansion of a in b
0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.689 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.690 * [taylor]: Taking taylor expansion of b in b
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.690 * [taylor]: Taking taylor expansion of a in b
0.690 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in a
0.690 * [taylor]: Taking taylor expansion of -1 in a
0.690 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a
0.690 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a
0.690 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.690 * [taylor]: Taking taylor expansion of b in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.690 * [taylor]: Taking taylor expansion of b in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of (* -1 (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))))) in a
0.690 * [taylor]: Taking taylor expansion of -1 in a
0.690 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a
0.690 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a
0.690 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.690 * [taylor]: Taking taylor expansion of b in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.690 * [taylor]: Taking taylor expansion of b in a
0.690 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.690 * [taylor]: Taking taylor expansion of a in a
0.690 * [taylor]: Taking taylor expansion of 1 in b
0.691 * [taylor]: Taking taylor expansion of 0 in b
0.691 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.691 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.691 * [taylor]: Taking taylor expansion of b in b
0.692 * [taylor]: Taking taylor expansion of 0 in b
0.692 * [taylor]: Taking taylor expansion of 0 in b
0.693 * * * [progress]: simplifying candidates
0.695 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (+ a b) a) (/ (- a b) a))
  (+ (- (log (+ a b)) (log a)) (- (log (- a b)) (log a)))
  (+ (- (log (+ a b)) (log a)) (log (/ (- a b) a)))
  (+ (log (/ (+ a b) a)) (- (log (- a b)) (log a)))
  (+ (log (/ (+ a b) a)) (log (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (exp (* (/ (+ a b) a) (/ (- a b) a)))
  (* (/ (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) a)) (/ (* (* (- a b) (- a b)) (- a b)) (* (* a a) a)))
  (* (/ (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) a)) (* (* (/ (- a b) a) (/ (- a b) a)) (/ (- a b) a)))
  (* (* (* (/ (+ a b) a) (/ (+ a b) a)) (/ (+ a b) a)) (/ (* (* (- a b) (- a b)) (- a b)) (* (* a a) a)))
  (* (* (* (/ (+ a b) a) (/ (+ a b) a)) (/ (+ a b) a)) (* (* (/ (- a b) a) (/ (- a b) a)) (/ (- a b) a)))
  (* (cbrt (* (/ (+ a b) a) (/ (- a b) a))) (cbrt (* (/ (+ a b) a) (/ (- a b) a))))
  (cbrt (* (/ (+ a b) a) (/ (- a b) a)))
  (* (* (* (/ (+ a b) a) (/ (- a b) a)) (* (/ (+ a b) a) (/ (- a b) a))) (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (* (+ a b) (- a b))
  (* a a)
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (+ a b) a) (* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a))))
  (* (/ (+ a b) a) (sqrt (/ (- a b) a)))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a)))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) 1))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) 1))
  (* (/ (+ a b) a) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ 1 (sqrt a)))
  (* (/ (+ a b) a) (/ 1 1))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (sqrt a)))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) 1))
  (* (/ (+ a b) a) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ 1 (sqrt a)))
  (* (/ (+ a b) a) (/ 1 1))
  (* (/ (+ a b) a) 1)
  (* (/ (+ a b) a) (- a b))
  (* (cbrt (/ (+ a b) a)) (/ (- a b) a))
  (* (sqrt (/ (+ a b) a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) a) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ 1 a) (/ (- a b) a))
  (* (/ (+ a b) a) (- a b))
  (* (+ a b) (/ (- a b) a))
  (- (log (+ a b)) (log a))
  (log (/ (+ a b) a))
  (exp (/ (+ a b) a))
  (/ (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) 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))
  (neg (+ a b))
  (neg a)
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ a b)) (cbrt a))
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (sqrt a))
  (/ (cbrt (+ a b)) (sqrt a))
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) 1)
  (/ (cbrt (+ a b)) a)
  (/ (sqrt (+ a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ a b)) (cbrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (/ (sqrt (+ a b)) 1)
  (/ (sqrt (+ a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  (/ 1 1)
  (/ (+ a b) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  (/ 1 1)
  (/ (+ a b) a)
  (/ 1 a)
  (/ a (+ a b))
  (/ (+ a b) (* (cbrt a) (cbrt a)))
  (/ (+ a b) (sqrt a))
  (/ (+ a b) 1)
  (/ a (cbrt (+ a b)))
  (/ a (sqrt (+ a b)))
  (/ a (+ a b))
  (/ a (+ a b))
  (* a (+ (* a a) (- (* b b) (* a b))))
  (* a (- a b))
  (- (log (- a b)) (log a))
  (log (/ (- a b) a))
  (exp (/ (- a b) a))
  (/ (* (* (- a b) (- a b)) (- a b)) (* (* a a) 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))
  (neg (- a b))
  (neg a)
  (/ a a)
  (/ b a)
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- a b)) (cbrt a))
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a))
  (/ (cbrt (- a b)) (sqrt a))
  (/ (* (cbrt (- a b)) (cbrt (- a b))) 1)
  (/ (cbrt (- a b)) a)
  (/ (sqrt (- a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- a b)) (cbrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (/ (sqrt (- a b)) 1)
  (/ (sqrt (- a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  (/ 1 1)
  (/ (- a b) a)
  (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a)))
  (/ (- (sqrt a) (sqrt b)) (cbrt a))
  (/ (+ (sqrt a) (sqrt b)) (sqrt a))
  (/ (- (sqrt a) (sqrt b)) (sqrt a))
  (/ (+ (sqrt a) (sqrt b)) 1)
  (/ (- (sqrt a) (sqrt b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  (/ 1 1)
  (/ (- a b) a)
  (/ 1 a)
  (/ a (- a b))
  (/ (- a b) (* (cbrt a) (cbrt a)))
  (/ (- a b) (sqrt a))
  (/ (- a b) 1)
  (/ a (cbrt (- a b)))
  (/ a (sqrt (- a b)))
  (/ a (- a b))
  (/ a (- (sqrt a) (sqrt b)))
  (/ a (- a b))
  (* a (+ (* a a) (+ (* b b) (* a b))))
  (* a (+ a b))
  (log (* (cbrt (exp (* (/ (+ a b) a) (/ (- a b) a)))) (cbrt (exp (* (/ (+ a b) a) (/ (- a b) a))))))
  (log (cbrt (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (log (sqrt (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (log (sqrt (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (log 1)
  (log (exp (* (/ (+ a b) a) (/ (- a b) a))))
  (log (exp (/ (+ a b) a)))
  (log (exp (* (/ (+ a b) a) (/ (- a b) a))))
  (log (exp (/ (+ a b) a)))
  (log (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (exp (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (* (cbrt (log (exp (* (/ (+ a b) a) (/ (- a b) a))))) (cbrt (log (exp (* (/ (+ a b) a) (/ (- a b) a))))))
  (cbrt (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (* (* (log (exp (* (/ (+ a b) a) (/ (- a b) a)))) (log (exp (* (/ (+ a b) a) (/ (- a b) a))))) (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (sqrt (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (sqrt (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (+ 1 (/ b a))
  (+ (/ b a) 1)
  (+ (/ b a) 1)
  (- 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
0.701 * * [simplify]: iteration  0 :  485  enodes  (cost  946 )
0.711 * * [simplify]: iteration  1 :  2467  enodes  (cost  852 )
0.750 * * [simplify]: iteration  2 :  5002  enodes  (cost  850 )
0.756 * [simplify]: Simplified to:
   (* (/ (+ a b) a) (/ (- a b) a))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (exp (* (/ (+ a b) a) (/ (- a b) a)))
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (* (cbrt (* (/ (+ a b) a) (/ (- a b) a))) (cbrt (* (/ (+ a b) a) (/ (- a b) a))))
  (cbrt (* (/ (+ a b) a) (/ (- a b) a)))
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (* (+ a b) (- a b))
  (pow a 2)
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (sqrt (/ (- a b) a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (sqrt (/ (+ a b) a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (sqrt (/ (- a b) a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (sqrt (- a b)) (sqrt a)))
  (* (/ (+ a b) a) (* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a))))
  (* (/ (+ a b) a) (sqrt (/ (- a b) a)))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a)))
  (/ (* (+ a b) (* (cbrt (- a b)) (cbrt (- a b)))) a)
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (sqrt (- a b)) (sqrt a)))
  (/ (* (+ a b) (sqrt (- a b))) a)
  (/ (/ (+ a b) a) (* (cbrt a) (cbrt a)))
  (/ (/ (+ a b) a) (sqrt a))
  (/ (+ a b) a)
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a))))
  (* (/ (+ a b) a) (/ (+ (sqrt a) (sqrt b)) (sqrt a)))
  (/ (* (+ a b) (+ (sqrt a) (sqrt b))) a)
  (/ (/ (+ a b) a) (* (cbrt a) (cbrt a)))
  (/ (/ (+ a b) a) (sqrt a))
  (/ (+ a b) a)
  (/ (+ a b) a)
  (* (+ a b) (/ (- a b) a))
  (* (cbrt (/ (+ a b) a)) (/ (- a b) a))
  (* (sqrt (/ (+ a b) a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (cbrt (+ a b)) a) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (cbrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) (sqrt a)) (/ (- a b) a))
  (* (/ (sqrt (+ a b)) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) (cbrt a)) (/ (- a b) a))
  (* (/ (+ a b) (sqrt a)) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (* (/ (+ a b) a) (/ (- a b) a))
  (/ (- 1 (/ b a)) a)
  (* (+ a b) (/ (- a b) a))
  (* (+ a b) (/ (- 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))
  (neg (+ a b))
  (neg a)
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ a b)) (cbrt a))
  (/ (* (cbrt (+ a b)) (cbrt (+ a b))) (sqrt a))
  (/ (cbrt (+ a b)) (pow a 1/2))
  (* (cbrt (+ a b)) (cbrt (+ a b)))
  (/ (cbrt (+ a b)) a)
  (/ (sqrt (+ a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ a b)) (cbrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (/ (sqrt (+ a b)) (sqrt a))
  (sqrt (+ a b))
  (/ (sqrt (+ a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  1
  (/ (+ a b) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ a b) (sqrt a))
  1
  (/ (+ a b) a)
  (/ 1 a)
  (/ a (+ a b))
  (/ (+ a b) (* (cbrt a) (cbrt a)))
  (/ (+ a b) (sqrt a))
  (+ a b)
  (/ a (cbrt (+ a b)))
  (/ a (sqrt (+ a b)))
  (/ a (+ a b))
  (/ a (+ a b))
  (* (+ (* b (- b a)) (pow a 2)) a)
  (* a (- a b))
  (log (/ (- a b) a))
  (log (/ (- a b) a))
  (exp (/ (- a b) a))
  (pow (- 1 (/ b a)) 3)
  (* (cbrt (/ (- a b) a)) (cbrt (/ (- a b) a)))
  (cbrt (/ (- a b) a))
  (pow (- 1 (/ b a)) 3)
  (sqrt (/ (- a b) a))
  (sqrt (/ (- a b) a))
  (neg (- a b))
  (neg a)
  1
  (/ b a)
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- a b)) (cbrt a))
  (/ (* (cbrt (- a b)) (cbrt (- a b))) (sqrt a))
  (/ (cbrt (- a b)) (pow a 1/2))
  (* (cbrt (- a b)) (cbrt (- a b)))
  (/ (cbrt (- a b)) a)
  (/ (sqrt (- a b)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- a b)) (cbrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (/ (sqrt (- a b)) (sqrt a))
  (sqrt (- a b))
  (/ (sqrt (- a b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  1
  (- 1 (/ b a))
  (/ (+ (sqrt a) (sqrt b)) (* (cbrt a) (cbrt a)))
  (/ (- (sqrt a) (sqrt b)) (cbrt a))
  (/ (+ (sqrt a) (sqrt b)) (sqrt a))
  (- 1 (/ (sqrt b) (sqrt a)))
  (+ (sqrt a) (sqrt b))
  (/ (- (sqrt a) (sqrt b)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- a b) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- a b) (sqrt a))
  1
  (- 1 (/ b a))
  (/ 1 a)
  (/ a (- a b))
  (/ (- a b) (* (cbrt a) (cbrt a)))
  (/ (- a b) (sqrt a))
  (- a b)
  (/ a (cbrt (- a b)))
  (/ a (sqrt (- a b)))
  (/ a (- a b))
  (/ a (- (sqrt a) (sqrt b)))
  (/ a (- a b))
  (* (+ (* b (+ b a)) (pow a 2)) a)
  (* a (+ a b))
  (* 2 (log (cbrt (exp (* (/ (+ a b) a) (/ (- a b) a))))))
  (log (cbrt (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (log (sqrt (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  (log (sqrt (exp (* (/ (+ a b) a) (/ (- a b) a)))))
  0
  (* (/ (+ a b) a) (/ (- a b) a))
  (/ (+ a b) a)
  (* (/ (+ a b) a) (/ (- a b) a))
  (/ (+ a b) a)
  (log (* (/ (+ a b) a) (/ (- a b) a)))
  (exp (* (/ (+ a b) a) (/ (- a b) a)))
  (* (cbrt (* (/ (+ a b) a) (/ (- a b) a))) (cbrt (* (/ (+ a b) a) (/ (- a b) a))))
  (cbrt (* (/ (+ a b) a) (/ (- a b) a)))
  (pow (* (/ (+ a b) a) (/ (- a b) a)) 3)
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (sqrt (* (/ (+ a b) a) (/ (- a b) a)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (+ 1 (/ b a))
  (+ 1 (/ b a))
  (+ 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ b a))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
  (- 1 (/ (pow b 2) (pow a 2)))
0.757 * * * [progress]: adding candidates to table
0.945 * * [progress]: iteration 4 / 4
0.945 * * * [progress]: picking best candidate
0.948 * * * * [pick]: Picked  #<alt (λ (a b) (sqrt (fabs (* (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))) (/ (cbrt (- a b)) (cbrt a))))))>
0.948 * * * [progress]: localizing error
0.965 * * * [progress]: generating rewritten candidates
0.965 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
0.968 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2)
0.971 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1)
0.974 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
0.977 * * * [progress]: generating series expansions
0.977 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
0.977 * [approximate]: Taking taylor expansion of (pow (- a b) 1/3) in (a b) around 0
0.977 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in b
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in b
0.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in b
0.977 * [taylor]: Taking taylor expansion of 1/3 in b
0.977 * [taylor]: Taking taylor expansion of (log (- a b)) in b
0.977 * [taylor]: Taking taylor expansion of (- a b) in b
0.977 * [taylor]: Taking taylor expansion of a in b
0.977 * [taylor]: Taking taylor expansion of b in b
0.977 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in a
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in a
0.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in a
0.977 * [taylor]: Taking taylor expansion of 1/3 in a
0.977 * [taylor]: Taking taylor expansion of (log (- a b)) in a
0.977 * [taylor]: Taking taylor expansion of (- a b) in a
0.977 * [taylor]: Taking taylor expansion of a in a
0.977 * [taylor]: Taking taylor expansion of b in a
0.977 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in a
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in a
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in a
0.978 * [taylor]: Taking taylor expansion of 1/3 in a
0.978 * [taylor]: Taking taylor expansion of (log (- a b)) in a
0.978 * [taylor]: Taking taylor expansion of (- a b) in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of b in a
0.978 * [taylor]: Taking taylor expansion of (pow (neg b) 1/3) in b
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg b)))) in b
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg b))) in b
0.978 * [taylor]: Taking taylor expansion of 1/3 in b
0.978 * [taylor]: Taking taylor expansion of (log (neg b)) in b
0.978 * [taylor]: Taking taylor expansion of (neg b) in b
0.978 * [taylor]: Taking taylor expansion of b in b
0.979 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow b 2)) 1/3)) in b
0.979 * [taylor]: Taking taylor expansion of -1/3 in b
0.979 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow b 2)) 1/3) in b
0.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow b 2))))) in b
0.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow b 2)))) in b
0.979 * [taylor]: Taking taylor expansion of 1/3 in b
0.979 * [taylor]: Taking taylor expansion of (log (/ -1 (pow b 2))) in b
0.979 * [taylor]: Taking taylor expansion of (/ -1 (pow b 2)) in b
0.979 * [taylor]: Taking taylor expansion of -1 in b
0.979 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.979 * [taylor]: Taking taylor expansion of b in b
0.980 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow b 5)) 1/3)) in b
0.980 * [taylor]: Taking taylor expansion of -1/9 in b
0.980 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow b 5)) 1/3) in b
0.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow b 5))))) in b
0.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow b 5)))) in b
0.980 * [taylor]: Taking taylor expansion of 1/3 in b
0.980 * [taylor]: Taking taylor expansion of (log (/ -1 (pow b 5))) in b
0.980 * [taylor]: Taking taylor expansion of (/ -1 (pow b 5)) in b
0.980 * [taylor]: Taking taylor expansion of -1 in b
0.980 * [taylor]: Taking taylor expansion of (pow b 5) in b
0.980 * [taylor]: Taking taylor expansion of b in b
0.981 * [approximate]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in (a b) around 0
0.981 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in b
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in b
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in b
0.981 * [taylor]: Taking taylor expansion of 1/3 in b
0.981 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in b
0.981 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
0.981 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.981 * [taylor]: Taking taylor expansion of a in b
0.981 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.981 * [taylor]: Taking taylor expansion of b in b
0.981 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in a
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in a
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in a
0.981 * [taylor]: Taking taylor expansion of 1/3 in a
0.981 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in a
0.981 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.982 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.982 * [taylor]: Taking taylor expansion of a in a
0.982 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.982 * [taylor]: Taking taylor expansion of b in a
0.982 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in a
0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in a
0.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in a
0.982 * [taylor]: Taking taylor expansion of 1/3 in a
0.982 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in a
0.982 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
0.982 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.982 * [taylor]: Taking taylor expansion of a in a
0.982 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.982 * [taylor]: Taking taylor expansion of b in a
0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
0.982 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
0.982 * [taylor]: Taking taylor expansion of 1/3 in b
0.982 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
0.982 * [taylor]: Taking taylor expansion of (log 1) in b
0.982 * [taylor]: Taking taylor expansion of 1 in b
0.982 * [taylor]: Taking taylor expansion of (log a) in b
0.982 * [taylor]: Taking taylor expansion of a in b
0.983 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log a)))) b)) in b
0.983 * [taylor]: Taking taylor expansion of -1/3 in b
0.983 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) b) in b
0.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
0.983 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
0.983 * [taylor]: Taking taylor expansion of 1/3 in b
0.983 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
0.983 * [taylor]: Taking taylor expansion of (log 1) in b
0.983 * [taylor]: Taking taylor expansion of 1 in b
0.983 * [taylor]: Taking taylor expansion of (log a) in b
0.983 * [taylor]: Taking taylor expansion of a in b
0.983 * [taylor]: Taking taylor expansion of b in b
0.985 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 2))) in b
0.985 * [taylor]: Taking taylor expansion of -1/9 in b
0.985 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 2)) in b
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
0.985 * [taylor]: Taking taylor expansion of 1/3 in b
0.985 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
0.985 * [taylor]: Taking taylor expansion of (log 1) in b
0.985 * [taylor]: Taking taylor expansion of 1 in b
0.985 * [taylor]: Taking taylor expansion of (log a) in b
0.985 * [taylor]: Taking taylor expansion of a in b
0.985 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.985 * [taylor]: Taking taylor expansion of b in b
0.991 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 3))) in b
0.991 * [taylor]: Taking taylor expansion of -5/81 in b
0.991 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 3)) in b
0.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
0.992 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
0.992 * [taylor]: Taking taylor expansion of 1/3 in b
0.992 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
0.992 * [taylor]: Taking taylor expansion of (log 1) in b
0.992 * [taylor]: Taking taylor expansion of 1 in b
0.992 * [taylor]: Taking taylor expansion of (log a) in b
0.992 * [taylor]: Taking taylor expansion of a in b
0.992 * [taylor]: Taking taylor expansion of (pow b 3) in b
0.992 * [taylor]: Taking taylor expansion of b in b
0.994 * [approximate]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in (a b) around 0
0.994 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in b
0.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in b
0.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in b
0.994 * [taylor]: Taking taylor expansion of 1/3 in b
0.994 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in b
0.994 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
0.994 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.994 * [taylor]: Taking taylor expansion of b in b
0.994 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.995 * [taylor]: Taking taylor expansion of a in b
0.995 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in a
0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in a
0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in a
0.995 * [taylor]: Taking taylor expansion of 1/3 in a
0.995 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in a
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.995 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.995 * [taylor]: Taking taylor expansion of b in a
0.995 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.995 * [taylor]: Taking taylor expansion of a in a
0.995 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in a
0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in a
0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in a
0.995 * [taylor]: Taking taylor expansion of 1/3 in a
0.995 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in a
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
0.995 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.995 * [taylor]: Taking taylor expansion of b in a
0.995 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.995 * [taylor]: Taking taylor expansion of a in a
0.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
0.996 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
0.996 * [taylor]: Taking taylor expansion of 1/3 in b
0.996 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
0.996 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
0.996 * [taylor]: Taking taylor expansion of (neg 1) in b
0.996 * [taylor]: Taking taylor expansion of 1 in b
0.996 * [taylor]: Taking taylor expansion of (log a) in b
0.996 * [taylor]: Taking taylor expansion of a in b
0.997 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) b)) in b
0.997 * [taylor]: Taking taylor expansion of -1/3 in b
0.997 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) b) in b
0.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
0.997 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
0.997 * [taylor]: Taking taylor expansion of 1/3 in b
0.997 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
0.997 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
0.997 * [taylor]: Taking taylor expansion of (neg 1) in b
0.997 * [taylor]: Taking taylor expansion of 1 in b
0.997 * [taylor]: Taking taylor expansion of (log a) in b
0.997 * [taylor]: Taking taylor expansion of a in b
0.997 * [taylor]: Taking taylor expansion of b in b
0.999 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 2))) in b
0.999 * [taylor]: Taking taylor expansion of -1/9 in b
0.999 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 2)) in b
0.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
0.999 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
0.999 * [taylor]: Taking taylor expansion of 1/3 in b
0.999 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
0.999 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
0.999 * [taylor]: Taking taylor expansion of (neg 1) in b
0.999 * [taylor]: Taking taylor expansion of 1 in b
0.999 * [taylor]: Taking taylor expansion of (log a) in b
0.999 * [taylor]: Taking taylor expansion of a in b
0.999 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.999 * [taylor]: Taking taylor expansion of b in b
1.003 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 3))) in b
1.003 * [taylor]: Taking taylor expansion of -5/81 in b
1.003 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 3)) in b
1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.003 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.003 * [taylor]: Taking taylor expansion of 1/3 in b
1.003 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.003 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.003 * [taylor]: Taking taylor expansion of (neg 1) in b
1.003 * [taylor]: Taking taylor expansion of 1 in b
1.004 * [taylor]: Taking taylor expansion of (log a) in b
1.004 * [taylor]: Taking taylor expansion of a in b
1.004 * [taylor]: Taking taylor expansion of (pow b 3) in b
1.004 * [taylor]: Taking taylor expansion of b in b
1.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2)
1.006 * [approximate]: Taking taylor expansion of (pow (- a b) 1/3) in (a b) around 0
1.006 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in b
1.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in b
1.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in b
1.006 * [taylor]: Taking taylor expansion of 1/3 in b
1.006 * [taylor]: Taking taylor expansion of (log (- a b)) in b
1.006 * [taylor]: Taking taylor expansion of (- a b) in b
1.006 * [taylor]: Taking taylor expansion of a in b
1.006 * [taylor]: Taking taylor expansion of b in b
1.006 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in a
1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in a
1.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in a
1.007 * [taylor]: Taking taylor expansion of 1/3 in a
1.007 * [taylor]: Taking taylor expansion of (log (- a b)) in a
1.007 * [taylor]: Taking taylor expansion of (- a b) in a
1.007 * [taylor]: Taking taylor expansion of a in a
1.007 * [taylor]: Taking taylor expansion of b in a
1.007 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in a
1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in a
1.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in a
1.007 * [taylor]: Taking taylor expansion of 1/3 in a
1.007 * [taylor]: Taking taylor expansion of (log (- a b)) in a
1.007 * [taylor]: Taking taylor expansion of (- a b) in a
1.007 * [taylor]: Taking taylor expansion of a in a
1.007 * [taylor]: Taking taylor expansion of b in a
1.007 * [taylor]: Taking taylor expansion of (pow (neg b) 1/3) in b
1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg b)))) in b
1.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg b))) in b
1.007 * [taylor]: Taking taylor expansion of 1/3 in b
1.007 * [taylor]: Taking taylor expansion of (log (neg b)) in b
1.007 * [taylor]: Taking taylor expansion of (neg b) in b
1.007 * [taylor]: Taking taylor expansion of b in b
1.008 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow b 2)) 1/3)) in b
1.008 * [taylor]: Taking taylor expansion of -1/3 in b
1.008 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow b 2)) 1/3) in b
1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow b 2))))) in b
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow b 2)))) in b
1.008 * [taylor]: Taking taylor expansion of 1/3 in b
1.008 * [taylor]: Taking taylor expansion of (log (/ -1 (pow b 2))) in b
1.008 * [taylor]: Taking taylor expansion of (/ -1 (pow b 2)) in b
1.008 * [taylor]: Taking taylor expansion of -1 in b
1.008 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.008 * [taylor]: Taking taylor expansion of b in b
1.009 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow b 5)) 1/3)) in b
1.009 * [taylor]: Taking taylor expansion of -1/9 in b
1.009 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow b 5)) 1/3) in b
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow b 5))))) in b
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow b 5)))) in b
1.009 * [taylor]: Taking taylor expansion of 1/3 in b
1.009 * [taylor]: Taking taylor expansion of (log (/ -1 (pow b 5))) in b
1.009 * [taylor]: Taking taylor expansion of (/ -1 (pow b 5)) in b
1.009 * [taylor]: Taking taylor expansion of -1 in b
1.009 * [taylor]: Taking taylor expansion of (pow b 5) in b
1.009 * [taylor]: Taking taylor expansion of b in b
1.010 * [approximate]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in (a b) around 0
1.010 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in b
1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in b
1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in b
1.010 * [taylor]: Taking taylor expansion of 1/3 in b
1.010 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in b
1.010 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
1.010 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.010 * [taylor]: Taking taylor expansion of a in b
1.010 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.010 * [taylor]: Taking taylor expansion of b in b
1.010 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in a
1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in a
1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in a
1.010 * [taylor]: Taking taylor expansion of 1/3 in a
1.010 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in a
1.010 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.010 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.010 * [taylor]: Taking taylor expansion of a in a
1.010 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.010 * [taylor]: Taking taylor expansion of b in a
1.011 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in a
1.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in a
1.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in a
1.011 * [taylor]: Taking taylor expansion of 1/3 in a
1.011 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in a
1.011 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.011 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.011 * [taylor]: Taking taylor expansion of a in a
1.011 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.011 * [taylor]: Taking taylor expansion of b in a
1.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.011 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.011 * [taylor]: Taking taylor expansion of 1/3 in b
1.011 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.011 * [taylor]: Taking taylor expansion of (log 1) in b
1.011 * [taylor]: Taking taylor expansion of 1 in b
1.011 * [taylor]: Taking taylor expansion of (log a) in b
1.011 * [taylor]: Taking taylor expansion of a in b
1.012 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log a)))) b)) in b
1.012 * [taylor]: Taking taylor expansion of -1/3 in b
1.012 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) b) in b
1.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.012 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.012 * [taylor]: Taking taylor expansion of 1/3 in b
1.012 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.012 * [taylor]: Taking taylor expansion of (log 1) in b
1.012 * [taylor]: Taking taylor expansion of 1 in b
1.012 * [taylor]: Taking taylor expansion of (log a) in b
1.012 * [taylor]: Taking taylor expansion of a in b
1.012 * [taylor]: Taking taylor expansion of b in b
1.014 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 2))) in b
1.014 * [taylor]: Taking taylor expansion of -1/9 in b
1.014 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 2)) in b
1.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.014 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.014 * [taylor]: Taking taylor expansion of 1/3 in b
1.014 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.014 * [taylor]: Taking taylor expansion of (log 1) in b
1.014 * [taylor]: Taking taylor expansion of 1 in b
1.014 * [taylor]: Taking taylor expansion of (log a) in b
1.014 * [taylor]: Taking taylor expansion of a in b
1.014 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.014 * [taylor]: Taking taylor expansion of b in b
1.018 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 3))) in b
1.018 * [taylor]: Taking taylor expansion of -5/81 in b
1.018 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 3)) in b
1.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.018 * [taylor]: Taking taylor expansion of 1/3 in b
1.018 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.018 * [taylor]: Taking taylor expansion of (log 1) in b
1.018 * [taylor]: Taking taylor expansion of 1 in b
1.018 * [taylor]: Taking taylor expansion of (log a) in b
1.018 * [taylor]: Taking taylor expansion of a in b
1.018 * [taylor]: Taking taylor expansion of (pow b 3) in b
1.018 * [taylor]: Taking taylor expansion of b in b
1.020 * [approximate]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in (a b) around 0
1.021 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in b
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in b
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in b
1.021 * [taylor]: Taking taylor expansion of 1/3 in b
1.021 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in b
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
1.021 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.021 * [taylor]: Taking taylor expansion of b in b
1.021 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.021 * [taylor]: Taking taylor expansion of a in b
1.021 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in a
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in a
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in a
1.021 * [taylor]: Taking taylor expansion of 1/3 in a
1.021 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in a
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.021 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.021 * [taylor]: Taking taylor expansion of b in a
1.021 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.021 * [taylor]: Taking taylor expansion of a in a
1.021 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in a
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in a
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in a
1.021 * [taylor]: Taking taylor expansion of 1/3 in a
1.021 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in a
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.021 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.021 * [taylor]: Taking taylor expansion of b in a
1.021 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.021 * [taylor]: Taking taylor expansion of a in a
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.022 * [taylor]: Taking taylor expansion of 1/3 in b
1.022 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.022 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.022 * [taylor]: Taking taylor expansion of (neg 1) in b
1.022 * [taylor]: Taking taylor expansion of 1 in b
1.022 * [taylor]: Taking taylor expansion of (log a) in b
1.022 * [taylor]: Taking taylor expansion of a in b
1.022 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) b)) in b
1.022 * [taylor]: Taking taylor expansion of -1/3 in b
1.022 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) b) in b
1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.023 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.023 * [taylor]: Taking taylor expansion of 1/3 in b
1.023 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.023 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.023 * [taylor]: Taking taylor expansion of (neg 1) in b
1.023 * [taylor]: Taking taylor expansion of 1 in b
1.023 * [taylor]: Taking taylor expansion of (log a) in b
1.023 * [taylor]: Taking taylor expansion of a in b
1.023 * [taylor]: Taking taylor expansion of b in b
1.025 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 2))) in b
1.025 * [taylor]: Taking taylor expansion of -1/9 in b
1.025 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 2)) in b
1.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.025 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.025 * [taylor]: Taking taylor expansion of 1/3 in b
1.025 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.025 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.025 * [taylor]: Taking taylor expansion of (neg 1) in b
1.025 * [taylor]: Taking taylor expansion of 1 in b
1.025 * [taylor]: Taking taylor expansion of (log a) in b
1.025 * [taylor]: Taking taylor expansion of a in b
1.025 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.025 * [taylor]: Taking taylor expansion of b in b
1.029 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 3))) in b
1.029 * [taylor]: Taking taylor expansion of -5/81 in b
1.029 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 3)) in b
1.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.029 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.029 * [taylor]: Taking taylor expansion of 1/3 in b
1.029 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.029 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.029 * [taylor]: Taking taylor expansion of (neg 1) in b
1.029 * [taylor]: Taking taylor expansion of 1 in b
1.029 * [taylor]: Taking taylor expansion of (log a) in b
1.029 * [taylor]: Taking taylor expansion of a in b
1.029 * [taylor]: Taking taylor expansion of (pow b 3) in b
1.029 * [taylor]: Taking taylor expansion of b in b
1.032 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1)
1.032 * [approximate]: Taking taylor expansion of (pow (- a b) 1/3) in (a b) around 0
1.032 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in b
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in b
1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in b
1.032 * [taylor]: Taking taylor expansion of 1/3 in b
1.032 * [taylor]: Taking taylor expansion of (log (- a b)) in b
1.032 * [taylor]: Taking taylor expansion of (- a b) in b
1.032 * [taylor]: Taking taylor expansion of a in b
1.032 * [taylor]: Taking taylor expansion of b in b
1.032 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in a
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in a
1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in a
1.032 * [taylor]: Taking taylor expansion of 1/3 in a
1.032 * [taylor]: Taking taylor expansion of (log (- a b)) in a
1.032 * [taylor]: Taking taylor expansion of (- a b) in a
1.032 * [taylor]: Taking taylor expansion of a in a
1.032 * [taylor]: Taking taylor expansion of b in a
1.032 * [taylor]: Taking taylor expansion of (pow (- a b) 1/3) in a
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- a b)))) in a
1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (- a b))) in a
1.032 * [taylor]: Taking taylor expansion of 1/3 in a
1.032 * [taylor]: Taking taylor expansion of (log (- a b)) in a
1.032 * [taylor]: Taking taylor expansion of (- a b) in a
1.032 * [taylor]: Taking taylor expansion of a in a
1.032 * [taylor]: Taking taylor expansion of b in a
1.032 * [taylor]: Taking taylor expansion of (pow (neg b) 1/3) in b
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg b)))) in b
1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg b))) in b
1.032 * [taylor]: Taking taylor expansion of 1/3 in b
1.033 * [taylor]: Taking taylor expansion of (log (neg b)) in b
1.033 * [taylor]: Taking taylor expansion of (neg b) in b
1.033 * [taylor]: Taking taylor expansion of b in b
1.033 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow b 2)) 1/3)) in b
1.033 * [taylor]: Taking taylor expansion of -1/3 in b
1.033 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow b 2)) 1/3) in b
1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow b 2))))) in b
1.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow b 2)))) in b
1.033 * [taylor]: Taking taylor expansion of 1/3 in b
1.033 * [taylor]: Taking taylor expansion of (log (/ -1 (pow b 2))) in b
1.033 * [taylor]: Taking taylor expansion of (/ -1 (pow b 2)) in b
1.033 * [taylor]: Taking taylor expansion of -1 in b
1.033 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.033 * [taylor]: Taking taylor expansion of b in b
1.035 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow b 5)) 1/3)) in b
1.035 * [taylor]: Taking taylor expansion of -1/9 in b
1.035 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow b 5)) 1/3) in b
1.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow b 5))))) in b
1.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow b 5)))) in b
1.035 * [taylor]: Taking taylor expansion of 1/3 in b
1.035 * [taylor]: Taking taylor expansion of (log (/ -1 (pow b 5))) in b
1.035 * [taylor]: Taking taylor expansion of (/ -1 (pow b 5)) in b
1.035 * [taylor]: Taking taylor expansion of -1 in b
1.035 * [taylor]: Taking taylor expansion of (pow b 5) in b
1.035 * [taylor]: Taking taylor expansion of b in b
1.035 * [approximate]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in (a b) around 0
1.035 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in b
1.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in b
1.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in b
1.035 * [taylor]: Taking taylor expansion of 1/3 in b
1.035 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in b
1.035 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
1.036 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.036 * [taylor]: Taking taylor expansion of a in b
1.036 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.036 * [taylor]: Taking taylor expansion of b in b
1.036 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in a
1.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in a
1.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in a
1.036 * [taylor]: Taking taylor expansion of 1/3 in a
1.036 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in a
1.036 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.036 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.036 * [taylor]: Taking taylor expansion of a in a
1.036 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.036 * [taylor]: Taking taylor expansion of b in a
1.036 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 1/3) in a
1.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 a) (/ 1 b))))) in a
1.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 a) (/ 1 b)))) in a
1.036 * [taylor]: Taking taylor expansion of 1/3 in a
1.036 * [taylor]: Taking taylor expansion of (log (- (/ 1 a) (/ 1 b))) in a
1.036 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.036 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.036 * [taylor]: Taking taylor expansion of a in a
1.036 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.036 * [taylor]: Taking taylor expansion of b in a
1.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.036 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.037 * [taylor]: Taking taylor expansion of 1/3 in b
1.037 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.037 * [taylor]: Taking taylor expansion of (log 1) in b
1.037 * [taylor]: Taking taylor expansion of 1 in b
1.037 * [taylor]: Taking taylor expansion of (log a) in b
1.037 * [taylor]: Taking taylor expansion of a in b
1.037 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log a)))) b)) in b
1.037 * [taylor]: Taking taylor expansion of -1/3 in b
1.037 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) b) in b
1.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.037 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.037 * [taylor]: Taking taylor expansion of 1/3 in b
1.037 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.037 * [taylor]: Taking taylor expansion of (log 1) in b
1.037 * [taylor]: Taking taylor expansion of 1 in b
1.037 * [taylor]: Taking taylor expansion of (log a) in b
1.037 * [taylor]: Taking taylor expansion of a in b
1.038 * [taylor]: Taking taylor expansion of b in b
1.039 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 2))) in b
1.039 * [taylor]: Taking taylor expansion of -1/9 in b
1.039 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 2)) in b
1.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.039 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.039 * [taylor]: Taking taylor expansion of 1/3 in b
1.039 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.039 * [taylor]: Taking taylor expansion of (log 1) in b
1.039 * [taylor]: Taking taylor expansion of 1 in b
1.039 * [taylor]: Taking taylor expansion of (log a) in b
1.039 * [taylor]: Taking taylor expansion of a in b
1.040 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.040 * [taylor]: Taking taylor expansion of b in b
1.043 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 3))) in b
1.043 * [taylor]: Taking taylor expansion of -5/81 in b
1.043 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log a)))) (pow b 3)) in b
1.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log a)))) in b
1.043 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log a))) in b
1.043 * [taylor]: Taking taylor expansion of 1/3 in b
1.043 * [taylor]: Taking taylor expansion of (- (log 1) (log a)) in b
1.043 * [taylor]: Taking taylor expansion of (log 1) in b
1.043 * [taylor]: Taking taylor expansion of 1 in b
1.043 * [taylor]: Taking taylor expansion of (log a) in b
1.043 * [taylor]: Taking taylor expansion of a in b
1.043 * [taylor]: Taking taylor expansion of (pow b 3) in b
1.043 * [taylor]: Taking taylor expansion of b in b
1.046 * [approximate]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in (a b) around 0
1.046 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in b
1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in b
1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in b
1.046 * [taylor]: Taking taylor expansion of 1/3 in b
1.046 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in b
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
1.046 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.046 * [taylor]: Taking taylor expansion of b in b
1.046 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.046 * [taylor]: Taking taylor expansion of a in b
1.046 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in a
1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in a
1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in a
1.046 * [taylor]: Taking taylor expansion of 1/3 in a
1.046 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in a
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.046 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.046 * [taylor]: Taking taylor expansion of b in a
1.046 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.046 * [taylor]: Taking taylor expansion of a in a
1.047 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 1/3) in a
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 b) (/ 1 a))))) in a
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 b) (/ 1 a)))) in a
1.047 * [taylor]: Taking taylor expansion of 1/3 in a
1.047 * [taylor]: Taking taylor expansion of (log (- (/ 1 b) (/ 1 a))) in a
1.047 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.047 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.047 * [taylor]: Taking taylor expansion of b in a
1.047 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.047 * [taylor]: Taking taylor expansion of a in a
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.047 * [taylor]: Taking taylor expansion of 1/3 in b
1.047 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.047 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.047 * [taylor]: Taking taylor expansion of (neg 1) in b
1.047 * [taylor]: Taking taylor expansion of 1 in b
1.047 * [taylor]: Taking taylor expansion of (log a) in b
1.047 * [taylor]: Taking taylor expansion of a in b
1.048 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) b)) in b
1.048 * [taylor]: Taking taylor expansion of -1/3 in b
1.048 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) b) in b
1.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.048 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.048 * [taylor]: Taking taylor expansion of 1/3 in b
1.048 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.048 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.048 * [taylor]: Taking taylor expansion of (neg 1) in b
1.048 * [taylor]: Taking taylor expansion of 1 in b
1.048 * [taylor]: Taking taylor expansion of (log a) in b
1.048 * [taylor]: Taking taylor expansion of a in b
1.048 * [taylor]: Taking taylor expansion of b in b
1.050 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 2))) in b
1.050 * [taylor]: Taking taylor expansion of -1/9 in b
1.050 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 2)) in b
1.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.050 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.050 * [taylor]: Taking taylor expansion of 1/3 in b
1.050 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.050 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.050 * [taylor]: Taking taylor expansion of (neg 1) in b
1.050 * [taylor]: Taking taylor expansion of 1 in b
1.050 * [taylor]: Taking taylor expansion of (log a) in b
1.050 * [taylor]: Taking taylor expansion of a in b
1.050 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.050 * [taylor]: Taking taylor expansion of b in b
1.054 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 3))) in b
1.054 * [taylor]: Taking taylor expansion of -5/81 in b
1.054 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log a)))) (pow b 3)) in b
1.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log a)))) in b
1.054 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log a))) in b
1.054 * [taylor]: Taking taylor expansion of 1/3 in b
1.054 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log a)) in b
1.054 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.054 * [taylor]: Taking taylor expansion of (neg 1) in b
1.054 * [taylor]: Taking taylor expansion of 1 in b
1.054 * [taylor]: Taking taylor expansion of (log a) in b
1.054 * [taylor]: Taking taylor expansion of a in b
1.054 * [taylor]: Taking taylor expansion of (pow b 3) in b
1.054 * [taylor]: Taking taylor expansion of b in b
1.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
1.057 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
1.057 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.057 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.057 * [taylor]: Taking taylor expansion of 1/3 in a
1.057 * [taylor]: Taking taylor expansion of (log a) in a
1.057 * [taylor]: Taking taylor expansion of a in a
1.057 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.057 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.057 * [taylor]: Taking taylor expansion of 1/3 in a
1.057 * [taylor]: Taking taylor expansion of (log a) in a
1.057 * [taylor]: Taking taylor expansion of a in a
1.063 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
1.063 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.063 * [taylor]: Taking taylor expansion of 1/3 in a
1.063 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.063 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.063 * [taylor]: Taking taylor expansion of a in a
1.063 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.063 * [taylor]: Taking taylor expansion of 1/3 in a
1.063 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.063 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.063 * [taylor]: Taking taylor expansion of a in a
1.069 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
1.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
1.069 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.069 * [taylor]: Taking taylor expansion of -1 in a
1.070 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.070 * [taylor]: Taking taylor expansion of 1/3 in a
1.070 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.070 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.070 * [taylor]: Taking taylor expansion of a in a
1.070 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
1.070 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.070 * [taylor]: Taking taylor expansion of -1 in a
1.070 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.070 * [taylor]: Taking taylor expansion of 1/3 in a
1.070 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.070 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.070 * [taylor]: Taking taylor expansion of a in a
1.079 * * * [progress]: simplifying candidates
1.080 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (- a b)))
  (exp (cbrt (- a b)))
  (cbrt (* (cbrt (- a b)) (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt 1)
  (cbrt (- a b))
  (cbrt (+ (sqrt a) (sqrt b)))
  (cbrt (- (sqrt a) (sqrt b)))
  (cbrt 1)
  (cbrt (- a b))
  (cbrt (- (pow a 3) (pow b 3)))
  (cbrt (+ (* a a) (+ (* b b) (* a b))))
  (cbrt (- (* a a) (* b b)))
  (cbrt (+ a b))
  (* (cbrt (cbrt (- a b))) (cbrt (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (* (* (cbrt (- a b)) (cbrt (- a b))) (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (log (cbrt (- a b)))
  (exp (cbrt (- a b)))
  (cbrt (* (cbrt (- a b)) (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt 1)
  (cbrt (- a b))
  (cbrt (+ (sqrt a) (sqrt b)))
  (cbrt (- (sqrt a) (sqrt b)))
  (cbrt 1)
  (cbrt (- a b))
  (cbrt (- (pow a 3) (pow b 3)))
  (cbrt (+ (* a a) (+ (* b b) (* a b))))
  (cbrt (- (* a a) (* b b)))
  (cbrt (+ a b))
  (* (cbrt (cbrt (- a b))) (cbrt (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (* (* (cbrt (- a b)) (cbrt (- a b))) (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (log (cbrt (- a b)))
  (exp (cbrt (- a b)))
  (cbrt (* (cbrt (- a b)) (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt 1)
  (cbrt (- a b))
  (cbrt (+ (sqrt a) (sqrt b)))
  (cbrt (- (sqrt a) (sqrt b)))
  (cbrt 1)
  (cbrt (- a b))
  (cbrt (- (pow a 3) (pow b 3)))
  (cbrt (+ (* a a) (+ (* b b) (* a b))))
  (cbrt (- (* a a) (* b b)))
  (cbrt (+ a b))
  (* (cbrt (cbrt (- a b))) (cbrt (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (* (* (cbrt (- a b)) (cbrt (- a b))) (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (- (exp (* 1/3 (+ (log (neg 1)) (log b)))) (+ (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log b))))) a)) (* 1/9 (* (pow a 2) (exp (* 1/3 (- (log -1) (* 5 (log b)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 a)))))
  (- (exp (* 1/3 (+ (log (neg 1)) (log b)))) (+ (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log b))))) a)) (* 1/9 (* (pow a 2) (exp (* 1/3 (- (log -1) (* 5 (log b)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 a)))))
  (- (exp (* 1/3 (+ (log (neg 1)) (log b)))) (+ (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log b))))) a)) (* 1/9 (* (pow a 2) (exp (* 1/3 (- (log -1) (* 5 (log b)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 a)))))
  (exp (* 1/3 (+ (log a) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a))))))
1.084 * * [simplify]: iteration  0 :  184  enodes  (cost  384 )
1.087 * * [simplify]: iteration  1 :  393  enodes  (cost  362 )
1.092 * * [simplify]: iteration  2 :  1041  enodes  (cost  313 )
1.114 * * [simplify]: iteration  3 :  4561  enodes  (cost  290 )
1.240 * * [simplify]: iteration  4 :  5001  enodes  (cost  290 )
1.243 * [simplify]: Simplified to:
   (log (cbrt (- a b)))
  (exp (cbrt (- a b)))
  (cbrt (* (cbrt (- a b)) (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt (sqrt (- a b)))
  1
  (cbrt (- a b))
  (cbrt (+ (sqrt a) (sqrt b)))
  (cbrt (- (sqrt a) (sqrt b)))
  1
  (cbrt (- a b))
  (cbrt (- (pow a 3) (pow b 3)))
  (cbrt (+ (* a a) (+ (* b b) (* a b))))
  (cbrt (- (* a a) (* b b)))
  (cbrt (+ a b))
  (* (cbrt (cbrt (- a b))) (cbrt (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (- a b)
  (sqrt (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (log (cbrt (- a b)))
  (exp (cbrt (- a b)))
  (cbrt (* (cbrt (- a b)) (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt (sqrt (- a b)))
  1
  (cbrt (- a b))
  (cbrt (+ (sqrt a) (sqrt b)))
  (cbrt (- (sqrt a) (sqrt b)))
  1
  (cbrt (- a b))
  (cbrt (- (pow a 3) (pow b 3)))
  (cbrt (+ (* a a) (+ (* b b) (* a b))))
  (cbrt (- (* a a) (* b b)))
  (cbrt (+ a b))
  (* (cbrt (cbrt (- a b))) (cbrt (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (- a b)
  (sqrt (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (log (cbrt (- a b)))
  (exp (cbrt (- a b)))
  (cbrt (* (cbrt (- a b)) (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (cbrt (sqrt (- a b)))
  (cbrt (sqrt (- a b)))
  1
  (cbrt (- a b))
  (cbrt (+ (sqrt a) (sqrt b)))
  (cbrt (- (sqrt a) (sqrt b)))
  1
  (cbrt (- a b))
  (cbrt (- (pow a 3) (pow b 3)))
  (cbrt (+ (* a a) (+ (* b b) (* a b))))
  (cbrt (- (* a a) (* b b)))
  (cbrt (+ a b))
  (* (cbrt (cbrt (- a b))) (cbrt (cbrt (- a b))))
  (cbrt (cbrt (- a b)))
  (- a b)
  (sqrt (cbrt (- a b)))
  (sqrt (cbrt (- a b)))
  (* 1/3 (log a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (pow a 1/3)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (+ (+ (* -1/9 (* (pow a 2) (exp (* 1/3 (- (log -1) (* 5 (log b))))))) (* (pow b 1/3) (pow -1 1/3))) (* a (* -1/3 (* (pow b -2/3) (pow -1 1/3)))))
  (pow a 1/3)
  (pow a 1/3)
  (+ (+ (* -1/9 (* (pow a 2) (exp (* 1/3 (- (log -1) (* 5 (log b))))))) (* (pow b 1/3) (pow -1 1/3))) (* a (* -1/3 (* (pow b -2/3) (pow -1 1/3)))))
  (pow a 1/3)
  (pow a 1/3)
  (+ (+ (* -1/9 (* (pow a 2) (exp (* 1/3 (- (log -1) (* 5 (log b))))))) (* (pow b 1/3) (pow -1 1/3))) (* a (* -1/3 (* (pow b -2/3) (pow -1 1/3)))))
  (pow a 1/3)
  (pow a 1/3)
  (pow a 1/3)
  (pow a 1/3)
  (pow a 1/3)
1.243 * * * [progress]: adding candidates to table
1.330 * [progress]: [Phase 3 of 3] Extracting.
1.330 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (sqrt (fabs (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))))> #<alt (λ (a b) (sqrt (fabs (* (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))) (/ (cbrt (- a b)) (cbrt a))))))> #<alt (λ (a b) (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a)))))>)
1.331 * * * [regime-changes]: Trying 2 branch expressions: (b a)
1.331 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (sqrt (fabs (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))))> #<alt (λ (a b) (sqrt (fabs (* (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))) (/ (cbrt (- a b)) (cbrt a))))))> #<alt (λ (a b) (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a)))))>)
1.368 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (sqrt (fabs (log (exp (* (/ (+ a b) a) (/ (- a b) a)))))))> #<alt (λ (a b) (sqrt (fabs (* (* (/ (+ a b) a) (/ (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt a) (cbrt a)))) (/ (cbrt (- a b)) (cbrt a))))))> #<alt (λ (a b) (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a)))))>)
1.404 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.404 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (fabs (log (exp (* (/ (+ a b) a) (/ (- a b) a))))))
1.405 * * [simplify]: iteration  0 :  13  enodes  (cost  9 )
1.405 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
1.405 * [simplify]: Simplified to:
   (sqrt (fabs (log (exp (* (/ (+ a b) a) (/ (- a b) a))))))
2.745 * [regime-testing]: End program error score: 0.020825723528031147