6.070 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* a1 a2) (* b1 b2))
0.021 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.021 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.023 * * [simplify]: iteration  2 :  37  enodes  (cost  7 )
0.028 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
0.035 * * [simplify]: iteration  4 :  75  enodes  (cost  7 )
0.046 * * [simplify]: iteration  done :  75  enodes  (cost  7 )
0.046 * [simplify]: Simplified to:
   (/ (* a1 a2) (* b1 b2))
0.046 * * [progress]: iteration 1 / 4
0.046 * * * [progress]: picking best candidate
0.048 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))>
0.048 * * * [progress]: localizing error
0.053 * * * [progress]: generating rewritten candidates
0.053 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.059 * * * [progress]: generating series expansions
0.059 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.059 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.059 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.059 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.059 * [taylor]: Taking taylor expansion of a1 in b2
0.059 * [taylor]: Taking taylor expansion of a2 in b2
0.059 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.059 * [taylor]: Taking taylor expansion of b1 in b2
0.059 * [taylor]: Taking taylor expansion of b2 in b2
0.060 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.060 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.060 * [taylor]: Taking taylor expansion of a1 in b1
0.060 * [taylor]: Taking taylor expansion of a2 in b1
0.060 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.060 * [taylor]: Taking taylor expansion of b1 in b1
0.060 * [taylor]: Taking taylor expansion of b2 in b1
0.060 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.060 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.060 * [taylor]: Taking taylor expansion of a1 in a2
0.060 * [taylor]: Taking taylor expansion of a2 in a2
0.060 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.060 * [taylor]: Taking taylor expansion of b1 in a2
0.060 * [taylor]: Taking taylor expansion of b2 in a2
0.061 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.061 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.061 * [taylor]: Taking taylor expansion of a1 in a1
0.061 * [taylor]: Taking taylor expansion of a2 in a1
0.061 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.061 * [taylor]: Taking taylor expansion of b1 in a1
0.061 * [taylor]: Taking taylor expansion of b2 in a1
0.061 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.061 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.061 * [taylor]: Taking taylor expansion of a1 in a1
0.061 * [taylor]: Taking taylor expansion of a2 in a1
0.061 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.061 * [taylor]: Taking taylor expansion of b1 in a1
0.061 * [taylor]: Taking taylor expansion of b2 in a1
0.062 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.062 * [taylor]: Taking taylor expansion of a2 in a2
0.062 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.062 * [taylor]: Taking taylor expansion of b1 in a2
0.062 * [taylor]: Taking taylor expansion of b2 in a2
0.062 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) in b1
0.062 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.062 * [taylor]: Taking taylor expansion of b1 in b1
0.062 * [taylor]: Taking taylor expansion of b2 in b1
0.062 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.062 * [taylor]: Taking taylor expansion of b2 in b2
0.063 * [taylor]: Taking taylor expansion of 0 in a2
0.064 * [taylor]: Taking taylor expansion of 0 in b1
0.064 * [taylor]: Taking taylor expansion of 0 in b1
0.064 * [taylor]: Taking taylor expansion of 0 in b2
0.066 * [taylor]: Taking taylor expansion of 0 in a2
0.066 * [taylor]: Taking taylor expansion of 0 in b1
0.066 * [taylor]: Taking taylor expansion of 0 in b1
0.066 * [taylor]: Taking taylor expansion of 0 in b1
0.066 * [taylor]: Taking taylor expansion of 0 in b2
0.066 * [taylor]: Taking taylor expansion of 0 in b2
0.067 * [taylor]: Taking taylor expansion of 0 in b2
0.069 * [taylor]: Taking taylor expansion of 0 in a2
0.069 * [taylor]: Taking taylor expansion of 0 in b1
0.070 * [taylor]: Taking taylor expansion of 0 in b1
0.070 * [taylor]: Taking taylor expansion of 0 in b1
0.070 * [taylor]: Taking taylor expansion of 0 in b1
0.070 * [taylor]: Taking taylor expansion of 0 in b2
0.070 * [taylor]: Taking taylor expansion of 0 in b2
0.070 * [taylor]: Taking taylor expansion of 0 in b2
0.070 * [taylor]: Taking taylor expansion of 0 in b2
0.070 * [taylor]: Taking taylor expansion of 0 in b2
0.071 * [taylor]: Taking taylor expansion of 0 in b2
0.072 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.072 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.072 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.072 * [taylor]: Taking taylor expansion of b1 in b2
0.072 * [taylor]: Taking taylor expansion of b2 in b2
0.072 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.072 * [taylor]: Taking taylor expansion of a1 in b2
0.072 * [taylor]: Taking taylor expansion of a2 in b2
0.072 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.072 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.072 * [taylor]: Taking taylor expansion of b1 in b1
0.072 * [taylor]: Taking taylor expansion of b2 in b1
0.072 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.072 * [taylor]: Taking taylor expansion of a1 in b1
0.072 * [taylor]: Taking taylor expansion of a2 in b1
0.073 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.073 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.073 * [taylor]: Taking taylor expansion of b1 in a2
0.073 * [taylor]: Taking taylor expansion of b2 in a2
0.073 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.073 * [taylor]: Taking taylor expansion of a1 in a2
0.073 * [taylor]: Taking taylor expansion of a2 in a2
0.073 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.073 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.073 * [taylor]: Taking taylor expansion of b1 in a1
0.073 * [taylor]: Taking taylor expansion of b2 in a1
0.073 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.073 * [taylor]: Taking taylor expansion of a1 in a1
0.073 * [taylor]: Taking taylor expansion of a2 in a1
0.074 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.074 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.074 * [taylor]: Taking taylor expansion of b1 in a1
0.074 * [taylor]: Taking taylor expansion of b2 in a1
0.074 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.074 * [taylor]: Taking taylor expansion of a1 in a1
0.074 * [taylor]: Taking taylor expansion of a2 in a1
0.074 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.074 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.074 * [taylor]: Taking taylor expansion of b1 in a2
0.074 * [taylor]: Taking taylor expansion of b2 in a2
0.074 * [taylor]: Taking taylor expansion of a2 in a2
0.074 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.074 * [taylor]: Taking taylor expansion of b1 in b1
0.074 * [taylor]: Taking taylor expansion of b2 in b1
0.075 * [taylor]: Taking taylor expansion of b2 in b2
0.075 * [taylor]: Taking taylor expansion of 0 in a2
0.076 * [taylor]: Taking taylor expansion of 0 in b1
0.076 * [taylor]: Taking taylor expansion of 0 in b2
0.077 * [taylor]: Taking taylor expansion of 0 in b2
0.078 * [taylor]: Taking taylor expansion of 0 in a2
0.078 * [taylor]: Taking taylor expansion of 0 in b1
0.078 * [taylor]: Taking taylor expansion of 0 in b2
0.079 * [taylor]: Taking taylor expansion of 0 in b1
0.079 * [taylor]: Taking taylor expansion of 0 in b2
0.079 * [taylor]: Taking taylor expansion of 0 in b2
0.079 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.079 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.079 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.079 * [taylor]: Taking taylor expansion of b1 in b2
0.079 * [taylor]: Taking taylor expansion of b2 in b2
0.079 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.079 * [taylor]: Taking taylor expansion of a1 in b2
0.079 * [taylor]: Taking taylor expansion of a2 in b2
0.080 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.080 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.080 * [taylor]: Taking taylor expansion of b1 in b1
0.080 * [taylor]: Taking taylor expansion of b2 in b1
0.080 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.080 * [taylor]: Taking taylor expansion of a1 in b1
0.080 * [taylor]: Taking taylor expansion of a2 in b1
0.080 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.080 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.080 * [taylor]: Taking taylor expansion of b1 in a2
0.080 * [taylor]: Taking taylor expansion of b2 in a2
0.080 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.080 * [taylor]: Taking taylor expansion of a1 in a2
0.080 * [taylor]: Taking taylor expansion of a2 in a2
0.081 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.081 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.081 * [taylor]: Taking taylor expansion of b1 in a1
0.081 * [taylor]: Taking taylor expansion of b2 in a1
0.081 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.081 * [taylor]: Taking taylor expansion of a1 in a1
0.081 * [taylor]: Taking taylor expansion of a2 in a1
0.081 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.081 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.081 * [taylor]: Taking taylor expansion of b1 in a1
0.081 * [taylor]: Taking taylor expansion of b2 in a1
0.081 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.081 * [taylor]: Taking taylor expansion of a1 in a1
0.081 * [taylor]: Taking taylor expansion of a2 in a1
0.082 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.082 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.082 * [taylor]: Taking taylor expansion of b1 in a2
0.082 * [taylor]: Taking taylor expansion of b2 in a2
0.082 * [taylor]: Taking taylor expansion of a2 in a2
0.082 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.082 * [taylor]: Taking taylor expansion of b1 in b1
0.082 * [taylor]: Taking taylor expansion of b2 in b1
0.082 * [taylor]: Taking taylor expansion of b2 in b2
0.083 * [taylor]: Taking taylor expansion of 0 in a2
0.083 * [taylor]: Taking taylor expansion of 0 in b1
0.083 * [taylor]: Taking taylor expansion of 0 in b2
0.084 * [taylor]: Taking taylor expansion of 0 in b2
0.085 * [taylor]: Taking taylor expansion of 0 in a2
0.085 * [taylor]: Taking taylor expansion of 0 in b1
0.085 * [taylor]: Taking taylor expansion of 0 in b2
0.086 * [taylor]: Taking taylor expansion of 0 in b1
0.086 * [taylor]: Taking taylor expansion of 0 in b2
0.086 * [taylor]: Taking taylor expansion of 0 in b2
0.087 * * * [progress]: simplifying candidates
0.087 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* a1 a2) (* b1 b2)))
  (log1p (/ (* a1 a2) (* b1 b2)))
  (- (+ (log a1) (log a2)) (+ (log b1) (log b2)))
  (- (+ (log a1) (log a2)) (log (* b1 b2)))
  (- (log (* a1 a2)) (+ (log b1) (log b2)))
  (- (log (* a1 a2)) (log (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (exp (/ (* a1 a2) (* b1 b2)))
  (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
  (/ (* (* (* a1 a1) a1) (* (* a2 a2) a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
  (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b1) b1) (* (* b2 b2) b2)))
  (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2)))
  (* (cbrt (/ (* a1 a2) (* b1 b2))) (cbrt (/ (* a1 a2) (* b1 b2))))
  (cbrt (/ (* a1 a2) (* b1 b2)))
  (* (* (/ (* a1 a2) (* b1 b2)) (/ (* a1 a2) (* b1 b2))) (/ (* a1 a2) (* b1 b2)))
  (sqrt (/ (* a1 a2) (* b1 b2)))
  (sqrt (/ (* a1 a2) (* b1 b2)))
  (- (* a1 a2))
  (- (* b1 b2))
  (/ a1 b1)
  (/ a2 b2)
  (/ 1 (* b1 b2))
  (/ (* b1 b2) (* a1 a2))
  (/ (* a1 a2) b1)
  (/ (* b1 b2) a2)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
0.089 * * [simplify]: iteration  0 :  55  enodes  (cost  285 )
0.097 * * [simplify]: iteration  1 :  162  enodes  (cost  277 )
0.135 * * [simplify]: iteration  2 :  870  enodes  (cost  207 )
0.399 * * [simplify]: iteration  done :  5000  enodes  (cost  207 )
0.399 * [simplify]: Simplified to:
   (expm1 (/ (* a1 a2) (* b1 b2)))
  (log1p (/ (* a1 a2) (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (log (/ (* a1 a2) (* b1 b2)))
  (exp (/ (* a1 a2) (* b1 b2)))
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (* (cbrt (/ (* a1 a2) (* b1 b2))) (cbrt (/ (* a1 a2) (* b1 b2))))
  (cbrt (/ (* a1 a2) (* b1 b2)))
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (sqrt (/ (* a1 a2) (* b1 b2)))
  (sqrt (/ (* a1 a2) (* b1 b2)))
  (- (* a1 a2))
  (- (* b1 b2))
  (/ a1 b1)
  (/ a2 b2)
  (/ 1 (* b1 b2))
  (/ (* b1 b2) (* a1 a2))
  (/ (* a1 a2) b1)
  (* b1 (/ b2 a2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
0.399 * * * [progress]: adding candidates to table
0.439 * * [progress]: iteration 2 / 4
0.439 * * * [progress]: picking best candidate
0.450 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))>
0.450 * * * [progress]: localizing error
0.456 * * * [progress]: generating rewritten candidates
0.456 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.474 * * * [progress]: generating series expansions
0.474 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.474 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 a2 b2) around 0
0.474 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.474 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.474 * [taylor]: Taking taylor expansion of a1 in b2
0.474 * [taylor]: Taking taylor expansion of a2 in b2
0.474 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.474 * [taylor]: Taking taylor expansion of b1 in b2
0.474 * [taylor]: Taking taylor expansion of b2 in b2
0.475 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.475 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.475 * [taylor]: Taking taylor expansion of a1 in a2
0.475 * [taylor]: Taking taylor expansion of a2 in a2
0.475 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.475 * [taylor]: Taking taylor expansion of b1 in a2
0.475 * [taylor]: Taking taylor expansion of b2 in a2
0.476 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.476 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.476 * [taylor]: Taking taylor expansion of a1 in b1
0.476 * [taylor]: Taking taylor expansion of a2 in b1
0.476 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.476 * [taylor]: Taking taylor expansion of b1 in b1
0.476 * [taylor]: Taking taylor expansion of b2 in b1
0.476 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.476 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.476 * [taylor]: Taking taylor expansion of a1 in a1
0.476 * [taylor]: Taking taylor expansion of a2 in a1
0.476 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.476 * [taylor]: Taking taylor expansion of b1 in a1
0.476 * [taylor]: Taking taylor expansion of b2 in a1
0.477 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.477 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.477 * [taylor]: Taking taylor expansion of a1 in a1
0.477 * [taylor]: Taking taylor expansion of a2 in a1
0.477 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.477 * [taylor]: Taking taylor expansion of b1 in a1
0.477 * [taylor]: Taking taylor expansion of b2 in a1
0.477 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.477 * [taylor]: Taking taylor expansion of a2 in b1
0.477 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.477 * [taylor]: Taking taylor expansion of b1 in b1
0.477 * [taylor]: Taking taylor expansion of b2 in b1
0.477 * [taylor]: Taking taylor expansion of (/ a2 b2) in a2
0.478 * [taylor]: Taking taylor expansion of a2 in a2
0.478 * [taylor]: Taking taylor expansion of b2 in a2
0.478 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
0.478 * [taylor]: Taking taylor expansion of b2 in b2
0.479 * [taylor]: Taking taylor expansion of 0 in b1
0.479 * [taylor]: Taking taylor expansion of 0 in a2
0.479 * [taylor]: Taking taylor expansion of 0 in b2
0.479 * [taylor]: Taking taylor expansion of 0 in b2
0.481 * [taylor]: Taking taylor expansion of 0 in b1
0.481 * [taylor]: Taking taylor expansion of 0 in a2
0.481 * [taylor]: Taking taylor expansion of 0 in b2
0.482 * [taylor]: Taking taylor expansion of 0 in a2
0.482 * [taylor]: Taking taylor expansion of 0 in b2
0.482 * [taylor]: Taking taylor expansion of 0 in b2
0.482 * [taylor]: Taking taylor expansion of 0 in b2
0.484 * [taylor]: Taking taylor expansion of 0 in b1
0.484 * [taylor]: Taking taylor expansion of 0 in a2
0.484 * [taylor]: Taking taylor expansion of 0 in b2
0.484 * [taylor]: Taking taylor expansion of 0 in a2
0.484 * [taylor]: Taking taylor expansion of 0 in b2
0.485 * [taylor]: Taking taylor expansion of 0 in a2
0.485 * [taylor]: Taking taylor expansion of 0 in b2
0.485 * [taylor]: Taking taylor expansion of 0 in b2
0.485 * [taylor]: Taking taylor expansion of 0 in b2
0.485 * [taylor]: Taking taylor expansion of 0 in b2
0.486 * [taylor]: Taking taylor expansion of 0 in b2
0.486 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.486 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.486 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.486 * [taylor]: Taking taylor expansion of b1 in b2
0.486 * [taylor]: Taking taylor expansion of b2 in b2
0.486 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.486 * [taylor]: Taking taylor expansion of a1 in b2
0.486 * [taylor]: Taking taylor expansion of a2 in b2
0.486 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.486 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.486 * [taylor]: Taking taylor expansion of b1 in a2
0.486 * [taylor]: Taking taylor expansion of b2 in a2
0.486 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.486 * [taylor]: Taking taylor expansion of a1 in a2
0.486 * [taylor]: Taking taylor expansion of a2 in a2
0.487 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.487 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.487 * [taylor]: Taking taylor expansion of b1 in b1
0.487 * [taylor]: Taking taylor expansion of b2 in b1
0.487 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.487 * [taylor]: Taking taylor expansion of a1 in b1
0.487 * [taylor]: Taking taylor expansion of a2 in b1
0.487 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.487 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.487 * [taylor]: Taking taylor expansion of b1 in a1
0.487 * [taylor]: Taking taylor expansion of b2 in a1
0.487 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.487 * [taylor]: Taking taylor expansion of a1 in a1
0.487 * [taylor]: Taking taylor expansion of a2 in a1
0.488 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.488 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.488 * [taylor]: Taking taylor expansion of b1 in a1
0.488 * [taylor]: Taking taylor expansion of b2 in a1
0.488 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.488 * [taylor]: Taking taylor expansion of a1 in a1
0.488 * [taylor]: Taking taylor expansion of a2 in a1
0.488 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.488 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.488 * [taylor]: Taking taylor expansion of b1 in b1
0.488 * [taylor]: Taking taylor expansion of b2 in b1
0.488 * [taylor]: Taking taylor expansion of a2 in b1
0.489 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.489 * [taylor]: Taking taylor expansion of b2 in a2
0.489 * [taylor]: Taking taylor expansion of a2 in a2
0.489 * [taylor]: Taking taylor expansion of b2 in b2
0.489 * [taylor]: Taking taylor expansion of 0 in b1
0.489 * [taylor]: Taking taylor expansion of 0 in a2
0.490 * [taylor]: Taking taylor expansion of 0 in a2
0.491 * [taylor]: Taking taylor expansion of 0 in b2
0.492 * [taylor]: Taking taylor expansion of 0 in b1
0.492 * [taylor]: Taking taylor expansion of 0 in a2
0.492 * [taylor]: Taking taylor expansion of 0 in a2
0.493 * [taylor]: Taking taylor expansion of 0 in a2
0.493 * [taylor]: Taking taylor expansion of 0 in b2
0.493 * [taylor]: Taking taylor expansion of 0 in b2
0.494 * [taylor]: Taking taylor expansion of 0 in b2
0.494 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 a2 b2) around 0
0.494 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.494 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.494 * [taylor]: Taking taylor expansion of b1 in b2
0.494 * [taylor]: Taking taylor expansion of b2 in b2
0.494 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.494 * [taylor]: Taking taylor expansion of a1 in b2
0.494 * [taylor]: Taking taylor expansion of a2 in b2
0.494 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.494 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.494 * [taylor]: Taking taylor expansion of b1 in a2
0.494 * [taylor]: Taking taylor expansion of b2 in a2
0.494 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.495 * [taylor]: Taking taylor expansion of a1 in a2
0.495 * [taylor]: Taking taylor expansion of a2 in a2
0.495 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.495 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.495 * [taylor]: Taking taylor expansion of b1 in b1
0.495 * [taylor]: Taking taylor expansion of b2 in b1
0.495 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.495 * [taylor]: Taking taylor expansion of a1 in b1
0.495 * [taylor]: Taking taylor expansion of a2 in b1
0.495 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.495 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.495 * [taylor]: Taking taylor expansion of b1 in a1
0.495 * [taylor]: Taking taylor expansion of b2 in a1
0.495 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.495 * [taylor]: Taking taylor expansion of a1 in a1
0.495 * [taylor]: Taking taylor expansion of a2 in a1
0.496 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.496 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.496 * [taylor]: Taking taylor expansion of b1 in a1
0.496 * [taylor]: Taking taylor expansion of b2 in a1
0.496 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.496 * [taylor]: Taking taylor expansion of a1 in a1
0.496 * [taylor]: Taking taylor expansion of a2 in a1
0.496 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.496 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.496 * [taylor]: Taking taylor expansion of b1 in b1
0.496 * [taylor]: Taking taylor expansion of b2 in b1
0.496 * [taylor]: Taking taylor expansion of a2 in b1
0.497 * [taylor]: Taking taylor expansion of (/ b2 a2) in a2
0.497 * [taylor]: Taking taylor expansion of b2 in a2
0.497 * [taylor]: Taking taylor expansion of a2 in a2
0.497 * [taylor]: Taking taylor expansion of b2 in b2
0.497 * [taylor]: Taking taylor expansion of 0 in b1
0.497 * [taylor]: Taking taylor expansion of 0 in a2
0.498 * [taylor]: Taking taylor expansion of 0 in a2
0.499 * [taylor]: Taking taylor expansion of 0 in b2
0.500 * [taylor]: Taking taylor expansion of 0 in b1
0.500 * [taylor]: Taking taylor expansion of 0 in a2
0.500 * [taylor]: Taking taylor expansion of 0 in a2
0.501 * [taylor]: Taking taylor expansion of 0 in a2
0.501 * [taylor]: Taking taylor expansion of 0 in b2
0.501 * [taylor]: Taking taylor expansion of 0 in b2
0.502 * [taylor]: Taking taylor expansion of 0 in b2
0.502 * * * [progress]: simplifying candidates
0.503 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ a1 b1) (/ a2 b2)))
  (log1p (* (/ a1 b1) (/ a2 b2)))
  (* (/ a1 b1) (/ a2 b2))
  (+ (- (log a1) (log b1)) (- (log a2) (log b2)))
  (+ (- (log a1) (log b1)) (log (/ a2 b2)))
  (+ (log (/ a1 b1)) (- (log a2) (log b2)))
  (+ (log (/ a1 b1)) (log (/ a2 b2)))
  (log (* (/ a1 b1) (/ a2 b2)))
  (exp (* (/ a1 b1) (/ a2 b2)))
  (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
  (* (/ (* (* a1 a1) a1) (* (* b1 b1) b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
  (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (/ (* (* a2 a2) a2) (* (* b2 b2) b2)))
  (* (* (* (/ a1 b1) (/ a1 b1)) (/ a1 b1)) (* (* (/ a2 b2) (/ a2 b2)) (/ a2 b2)))
  (* (cbrt (* (/ a1 b1) (/ a2 b2))) (cbrt (* (/ a1 b1) (/ a2 b2))))
  (cbrt (* (/ a1 b1) (/ a2 b2)))
  (* (* (* (/ a1 b1) (/ a2 b2)) (* (/ a1 b1) (/ a2 b2))) (* (/ a1 b1) (/ a2 b2)))
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (sqrt (* (/ a1 b1) (/ a2 b2)))
  (* a1 a2)
  (* b1 b2)
  (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2)))
  (* (sqrt (/ a1 b1)) (sqrt (/ a2 b2)))
  (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2)))
  (* (sqrt (/ a1 b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2)))
  (* (/ (sqrt a1) (sqrt b1)) (sqrt (/ a2 b2)))
  (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ (sqrt a1) (sqrt b1)) (/ (sqrt a2) (sqrt b2)))
  (* (/ a1 b1) (* (cbrt (/ a2 b2)) (cbrt (/ a2 b2))))
  (* (/ a1 b1) (sqrt (/ a2 b2)))
  (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) (sqrt b2)))
  (* (/ a1 b1) (/ (* (cbrt a2) (cbrt a2)) 1))
  (* (/ a1 b1) (/ (sqrt a2) (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ (sqrt a2) (sqrt b2)))
  (* (/ a1 b1) (/ (sqrt a2) 1))
  (* (/ a1 b1) (/ 1 (* (cbrt b2) (cbrt b2))))
  (* (/ a1 b1) (/ 1 (sqrt b2)))
  (* (/ a1 b1) (/ 1 1))
  (* (/ a1 b1) 1)
  (* (/ a1 b1) a2)
  (* (cbrt (/ a1 b1)) (/ a2 b2))
  (* (sqrt (/ a1 b1)) (/ a2 b2))
  (* (/ (cbrt a1) (cbrt b1)) (/ a2 b2))
  (* (/ (cbrt a1) (sqrt b1)) (/ a2 b2))
  (* (/ (cbrt a1) b1) (/ a2 b2))
  (* (/ (sqrt a1) (cbrt b1)) (/ a2 b2))
  (* (/ (sqrt a1) (sqrt b1)) (/ a2 b2))
  (* (/ (sqrt a1) b1) (/ a2 b2))
  (* (/ a1 (cbrt b1)) (/ a2 b2))
  (* (/ a1 (sqrt b1)) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ a1 b1) (/ a2 b2))
  (* (/ 1 b1) (/ a2 b2))
  (* (/ a1 b1) a2)
  (* a1 (/ a2 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
0.505 * * [simplify]: iteration  0 :  112  enodes  (cost  581 )
0.523 * * [simplify]: iteration  1 :  325  enodes  (cost  559 )