14.656 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* a1 a2) (* b1 b2))
0.019 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.020 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.022 * * [simplify]: iteration  2 :  37  enodes  (cost  7 )
0.026 * * [simplify]: iteration  3 :  64  enodes  (cost  7 )
0.036 * * [simplify]: iteration  4 :  75  enodes  (cost  7 )
0.045 * * [simplify]: iteration  done :  75  enodes  (cost  7 )
0.045 * [simplify]: Simplified to:
   (/ (* a1 a2) (* b1 b2))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.047 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2)))>
0.047 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.052 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.057 * * * [progress]: generating series expansions
0.057 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.057 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 a2 b1 b2) around 0
0.057 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.057 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.057 * [taylor]: Taking taylor expansion of a1 in b2
0.057 * [taylor]: Taking taylor expansion of a2 in b2
0.057 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.057 * [taylor]: Taking taylor expansion of b1 in b2
0.057 * [taylor]: Taking taylor expansion of b2 in b2
0.058 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.058 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.058 * [taylor]: Taking taylor expansion of a1 in b1
0.058 * [taylor]: Taking taylor expansion of a2 in b1
0.058 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.058 * [taylor]: Taking taylor expansion of b1 in b1
0.058 * [taylor]: Taking taylor expansion of b2 in b1
0.058 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.058 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.058 * [taylor]: Taking taylor expansion of a1 in a2
0.058 * [taylor]: Taking taylor expansion of a2 in a2
0.058 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.059 * [taylor]: Taking taylor expansion of b1 in a2
0.059 * [taylor]: Taking taylor expansion of b2 in a2
0.059 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.059 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.059 * [taylor]: Taking taylor expansion of a1 in a1
0.059 * [taylor]: Taking taylor expansion of a2 in a1
0.059 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.059 * [taylor]: Taking taylor expansion of b1 in a1
0.059 * [taylor]: Taking taylor expansion of b2 in a1
0.059 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.059 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.059 * [taylor]: Taking taylor expansion of a1 in a1
0.059 * [taylor]: Taking taylor expansion of a2 in a1
0.059 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.059 * [taylor]: Taking taylor expansion of b1 in a1
0.059 * [taylor]: Taking taylor expansion of b2 in a1
0.060 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) 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.060 * [taylor]: Taking taylor expansion of (/ 1 (* b1 b2)) 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 (/ 1 b2) in b2
0.060 * [taylor]: Taking taylor expansion of b2 in b2
0.061 * [taylor]: Taking taylor expansion of 0 in a2
0.061 * [taylor]: Taking taylor expansion of 0 in b1
0.061 * [taylor]: Taking taylor expansion of 0 in b1
0.062 * [taylor]: Taking taylor expansion of 0 in b2
0.064 * [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 b1
0.064 * [taylor]: Taking taylor expansion of 0 in b2
0.064 * [taylor]: Taking taylor expansion of 0 in b2
0.065 * [taylor]: Taking taylor expansion of 0 in b2
0.067 * [taylor]: Taking taylor expansion of 0 in a2
0.067 * [taylor]: Taking taylor expansion of 0 in b1
0.067 * [taylor]: Taking taylor expansion of 0 in b1
0.067 * [taylor]: Taking taylor expansion of 0 in b1
0.068 * [taylor]: Taking taylor expansion of 0 in b1
0.068 * [taylor]: Taking taylor expansion of 0 in b2
0.068 * [taylor]: Taking taylor expansion of 0 in b2
0.068 * [taylor]: Taking taylor expansion of 0 in b2
0.069 * [taylor]: Taking taylor expansion of 0 in b2
0.069 * [taylor]: Taking taylor expansion of 0 in b2
0.070 * [taylor]: Taking taylor expansion of 0 in b2
0.070 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.070 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.070 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.070 * [taylor]: Taking taylor expansion of b1 in b2
0.070 * [taylor]: Taking taylor expansion of b2 in b2
0.070 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.070 * [taylor]: Taking taylor expansion of a1 in b2
0.070 * [taylor]: Taking taylor expansion of a2 in b2
0.070 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.070 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.070 * [taylor]: Taking taylor expansion of b1 in b1
0.071 * [taylor]: Taking taylor expansion of b2 in b1
0.071 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.071 * [taylor]: Taking taylor expansion of a1 in b1
0.071 * [taylor]: Taking taylor expansion of a2 in b1
0.071 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.071 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.071 * [taylor]: Taking taylor expansion of b1 in a2
0.071 * [taylor]: Taking taylor expansion of b2 in a2
0.071 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.071 * [taylor]: Taking taylor expansion of a1 in a2
0.071 * [taylor]: Taking taylor expansion of a2 in a2
0.072 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.072 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.072 * [taylor]: Taking taylor expansion of b1 in a1
0.072 * [taylor]: Taking taylor expansion of b2 in a1
0.072 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.072 * [taylor]: Taking taylor expansion of a1 in a1
0.072 * [taylor]: Taking taylor expansion of a2 in a1
0.072 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.072 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.072 * [taylor]: Taking taylor expansion of b1 in a1
0.072 * [taylor]: Taking taylor expansion of b2 in a1
0.072 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.072 * [taylor]: Taking taylor expansion of a1 in a1
0.072 * [taylor]: Taking taylor expansion of a2 in a1
0.073 * [taylor]: Taking taylor expansion of (/ (* b1 b2) 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 a2 in a2
0.073 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.073 * [taylor]: Taking taylor expansion of b1 in b1
0.073 * [taylor]: Taking taylor expansion of b2 in b1
0.073 * [taylor]: Taking taylor expansion of b2 in b2
0.074 * [taylor]: Taking taylor expansion of 0 in a2
0.074 * [taylor]: Taking taylor expansion of 0 in b1
0.074 * [taylor]: Taking taylor expansion of 0 in b2
0.075 * [taylor]: Taking taylor expansion of 0 in b2
0.076 * [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 b1
0.077 * [taylor]: Taking taylor expansion of 0 in b2
0.077 * [taylor]: Taking taylor expansion of 0 in b2
0.078 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 a2 b1 b2) around 0
0.078 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.078 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.078 * [taylor]: Taking taylor expansion of b1 in b2
0.078 * [taylor]: Taking taylor expansion of b2 in b2
0.078 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.078 * [taylor]: Taking taylor expansion of a1 in b2
0.078 * [taylor]: Taking taylor expansion of a2 in b2
0.078 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.078 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.078 * [taylor]: Taking taylor expansion of b1 in b1
0.078 * [taylor]: Taking taylor expansion of b2 in b1
0.078 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.078 * [taylor]: Taking taylor expansion of a1 in b1
0.078 * [taylor]: Taking taylor expansion of a2 in b1
0.079 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.079 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.079 * [taylor]: Taking taylor expansion of b1 in a2
0.079 * [taylor]: Taking taylor expansion of b2 in a2
0.079 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.079 * [taylor]: Taking taylor expansion of a1 in a2
0.079 * [taylor]: Taking taylor expansion of a2 in a2
0.079 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.079 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.079 * [taylor]: Taking taylor expansion of b1 in a1
0.079 * [taylor]: Taking taylor expansion of b2 in a1
0.079 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.079 * [taylor]: Taking taylor expansion of a1 in a1
0.079 * [taylor]: Taking taylor expansion of a2 in a1
0.080 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.080 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.080 * [taylor]: Taking taylor expansion of b1 in a1
0.080 * [taylor]: Taking taylor expansion of b2 in a1
0.080 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.080 * [taylor]: Taking taylor expansion of a1 in a1
0.080 * [taylor]: Taking taylor expansion of a2 in a1
0.080 * [taylor]: Taking taylor expansion of (/ (* b1 b2) 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 a2 in a2
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 b2 in b2
0.081 * [taylor]: Taking taylor expansion of 0 in a2
0.082 * [taylor]: Taking taylor expansion of 0 in b1
0.082 * [taylor]: Taking taylor expansion of 0 in b2
0.082 * [taylor]: Taking taylor expansion of 0 in b2
0.083 * [taylor]: Taking taylor expansion of 0 in a2
0.084 * [taylor]: Taking taylor expansion of 0 in b1
0.084 * [taylor]: Taking taylor expansion of 0 in b2
0.085 * [taylor]: Taking taylor expansion of 0 in b1
0.085 * [taylor]: Taking taylor expansion of 0 in b2
0.085 * [taylor]: Taking taylor expansion of 0 in b2
0.085 * * * [progress]: simplifying candidates
0.085 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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.087 * * [simplify]: iteration  0 :  53  enodes  (cost  269 )
0.095 * * [simplify]: iteration  1 :  160  enodes  (cost  261 )
0.138 * * [simplify]: iteration  2 :  860  enodes  (cost  191 )
0.488 * * [simplify]: iteration  done :  5001  enodes  (cost  191 )
0.488 * [simplify]: Simplified to:
   (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)
  (* b2 (/ b1 a2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
0.488 * * * [progress]: adding candidates to table
0.526 * * [progress]: iteration 2 / 4
0.526 * * * [progress]: picking best candidate
0.535 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))>
0.535 * * * [progress]: localizing error
0.540 * * * [progress]: generating rewritten candidates
0.540 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.545 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.557 * * * [progress]: generating series expansions
0.557 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.558 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b2 b1 a2) around 0
0.558 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
0.558 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.558 * [taylor]: Taking taylor expansion of a1 in a2
0.558 * [taylor]: Taking taylor expansion of a2 in a2
0.558 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.558 * [taylor]: Taking taylor expansion of b1 in a2
0.558 * [taylor]: Taking taylor expansion of b2 in a2
0.558 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
0.558 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.558 * [taylor]: Taking taylor expansion of a1 in b1
0.558 * [taylor]: Taking taylor expansion of a2 in b1
0.558 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.558 * [taylor]: Taking taylor expansion of b1 in b1
0.558 * [taylor]: Taking taylor expansion of b2 in b1
0.559 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
0.559 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.559 * [taylor]: Taking taylor expansion of a1 in b2
0.559 * [taylor]: Taking taylor expansion of a2 in b2
0.559 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.559 * [taylor]: Taking taylor expansion of b1 in b2
0.559 * [taylor]: Taking taylor expansion of b2 in b2
0.559 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.559 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.559 * [taylor]: Taking taylor expansion of a1 in a1
0.559 * [taylor]: Taking taylor expansion of a2 in a1
0.559 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.559 * [taylor]: Taking taylor expansion of b1 in a1
0.559 * [taylor]: Taking taylor expansion of b2 in a1
0.560 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
0.560 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.560 * [taylor]: Taking taylor expansion of a1 in a1
0.560 * [taylor]: Taking taylor expansion of a2 in a1
0.560 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.560 * [taylor]: Taking taylor expansion of b1 in a1
0.560 * [taylor]: Taking taylor expansion of b2 in a1
0.560 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.560 * [taylor]: Taking taylor expansion of a2 in b2
0.560 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.560 * [taylor]: Taking taylor expansion of b1 in b2
0.560 * [taylor]: Taking taylor expansion of b2 in b2
0.561 * [taylor]: Taking taylor expansion of (/ a2 b1) in b1
0.561 * [taylor]: Taking taylor expansion of a2 in b1
0.561 * [taylor]: Taking taylor expansion of b1 in b1
0.561 * [taylor]: Taking taylor expansion of a2 in a2
0.561 * [taylor]: Taking taylor expansion of 0 in b2
0.562 * [taylor]: Taking taylor expansion of 0 in b1
0.562 * [taylor]: Taking taylor expansion of 0 in a2
0.564 * [taylor]: Taking taylor expansion of 0 in b2
0.564 * [taylor]: Taking taylor expansion of 0 in b1
0.564 * [taylor]: Taking taylor expansion of 0 in b1
0.564 * [taylor]: Taking taylor expansion of 0 in a2
0.565 * [taylor]: Taking taylor expansion of 0 in a2
0.565 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b2 b1 a2) around 0
0.565 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.565 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.565 * [taylor]: Taking taylor expansion of b1 in a2
0.565 * [taylor]: Taking taylor expansion of b2 in a2
0.565 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.565 * [taylor]: Taking taylor expansion of a1 in a2
0.565 * [taylor]: Taking taylor expansion of a2 in a2
0.566 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.566 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.566 * [taylor]: Taking taylor expansion of b1 in b1
0.566 * [taylor]: Taking taylor expansion of b2 in b1
0.566 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.566 * [taylor]: Taking taylor expansion of a1 in b1
0.566 * [taylor]: Taking taylor expansion of a2 in b1
0.566 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.566 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.566 * [taylor]: Taking taylor expansion of b1 in b2
0.566 * [taylor]: Taking taylor expansion of b2 in b2
0.566 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.566 * [taylor]: Taking taylor expansion of a1 in b2
0.566 * [taylor]: Taking taylor expansion of a2 in b2
0.567 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.567 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.567 * [taylor]: Taking taylor expansion of b1 in a1
0.567 * [taylor]: Taking taylor expansion of b2 in a1
0.567 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.567 * [taylor]: Taking taylor expansion of a1 in a1
0.567 * [taylor]: Taking taylor expansion of a2 in a1
0.567 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.567 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.567 * [taylor]: Taking taylor expansion of b1 in a1
0.567 * [taylor]: Taking taylor expansion of b2 in a1
0.567 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.567 * [taylor]: Taking taylor expansion of a1 in a1
0.567 * [taylor]: Taking taylor expansion of a2 in a1
0.568 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.568 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.568 * [taylor]: Taking taylor expansion of b1 in b2
0.568 * [taylor]: Taking taylor expansion of b2 in b2
0.568 * [taylor]: Taking taylor expansion of a2 in b2
0.568 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1
0.568 * [taylor]: Taking taylor expansion of b1 in b1
0.568 * [taylor]: Taking taylor expansion of a2 in b1
0.568 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
0.568 * [taylor]: Taking taylor expansion of a2 in a2
0.569 * [taylor]: Taking taylor expansion of 0 in b2
0.569 * [taylor]: Taking taylor expansion of 0 in b1
0.569 * [taylor]: Taking taylor expansion of 0 in a2
0.570 * [taylor]: Taking taylor expansion of 0 in b1
0.570 * [taylor]: Taking taylor expansion of 0 in a2
0.570 * [taylor]: Taking taylor expansion of 0 in a2
0.571 * [taylor]: Taking taylor expansion of 0 in b2
0.572 * [taylor]: Taking taylor expansion of 0 in b1
0.572 * [taylor]: Taking taylor expansion of 0 in a2
0.572 * [taylor]: Taking taylor expansion of 0 in b1
0.572 * [taylor]: Taking taylor expansion of 0 in a2
0.572 * [taylor]: Taking taylor expansion of 0 in b1
0.572 * [taylor]: Taking taylor expansion of 0 in a2
0.572 * [taylor]: Taking taylor expansion of 0 in a2
0.572 * [taylor]: Taking taylor expansion of 0 in a2
0.572 * [taylor]: Taking taylor expansion of 0 in a2
0.574 * [taylor]: Taking taylor expansion of 0 in b2
0.574 * [taylor]: Taking taylor expansion of 0 in b1
0.574 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in b1
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in b1
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in b1
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.575 * [taylor]: Taking taylor expansion of 0 in a2
0.576 * [taylor]: Taking taylor expansion of 0 in a2
0.576 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b2 b1 a2) around 0
0.576 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
0.576 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.576 * [taylor]: Taking taylor expansion of b1 in a2
0.576 * [taylor]: Taking taylor expansion of b2 in a2
0.576 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
0.576 * [taylor]: Taking taylor expansion of a1 in a2
0.576 * [taylor]: Taking taylor expansion of a2 in a2
0.576 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
0.576 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.576 * [taylor]: Taking taylor expansion of b1 in b1
0.576 * [taylor]: Taking taylor expansion of b2 in b1
0.576 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
0.576 * [taylor]: Taking taylor expansion of a1 in b1
0.576 * [taylor]: Taking taylor expansion of a2 in b1
0.577 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
0.577 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.577 * [taylor]: Taking taylor expansion of b1 in b2
0.577 * [taylor]: Taking taylor expansion of b2 in b2
0.577 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
0.577 * [taylor]: Taking taylor expansion of a1 in b2
0.577 * [taylor]: Taking taylor expansion of a2 in b2
0.577 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.577 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.577 * [taylor]: Taking taylor expansion of b1 in a1
0.577 * [taylor]: Taking taylor expansion of b2 in a1
0.577 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.577 * [taylor]: Taking taylor expansion of a1 in a1
0.577 * [taylor]: Taking taylor expansion of a2 in a1
0.578 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
0.578 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
0.578 * [taylor]: Taking taylor expansion of b1 in a1
0.578 * [taylor]: Taking taylor expansion of b2 in a1
0.578 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
0.578 * [taylor]: Taking taylor expansion of a1 in a1
0.578 * [taylor]: Taking taylor expansion of a2 in a1
0.578 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.578 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.578 * [taylor]: Taking taylor expansion of b1 in b2
0.578 * [taylor]: Taking taylor expansion of b2 in b2
0.578 * [taylor]: Taking taylor expansion of a2 in b2
0.579 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1
0.579 * [taylor]: Taking taylor expansion of b1 in b1
0.579 * [taylor]: Taking taylor expansion of a2 in b1
0.579 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
0.579 * [taylor]: Taking taylor expansion of a2 in a2
0.580 * [taylor]: Taking taylor expansion of 0 in b2
0.580 * [taylor]: Taking taylor expansion of 0 in b1
0.580 * [taylor]: Taking taylor expansion of 0 in a2
0.580 * [taylor]: Taking taylor expansion of 0 in b1
0.580 * [taylor]: Taking taylor expansion of 0 in a2
0.580 * [taylor]: Taking taylor expansion of 0 in a2
0.582 * [taylor]: Taking taylor expansion of 0 in b2
0.582 * [taylor]: Taking taylor expansion of 0 in b1
0.582 * [taylor]: Taking taylor expansion of 0 in a2
0.582 * [taylor]: Taking taylor expansion of 0 in b1
0.582 * [taylor]: Taking taylor expansion of 0 in a2
0.582 * [taylor]: Taking taylor expansion of 0 in b1
0.582 * [taylor]: Taking taylor expansion of 0 in a2
0.582 * [taylor]: Taking taylor expansion of 0 in a2
0.582 * [taylor]: Taking taylor expansion of 0 in a2
0.583 * [taylor]: Taking taylor expansion of 0 in a2
0.585 * [taylor]: Taking taylor expansion of 0 in b2
0.585 * [taylor]: Taking taylor expansion of 0 in b1
0.585 * [taylor]: Taking taylor expansion of 0 in a2
0.585 * [taylor]: Taking taylor expansion of 0 in b1
0.585 * [taylor]: Taking taylor expansion of 0 in a2
0.585 * [taylor]: Taking taylor expansion of 0 in b1
0.585 * [taylor]: Taking taylor expansion of 0 in a2
0.585 * [taylor]: Taking taylor expansion of 0 in b1
0.585 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * [taylor]: Taking taylor expansion of 0 in a2
0.586 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.586 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (b2 b1 a2) around 0
0.586 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
0.586 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.586 * [taylor]: Taking taylor expansion of b1 in a2
0.586 * [taylor]: Taking taylor expansion of b2 in a2
0.586 * [taylor]: Taking taylor expansion of a2 in a2
0.586 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
0.586 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.586 * [taylor]: Taking taylor expansion of b1 in b1
0.586 * [taylor]: Taking taylor expansion of b2 in b1
0.586 * [taylor]: Taking taylor expansion of a2 in b1
0.587 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.587 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.587 * [taylor]: Taking taylor expansion of b1 in b2
0.587 * [taylor]: Taking taylor expansion of b2 in b2
0.587 * [taylor]: Taking taylor expansion of a2 in b2
0.587 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
0.587 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.587 * [taylor]: Taking taylor expansion of b1 in b2
0.587 * [taylor]: Taking taylor expansion of b2 in b2
0.587 * [taylor]: Taking taylor expansion of a2 in b2
0.587 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1
0.587 * [taylor]: Taking taylor expansion of b1 in b1
0.587 * [taylor]: Taking taylor expansion of a2 in b1
0.588 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
0.588 * [taylor]: Taking taylor expansion of a2 in a2
0.588 * [taylor]: Taking taylor expansion of 0 in b1
0.588 * [taylor]: Taking taylor expansion of 0 in a2
0.588 * [taylor]: Taking taylor expansion of 0 in a2
0.589 * [taylor]: Taking taylor expansion of 0 in b1
0.589 * [taylor]: Taking taylor expansion of 0 in a2
0.589 * [taylor]: Taking taylor expansion of 0 in a2
0.590 * [taylor]: Taking taylor expansion of 0 in a2
0.591 * [taylor]: Taking taylor expansion of 0 in b1
0.591 * [taylor]: Taking taylor expansion of 0 in a2
0.591 * [taylor]: Taking taylor expansion of 0 in a2
0.591 * [taylor]: Taking taylor expansion of 0 in a2
0.591 * [taylor]: Taking taylor expansion of 0 in a2
0.591 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (b2 b1 a2) around 0
0.591 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.591 * [taylor]: Taking taylor expansion of a2 in a2
0.591 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.591 * [taylor]: Taking taylor expansion of b1 in a2
0.591 * [taylor]: Taking taylor expansion of b2 in a2
0.591 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.591 * [taylor]: Taking taylor expansion of a2 in b1
0.591 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.591 * [taylor]: Taking taylor expansion of b1 in b1
0.592 * [taylor]: Taking taylor expansion of b2 in b1
0.592 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.592 * [taylor]: Taking taylor expansion of a2 in b2
0.592 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.592 * [taylor]: Taking taylor expansion of b1 in b2
0.592 * [taylor]: Taking taylor expansion of b2 in b2
0.592 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.592 * [taylor]: Taking taylor expansion of a2 in b2
0.592 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.592 * [taylor]: Taking taylor expansion of b1 in b2
0.593 * [taylor]: Taking taylor expansion of b2 in b2
0.593 * [taylor]: Taking taylor expansion of (/ a2 b1) in b1
0.593 * [taylor]: Taking taylor expansion of a2 in b1
0.593 * [taylor]: Taking taylor expansion of b1 in b1
0.593 * [taylor]: Taking taylor expansion of a2 in a2
0.593 * [taylor]: Taking taylor expansion of 0 in b1
0.594 * [taylor]: Taking taylor expansion of 0 in a2
0.595 * [taylor]: Taking taylor expansion of 0 in b1
0.595 * [taylor]: Taking taylor expansion of 0 in a2
0.595 * [taylor]: Taking taylor expansion of 0 in a2
0.596 * [approximate]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in (b2 b1 a2) around 0
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in a2
0.596 * [taylor]: Taking taylor expansion of -1 in a2
0.596 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
0.596 * [taylor]: Taking taylor expansion of a2 in a2
0.596 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
0.596 * [taylor]: Taking taylor expansion of b1 in a2
0.596 * [taylor]: Taking taylor expansion of b2 in a2
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
0.596 * [taylor]: Taking taylor expansion of -1 in b1
0.596 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
0.596 * [taylor]: Taking taylor expansion of a2 in b1
0.596 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
0.596 * [taylor]: Taking taylor expansion of b1 in b1
0.596 * [taylor]: Taking taylor expansion of b2 in b1
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b2
0.596 * [taylor]: Taking taylor expansion of -1 in b2
0.596 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.596 * [taylor]: Taking taylor expansion of a2 in b2
0.596 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.596 * [taylor]: Taking taylor expansion of b1 in b2
0.596 * [taylor]: Taking taylor expansion of b2 in b2
0.597 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b2
0.597 * [taylor]: Taking taylor expansion of -1 in b2
0.597 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
0.597 * [taylor]: Taking taylor expansion of a2 in b2
0.597 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
0.597 * [taylor]: Taking taylor expansion of b1 in b2
0.597 * [taylor]: Taking taylor expansion of b2 in b2
0.597 * [taylor]: Taking taylor expansion of (* -1 (/ a2 b1)) in b1
0.597 * [taylor]: Taking taylor expansion of -1 in b1
0.597 * [taylor]: Taking taylor expansion of (/ a2 b1) in b1
0.597 * [taylor]: Taking taylor expansion of a2 in b1
0.597 * [taylor]: Taking taylor expansion of b1 in b1
0.597 * [taylor]: Taking taylor expansion of (* -1 a2) in a2
0.597 * [taylor]: Taking taylor expansion of -1 in a2
0.597 * [taylor]: Taking taylor expansion of a2 in a2
0.599 * [taylor]: Taking taylor expansion of 0 in b1
0.599 * [taylor]: Taking taylor expansion of 0 in a2
0.601 * [taylor]: Taking taylor expansion of 0 in b1
0.601 * [taylor]: Taking taylor expansion of 0 in a2
0.602 * [taylor]: Taking taylor expansion of 0 in a2
0.603 * * * [progress]: simplifying candidates
0.604 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log a1) (+ (log b2) (- (log b1) (log a2))))
  (- (log a1) (+ (log b2) (log (/ b1 a2))))
  (- (log a1) (log (* b2 (/ b1 a2))))
  (log (/ a1 (* b2 (/ b1 a2))))
  (exp (/ a1 (* b2 (/ b1 a2))))
  (/ (* (* a1 a1) a1) (* (* (* b2 b2) b2) (/ (* (* b1 b1) b1) (* (* a2 a2) a2))))
  (/ (* (* a1 a1) a1) (* (* (* b2 b2) b2) (* (* (/ b1 a2) (/ b1 a2)) (/ b1 a2))))
  (/ (* (* a1 a1) a1) (* (* (* b2 (/ b1 a2)) (* b2 (/ b1 a2))) (* b2 (/ b1 a2))))
  (* (cbrt (/ a1 (* b2 (/ b1 a2)))) (cbrt (/ a1 (* b2 (/ b1 a2)))))
  (cbrt (/ a1 (* b2 (/ b1 a2))))
  (* (* (/ a1 (* b2 (/ b1 a2))) (/ a1 (* b2 (/ b1 a2)))) (/ a1 (* b2 (/ b1 a2))))
  (sqrt (/ a1 (* b2 (/ b1 a2))))
  (sqrt (/ a1 (* b2 (/ b1 a2))))
  (- a1)
  (- (* b2 (/ b1 a2)))
  (/ (* (cbrt a1) (cbrt a1)) b2)
  (/ (cbrt a1) (/ b1 a2))
  (/ (sqrt a1) b2)
  (/ (sqrt a1) (/ b1 a2))
  (/ 1 b2)
  (/ a1 (/ b1 a2))
  (/ 1 (* b2 (/ b1 a2)))
  (/ (* b2 (/ b1 a2)) a1)
  (/ a1 b2)
  (/ (* b2 (/ b1 a2)) (cbrt a1))
  (/ (* b2 (/ b1 a2)) (sqrt a1))
  (/ (* b2 (/ b1 a2)) a1)
  (/ a1 (* b2 b1))
  (* b2 (/ b1 a2))
  (+ (log b2) (- (log b1) (log a2)))
  (+ (log b2) (log (/ b1 a2)))
  (log (* b2 (/ b1 a2)))
  (exp (* b2 (/ b1 a2)))
  (* (* (* b2 b2) b2) (/ (* (* b1 b1) b1) (* (* a2 a2) a2)))
  (* (* (* b2 b2) b2) (* (* (/ b1 a2) (/ b1 a2)) (/ b1 a2)))
  (* (cbrt (* b2 (/ b1 a2))) (cbrt (* b2 (/ b1 a2))))
  (cbrt (* b2 (/ b1 a2)))
  (* (* (* b2 (/ b1 a2)) (* b2 (/ b1 a2))) (* b2 (/ b1 a2)))
  (sqrt (* b2 (/ b1 a2)))
  (sqrt (* b2 (/ b1 a2)))
  (* (sqrt b2) (sqrt (/ b1 a2)))
  (* (sqrt b2) (sqrt (/ b1 a2)))
  (* (sqrt b2) (/ (sqrt b1) (sqrt a2)))
  (* (sqrt b2) (/ (sqrt b1) (sqrt a2)))
  (* b2 (* (cbrt (/ b1 a2)) (cbrt (/ b1 a2))))
  (* b2 (sqrt (/ b1 a2)))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) (sqrt a2)))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) 1))
  (* b2 (/ (sqrt b1) (* (cbrt a2) (cbrt a2))))
  (* b2 (/ (sqrt b1) (sqrt a2)))
  (* b2 (/ (sqrt b1) 1))
  (* b2 (/ 1 (* (cbrt a2) (cbrt a2))))
  (* b2 (/ 1 (sqrt a2)))
  (* b2 (/ 1 1))
  (* b2 1)
  (* b2 b1)
  (* (cbrt b2) (/ b1 a2))
  (* (sqrt b2) (/ b1 a2))
  (* b2 (/ b1 a2))
  (* b2 b1)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
0.607 * * [simplify]: iteration  0 :  107  enodes  (cost  561 )
0.632 * * [simplify]: iteration  1 :  261  enodes  (cost  538 )
0.687 * * [simplify]: iteration  2 :  871  enodes  (cost  452 )
1.058 * * [simplify]: iteration  3 :  4242  enodes  (cost  452 )
1.989 * * [simplify]: iteration  done :  5001  enodes  (cost  452 )
1.990 * [simplify]: Simplified to:
   (log (/ a1 (* b2 (/ b1 a2))))
  (log (/ a1 (* b2 (/ b1 a2))))
  (log (/ a1 (* b2 (/ b1 a2))))
  (log (/ a1 (* b2 (/ b1 a2))))
  (exp (/ a1 (* b2 (/ b1 a2))))
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (* (cbrt (/ a1 (* b2 (/ b1 a2)))) (cbrt (/ a1 (* b2 (/ b1 a2)))))
  (cbrt (/ a1 (* b2 (/ b1 a2))))
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (sqrt (/ a1 (* b2 (/ b1 a2))))
  (sqrt (/ a1 (* b2 (/ b1 a2))))
  (- a1)
  (- (* b2 (/ b1 a2)))
  (/ (* (cbrt a1) (cbrt a1)) b2)
  (/ (cbrt a1) (/ b1 a2))
  (/ (sqrt a1) b2)
  (/ (sqrt a1) (/ b1 a2))
  (/ 1 b2)
  (* a1 (/ a2 b1))
  (/ 1 (* b2 (/ b1 a2)))
  (/ (* b2 (/ b1 a2)) a1)
  (/ a1 b2)
  (/ (* b2 (/ b1 a2)) (cbrt a1))
  (/ (* b2 (/ b1 a2)) (sqrt a1))
  (/ (* b2 (/ b1 a2)) a1)
  (/ a1 (* b2 b1))
  (/ (* b1 b2) a2)
  (log (* b2 (/ b1 a2)))
  (log (* b2 (/ b1 a2)))
  (log (* b2 (/ b1 a2)))
  (exp (* b2 (/ b1 a2)))
  (pow (/ (* b1 b2) a2) 3)
  (pow (/ (* b1 b2) a2) 3)
  (* (cbrt (* b2 (/ b1 a2))) (cbrt (* b2 (/ b1 a2))))
  (cbrt (* b2 (/ b1 a2)))
  (pow (/ (* b1 b2) a2) 3)
  (sqrt (* b2 (/ b1 a2)))
  (sqrt (* b2 (/ b1 a2)))
  (* (sqrt b2) (sqrt (/ b1 a2)))
  (* (sqrt b2) (sqrt (/ b1 a2)))
  (* (sqrt b2) (/ (sqrt b1) (sqrt a2)))
  (* (sqrt b2) (/ (sqrt b1) (sqrt a2)))
  (* b2 (* (cbrt (/ b1 a2)) (cbrt (/ b1 a2))))
  (* b2 (sqrt (/ b1 a2)))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) (sqrt a2)))
  (* b2 (* (cbrt b1) (cbrt b1)))
  (* b2 (/ (sqrt b1) (* (cbrt a2) (cbrt a2))))
  (* b2 (/ (sqrt b1) (sqrt a2)))
  (* (sqrt b1) b2)
  (/ b2 (* (cbrt a2) (cbrt a2)))
  (/ b2 (sqrt a2))
  b2
  b2
  (* b1 b2)
  (* (cbrt b2) (/ b1 a2))
  (* (sqrt b2) (/ b1 a2))
  (/ (* b1 b2) a2)
  (* b1 b2)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
1.990 * * * [progress]: adding candidates to table
2.105 * * [progress]: iteration 3 / 4
2.105 * * * [progress]: picking best candidate
2.117 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))>
2.117 * * * [progress]: localizing error
2.134 * * * [progress]: generating rewritten candidates
2.134 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.213 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
2.234 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2)
2.239 * * * [progress]: generating series expansions
2.239 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.239 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b2 b1 a2) around 0
2.240 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
2.240 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
2.240 * [taylor]: Taking taylor expansion of a1 in a2
2.240 * [taylor]: Taking taylor expansion of a2 in a2
2.240 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
2.240 * [taylor]: Taking taylor expansion of b1 in a2
2.240 * [taylor]: Taking taylor expansion of b2 in a2
2.240 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
2.240 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
2.240 * [taylor]: Taking taylor expansion of a1 in b1
2.240 * [taylor]: Taking taylor expansion of a2 in b1
2.240 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
2.240 * [taylor]: Taking taylor expansion of b1 in b1
2.240 * [taylor]: Taking taylor expansion of b2 in b1
2.241 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
2.241 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
2.241 * [taylor]: Taking taylor expansion of a1 in b2
2.241 * [taylor]: Taking taylor expansion of a2 in b2
2.241 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
2.241 * [taylor]: Taking taylor expansion of b1 in b2
2.241 * [taylor]: Taking taylor expansion of b2 in b2
2.241 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
2.241 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
2.241 * [taylor]: Taking taylor expansion of a1 in a1
2.241 * [taylor]: Taking taylor expansion of a2 in a1
2.241 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
2.241 * [taylor]: Taking taylor expansion of b1 in a1
2.241 * [taylor]: Taking taylor expansion of b2 in a1
2.242 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
2.242 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
2.242 * [taylor]: Taking taylor expansion of a1 in a1
2.242 * [taylor]: Taking taylor expansion of a2 in a1
2.242 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
2.242 * [taylor]: Taking taylor expansion of b1 in a1
2.242 * [taylor]: Taking taylor expansion of b2 in a1
2.242 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
2.242 * [taylor]: Taking taylor expansion of a2 in b2
2.242 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
2.242 * [taylor]: Taking taylor expansion of b1 in b2
2.242 * [taylor]: Taking taylor expansion of b2 in b2
2.243 * [taylor]: Taking taylor expansion of (/ a2 b1) in b1
2.243 * [taylor]: Taking taylor expansion of a2 in b1
2.243 * [taylor]: Taking taylor expansion of b1 in b1
2.243 * [taylor]: Taking taylor expansion of a2 in a2
2.243 * [taylor]: Taking taylor expansion of 0 in b2
2.244 * [taylor]: Taking taylor expansion of 0 in b1
2.245 * [taylor]: Taking taylor expansion of 0 in a2
2.246 * [taylor]: Taking taylor expansion of 0 in b2
2.246 * [taylor]: Taking taylor expansion of 0 in b1
2.246 * [taylor]: Taking taylor expansion of 0 in b1
2.246 * [taylor]: Taking taylor expansion of 0 in a2
2.247 * [taylor]: Taking taylor expansion of 0 in a2
2.248 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b2 b1 a2) around 0
2.248 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
2.248 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
2.248 * [taylor]: Taking taylor expansion of b1 in a2
2.248 * [taylor]: Taking taylor expansion of b2 in a2
2.248 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
2.248 * [taylor]: Taking taylor expansion of a1 in a2
2.248 * [taylor]: Taking taylor expansion of a2 in a2
2.248 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
2.248 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
2.248 * [taylor]: Taking taylor expansion of b1 in b1
2.248 * [taylor]: Taking taylor expansion of b2 in b1
2.248 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
2.248 * [taylor]: Taking taylor expansion of a1 in b1
2.248 * [taylor]: Taking taylor expansion of a2 in b1
2.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
2.249 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
2.249 * [taylor]: Taking taylor expansion of b1 in b2
2.249 * [taylor]: Taking taylor expansion of b2 in b2
2.249 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
2.249 * [taylor]: Taking taylor expansion of a1 in b2
2.249 * [taylor]: Taking taylor expansion of a2 in b2
2.249 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
2.249 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
2.249 * [taylor]: Taking taylor expansion of b1 in a1
2.249 * [taylor]: Taking taylor expansion of b2 in a1
2.249 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
2.249 * [taylor]: Taking taylor expansion of a1 in a1
2.249 * [taylor]: Taking taylor expansion of a2 in a1
2.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
2.250 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
2.250 * [taylor]: Taking taylor expansion of b1 in a1
2.250 * [taylor]: Taking taylor expansion of b2 in a1
2.250 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
2.250 * [taylor]: Taking taylor expansion of a1 in a1
2.250 * [taylor]: Taking taylor expansion of a2 in a1
2.250 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
2.250 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
2.250 * [taylor]: Taking taylor expansion of b1 in b2
2.250 * [taylor]: Taking taylor expansion of b2 in b2
2.250 * [taylor]: Taking taylor expansion of a2 in b2
2.251 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1
2.251 * [taylor]: Taking taylor expansion of b1 in b1
2.251 * [taylor]: Taking taylor expansion of a2 in b1
2.251 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
2.251 * [taylor]: Taking taylor expansion of a2 in a2
2.252 * [taylor]: Taking taylor expansion of 0 in b2
2.252 * [taylor]: Taking taylor expansion of 0 in b1
2.252 * [taylor]: Taking taylor expansion of 0 in a2
2.252 * [taylor]: Taking taylor expansion of 0 in b1
2.252 * [taylor]: Taking taylor expansion of 0 in a2
2.252 * [taylor]: Taking taylor expansion of 0 in a2
2.254 * [taylor]: Taking taylor expansion of 0 in b2
2.254 * [taylor]: Taking taylor expansion of 0 in b1
2.254 * [taylor]: Taking taylor expansion of 0 in a2
2.254 * [taylor]: Taking taylor expansion of 0 in b1
2.254 * [taylor]: Taking taylor expansion of 0 in a2
2.254 * [taylor]: Taking taylor expansion of 0 in b1
2.254 * [taylor]: Taking taylor expansion of 0 in a2
2.255 * [taylor]: Taking taylor expansion of 0 in a2
2.255 * [taylor]: Taking taylor expansion of 0 in a2
2.255 * [taylor]: Taking taylor expansion of 0 in a2
2.257 * [taylor]: Taking taylor expansion of 0 in b2
2.257 * [taylor]: Taking taylor expansion of 0 in b1
2.257 * [taylor]: Taking taylor expansion of 0 in a2
2.257 * [taylor]: Taking taylor expansion of 0 in b1
2.257 * [taylor]: Taking taylor expansion of 0 in a2
2.257 * [taylor]: Taking taylor expansion of 0 in b1
2.257 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in b1
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.258 * [taylor]: Taking taylor expansion of 0 in a2
2.259 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b2 b1 a2) around 0
2.259 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
2.259 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
2.259 * [taylor]: Taking taylor expansion of b1 in a2
2.259 * [taylor]: Taking taylor expansion of b2 in a2
2.259 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
2.259 * [taylor]: Taking taylor expansion of a1 in a2
2.259 * [taylor]: Taking taylor expansion of a2 in a2
2.260 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
2.260 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
2.260 * [taylor]: Taking taylor expansion of b1 in b1
2.260 * [taylor]: Taking taylor expansion of b2 in b1
2.260 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
2.260 * [taylor]: Taking taylor expansion of a1 in b1
2.260 * [taylor]: Taking taylor expansion of a2 in b1
2.260 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
2.260 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
2.260 * [taylor]: Taking taylor expansion of b1 in b2
2.260 * [taylor]: Taking taylor expansion of b2 in b2
2.260 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
2.260 * [taylor]: Taking taylor expansion of a1 in b2
2.260 * [taylor]: Taking taylor expansion of a2 in b2
2.261 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
2.261 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
2.261 * [taylor]: Taking taylor expansion of b1 in a1
2.261 * [taylor]: Taking taylor expansion of b2 in a1
2.261 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
2.261 * [taylor]: Taking taylor expansion of a1 in a1
2.261 * [taylor]: Taking taylor expansion of a2 in a1
2.261 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
2.261 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
2.261 * [taylor]: Taking taylor expansion of b1 in a1
2.261 * [taylor]: Taking taylor expansion of b2 in a1
2.261 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
2.261 * [taylor]: Taking taylor expansion of a1 in a1
2.261 * [taylor]: Taking taylor expansion of a2 in a1
2.262 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
2.262 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
2.262 * [taylor]: Taking taylor expansion of b1 in b2
2.262 * [taylor]: Taking taylor expansion of b2 in b2
2.262 * [taylor]: Taking taylor expansion of a2 in b2
2.262 * [taylor]: Taking taylor expansion of (/ b1 a2) in b1
2.262 * [taylor]: Taking taylor expansion of b1 in b1
2.262 * [taylor]: Taking taylor expansion of a2 in b1
2.262 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
2.262 * [taylor]: Taking taylor expansion of a2 in a2
2.263 * [taylor]: Taking taylor expansion of 0 in b2
2.263 * [taylor]: Taking taylor expansion of 0 in b1
2.263 * [taylor]: Taking taylor expansion of 0 in a2
2.264 * [taylor]: Taking taylor expansion of 0 in b1
2.264 * [taylor]: Taking taylor expansion of 0 in a2
2.264 * [taylor]: Taking taylor expansion of 0 in a2
2.265 * [taylor]: Taking taylor expansion of 0 in b2
2.265 * [taylor]: Taking taylor expansion of 0 in b1
2.265 * [taylor]: Taking taylor expansion of 0 in a2
2.265 * [taylor]: Taking taylor expansion of 0 in b1
2.265 * [taylor]: Taking taylor expansion of 0 in a2
2.266 * [taylor]: Taking taylor expansion of 0 in b1
2.266 * [taylor]: Taking taylor expansion of 0 in a2
2.266 * [taylor]: Taking taylor expansion of 0 in a2
2.266 * [taylor]: Taking taylor expansion of 0 in a2
2.266 * [taylor]: Taking taylor expansion of 0 in a2
2.268 * [taylor]: Taking taylor expansion of 0 in b2
2.268 * [taylor]: Taking taylor expansion of 0 in b1
2.268 * [taylor]: Taking taylor expansion of 0 in a2
2.268 * [taylor]: Taking taylor expansion of 0 in b1
2.268 * [taylor]: Taking taylor expansion of 0 in a2
2.268 * [taylor]: Taking taylor expansion of 0 in b1
2.268 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in b1
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.269 * [taylor]: Taking taylor expansion of 0 in a2
2.270 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.270 * [approximate]: Taking taylor expansion of (* (pow (/ (pow b1 2) (pow a2 2)) 1/3) b2) in (b2 b1 a2) around 0
2.270 * [taylor]: Taking taylor expansion of (* (pow (/ (pow b1 2) (pow a2 2)) 1/3) b2) in a2
2.270 * [taylor]: Taking taylor expansion of (pow (/ (pow b1 2) (pow a2 2)) 1/3) in a2
2.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow b1 2) (pow a2 2))))) in a2
2.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow b1 2) (pow a2 2)))) in a2
2.270 * [taylor]: Taking taylor expansion of 1/3 in a2
2.270 * [taylor]: Taking taylor expansion of (log (/ (pow b1 2) (pow a2 2))) in a2
2.270 * [taylor]: Taking taylor expansion of (/ (pow b1 2) (pow a2 2)) in a2
2.270 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
2.270 * [taylor]: Taking taylor expansion of b1 in a2
2.270 * [taylor]: Taking taylor expansion of (pow a2 2) in a2
2.270 * [taylor]: Taking taylor expansion of a2 in a2
2.271 * [taylor]: Taking taylor expansion of b2 in a2
2.271 * [taylor]: Taking taylor expansion of (* (pow (/ (pow b1 2) (pow a2 2)) 1/3) b2) in b1
2.271 * [taylor]: Taking taylor expansion of (pow (/ (pow b1 2) (pow a2 2)) 1/3) in b1
2.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow b1 2) (pow a2 2))))) in b1
2.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow b1 2) (pow a2 2)))) in b1
2.271 * [taylor]: Taking taylor expansion of 1/3 in b1
2.271 * [taylor]: Taking taylor expansion of (log (/ (pow b1 2) (pow a2 2))) in b1
2.271 * [taylor]: Taking taylor expansion of (/ (pow b1 2) (pow a2 2)) in b1
2.271 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
2.271 * [taylor]: Taking taylor expansion of b1 in b1
2.271 * [taylor]: Taking taylor expansion of (pow a2 2) in b1
2.271 * [taylor]: Taking taylor expansion of a2 in b1
2.272 * [taylor]: Taking taylor expansion of b2 in b1
2.272 * [taylor]: Taking taylor expansion of (* (pow (/ (pow b1 2) (pow a2 2)) 1/3) b2) in b2
2.272 * [taylor]: Taking taylor expansion of (pow (/ (pow b1 2) (pow a2 2)) 1/3) in b2
2.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow b1 2) (pow a2 2))))) in b2
2.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow b1 2) (pow a2 2)))) in b2
2.272 * [taylor]: Taking taylor expansion of 1/3 in b2
2.272 * [taylor]: Taking taylor expansion of (log (/ (pow b1 2) (pow a2 2))) in b2
2.272 * [taylor]: Taking taylor expansion of (/ (pow b1 2) (pow a2 2)) in b2
2.272 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
2.272 * [taylor]: Taking taylor expansion of b1 in b2
2.272 * [taylor]: Taking taylor expansion of (pow a2 2) in b2
2.272 * [taylor]: Taking taylor expansion of a2 in b2
2.273 * [taylor]: Taking taylor expansion of b2 in b2
2.273 * [taylor]: Taking taylor expansion of (* (pow (/ (pow b1 2) (pow a2 2)) 1/3) b2) in b2
2.273 * [taylor]: Taking taylor expansion of (pow (/ (pow b1 2) (pow a2 2)) 1/3) in b2
2.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow b1 2) (pow a2 2))))) in b2
2.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow b1 2) (pow a2 2)))) in b2
2.273 * [taylor]: Taking taylor expansion of 1/3 in b2
2.273 * [taylor]: Taking taylor expansion of (log (/ (pow b1 2) (pow a2 2))) in b2
2.273 * [taylor]: Taking taylor expansion of (/ (pow b1 2) (pow a2 2)) in b2
2.273 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
2.273 * [taylor]: Taking taylor expansion of b1 in b2
2.273 * [taylor]: Taking taylor expansion of (pow a2 2) in b2
2.273 * [taylor]: Taking taylor expansion of a2 in b2
2.274 * [taylor]: Taking taylor expansion of b2 in b2
2.274 * [taylor]: Taking taylor expansion of 0 in b1
2.274 * [taylor]: Taking taylor expansion of 0 in a2
2.276 * [taylor]: Taking taylor expansion of (pow (/ (pow b1 2) (pow a2 2)) 1/3) in b1
2.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow b1 2) (pow a2 2))))) in b1
2.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow b1 2) (pow a2 2)))) in b1
2.277 * [taylor]: Taking taylor expansion of 1/3 in b1
2.277 * [taylor]: Taking taylor expansion of (log (/ (pow b1 2) (pow a2 2))) in b1
2.277 * [taylor]: Taking taylor expansion of (/ (pow b1 2) (pow a2 2)) in b1
2.277 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
2.277 * [taylor]: Taking taylor expansion of b1 in b1
2.277 * [taylor]: Taking taylor expansion of (pow a2 2) in b1
2.277 * [taylor]: Taking taylor expansion of a2 in b1
2.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow a2 2))) (* 2 (log b1))))) in a2
2.278 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow a2 2))) (* 2 (log b1)))) in a2
2.278 * [taylor]: Taking taylor expansion of 1/3 in a2
2.278 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow a2 2))) (* 2 (log b1))) in a2
2.278 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a2 2))) in a2
2.278 * [taylor]: Taking taylor expansion of (/ 1 (pow a2 2)) in a2
2.278 * [taylor]: Taking taylor expansion of (pow a2 2) in a2
2.278 * [taylor]: Taking taylor expansion of a2 in a2
2.279 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in a2
2.279 * [taylor]: Taking taylor expansion of 2 in a2
2.279 * [taylor]: Taking taylor expansion of (log b1) in a2
2.279 * [taylor]: Taking taylor expansion of b1 in a2
2.279 * [taylor]: Taking taylor expansion of 0 in a2
2.284 * [taylor]: Taking taylor expansion of 0 in b1
2.284 * [taylor]: Taking taylor expansion of 0 in a2
2.286 * [taylor]: Taking taylor expansion of 0 in a2
2.286 * [taylor]: Taking taylor expansion of 0 in a2
2.290 * [approximate]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in (b2 b1 a2) around 0
2.290 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in a2
2.290 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in a2
2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in a2
2.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in a2
2.290 * [taylor]: Taking taylor expansion of 1/3 in a2
2.290 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in a2
2.290 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in a2
2.290 * [taylor]: Taking taylor expansion of (pow a2 2) in a2
2.290 * [taylor]: Taking taylor expansion of a2 in a2
2.291 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
2.291 * [taylor]: Taking taylor expansion of b1 in a2
2.292 * [taylor]: Taking taylor expansion of (/ 1 b2) in a2
2.292 * [taylor]: Taking taylor expansion of b2 in a2
2.292 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in b1
2.292 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b1
2.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b1
2.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b1
2.292 * [taylor]: Taking taylor expansion of 1/3 in b1
2.292 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b1
2.292 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b1
2.292 * [taylor]: Taking taylor expansion of (pow a2 2) in b1
2.292 * [taylor]: Taking taylor expansion of a2 in b1
2.292 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
2.292 * [taylor]: Taking taylor expansion of b1 in b1
2.298 * [taylor]: Taking taylor expansion of (/ 1 b2) in b1
2.298 * [taylor]: Taking taylor expansion of b2 in b1
2.298 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in b2
2.298 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b2
2.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b2
2.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b2
2.298 * [taylor]: Taking taylor expansion of 1/3 in b2
2.298 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b2
2.298 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b2
2.298 * [taylor]: Taking taylor expansion of (pow a2 2) in b2
2.298 * [taylor]: Taking taylor expansion of a2 in b2
2.298 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
2.298 * [taylor]: Taking taylor expansion of b1 in b2
2.298 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
2.298 * [taylor]: Taking taylor expansion of b2 in b2
2.299 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in b2
2.299 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b2
2.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b2
2.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b2
2.299 * [taylor]: Taking taylor expansion of 1/3 in b2
2.299 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b2
2.299 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b2
2.299 * [taylor]: Taking taylor expansion of (pow a2 2) in b2
2.299 * [taylor]: Taking taylor expansion of a2 in b2
2.299 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
2.299 * [taylor]: Taking taylor expansion of b1 in b2
2.300 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
2.300 * [taylor]: Taking taylor expansion of b2 in b2
2.300 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b1
2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b1
2.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b1
2.300 * [taylor]: Taking taylor expansion of 1/3 in b1
2.300 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b1
2.300 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b1
2.300 * [taylor]: Taking taylor expansion of (pow a2 2) in b1
2.300 * [taylor]: Taking taylor expansion of a2 in b1
2.300 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
2.300 * [taylor]: Taking taylor expansion of b1 in b1
2.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow a2 2)) (* 2 (log b1))))) in a2
2.301 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow a2 2)) (* 2 (log b1)))) in a2
2.301 * [taylor]: Taking taylor expansion of 1/3 in a2
2.301 * [taylor]: Taking taylor expansion of (- (log (pow a2 2)) (* 2 (log b1))) in a2
2.301 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in a2
2.301 * [taylor]: Taking taylor expansion of (pow a2 2) in a2
2.301 * [taylor]: Taking taylor expansion of a2 in a2
2.302 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in a2
2.302 * [taylor]: Taking taylor expansion of 2 in a2
2.302 * [taylor]: Taking taylor expansion of (log b1) in a2
2.302 * [taylor]: Taking taylor expansion of b1 in a2
2.306 * [taylor]: Taking taylor expansion of 0 in b1
2.306 * [taylor]: Taking taylor expansion of 0 in a2
2.309 * [taylor]: Taking taylor expansion of 0 in a2
2.317 * [taylor]: Taking taylor expansion of 0 in b1
2.317 * [taylor]: Taking taylor expansion of 0 in a2
2.317 * [taylor]: Taking taylor expansion of 0 in a2
2.321 * [taylor]: Taking taylor expansion of 0 in a2
2.322 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2))) in (b2 b1 a2) around 0
2.322 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2))) in a2
2.322 * [taylor]: Taking taylor expansion of -1 in a2
2.322 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in a2
2.322 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in a2
2.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in a2
2.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in a2
2.322 * [taylor]: Taking taylor expansion of 1/3 in a2
2.322 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in a2
2.322 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in a2
2.322 * [taylor]: Taking taylor expansion of (pow a2 2) in a2
2.322 * [taylor]: Taking taylor expansion of a2 in a2
2.322 * [taylor]: Taking taylor expansion of (pow b1 2) in a2
2.322 * [taylor]: Taking taylor expansion of b1 in a2
2.324 * [taylor]: Taking taylor expansion of (/ 1 b2) in a2
2.324 * [taylor]: Taking taylor expansion of b2 in a2
2.324 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2))) in b1
2.324 * [taylor]: Taking taylor expansion of -1 in b1
2.324 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in b1
2.324 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b1
2.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b1
2.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b1
2.324 * [taylor]: Taking taylor expansion of 1/3 in b1
2.324 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b1
2.324 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b1
2.324 * [taylor]: Taking taylor expansion of (pow a2 2) in b1
2.324 * [taylor]: Taking taylor expansion of a2 in b1
2.324 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
2.324 * [taylor]: Taking taylor expansion of b1 in b1
2.325 * [taylor]: Taking taylor expansion of (/ 1 b2) in b1
2.325 * [taylor]: Taking taylor expansion of b2 in b1
2.325 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2))) in b2
2.325 * [taylor]: Taking taylor expansion of -1 in b2
2.325 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in b2
2.325 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b2
2.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b2
2.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b2
2.325 * [taylor]: Taking taylor expansion of 1/3 in b2
2.325 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b2
2.325 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b2
2.325 * [taylor]: Taking taylor expansion of (pow a2 2) in b2
2.325 * [taylor]: Taking taylor expansion of a2 in b2
2.325 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
2.325 * [taylor]: Taking taylor expansion of b1 in b2
2.326 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
2.326 * [taylor]: Taking taylor expansion of b2 in b2
2.326 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2))) in b2
2.326 * [taylor]: Taking taylor expansion of -1 in b2
2.326 * [taylor]: Taking taylor expansion of (* (pow (/ (pow a2 2) (pow b1 2)) 1/3) (/ 1 b2)) in b2
2.326 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b2
2.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b2
2.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b2
2.326 * [taylor]: Taking taylor expansion of 1/3 in b2
2.326 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b2
2.326 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b2
2.326 * [taylor]: Taking taylor expansion of (pow a2 2) in b2
2.326 * [taylor]: Taking taylor expansion of a2 in b2
2.326 * [taylor]: Taking taylor expansion of (pow b1 2) in b2
2.326 * [taylor]: Taking taylor expansion of b1 in b2
2.327 * [taylor]: Taking taylor expansion of (/ 1 b2) in b2
2.327 * [taylor]: Taking taylor expansion of b2 in b2
2.327 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow a2 2) (pow b1 2)) 1/3)) in b1
2.327 * [taylor]: Taking taylor expansion of -1 in b1
2.327 * [taylor]: Taking taylor expansion of (pow (/ (pow a2 2) (pow b1 2)) 1/3) in b1
2.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow a2 2) (pow b1 2))))) in b1
2.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow a2 2) (pow b1 2)))) in b1
2.327 * [taylor]: Taking taylor expansion of 1/3 in b1
2.327 * [taylor]: Taking taylor expansion of (log (/ (pow a2 2) (pow b1 2))) in b1
2.327 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (pow b1 2)) in b1
2.327 * [taylor]: Taking taylor expansion of (pow a2 2) in b1
2.327 * [taylor]: Taking taylor expansion of a2 in b1
2.328 * [taylor]: Taking taylor expansion of (pow b1 2) in b1
2.328 * [taylor]: Taking taylor expansion of b1 in b1
2.329 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow a2 2)) (* 2 (log b1)))))) in a2
2.329 * [taylor]: Taking taylor expansion of -1 in a2
2.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow a2 2)) (* 2 (log b1))))) in a2
2.329 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow a2 2)) (* 2 (log b1)))) in a2
2.329 * [taylor]: Taking taylor expansion of 1/3 in a2
2.329 * [taylor]: Taking taylor expansion of (- (log (pow a2 2)) (* 2 (log b1))) in a2
2.329 * [taylor]: Taking taylor expansion of (log (pow a2 2)) in a2
2.329 * [taylor]: Taking taylor expansion of (pow a2 2) in a2
2.329 * [taylor]: Taking taylor expansion of a2 in a2
2.329 * [taylor]: Taking taylor expansion of (* 2 (log b1)) in a2
2.329 * [taylor]: Taking taylor expansion of 2 in a2
2.329 * [taylor]: Taking taylor expansion of (log b1) in a2
2.329 * [taylor]: Taking taylor expansion of b1 in a2
2.333 * [taylor]: Taking taylor expansion of 0 in b1
2.333 * [taylor]: Taking taylor expansion of 0 in a2
2.337 * [taylor]: Taking taylor expansion of 0 in a2
2.346 * [taylor]: Taking taylor expansion of 0 in b1
2.346 * [taylor]: Taking taylor expansion of 0 in a2
2.346 * [taylor]: Taking taylor expansion of 0 in a2
2.351 * [taylor]: Taking taylor expansion of 0 in a2
2.351 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
2.351 * [approximate]: Taking taylor expansion of (pow b1 1/3) in (b1) around 0
2.351 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
2.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
2.351 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
2.351 * [taylor]: Taking taylor expansion of 1/3 in b1
2.351 * [taylor]: Taking taylor expansion of (log b1) in b1
2.351 * [taylor]: Taking taylor expansion of b1 in b1
2.352 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
2.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
2.352 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
2.352 * [taylor]: Taking taylor expansion of 1/3 in b1
2.352 * [taylor]: Taking taylor expansion of (log b1) in b1
2.352 * [taylor]: Taking taylor expansion of b1 in b1
2.406 * [approximate]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in (b1) around 0
2.406 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.406 * [taylor]: Taking taylor expansion of 1/3 in b1
2.406 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.406 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.406 * [taylor]: Taking taylor expansion of b1 in b1
2.407 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.407 * [taylor]: Taking taylor expansion of 1/3 in b1
2.407 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.407 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.407 * [taylor]: Taking taylor expansion of b1 in b1
2.465 * [approximate]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in (b1) around 0
2.465 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
2.465 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.465 * [taylor]: Taking taylor expansion of 1/3 in b1
2.465 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.465 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.465 * [taylor]: Taking taylor expansion of b1 in b1
2.466 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
2.466 * [taylor]: Taking taylor expansion of -1 in b1
2.467 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
2.467 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.467 * [taylor]: Taking taylor expansion of 1/3 in b1
2.467 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.467 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.467 * [taylor]: Taking taylor expansion of b1 in b1
2.468 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
2.468 * [taylor]: Taking taylor expansion of -1 in b1
2.528 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2)
2.528 * [approximate]: Taking taylor expansion of (pow b1 1/3) in (b1) around 0
2.528 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
2.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
2.528 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
2.528 * [taylor]: Taking taylor expansion of 1/3 in b1
2.528 * [taylor]: Taking taylor expansion of (log b1) in b1
2.528 * [taylor]: Taking taylor expansion of b1 in b1
2.529 * [taylor]: Taking taylor expansion of (pow b1 1/3) in b1
2.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b1))) in b1
2.529 * [taylor]: Taking taylor expansion of (* 1/3 (log b1)) in b1
2.529 * [taylor]: Taking taylor expansion of 1/3 in b1
2.529 * [taylor]: Taking taylor expansion of (log b1) in b1
2.529 * [taylor]: Taking taylor expansion of b1 in b1
2.584 * [approximate]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in (b1) around 0
2.584 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.584 * [taylor]: Taking taylor expansion of 1/3 in b1
2.584 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.584 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.584 * [taylor]: Taking taylor expansion of b1 in b1
2.585 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.585 * [taylor]: Taking taylor expansion of 1/3 in b1
2.585 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.585 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.585 * [taylor]: Taking taylor expansion of b1 in b1
2.644 * [approximate]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in (b1) around 0
2.644 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
2.644 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.644 * [taylor]: Taking taylor expansion of 1/3 in b1
2.644 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.644 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.644 * [taylor]: Taking taylor expansion of b1 in b1
2.645 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
2.645 * [taylor]: Taking taylor expansion of -1 in b1
2.645 * [taylor]: Taking taylor expansion of (* (pow (/ 1 b1) 1/3) (cbrt -1)) in b1
2.645 * [taylor]: Taking taylor expansion of (pow (/ 1 b1) 1/3) in b1
2.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b1)))) in b1
2.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b1))) in b1
2.646 * [taylor]: Taking taylor expansion of 1/3 in b1
2.646 * [taylor]: Taking taylor expansion of (log (/ 1 b1)) in b1
2.646 * [taylor]: Taking taylor expansion of (/ 1 b1) in b1
2.646 * [taylor]: Taking taylor expansion of b1 in b1
2.646 * [taylor]: Taking taylor expansion of (cbrt -1) in b1
2.646 * [taylor]: Taking taylor expansion of -1 in b1
2.714 * * * [progress]: simplifying candidates
2.716 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log a1) (+ (+ (log b2) (- (+ (log (cbrt b1)) (log (cbrt b1))) (+ (log (cbrt a2)) (log (cbrt a2))))) (- (log (cbrt b1)) (log (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (+ (log (cbrt b1)) (log (cbrt b1))) (+ (log (cbrt a2)) (log (cbrt a2))))) (log (/ (cbrt b1) (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (+ (log (cbrt b1)) (log (cbrt b1))) (log (* (cbrt a2) (cbrt a2))))) (- (log (cbrt b1)) (log (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (+ (log (cbrt b1)) (log (cbrt b1))) (log (* (cbrt a2) (cbrt a2))))) (log (/ (cbrt b1) (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (log (* (cbrt b1) (cbrt b1))) (+ (log (cbrt a2)) (log (cbrt a2))))) (- (log (cbrt b1)) (log (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (log (* (cbrt b1) (cbrt b1))) (+ (log (cbrt a2)) (log (cbrt a2))))) (log (/ (cbrt b1) (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (log (* (cbrt b1) (cbrt b1))) (log (* (cbrt a2) (cbrt a2))))) (- (log (cbrt b1)) (log (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (- (log (* (cbrt b1) (cbrt b1))) (log (* (cbrt a2) (cbrt a2))))) (log (/ (cbrt b1) (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (log (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (- (log (cbrt b1)) (log (cbrt a2)))))
  (- (log a1) (+ (+ (log b2) (log (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (log (/ (cbrt b1) (cbrt a2)))))
  (- (log a1) (+ (log (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (- (log (cbrt b1)) (log (cbrt a2)))))
  (- (log a1) (+ (log (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (log (/ (cbrt b1) (cbrt a2)))))
  (- (log a1) (log (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (log (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (exp (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* b1 b1) (* a2 a2))) (/ b1 a2)))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* b1 b1) (* a2 a2))) (* (* (/ (cbrt b1) (cbrt a2)) (/ (cbrt b1) (cbrt a2))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* b1 b1) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))))) (/ b1 a2)))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* b1 b1) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))))) (* (* (/ (cbrt b1) (cbrt a2)) (/ (cbrt b1) (cbrt a2))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1))) (* a2 a2))) (/ b1 a2)))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1))) (* a2 a2))) (* (* (/ (cbrt b1) (cbrt a2)) (/ (cbrt b1) (cbrt a2))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1))) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))))) (/ b1 a2)))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (/ (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1))) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2))))) (* (* (/ (cbrt b1) (cbrt a2)) (/ (cbrt b1) (cbrt a2))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (* (* (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (/ b1 a2)))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 b2) b2) (* (* (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (* (* (/ (cbrt b1) (cbrt a2)) (/ (cbrt b1) (cbrt a2))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (/ b1 a2)))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (* (* (/ (cbrt b1) (cbrt a2)) (/ (cbrt b1) (cbrt a2))) (/ (cbrt b1) (cbrt a2)))))
  (/ (* (* a1 a1) a1) (* (* (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))) (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))) (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (* (cbrt (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))))) (cbrt (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))))))
  (cbrt (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (* (* (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))))) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (sqrt (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (sqrt (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))
  (- a1)
  (- (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))))
  (/ (* (cbrt a1) (cbrt a1)) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (/ (cbrt a1) (/ (cbrt b1) (cbrt a2)))
  (/ (sqrt a1) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (/ (sqrt a1) (/ (cbrt b1) (cbrt a2)))
  (/ 1 (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (/ a1 (/ (cbrt b1) (cbrt a2)))
  (/ 1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))))
  (/ (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))) a1)
  (/ a1 (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (/ (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))) (cbrt a1))
  (/ (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))) (sqrt a1))
  (/ (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2))) a1)
  (/ a1 (* (* b2 (* (cbrt b1) (cbrt b1))) (cbrt b1)))
  (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (cbrt b1)))
  (/ a1 (* (* b2 (* (cbrt b1) (cbrt b1))) (/ (cbrt b1) (cbrt a2))))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
  (+ (log b2) (- (+ (log (cbrt b1)) (log (cbrt b1))) (+ (log (cbrt a2)) (log (cbrt a2)))))
  (+ (log b2) (- (+ (log (cbrt b1)) (log (cbrt b1))) (log (* (cbrt a2) (cbrt a2)))))
  (+ (log b2) (- (log (* (cbrt b1) (cbrt b1))) (+ (log (cbrt a2)) (log (cbrt a2)))))
  (+ (log b2) (- (log (* (cbrt b1) (cbrt b1))) (log (* (cbrt a2) (cbrt a2)))))
  (+ (log b2) (log (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (log (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (exp (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* (* (* b2 b2) b2) (/ (* b1 b1) (* a2 a2)))
  (* (* (* b2 b2) b2) (/ (* b1 b1) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2)))))
  (* (* (* b2 b2) b2) (/ (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1))) (* a2 a2)))
  (* (* (* b2 b2) b2) (/ (* (* (* (cbrt b1) (cbrt b1)) (* (cbrt b1) (cbrt b1))) (* (cbrt b1) (cbrt b1))) (* (* (* (cbrt a2) (cbrt a2)) (* (cbrt a2) (cbrt a2))) (* (cbrt a2) (cbrt a2)))))
  (* (* (* b2 b2) b2) (* (* (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* (cbrt (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (cbrt (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))))
  (cbrt (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))) (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (sqrt (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (sqrt (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* (sqrt b2) (sqrt (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* (sqrt b2) (sqrt (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* (sqrt b2) (/ (cbrt b1) (cbrt a2)))
  (* (sqrt b2) (/ (cbrt b1) (cbrt a2)))
  (* b2 (* (cbrt (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (cbrt (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))))
  (* b2 (sqrt (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))))
  (* b2 (/ (cbrt b1) (cbrt a2)))
  (* b2 1)
  (* b2 (* (cbrt b1) (cbrt b1)))
  (* (cbrt b2) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
  (* (sqrt b2) (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
  (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2))))
  (* b2 (* (cbrt b1) (cbrt b1)))
  (log (cbrt b1))
  (exp (cbrt b1))
  (cbrt (* (cbrt b1) (cbrt b1)))
  (cbrt (cbrt b1))
  (cbrt (sqrt b1))
  (cbrt (sqrt b1))
  (cbrt 1)
  (cbrt b1)
  (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))
  (cbrt (cbrt b1))
  (* (* (cbrt b1) (cbrt b1)) (cbrt b1))
  (sqrt (cbrt b1))
  (sqrt (cbrt b1))
  (log (cbrt b1))
  (exp (cbrt b1))
  (cbrt (* (cbrt b1) (cbrt b1)))
  (cbrt (cbrt b1))
  (cbrt (sqrt b1))
  (cbrt (sqrt b1))
  (cbrt 1)
  (cbrt b1)
  (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))
  (cbrt (cbrt b1))
  (* (* (cbrt b1) (cbrt b1)) (cbrt b1))
  (sqrt (cbrt b1))
  (sqrt (cbrt b1))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (* (exp (* 1/3 (- (* 2 (log b1)) (* 2 (log a2))))) b2)
  (* b2 (exp (* 1/3 (- (* 2 (log (/ 1 a2))) (* 2 (log (/ 1 b1)))))))
  (* b2 (exp (* 1/3 (- (* 2 (log (/ -1 a2))) (* 2 (log (/ -1 b1)))))))
  (pow b1 1/3)
  (pow (/ 1 b1) -1/3)
  (* (pow (* -1 b1) 1/3) (cbrt -1))
  (pow b1 1/3)
  (pow (/ 1 b1) -1/3)
  (* (pow (* -1 b1) 1/3) (cbrt -1))
2.723 * * [simplify]: iteration  0 :  211  enodes  (cost  2212 )
2.773 * * [simplify]: iteration  1 :  692  enodes  (cost  2124 )
2.950 * * [simplify]: iteration  2 :  2880  enodes  (cost  1202 )
3.483 * * [simplify]: iteration  done :  5001  enodes  (cost  1202 )
3.484 * [simplify]: Simplified to:
   (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (log (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (exp (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (/ (/ (pow a1 3) (pow b2 3)) (* (/ (* b1 b1) (* a2 a2)) (/ b1 a2)))
  (/ (/ (pow a1 3) (pow b2 3)) (/ (* (/ (* b1 b1) a2) (pow (/ (cbrt b1) (cbrt a2)) 3)) a2))
  (/ (/ (pow a1 3) (pow b2 3)) (/ (* (* b1 b1) (/ b1 a2)) (pow (* (cbrt a2) (cbrt a2)) 3)))
  (/ (/ (pow a1 3) (pow (/ (cbrt b1) (cbrt a2)) 3)) (* (pow b2 3) (/ (* b1 b1) (pow (* (cbrt a2) (cbrt a2)) 3))))
  (/ (/ (pow a1 3) (/ b1 a2)) (* (/ (/ (pow (pow b1 2/3) 3) a2) a2) (pow b2 3)))
  (/ (/ (pow a1 3) (pow b2 3)) (* (pow (/ (cbrt b1) (cbrt a2)) 3) (/ (/ (pow (pow b1 2/3) 3) a2) a2)))
  (/ (/ (pow a1 3) (/ b1 a2)) (pow (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)) 3))
  (pow (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)) 3)
  (/ (/ (pow a1 3) (/ b1 a2)) (pow (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)) 3))
  (pow (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)) 3)
  (/ (/ (pow a1 3) (/ b1 a2)) (pow (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)) 3))
  (pow (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)) 3)
  (pow (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)) 3)
  (* (cbrt (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3))) (cbrt (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3))))
  (cbrt (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (pow (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)) 3)
  (sqrt (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (sqrt (/ (/ a1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (- a1)
  (- (* (pow (/ (cbrt b1) (cbrt a2)) 3) b2))
  (* (/ (cbrt a1) b2) (/ (cbrt a1) (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2))))
  (/ (cbrt a1) (/ (cbrt b1) (cbrt a2)))
  (/ (/ (sqrt a1) b2) (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2)))
  (/ (sqrt a1) (/ (cbrt b1) (cbrt a2)))
  (* (/ (/ 1 b2) (pow b1 2/3)) (* (cbrt a2) (cbrt a2)))
  (/ a1 (/ (cbrt b1) (cbrt a2)))
  (/ (/ 1 b2) (pow (/ (cbrt b1) (cbrt a2)) 3))
  (/ b2 (/ a1 (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (/ (/ a1 (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2))) b2)
  (/ (* (pow (/ (cbrt b1) (cbrt a2)) 3) b2) (cbrt a1))
  (/ (* (pow (/ (cbrt b1) (cbrt a2)) 3) b2) (sqrt a1))
  (/ b2 (/ a1 (pow (/ (cbrt b1) (cbrt a2)) 3)))
  (/ (/ a1 b2) (pow (cbrt b1) 3))
  (/ a1 (/ (* (pow (cbrt b1) 3) b2) (* (cbrt a2) (cbrt a2))))
  (* (/ (/ a1 b2) (pow (cbrt b1) 3)) (cbrt a2))
  (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2))
  (+ (* 2 (log (/ (cbrt b1) (cbrt a2)))) (log b2))
  (+ (* 2 (log (/ (cbrt b1) (cbrt a2)))) (log b2))
  (+ (* 2 (log (/ (cbrt b1) (cbrt a2)))) (log b2))
  (+ (* 2 (log (/ (cbrt b1) (cbrt a2)))) (log b2))
  (+ (* 2 (log (/ (cbrt b1) (cbrt a2)))) (log b2))
  (+ (* 2 (log (/ (cbrt b1) (cbrt a2)))) (log b2))
  (pow (exp b2) (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2)))
  (/ (* (pow b2 3) b1) (/ (* a2 a2) b1))
  (* (pow b2 3) (/ (* b1 b1) (pow (* (cbrt a2) (cbrt a2)) 3)))
  (* (/ (/ (pow (pow b1 2/3) 3) a2) a2) (pow b2 3))
  (pow (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)) 3)
  (pow (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)) 3)
  (* (cbrt (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2))) (cbrt (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2))))
  (cbrt (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)))
  (pow (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)) 3)
  (sqrt (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)))
  (sqrt (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2)))
  (* (sqrt b2) (fabs (/ (cbrt b1) (cbrt a2))))
  (* (sqrt b2) (fabs (/ (cbrt b1) (cbrt a2))))
  (* (sqrt b2) (/ (cbrt b1) (cbrt a2)))
  (* (sqrt b2) (/ (cbrt b1) (cbrt a2)))
  (* b2 (* (cbrt (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2))) (cbrt (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2)))))
  (* (fabs (/ (cbrt b1) (cbrt a2))) b2)
  (* b2 (/ (cbrt b1) (cbrt a2)))
  b2
  (* (pow b1 2/3) b2)
  (/ (* (cbrt b2) (pow b1 2/3)) (* (cbrt a2) (cbrt a2)))
  (* (sqrt b2) (/ (/ (pow b1 2/3) (cbrt a2)) (cbrt a2)))
  (/ (* b2 (/ (pow b1 2/3) (cbrt a2))) (cbrt a2))
  (* (pow b1 2/3) b2)
  (log (cbrt b1))
  (exp (cbrt b1))
  (cbrt (pow b1 2/3))
  (cbrt (cbrt b1))
  (cbrt (sqrt b1))
  (cbrt (sqrt b1))
  1
  (cbrt b1)
  (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))
  (cbrt (cbrt b1))
  (pow (cbrt b1) 3)
  (sqrt (cbrt b1))
  (sqrt (cbrt b1))
  (log (cbrt b1))
  (exp (cbrt b1))
  (cbrt (pow b1 2/3))
  (cbrt (cbrt b1))
  (cbrt (sqrt b1))
  (cbrt (sqrt b1))
  1
  (cbrt b1)
  (* (cbrt (cbrt b1)) (cbrt (cbrt b1)))
  (cbrt (cbrt b1))
  (pow (cbrt b1) 3)
  (sqrt (cbrt b1))
  (sqrt (cbrt b1))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (* (exp (* 2/3 (- (log b1) (log a2)))) b2)
  (* (exp (* 2/3 (- (- (log a2)) (- (log b1))))) b2)
  (* (exp (* 2/3 (- (log (/ -1 a2)) (log (/ -1 b1))))) b2)
  (cbrt b1)
  (pow (/ 1 b1) -1/3)
  (* (cbrt -1) (cbrt (- b1)))
  (cbrt b1)
  (pow (/ 1 b1) -1/3)
  (* (cbrt -1) (cbrt (- b1)))
3.485 * * * [progress]: adding candidates to table
3.773 * * [progress]: iteration 4 / 4
3.773 * * * [progress]: picking best candidate
3.783 * * * * [pick]: Picked  #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>
3.783 * * * [progress]: localizing error
3.788 * * * [progress]: generating rewritten candidates
3.788 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.793 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.798 * * * [progress]: generating series expansions
3.798 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.799 * [approximate]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in (a1 b1 b2 a2) around 0
3.799 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a2
3.799 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
3.799 * [taylor]: Taking taylor expansion of a1 in a2
3.799 * [taylor]: Taking taylor expansion of a2 in a2
3.799 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
3.799 * [taylor]: Taking taylor expansion of b1 in a2
3.799 * [taylor]: Taking taylor expansion of b2 in a2
3.799 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b2
3.799 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
3.799 * [taylor]: Taking taylor expansion of a1 in b2
3.799 * [taylor]: Taking taylor expansion of a2 in b2
3.799 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
3.799 * [taylor]: Taking taylor expansion of b1 in b2
3.799 * [taylor]: Taking taylor expansion of b2 in b2
3.800 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in b1
3.800 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
3.800 * [taylor]: Taking taylor expansion of a1 in b1
3.800 * [taylor]: Taking taylor expansion of a2 in b1
3.800 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.800 * [taylor]: Taking taylor expansion of b1 in b1
3.800 * [taylor]: Taking taylor expansion of b2 in b1
3.800 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
3.800 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
3.800 * [taylor]: Taking taylor expansion of a1 in a1
3.800 * [taylor]: Taking taylor expansion of a2 in a1
3.800 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
3.800 * [taylor]: Taking taylor expansion of b1 in a1
3.800 * [taylor]: Taking taylor expansion of b2 in a1
3.801 * [taylor]: Taking taylor expansion of (/ (* a1 a2) (* b1 b2)) in a1
3.801 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
3.801 * [taylor]: Taking taylor expansion of a1 in a1
3.801 * [taylor]: Taking taylor expansion of a2 in a1
3.801 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
3.801 * [taylor]: Taking taylor expansion of b1 in a1
3.801 * [taylor]: Taking taylor expansion of b2 in a1
3.801 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
3.801 * [taylor]: Taking taylor expansion of a2 in b1
3.801 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.801 * [taylor]: Taking taylor expansion of b1 in b1
3.801 * [taylor]: Taking taylor expansion of b2 in b1
3.801 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
3.802 * [taylor]: Taking taylor expansion of a2 in b2
3.802 * [taylor]: Taking taylor expansion of b2 in b2
3.802 * [taylor]: Taking taylor expansion of a2 in a2
3.802 * [taylor]: Taking taylor expansion of 0 in b1
3.803 * [taylor]: Taking taylor expansion of 0 in b2
3.803 * [taylor]: Taking taylor expansion of 0 in a2
3.805 * [taylor]: Taking taylor expansion of 0 in b1
3.805 * [taylor]: Taking taylor expansion of 0 in b2
3.809 * [taylor]: Taking taylor expansion of 0 in b2
3.809 * [taylor]: Taking taylor expansion of 0 in a2
3.810 * [taylor]: Taking taylor expansion of 0 in a2
3.811 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 b2 a2) around 0
3.811 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
3.811 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
3.811 * [taylor]: Taking taylor expansion of b1 in a2
3.811 * [taylor]: Taking taylor expansion of b2 in a2
3.811 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
3.811 * [taylor]: Taking taylor expansion of a1 in a2
3.811 * [taylor]: Taking taylor expansion of a2 in a2
3.811 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
3.811 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
3.811 * [taylor]: Taking taylor expansion of b1 in b2
3.811 * [taylor]: Taking taylor expansion of b2 in b2
3.811 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
3.811 * [taylor]: Taking taylor expansion of a1 in b2
3.811 * [taylor]: Taking taylor expansion of a2 in b2
3.812 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
3.812 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.812 * [taylor]: Taking taylor expansion of b1 in b1
3.812 * [taylor]: Taking taylor expansion of b2 in b1
3.812 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
3.812 * [taylor]: Taking taylor expansion of a1 in b1
3.812 * [taylor]: Taking taylor expansion of a2 in b1
3.812 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
3.812 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
3.812 * [taylor]: Taking taylor expansion of b1 in a1
3.812 * [taylor]: Taking taylor expansion of b2 in a1
3.812 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
3.812 * [taylor]: Taking taylor expansion of a1 in a1
3.812 * [taylor]: Taking taylor expansion of a2 in a1
3.813 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
3.813 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
3.813 * [taylor]: Taking taylor expansion of b1 in a1
3.813 * [taylor]: Taking taylor expansion of b2 in a1
3.813 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
3.813 * [taylor]: Taking taylor expansion of a1 in a1
3.813 * [taylor]: Taking taylor expansion of a2 in a1
3.813 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
3.813 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.813 * [taylor]: Taking taylor expansion of b1 in b1
3.813 * [taylor]: Taking taylor expansion of b2 in b1
3.813 * [taylor]: Taking taylor expansion of a2 in b1
3.813 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
3.813 * [taylor]: Taking taylor expansion of b2 in b2
3.813 * [taylor]: Taking taylor expansion of a2 in b2
3.814 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
3.814 * [taylor]: Taking taylor expansion of a2 in a2
3.814 * [taylor]: Taking taylor expansion of 0 in b1
3.814 * [taylor]: Taking taylor expansion of 0 in b2
3.814 * [taylor]: Taking taylor expansion of 0 in a2
3.815 * [taylor]: Taking taylor expansion of 0 in b2
3.815 * [taylor]: Taking taylor expansion of 0 in a2
3.815 * [taylor]: Taking taylor expansion of 0 in a2
3.817 * [taylor]: Taking taylor expansion of 0 in b1
3.817 * [taylor]: Taking taylor expansion of 0 in b2
3.817 * [taylor]: Taking taylor expansion of 0 in a2
3.817 * [taylor]: Taking taylor expansion of 0 in b2
3.817 * [taylor]: Taking taylor expansion of 0 in a2
3.818 * [taylor]: Taking taylor expansion of 0 in b2
3.818 * [taylor]: Taking taylor expansion of 0 in a2
3.818 * [taylor]: Taking taylor expansion of 0 in a2
3.818 * [taylor]: Taking taylor expansion of 0 in a2
3.818 * [taylor]: Taking taylor expansion of 0 in a2
3.820 * [taylor]: Taking taylor expansion of 0 in b1
3.820 * [taylor]: Taking taylor expansion of 0 in b2
3.820 * [taylor]: Taking taylor expansion of 0 in a2
3.820 * [taylor]: Taking taylor expansion of 0 in b2
3.820 * [taylor]: Taking taylor expansion of 0 in a2
3.820 * [taylor]: Taking taylor expansion of 0 in b2
3.820 * [taylor]: Taking taylor expansion of 0 in a2
3.821 * [taylor]: Taking taylor expansion of 0 in b2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [taylor]: Taking taylor expansion of 0 in a2
3.822 * [approximate]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in (a1 b1 b2 a2) around 0
3.822 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a2
3.822 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
3.822 * [taylor]: Taking taylor expansion of b1 in a2
3.822 * [taylor]: Taking taylor expansion of b2 in a2
3.822 * [taylor]: Taking taylor expansion of (* a1 a2) in a2
3.822 * [taylor]: Taking taylor expansion of a1 in a2
3.822 * [taylor]: Taking taylor expansion of a2 in a2
3.823 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b2
3.823 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
3.823 * [taylor]: Taking taylor expansion of b1 in b2
3.823 * [taylor]: Taking taylor expansion of b2 in b2
3.823 * [taylor]: Taking taylor expansion of (* a1 a2) in b2
3.823 * [taylor]: Taking taylor expansion of a1 in b2
3.823 * [taylor]: Taking taylor expansion of a2 in b2
3.823 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in b1
3.823 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.823 * [taylor]: Taking taylor expansion of b1 in b1
3.823 * [taylor]: Taking taylor expansion of b2 in b1
3.823 * [taylor]: Taking taylor expansion of (* a1 a2) in b1
3.823 * [taylor]: Taking taylor expansion of a1 in b1
3.823 * [taylor]: Taking taylor expansion of a2 in b1
3.824 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
3.824 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
3.824 * [taylor]: Taking taylor expansion of b1 in a1
3.824 * [taylor]: Taking taylor expansion of b2 in a1
3.824 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
3.824 * [taylor]: Taking taylor expansion of a1 in a1
3.824 * [taylor]: Taking taylor expansion of a2 in a1
3.824 * [taylor]: Taking taylor expansion of (/ (* b1 b2) (* a1 a2)) in a1
3.824 * [taylor]: Taking taylor expansion of (* b1 b2) in a1
3.824 * [taylor]: Taking taylor expansion of b1 in a1
3.824 * [taylor]: Taking taylor expansion of b2 in a1
3.824 * [taylor]: Taking taylor expansion of (* a1 a2) in a1
3.824 * [taylor]: Taking taylor expansion of a1 in a1
3.824 * [taylor]: Taking taylor expansion of a2 in a1
3.824 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
3.824 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.824 * [taylor]: Taking taylor expansion of b1 in b1
3.825 * [taylor]: Taking taylor expansion of b2 in b1
3.825 * [taylor]: Taking taylor expansion of a2 in b1
3.825 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
3.825 * [taylor]: Taking taylor expansion of b2 in b2
3.825 * [taylor]: Taking taylor expansion of a2 in b2
3.825 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
3.825 * [taylor]: Taking taylor expansion of a2 in a2
3.826 * [taylor]: Taking taylor expansion of 0 in b1
3.826 * [taylor]: Taking taylor expansion of 0 in b2
3.826 * [taylor]: Taking taylor expansion of 0 in a2
3.826 * [taylor]: Taking taylor expansion of 0 in b2
3.827 * [taylor]: Taking taylor expansion of 0 in a2
3.827 * [taylor]: Taking taylor expansion of 0 in a2
3.828 * [taylor]: Taking taylor expansion of 0 in b1
3.828 * [taylor]: Taking taylor expansion of 0 in b2
3.828 * [taylor]: Taking taylor expansion of 0 in a2
3.828 * [taylor]: Taking taylor expansion of 0 in b2
3.828 * [taylor]: Taking taylor expansion of 0 in a2
3.829 * [taylor]: Taking taylor expansion of 0 in b2
3.829 * [taylor]: Taking taylor expansion of 0 in a2
3.829 * [taylor]: Taking taylor expansion of 0 in a2
3.829 * [taylor]: Taking taylor expansion of 0 in a2
3.829 * [taylor]: Taking taylor expansion of 0 in a2
3.831 * [taylor]: Taking taylor expansion of 0 in b1
3.831 * [taylor]: Taking taylor expansion of 0 in b2
3.832 * [taylor]: Taking taylor expansion of 0 in a2
3.832 * [taylor]: Taking taylor expansion of 0 in b2
3.832 * [taylor]: Taking taylor expansion of 0 in a2
3.832 * [taylor]: Taking taylor expansion of 0 in b2
3.832 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in b2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * [taylor]: Taking taylor expansion of 0 in a2
3.833 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.833 * [approximate]: Taking taylor expansion of (/ (* b1 b2) a2) in (b1 b2 a2) around 0
3.833 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in a2
3.833 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
3.833 * [taylor]: Taking taylor expansion of b1 in a2
3.833 * [taylor]: Taking taylor expansion of b2 in a2
3.833 * [taylor]: Taking taylor expansion of a2 in a2
3.833 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b2
3.833 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
3.833 * [taylor]: Taking taylor expansion of b1 in b2
3.834 * [taylor]: Taking taylor expansion of b2 in b2
3.834 * [taylor]: Taking taylor expansion of a2 in b2
3.834 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
3.834 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.834 * [taylor]: Taking taylor expansion of b1 in b1
3.834 * [taylor]: Taking taylor expansion of b2 in b1
3.834 * [taylor]: Taking taylor expansion of a2 in b1
3.834 * [taylor]: Taking taylor expansion of (/ (* b1 b2) a2) in b1
3.834 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.834 * [taylor]: Taking taylor expansion of b1 in b1
3.834 * [taylor]: Taking taylor expansion of b2 in b1
3.834 * [taylor]: Taking taylor expansion of a2 in b1
3.835 * [taylor]: Taking taylor expansion of (/ b2 a2) in b2
3.835 * [taylor]: Taking taylor expansion of b2 in b2
3.835 * [taylor]: Taking taylor expansion of a2 in b2
3.835 * [taylor]: Taking taylor expansion of (/ 1 a2) in a2
3.835 * [taylor]: Taking taylor expansion of a2 in a2
3.836 * [taylor]: Taking taylor expansion of 0 in b2
3.836 * [taylor]: Taking taylor expansion of 0 in a2
3.836 * [taylor]: Taking taylor expansion of 0 in a2
3.837 * [taylor]: Taking taylor expansion of 0 in b2
3.837 * [taylor]: Taking taylor expansion of 0 in a2
3.837 * [taylor]: Taking taylor expansion of 0 in a2
3.837 * [taylor]: Taking taylor expansion of 0 in a2
3.839 * [taylor]: Taking taylor expansion of 0 in b2
3.839 * [taylor]: Taking taylor expansion of 0 in a2
3.839 * [taylor]: Taking taylor expansion of 0 in a2
3.839 * [taylor]: Taking taylor expansion of 0 in a2
3.839 * [taylor]: Taking taylor expansion of 0 in a2
3.839 * [approximate]: Taking taylor expansion of (/ a2 (* b1 b2)) in (b1 b2 a2) around 0
3.839 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
3.839 * [taylor]: Taking taylor expansion of a2 in a2
3.839 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
3.839 * [taylor]: Taking taylor expansion of b1 in a2
3.839 * [taylor]: Taking taylor expansion of b2 in a2
3.839 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
3.839 * [taylor]: Taking taylor expansion of a2 in b2
3.839 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
3.839 * [taylor]: Taking taylor expansion of b1 in b2
3.839 * [taylor]: Taking taylor expansion of b2 in b2
3.840 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
3.840 * [taylor]: Taking taylor expansion of a2 in b1
3.840 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.840 * [taylor]: Taking taylor expansion of b1 in b1
3.840 * [taylor]: Taking taylor expansion of b2 in b1
3.840 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
3.840 * [taylor]: Taking taylor expansion of a2 in b1
3.840 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.840 * [taylor]: Taking taylor expansion of b1 in b1
3.840 * [taylor]: Taking taylor expansion of b2 in b1
3.841 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
3.841 * [taylor]: Taking taylor expansion of a2 in b2
3.841 * [taylor]: Taking taylor expansion of b2 in b2
3.841 * [taylor]: Taking taylor expansion of a2 in a2
3.841 * [taylor]: Taking taylor expansion of 0 in b2
3.842 * [taylor]: Taking taylor expansion of 0 in a2
3.843 * [taylor]: Taking taylor expansion of 0 in b2
3.843 * [taylor]: Taking taylor expansion of 0 in a2
3.844 * [taylor]: Taking taylor expansion of 0 in a2
3.844 * [approximate]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in (b1 b2 a2) around 0
3.844 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in a2
3.844 * [taylor]: Taking taylor expansion of -1 in a2
3.844 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in a2
3.844 * [taylor]: Taking taylor expansion of a2 in a2
3.844 * [taylor]: Taking taylor expansion of (* b1 b2) in a2
3.844 * [taylor]: Taking taylor expansion of b1 in a2
3.844 * [taylor]: Taking taylor expansion of b2 in a2
3.844 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b2
3.844 * [taylor]: Taking taylor expansion of -1 in b2
3.844 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b2
3.844 * [taylor]: Taking taylor expansion of a2 in b2
3.844 * [taylor]: Taking taylor expansion of (* b1 b2) in b2
3.844 * [taylor]: Taking taylor expansion of b1 in b2
3.844 * [taylor]: Taking taylor expansion of b2 in b2
3.844 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
3.844 * [taylor]: Taking taylor expansion of -1 in b1
3.845 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
3.845 * [taylor]: Taking taylor expansion of a2 in b1
3.845 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.845 * [taylor]: Taking taylor expansion of b1 in b1
3.845 * [taylor]: Taking taylor expansion of b2 in b1
3.845 * [taylor]: Taking taylor expansion of (* -1 (/ a2 (* b1 b2))) in b1
3.845 * [taylor]: Taking taylor expansion of -1 in b1
3.845 * [taylor]: Taking taylor expansion of (/ a2 (* b1 b2)) in b1
3.845 * [taylor]: Taking taylor expansion of a2 in b1
3.845 * [taylor]: Taking taylor expansion of (* b1 b2) in b1
3.845 * [taylor]: Taking taylor expansion of b1 in b1
3.845 * [taylor]: Taking taylor expansion of b2 in b1
3.845 * [taylor]: Taking taylor expansion of (* -1 (/ a2 b2)) in b2
3.845 * [taylor]: Taking taylor expansion of -1 in b2
3.845 * [taylor]: Taking taylor expansion of (/ a2 b2) in b2
3.845 * [taylor]: Taking taylor expansion of a2 in b2
3.845 * [taylor]: Taking taylor expansion of b2 in b2
3.845 * [taylor]: Taking taylor expansion of (* -1 a2) in a2
3.846 * [taylor]: Taking taylor expansion of -1 in a2
3.846 * [taylor]: Taking taylor expansion of a2 in a2
3.847 * [taylor]: Taking taylor expansion of 0 in b2
3.848 * [taylor]: Taking taylor expansion of 0 in a2
3.849 * [taylor]: Taking taylor expansion of 0 in b2
3.850 * [taylor]: Taking taylor expansion of 0 in a2
3.851 * [taylor]: Taking taylor expansion of 0 in a2
3.852 * * * [progress]: simplifying candidates
3.853 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log a1) (- (+ (log b1) (log b2)) (log a2)))
  (- (log a1) (- (log (* b1 b2)) (log a2)))
  (- (log a1) (log (/ (* b1 b2) a2)))
  (log (/ a1 (/ (* b1 b2) a2)))
  (exp (/ a1 (/ (* b1 b2) a2)))
  (/ (* (* a1 a1) a1) (/ (* (* (* b1 b1) b1) (* (* b2 b2) b2)) (* (* a2 a2) a2)))
  (/ (* (* a1 a1) a1) (/ (* (* (* b1 b2) (* b1 b2)) (* b1 b2)) (* (* a2 a2) a2)))
  (/ (* (* a1 a1) a1) (* (* (/ (* b1 b2) a2) (/ (* b1 b2) a2)) (/ (* b1 b2) a2)))
  (* (cbrt (/ a1 (/ (* b1 b2) a2))) (cbrt (/ a1 (/ (* b1 b2) a2))))
  (cbrt (/ a1 (/ (* b1 b2) a2)))
  (* (* (/ a1 (/ (* b1 b2) a2)) (/ a1 (/ (* b1 b2) a2))) (/ a1 (/ (* b1 b2) a2)))
  (sqrt (/ a1 (/ (* b1 b2) a2)))
  (sqrt (/ a1 (/ (* b1 b2) a2)))
  (- a1)
  (- (/ (* b1 b2) a2))
  (/ (* (cbrt a1) (cbrt a1)) (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ (cbrt a1) (cbrt (/ (* b1 b2) a2)))
  (/ (* (cbrt a1) (cbrt a1)) (sqrt (/ (* b1 b2) a2)))
  (/ (cbrt a1) (sqrt (/ (* b1 b2) a2)))
  (/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ (cbrt a1) (/ b2 (cbrt a2)))
  (/ (* (cbrt a1) (cbrt a1)) (/ b1 (sqrt a2)))
  (/ (cbrt a1) (/ b2 (sqrt a2)))
  (/ (* (cbrt a1) (cbrt a1)) (/ b1 1))
  (/ (cbrt a1) (/ b2 a2))
  (/ (* (cbrt a1) (cbrt a1)) 1)
  (/ (cbrt a1) (/ (* b1 b2) a2))
  (/ (* (cbrt a1) (cbrt a1)) (* b1 b2))
  (/ (cbrt a1) (/ 1 a2))
  (/ (sqrt a1) (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ (sqrt a1) (cbrt (/ (* b1 b2) a2)))
  (/ (sqrt a1) (sqrt (/ (* b1 b2) a2)))
  (/ (sqrt a1) (sqrt (/ (* b1 b2) a2)))
  (/ (sqrt a1) (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ (sqrt a1) (/ b2 (cbrt a2)))
  (/ (sqrt a1) (/ b1 (sqrt a2)))
  (/ (sqrt a1) (/ b2 (sqrt a2)))
  (/ (sqrt a1) (/ b1 1))
  (/ (sqrt a1) (/ b2 a2))
  (/ (sqrt a1) 1)
  (/ (sqrt a1) (/ (* b1 b2) a2))
  (/ (sqrt a1) (* b1 b2))
  (/ (sqrt a1) (/ 1 a2))
  (/ 1 (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ a1 (cbrt (/ (* b1 b2) a2)))
  (/ 1 (sqrt (/ (* b1 b2) a2)))
  (/ a1 (sqrt (/ (* b1 b2) a2)))
  (/ 1 (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ a1 (/ b2 (cbrt a2)))
  (/ 1 (/ b1 (sqrt a2)))
  (/ a1 (/ b2 (sqrt a2)))
  (/ 1 (/ b1 1))
  (/ a1 (/ b2 a2))
  (/ 1 1)
  (/ a1 (/ (* b1 b2) a2))
  (/ 1 (* b1 b2))
  (/ a1 (/ 1 a2))
  (/ 1 (/ (* b1 b2) a2))
  (/ (/ (* b1 b2) a2) a1)
  (/ a1 (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ a1 (sqrt (/ (* b1 b2) a2)))
  (/ a1 (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ a1 (/ b1 (sqrt a2)))
  (/ a1 (/ b1 1))
  (/ a1 1)
  (/ a1 (* b1 b2))
  (/ (/ (* b1 b2) a2) (cbrt a1))
  (/ (/ (* b1 b2) a2) (sqrt a1))
  (/ (/ (* b1 b2) a2) a1)
  (/ a1 (* b1 b2))
  (- (+ (log b1) (log b2)) (log a2))
  (- (log (* b1 b2)) (log a2))
  (log (/ (* b1 b2) a2))
  (exp (/ (* b1 b2) a2))
  (/ (* (* (* b1 b1) b1) (* (* b2 b2) b2)) (* (* a2 a2) a2))
  (/ (* (* (* b1 b2) (* b1 b2)) (* b1 b2)) (* (* a2 a2) a2))
  (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2)))
  (cbrt (/ (* b1 b2) a2))
  (* (* (/ (* b1 b2) a2) (/ (* b1 b2) a2)) (/ (* b1 b2) a2))
  (sqrt (/ (* b1 b2) a2))
  (sqrt (/ (* b1 b2) a2))
  (- (* b1 b2))
  (- a2)
  (/ b1 (* (cbrt a2) (cbrt a2)))
  (/ b2 (cbrt a2))
  (/ b1 (sqrt a2))
  (/ b2 (sqrt a2))
  (/ b1 1)
  (/ b2 a2)
  (/ 1 a2)
  (/ a2 (* b1 b2))
  (/ (* b1 b2) (* (cbrt a2) (cbrt a2)))
  (/ (* b1 b2) (sqrt a2))
  (/ (* b1 b2) 1)
  (/ a2 b2)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
3.856 * * [simplify]: iteration  0 :  123  enodes  (cost  824 )
3.885 * * [simplify]: iteration  1 :  292  enodes  (cost  791 )
3.963 * * [simplify]: iteration  2 :  1075  enodes  (cost  703 )
4.549 * * [simplify]: iteration  done :  5000  enodes  (cost  701 )
4.549 * [simplify]: Simplified to:
   (log (/ a1 (/ (* b1 b2) a2)))
  (log (/ a1 (/ (* b1 b2) a2)))
  (log (/ a1 (/ (* b1 b2) a2)))
  (log (/ a1 (/ (* b1 b2) a2)))
  (exp (/ a1 (/ (* b1 b2) a2)))
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (* (cbrt (/ a1 (/ (* b1 b2) a2))) (cbrt (/ a1 (/ (* b1 b2) a2))))
  (cbrt (/ a1 (/ (* b1 b2) a2)))
  (pow (/ (* a1 a2) (* b1 b2)) 3)
  (sqrt (/ a1 (/ (* b1 b2) a2)))
  (sqrt (/ a1 (/ (* b1 b2) a2)))
  (- a1)
  (- (/ (* b1 b2) a2))
  (/ (* (cbrt a1) (cbrt a1)) (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ (cbrt a1) (cbrt (/ (* b1 b2) a2)))
  (/ (* (cbrt a1) (cbrt a1)) (sqrt (/ (* b1 b2) a2)))
  (/ (cbrt a1) (sqrt (/ (* b1 b2) a2)))
  (/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ (cbrt a1) (/ b2 (cbrt a2)))
  (/ (* (cbrt a1) (cbrt a1)) (/ b1 (sqrt a2)))
  (/ (cbrt a1) (/ b2 (sqrt a2)))
  (/ (* (cbrt a1) (cbrt a1)) b1)
  (/ (cbrt a1) (/ b2 a2))
  (* (cbrt a1) (cbrt a1))
  (/ (cbrt a1) (/ (* b1 b2) a2))
  (/ (* (cbrt a1) (cbrt a1)) (* b1 b2))
  (* (cbrt a1) a2)
  (/ (sqrt a1) (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ (sqrt a1) (cbrt (/ (* b1 b2) a2)))
  (/ (sqrt a1) (sqrt (/ (* b1 b2) a2)))
  (/ (sqrt a1) (sqrt (/ (* b1 b2) a2)))
  (/ (sqrt a1) (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ (sqrt a1) (/ b2 (cbrt a2)))
  (/ (sqrt a1) (/ b1 (sqrt a2)))
  (/ (sqrt a1) (/ b2 (sqrt a2)))
  (/ (sqrt a1) b1)
  (/ (sqrt a1) (/ b2 a2))
  (sqrt a1)
  (/ (sqrt a1) (/ (* b1 b2) a2))
  (/ (sqrt a1) (* b1 b2))
  (* (sqrt a1) a2)
  (/ 1 (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ a1 (cbrt (/ (* b1 b2) a2)))
  (/ 1 (sqrt (/ (* b1 b2) a2)))
  (/ a1 (sqrt (/ (* b1 b2) a2)))
  (/ 1 (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ a1 (/ b2 (cbrt a2)))
  (/ 1 (/ b1 (sqrt a2)))
  (/ a1 (/ b2 (sqrt a2)))
  (/ 1 b1)
  (/ a1 (/ b2 a2))
  1
  (/ (* a1 a2) (* b1 b2))
  (/ 1 (* b1 b2))
  (* a1 a2)
  (/ a2 (* b1 b2))
  (/ (/ (* b1 b2) a2) a1)
  (/ a1 (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2))))
  (/ a1 (sqrt (/ (* b1 b2) a2)))
  (/ a1 (/ b1 (* (cbrt a2) (cbrt a2))))
  (/ a1 (/ b1 (sqrt a2)))
  (/ a1 b1)
  a1
  (/ a1 (* b1 b2))
  (/ (/ (* b1 b2) a2) (cbrt a1))
  (/ (/ (* b1 b2) a2) (sqrt a1))
  (/ (/ (* b1 b2) a2) a1)
  (/ a1 (* b1 b2))
  (log (/ (* b1 b2) a2))
  (log (/ (* b1 b2) a2))
  (log (/ (* b1 b2) a2))
  (exp (/ (* b1 b2) a2))
  (pow (/ (* b1 b2) a2) 3)
  (pow (/ (* b1 b2) a2) 3)
  (* (cbrt (/ (* b1 b2) a2)) (cbrt (/ (* b1 b2) a2)))
  (cbrt (/ (* b1 b2) a2))
  (pow (/ (* b1 b2) a2) 3)
  (sqrt (/ (* b1 b2) a2))
  (sqrt (/ (* b1 b2) a2))
  (- (* b1 b2))
  (- a2)
  (/ b1 (* (cbrt a2) (cbrt a2)))
  (/ b2 (cbrt a2))
  (/ b1 (sqrt a2))
  (/ b2 (sqrt a2))
  b1
  (/ b2 a2)
  (/ 1 a2)
  (/ a2 (* b1 b2))
  (/ (* b1 b2) (* (cbrt a2) (cbrt a2)))
  (/ (* b1 b2) (sqrt a2))
  (* b1 b2)
  (/ a2 b2)
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* a1 a2) (* b1 b2))
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
  (/ (* b1 b2) a2)
4.550 * * * [progress]: adding candidates to table
4.699 * [progress]: [Phase 3 of 3] Extracting.
4.699 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.700 * * * [regime-changes]: Trying 6 branch expressions: ((* b1 b2) (* a1 a2) b2 b1 a2 a1)
4.701 * * * * [regimes]: Trying to branch on (* b1 b2) from (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.753 * * * * [regimes]: Trying to branch on (* b1 b2) from (#<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.766 * * * * [regimes]: Trying to branch on (* a1 a2) from (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.824 * * * * [regimes]: Trying to branch on b2 from (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.877 * * * * [regimes]: Trying to branch on b1 from (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.919 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.947 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.976 * * * [regime]: Found split indices: #<option (#s(si 2 22) #s(si 4 105) #s(si 0 139) #s(si 3 234) #s(si 0 255))>
4.977 * [binary-search]: Only using regimes for bounds on (* b1 b2) and (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.977 * [regimes]: Found splitpoints: (#s(sp 2 (* b1 b2) -7.496742992003613e+288) #s(sp 4 (* b1 b2) -1.5748794443415678e-93) #s(sp 0 (* b1 b2) 7.075959465552207e-255) #s(sp 3 (* b1 b2) 2.4179209665394938e+269) #s(sp 0 (* b1 b2) +nan.0)) , with alts (#<alt (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2)))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* b2 (/ b1 a2))))> #<alt (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2)))> #<alt (λ (a1 a2 b1 b2) (* a1 (/ a2 (* b1 b2))))> #<alt (λ (a1 a2 b1 b2) (* (/ a1 (* b2 b1)) a2))> #<alt (λ (a1 a2 b1 b2) (* (/ 1 b2) (* a1 (/ a2 b1))))> #<alt (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b1) b2))> #<alt (λ (a1 a2 b1 b2) (/ a1 (* (* b2 (/ (* (cbrt b1) (cbrt b1)) (* (cbrt a2) (cbrt a2)))) (/ (cbrt b1) (cbrt a2)))))> #<alt (λ (a1 a2 b1 b2) (/ a1 (/ (* b1 b2) a2)))>)
4.978 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* b1 b2) -7.496742992003613e+288) (/ (/ a1 b2) (/ b1 a2)) (if (<= (* b1 b2) -1.5748794443415678e-93) (* (/ a1 (* b2 b1)) a2) (if (<= (* b1 b2) 7.075959465552207e-255) (* (/ a1 b1) (/ a2 b2)) (if (<= (* b1 b2) 2.4179209665394938e+269) (* a1 (/ a2 (* b1 b2))) (* (/ a1 b1) (/ a2 b2))))))
4.978 * * [simplify]: iteration  0 :  28  enodes  (cost  59 )
4.979 * * [simplify]: iteration  1 :  34  enodes  (cost  53 )
4.980 * * [simplify]: iteration  done :  34  enodes  (cost  53 )
4.980 * [simplify]: Simplified to:
   (if (<= (* b1 b2) -7.496742992003613e+288) (/ (/ a1 b2) (/ b1 a2)) (if (<= (* b1 b2) -1.5748794443415678e-93) (* (/ a1 (* b2 b1)) a2) (if (or (<= (* b1 b2) 7.075959465552207e-255) (not (<= (* b1 b2) 2.4179209665394938e+269))) (* (/ a1 b1) (/ a2 b2)) (* a1 (/ a2 (* b1 b2))))))
5.707 * [regime-testing]: Baseline error score: 8.344690987636085
5.707 * [regime-testing]: Oracle error score: 0.013751718964870608
5.709 * [regime-testing]: End program error score: 5.76820824342249
5.734 * [regime-testing]: Target error score: 11.581615137941679