23.861 * [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> :
   (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))
0.019 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
0.020 * * [simplify]: iteration  1 :  21  enodes  (cost  11 )
0.023 * * [simplify]: iteration  2 :  65  enodes  (cost  11 )
0.032 * * [simplify]: iteration  3 :  170  enodes  (cost  11 )
0.060 * * [simplify]: iteration  4 :  427  enodes  (cost  11 )
0.157 * * [simplify]: iteration  5 :  932  enodes  (cost  11 )
0.559 * * [simplify]: iteration  6 :  2648  enodes  (cost  11 )
1.611 * * [simplify]: iteration  done :  5001  enodes  (cost  11 )
1.611 * [simplify]: Simplified to:
   (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))
1.612 * * [progress]: iteration 1 / 4
1.612 * * * [progress]: picking best candidate
1.613 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))>
1.613 * * * [progress]: localizing error
1.620 * * * [progress]: generating rewritten candidates
1.620 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.631 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.651 * * * [progress]: generating series expansions
1.651 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.651 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in (x y) around 0
1.651 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in y
1.651 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.651 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in y
1.651 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in y
1.651 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
1.651 * [taylor]: Taking taylor expansion of 1.0 in y
1.651 * [taylor]: Taking taylor expansion of x in y
1.651 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
1.651 * [taylor]: Taking taylor expansion of 3.0 in y
1.652 * [taylor]: Taking taylor expansion of x in y
1.652 * [taylor]: Taking taylor expansion of y in y
1.652 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in x
1.652 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.652 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in x
1.652 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
1.652 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.652 * [taylor]: Taking taylor expansion of 1.0 in x
1.652 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
1.652 * [taylor]: Taking taylor expansion of 3.0 in x
1.652 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of y in x
1.653 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in x
1.653 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.653 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in x
1.653 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
1.653 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.653 * [taylor]: Taking taylor expansion of 1.0 in x
1.653 * [taylor]: Taking taylor expansion of x in x
1.653 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
1.653 * [taylor]: Taking taylor expansion of 3.0 in x
1.653 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of y in x
1.655 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
1.655 * [taylor]: Taking taylor expansion of 1.0 in y
1.655 * [taylor]: Taking taylor expansion of y in y
1.657 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 (/ 1 y))) in y
1.657 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (/ 1 y)) in y
1.657 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
1.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.658 * [taylor]: Taking taylor expansion of y in y
1.661 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 y)) in y
1.661 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.661 * [taylor]: Taking taylor expansion of y in y
1.662 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y))) in (x y) around 0
1.662 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y))) in y
1.662 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.662 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y)) in y
1.662 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
1.662 * [taylor]: Taking taylor expansion of 1.0 in y
1.662 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.662 * [taylor]: Taking taylor expansion of x in y
1.662 * [taylor]: Taking taylor expansion of (* (- 3.0 (/ 1 x)) y) in y
1.662 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
1.662 * [taylor]: Taking taylor expansion of 3.0 in y
1.662 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.662 * [taylor]: Taking taylor expansion of x in y
1.662 * [taylor]: Taking taylor expansion of y in y
1.662 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y))) in x
1.662 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.662 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y)) in x
1.662 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.662 * [taylor]: Taking taylor expansion of 1.0 in x
1.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.662 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (* (- 3.0 (/ 1 x)) y) in x
1.663 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
1.663 * [taylor]: Taking taylor expansion of 3.0 in x
1.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of y in x
1.663 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y))) in x
1.663 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.663 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* (- 3.0 (/ 1 x)) y)) in x
1.663 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.663 * [taylor]: Taking taylor expansion of 1.0 in x
1.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (* (- 3.0 (/ 1 x)) y) in x
1.663 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
1.663 * [taylor]: Taking taylor expansion of 3.0 in x
1.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.664 * [taylor]: Taking taylor expansion of y in x
1.665 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.665 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.665 * [taylor]: Taking taylor expansion of y in y
1.668 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
1.668 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
1.668 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
1.668 * [taylor]: Taking taylor expansion of y in y
1.672 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
1.672 * [taylor]: Taking taylor expansion of 1.0 in y
1.672 * [taylor]: Taking taylor expansion of y in y
1.678 * [taylor]: Taking taylor expansion of 0 in y
1.679 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in (x y) around 0
1.679 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in y
1.679 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.679 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in y
1.679 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
1.679 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.679 * [taylor]: Taking taylor expansion of x in y
1.680 * [taylor]: Taking taylor expansion of 1.0 in y
1.680 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
1.680 * [taylor]: Taking taylor expansion of y in y
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.680 * [taylor]: Taking taylor expansion of x in y
1.680 * [taylor]: Taking taylor expansion of 3.0 in y
1.680 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in x
1.680 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
1.680 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of 1.0 in x
1.680 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
1.680 * [taylor]: Taking taylor expansion of y in x
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of 3.0 in x
1.680 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in x
1.680 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
1.680 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.681 * [taylor]: Taking taylor expansion of 1.0 in x
1.681 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
1.681 * [taylor]: Taking taylor expansion of y in x
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
1.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.681 * [taylor]: Taking taylor expansion of x in x
1.681 * [taylor]: Taking taylor expansion of 3.0 in x
1.682 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y
1.682 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.682 * [taylor]: Taking taylor expansion of y in y
1.688 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
1.688 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
1.688 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
1.688 * [taylor]: Taking taylor expansion of y in y
1.691 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y
1.691 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
1.692 * [taylor]: Taking taylor expansion of 1.0 in y
1.692 * [taylor]: Taking taylor expansion of y in y
1.697 * [taylor]: Taking taylor expansion of 0 in y
1.699 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.700 * [approximate]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in (x) around 0
1.700 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
1.700 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.700 * [taylor]: Taking taylor expansion of 1.0 in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
1.700 * [taylor]: Taking taylor expansion of 3.0 in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
1.700 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
1.700 * [taylor]: Taking taylor expansion of 1.0 in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
1.700 * [taylor]: Taking taylor expansion of 3.0 in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.705 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 3.0 (/ 1 x))) in (x) around 0
1.705 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 3.0 (/ 1 x))) in x
1.705 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.705 * [taylor]: Taking taylor expansion of 1.0 in x
1.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.705 * [taylor]: Taking taylor expansion of x in x
1.705 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
1.705 * [taylor]: Taking taylor expansion of 3.0 in x
1.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.706 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 3.0 (/ 1 x))) in x
1.706 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.706 * [taylor]: Taking taylor expansion of 1.0 in x
1.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.706 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
1.706 * [taylor]: Taking taylor expansion of 3.0 in x
1.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.715 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 x) 3.0)) in (x) around 0
1.715 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 x) 3.0)) in x
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of 1.0 in x
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
1.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of 3.0 in x
1.715 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 x) 3.0)) in x
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of 1.0 in x
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
1.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of 3.0 in x
1.723 * * * [progress]: simplifying candidates
1.724 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log (- 1.0 x)) (log (- 3.0 x))) (+ (log y) (log 3.0)))
  (- (+ (log (- 1.0 x)) (log (- 3.0 x))) (log (* y 3.0)))
  (- (log (* (- 1.0 x) (- 3.0 x))) (+ (log y) (log 3.0)))
  (- (log (* (- 1.0 x) (- 3.0 x))) (log (* y 3.0)))
  (log (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (exp (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (/ (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x))) (* (* (* y y) y) (* (* 3.0 3.0) 3.0)))
  (/ (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x))) (* (* (* y 3.0) (* y 3.0)) (* y 3.0)))
  (/ (* (* (* (- 1.0 x) (- 3.0 x)) (* (- 1.0 x) (- 3.0 x))) (* (- 1.0 x) (- 3.0 x))) (* (* (* y y) y) (* (* 3.0 3.0) 3.0)))
  (/ (* (* (* (- 1.0 x) (- 3.0 x)) (* (- 1.0 x) (- 3.0 x))) (* (- 1.0 x) (- 3.0 x))) (* (* (* y 3.0) (* y 3.0)) (* y 3.0)))
  (* (cbrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))) (cbrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))))
  (cbrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (* (* (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)) (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))) (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (sqrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (sqrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (- (* (- 1.0 x) (- 3.0 x)))
  (- (* y 3.0))
  (/ (- 1.0 x) y)
  (/ (- 3.0 x) 3.0)
  (/ 1 (* y 3.0))
  (/ (* y 3.0) (* (- 1.0 x) (- 3.0 x)))
  (/ (* (- 1.0 x) (- 3.0 x)) y)
  (/ (* y 3.0) (- 3.0 x))
  (* (* y 3.0) (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x)))))
  (* (* y 3.0) (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ 3.0 x)))
  (* (* y 3.0) (* (+ 1.0 x) (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x)))))
  (* (* y 3.0) (* (+ 1.0 x) (+ 3.0 x)))
  (* (* y 3.0) (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x))))
  (* (* y 3.0) (+ 3.0 x))
  (* (* y 3.0) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (* (* y 3.0) (+ 1.0 x))
  (* (- 1.0 x) (- 3.0 x))
  (+ (log (- 1.0 x)) (log (- 3.0 x)))
  (log (* (- 1.0 x) (- 3.0 x)))
  (exp (* (- 1.0 x) (- 3.0 x)))
  (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)))
  (* (cbrt (* (- 1.0 x) (- 3.0 x))) (cbrt (* (- 1.0 x) (- 3.0 x))))
  (cbrt (* (- 1.0 x) (- 3.0 x)))
  (* (* (* (- 1.0 x) (- 3.0 x)) (* (- 1.0 x) (- 3.0 x))) (* (- 1.0 x) (- 3.0 x)))
  (sqrt (* (- 1.0 x) (- 3.0 x)))
  (sqrt (* (- 1.0 x) (- 3.0 x)))
  (* (- (pow 1.0 3) (pow x 3)) (- (pow 3.0 3) (pow x 3)))
  (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x))))
  (* (- (pow 1.0 3) (pow x 3)) (- (* 3.0 3.0) (* x x)))
  (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ 3.0 x))
  (* (- (* 1.0 1.0) (* x x)) (- (pow 3.0 3) (pow x 3)))
  (* (+ 1.0 x) (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x))))
  (* (- (* 1.0 1.0) (* x x)) (- (* 3.0 3.0) (* x x)))
  (* (+ 1.0 x) (+ 3.0 x))
  (* (sqrt (- 1.0 x)) (sqrt (- 3.0 x)))
  (* (sqrt (- 1.0 x)) (sqrt (- 3.0 x)))
  (* (- 1.0 x) 3.0)
  (* (- 1.0 x) (- x))
  (* (- 1.0 x) 3.0)
  (* (- 1.0 x) (- x))
  (* 3.0 (- 1.0 x))
  (* (- x) (- 1.0 x))
  (* 3.0 (- 1.0 x))
  (* (- x) (- 1.0 x))
  (* (- 1.0 x) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (* (- 1.0 x) (sqrt (- 3.0 x)))
  (* (- 1.0 x) 1)
  (* (- 1.0 x) (+ (sqrt 3.0) (sqrt x)))
  (* (- 1.0 x) 1)
  (* (cbrt (- 1.0 x)) (- 3.0 x))
  (* (sqrt (- 1.0 x)) (- 3.0 x))
  (* (- 1.0 x) (- 3.0 x))
  (* (- (sqrt 1.0) (sqrt x)) (- 3.0 x))
  (* (- 1.0 x) (- 3.0 x))
  (* (- 1.0 x) (- (pow 3.0 3) (pow x 3)))
  (* (- 1.0 x) (- (* 3.0 3.0) (* x x)))
  (* (- (pow 1.0 3) (pow x 3)) (- 3.0 x))
  (* (- (* 1.0 1.0) (* x x)) (- 3.0 x))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (pow x 2) 3.0) (* 4.0 x))
  (- (+ (pow x 2) 3.0) (* 4.0 x))
  (- (+ (pow x 2) 3.0) (* 4.0 x))
1.727 * * [simplify]: iteration  0 :  136  enodes  (cost  998 )
1.754 * * [simplify]: iteration  1 :  413  enodes  (cost  961 )
1.879 * * [simplify]: iteration  2 :  2032  enodes  (cost  821 )
2.320 * * [simplify]: iteration  done :  5000  enodes  (cost  821 )
2.321 * [simplify]: Simplified to:
   (log (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (log (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (log (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (log (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (log (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (exp (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (pow (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)) 3)
  (pow (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)) 3)
  (pow (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)) 3)
  (pow (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)) 3)
  (* (cbrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))) (cbrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))))
  (cbrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (pow (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)) 3)
  (sqrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (sqrt (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
  (- (* (- 1.0 x) (- 3.0 x)))
  (- (* y 3.0))
  (/ (- 1.0 x) y)
  (/ (- 3.0 x) 3.0)
  (/ 1 (* y 3.0))
  (/ (* y 3.0) (* (- 1.0 x) (- 3.0 x)))
  (/ (* (- 1.0 x) (- 3.0 x)) y)
  (* 3.0 (/ y (- 3.0 x)))
  (* (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (+ (* 3.0 3.0) (* x (+ 3.0 x)))) (* y 3.0))
  (* (* y 3.0) (* (+ 3.0 x) (+ (* x (+ 1.0 x)) (* 1.0 1.0))))
  (* (* y 3.0) (* (+ 1.0 x) (+ (* 3.0 3.0) (* x (+ 3.0 x)))))
  (* (* y 3.0) (* (+ 1.0 x) (+ 3.0 x)))
  (* (* y 3.0) (+ (* 3.0 3.0) (* x (+ 3.0 x))))
  (* (* y 3.0) (+ 3.0 x))
  (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (* y 3.0))
  (* (* y 3.0) (+ 1.0 x))
  (* (- 1.0 x) (- 3.0 x))
  (log (* (- 1.0 x) (- 3.0 x)))
  (log (* (- 1.0 x) (- 3.0 x)))
  (exp (* (- 1.0 x) (- 3.0 x)))
  (pow (* (- 1.0 x) (- 3.0 x)) 3)
  (* (cbrt (* (- 1.0 x) (- 3.0 x))) (cbrt (* (- 1.0 x) (- 3.0 x))))
  (cbrt (* (- 1.0 x) (- 3.0 x)))
  (pow (* (- 1.0 x) (- 3.0 x)) 3)
  (sqrt (* (- 1.0 x) (- 3.0 x)))
  (sqrt (* (- 1.0 x) (- 3.0 x)))
  (* (- (pow 1.0 3) (pow x 3)) (- (pow 3.0 3) (pow x 3)))
  (* (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (+ (* 3.0 3.0) (* x (+ 3.0 x))))
  (* (- (pow 1.0 3) (pow x 3)) (- (* 3.0 3.0) (* x x)))
  (* (+ 3.0 x) (+ (* x (+ 1.0 x)) (* 1.0 1.0)))
  (* (- (* 1.0 1.0) (* x x)) (- (pow 3.0 3) (pow x 3)))
  (* (+ 1.0 x) (+ (* 3.0 3.0) (* x (+ 3.0 x))))
  (* (- (* 1.0 1.0) (* x x)) (- (* 3.0 3.0) (* x x)))
  (* (+ 1.0 x) (+ 3.0 x))
  (* (sqrt (- 1.0 x)) (sqrt (- 3.0 x)))
  (* (sqrt (- 1.0 x)) (sqrt (- 3.0 x)))
  (* 3.0 (- 1.0 x))
  (* (- x) (- 1.0 x))
  (* 3.0 (- 1.0 x))
  (* (- x) (- 1.0 x))
  (* 3.0 (- 1.0 x))
  (* (- x) (- 1.0 x))
  (* 3.0 (- 1.0 x))
  (* (- x) (- 1.0 x))
  (* (- 1.0 x) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (* (- 1.0 x) (sqrt (- 3.0 x)))
  (- 1.0 x)
  (* (- 1.0 x) (+ (sqrt 3.0) (sqrt x)))
  (- 1.0 x)
  (* (cbrt (- 1.0 x)) (- 3.0 x))
  (* (sqrt (- 1.0 x)) (- 3.0 x))
  (* (- 1.0 x) (- 3.0 x))
  (* (- (sqrt 1.0) (sqrt x)) (- 3.0 x))
  (* (- 1.0 x) (- 3.0 x))
  (* (- 1.0 x) (- (pow 3.0 3) (pow x 3)))
  (* (- 1.0 x) (- (* 3.0 3.0) (* x x)))
  (* (- (pow 1.0 3) (pow x 3)) (- 3.0 x))
  (* (- (* 1.0 1.0) (* x x)) (- 3.0 x))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (- (+ (pow x 2) 3.0) (* 4.0 x))
  (- (+ (pow x 2) 3.0) (* 4.0 x))
  (- (+ (pow x 2) 3.0) (* 4.0 x))
2.321 * * * [progress]: adding candidates to table
2.451 * * [progress]: iteration 2 / 4
2.452 * * * [progress]: picking best candidate
2.458 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))>
2.458 * * * [progress]: localizing error
2.465 * * * [progress]: generating rewritten candidates
2.465 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.496 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.503 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
2.518 * * * [progress]: generating series expansions
2.518 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.518 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in (x y) around 0
2.518 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in y
2.518 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.518 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in y
2.519 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in y
2.519 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
2.519 * [taylor]: Taking taylor expansion of 1.0 in y
2.519 * [taylor]: Taking taylor expansion of x in y
2.519 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
2.519 * [taylor]: Taking taylor expansion of 3.0 in y
2.519 * [taylor]: Taking taylor expansion of x in y
2.519 * [taylor]: Taking taylor expansion of y in y
2.519 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in x
2.519 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.519 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in x
2.519 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
2.519 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
2.519 * [taylor]: Taking taylor expansion of 1.0 in x
2.519 * [taylor]: Taking taylor expansion of x in x
2.519 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
2.519 * [taylor]: Taking taylor expansion of 3.0 in x
2.519 * [taylor]: Taking taylor expansion of x in x
2.519 * [taylor]: Taking taylor expansion of y in x
2.520 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in x
2.520 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.521 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in x
2.521 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
2.521 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
2.521 * [taylor]: Taking taylor expansion of 1.0 in x
2.521 * [taylor]: Taking taylor expansion of x in x
2.521 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
2.521 * [taylor]: Taking taylor expansion of 3.0 in x
2.521 * [taylor]: Taking taylor expansion of x in x
2.521 * [taylor]: Taking taylor expansion of y in x
2.522 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
2.522 * [taylor]: Taking taylor expansion of 1.0 in y
2.522 * [taylor]: Taking taylor expansion of y in y
2.524 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 (/ 1 y))) in y
2.525 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (/ 1 y)) in y
2.525 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
2.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.525 * [taylor]: Taking taylor expansion of y in y
2.528 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 y)) in y
2.528 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.528 * [taylor]: Taking taylor expansion of y in y
2.529 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in (x y) around 0
2.529 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in y
2.529 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.529 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in y
2.529 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
2.529 * [taylor]: Taking taylor expansion of 1.0 in y
2.529 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.529 * [taylor]: Taking taylor expansion of x in y
2.529 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
2.529 * [taylor]: Taking taylor expansion of y in y
2.530 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
2.530 * [taylor]: Taking taylor expansion of 3.0 in y
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.530 * [taylor]: Taking taylor expansion of x in y
2.530 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in x
2.530 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.530 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in x
2.530 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.530 * [taylor]: Taking taylor expansion of 1.0 in x
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.530 * [taylor]: Taking taylor expansion of x in x
2.530 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
2.530 * [taylor]: Taking taylor expansion of y in x
2.530 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
2.530 * [taylor]: Taking taylor expansion of 3.0 in x
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.530 * [taylor]: Taking taylor expansion of x in x
2.530 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in x
2.530 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.530 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in x
2.530 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.530 * [taylor]: Taking taylor expansion of 1.0 in x
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.530 * [taylor]: Taking taylor expansion of x in x
2.531 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
2.531 * [taylor]: Taking taylor expansion of y in x
2.531 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
2.531 * [taylor]: Taking taylor expansion of 3.0 in x
2.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.531 * [taylor]: Taking taylor expansion of x in x
2.532 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
2.532 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.532 * [taylor]: Taking taylor expansion of y in y
2.534 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
2.534 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
2.534 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
2.535 * [taylor]: Taking taylor expansion of y in y
2.538 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
2.539 * [taylor]: Taking taylor expansion of 1.0 in y
2.539 * [taylor]: Taking taylor expansion of y in y
2.544 * [taylor]: Taking taylor expansion of 0 in y
2.546 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in (x y) around 0
2.546 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in y
2.546 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
2.546 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in y
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
2.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.546 * [taylor]: Taking taylor expansion of x in y
2.546 * [taylor]: Taking taylor expansion of 1.0 in y
2.546 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
2.546 * [taylor]: Taking taylor expansion of y in y
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
2.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.546 * [taylor]: Taking taylor expansion of x in y
2.546 * [taylor]: Taking taylor expansion of 3.0 in y
2.546 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in x
2.546 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
2.546 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
2.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.546 * [taylor]: Taking taylor expansion of x in x
2.546 * [taylor]: Taking taylor expansion of 1.0 in x
2.546 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
2.546 * [taylor]: Taking taylor expansion of y in x
2.546 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
2.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.547 * [taylor]: Taking taylor expansion of x in x
2.547 * [taylor]: Taking taylor expansion of 3.0 in x
2.547 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in x
2.547 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
2.547 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
2.547 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
2.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.547 * [taylor]: Taking taylor expansion of x in x
2.547 * [taylor]: Taking taylor expansion of 1.0 in x
2.547 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
2.547 * [taylor]: Taking taylor expansion of y in x
2.547 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
2.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.547 * [taylor]: Taking taylor expansion of x in x
2.547 * [taylor]: Taking taylor expansion of 3.0 in x
2.548 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y
2.548 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
2.548 * [taylor]: Taking taylor expansion of y in y
2.550 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
2.550 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
2.550 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
2.550 * [taylor]: Taking taylor expansion of y in y
2.554 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y
2.554 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
2.554 * [taylor]: Taking taylor expansion of 1.0 in y
2.554 * [taylor]: Taking taylor expansion of y in y
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.562 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.562 * [approximate]: Taking taylor expansion of (/ (- 1.0 x) y) in (x y) around 0
2.562 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) y) in y
2.562 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
2.562 * [taylor]: Taking taylor expansion of 1.0 in y
2.562 * [taylor]: Taking taylor expansion of x in y
2.562 * [taylor]: Taking taylor expansion of y in y
2.562 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) y) in x
2.562 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
2.562 * [taylor]: Taking taylor expansion of 1.0 in x
2.562 * [taylor]: Taking taylor expansion of x in x
2.562 * [taylor]: Taking taylor expansion of y in x
2.563 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) y) in x
2.563 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
2.563 * [taylor]: Taking taylor expansion of 1.0 in x
2.563 * [taylor]: Taking taylor expansion of x in x
2.563 * [taylor]: Taking taylor expansion of y in x
2.563 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
2.563 * [taylor]: Taking taylor expansion of 1.0 in y
2.563 * [taylor]: Taking taylor expansion of y in y
2.564 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.564 * [taylor]: Taking taylor expansion of y in y
2.566 * [taylor]: Taking taylor expansion of 0 in y
2.567 * [taylor]: Taking taylor expansion of 0 in y
2.569 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in (x y) around 0
2.569 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in y
2.569 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
2.569 * [taylor]: Taking taylor expansion of 1.0 in y
2.569 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.569 * [taylor]: Taking taylor expansion of x in y
2.569 * [taylor]: Taking taylor expansion of y in y
2.569 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in x
2.569 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.569 * [taylor]: Taking taylor expansion of 1.0 in x
2.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.569 * [taylor]: Taking taylor expansion of x in x
2.570 * [taylor]: Taking taylor expansion of y in x
2.570 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in x
2.570 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.570 * [taylor]: Taking taylor expansion of 1.0 in x
2.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.570 * [taylor]: Taking taylor expansion of x in x
2.570 * [taylor]: Taking taylor expansion of y in x
2.570 * [taylor]: Taking taylor expansion of (* -1 y) in y
2.570 * [taylor]: Taking taylor expansion of -1 in y
2.570 * [taylor]: Taking taylor expansion of y in y
2.572 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
2.572 * [taylor]: Taking taylor expansion of 1.0 in y
2.572 * [taylor]: Taking taylor expansion of y in y
2.574 * [taylor]: Taking taylor expansion of 0 in y
2.577 * [taylor]: Taking taylor expansion of 0 in y
2.580 * [taylor]: Taking taylor expansion of 0 in y
2.581 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in (x y) around 0
2.581 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in y
2.581 * [taylor]: Taking taylor expansion of -1 in y
2.581 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) y) in y
2.581 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
2.581 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.581 * [taylor]: Taking taylor expansion of x in y
2.581 * [taylor]: Taking taylor expansion of 1.0 in y
2.581 * [taylor]: Taking taylor expansion of y in y
2.581 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in x
2.581 * [taylor]: Taking taylor expansion of -1 in x
2.581 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) y) in x
2.581 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
2.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.581 * [taylor]: Taking taylor expansion of x in x
2.581 * [taylor]: Taking taylor expansion of 1.0 in x
2.581 * [taylor]: Taking taylor expansion of y in x
2.581 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in x
2.581 * [taylor]: Taking taylor expansion of -1 in x
2.581 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) y) in x
2.581 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
2.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.581 * [taylor]: Taking taylor expansion of x in x
2.582 * [taylor]: Taking taylor expansion of 1.0 in x
2.582 * [taylor]: Taking taylor expansion of y in x
2.582 * [taylor]: Taking taylor expansion of (* -1 y) in y
2.582 * [taylor]: Taking taylor expansion of -1 in y
2.582 * [taylor]: Taking taylor expansion of y in y
2.583 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y
2.583 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
2.583 * [taylor]: Taking taylor expansion of 1.0 in y
2.583 * [taylor]: Taking taylor expansion of y in y
2.586 * [taylor]: Taking taylor expansion of 0 in y
2.589 * [taylor]: Taking taylor expansion of 0 in y
2.598 * [taylor]: Taking taylor expansion of 0 in y
2.598 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
2.599 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (- 3.0 x)) in (x) around 0
2.599 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (- 3.0 x)) in x
2.599 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.599 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
2.599 * [taylor]: Taking taylor expansion of 3.0 in x
2.599 * [taylor]: Taking taylor expansion of x in x
2.599 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (- 3.0 x)) in x
2.599 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.599 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
2.599 * [taylor]: Taking taylor expansion of 3.0 in x
2.599 * [taylor]: Taking taylor expansion of x in x
2.609 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (- 3.0 (/ 1 x))) in (x) around 0
2.609 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (- 3.0 (/ 1 x))) in x
2.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.609 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
2.609 * [taylor]: Taking taylor expansion of 3.0 in x
2.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.609 * [taylor]: Taking taylor expansion of x in x
2.609 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (- 3.0 (/ 1 x))) in x
2.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.609 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
2.609 * [taylor]: Taking taylor expansion of 3.0 in x
2.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.609 * [taylor]: Taking taylor expansion of x in x
2.623 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (+ (/ 1 x) 3.0)) in (x) around 0
2.623 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (/ 1 x) 3.0)) in x
2.624 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.624 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
2.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.624 * [taylor]: Taking taylor expansion of x in x
2.624 * [taylor]: Taking taylor expansion of 3.0 in x
2.624 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (+ (/ 1 x) 3.0)) in x
2.624 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.624 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
2.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.624 * [taylor]: Taking taylor expansion of x in x
2.624 * [taylor]: Taking taylor expansion of 3.0 in x
2.636 * * * [progress]: simplifying candidates
2.638 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (+ (- (log (- 1.0 x)) (log y)) (- (log (- 3.0 x)) (log 3.0)))
  (+ (- (log (- 1.0 x)) (log y)) (log (/ (- 3.0 x) 3.0)))
  (+ (log (/ (- 1.0 x) y)) (- (log (- 3.0 x)) (log 3.0)))
  (+ (log (/ (- 1.0 x) y)) (log (/ (- 3.0 x) 3.0)))
  (log (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (exp (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) (* (* 3.0 3.0) 3.0)))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (* (/ (- 3.0 x) 3.0) (/ (- 3.0 x) 3.0)) (/ (- 3.0 x) 3.0)))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) (* (* 3.0 3.0) 3.0)))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (* (/ (- 3.0 x) 3.0) (/ (- 3.0 x) 3.0)) (/ (- 3.0 x) 3.0)))
  (* (cbrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))) (cbrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))))
  (cbrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (* (* (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (sqrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (sqrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (* (- 1.0 x) (- 3.0 x))
  (* y 3.0)
  (* (sqrt (/ (- 1.0 x) y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (sqrt (/ (- 1.0 x) y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (sqrt (/ (- 1.0 x) y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (sqrt (/ (- 1.0 x) y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (* (cbrt (/ (- 3.0 x) 3.0)) (cbrt (/ (- 3.0 x) 3.0))))
  (* (/ (- 1.0 x) y) (sqrt (/ (- 3.0 x) 3.0)))
  (* (/ (- 1.0 x) y) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) 1))
  (* (/ (- 1.0 x) y) (/ (sqrt (- 3.0 x)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (/ (sqrt (- 3.0 x)) 1))
  (* (/ (- 1.0 x) y) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ 1 (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (/ 1 1))
  (* (/ (- 1.0 x) y) (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ (+ (sqrt 3.0) (sqrt x)) (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (/ (+ (sqrt 3.0) (sqrt x)) 1))
  (* (/ (- 1.0 x) y) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ 1 (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (/ 1 1))
  (* (/ (- 1.0 x) y) 1)
  (* (/ (- 1.0 x) y) (- 3.0 x))
  (* (cbrt (/ (- 1.0 x) y)) (/ (- 3.0 x) 3.0))
  (* (sqrt (/ (- 1.0 x) y)) (/ (- 3.0 x) 3.0))
  (* (/ (cbrt (- 1.0 x)) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (cbrt (- 1.0 x)) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (cbrt (- 1.0 x)) y) (/ (- 3.0 x) 3.0))
  (* (/ (sqrt (- 1.0 x)) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (sqrt (- 1.0 x)) y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (* (/ (- (sqrt 1.0) (sqrt x)) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- (sqrt 1.0) (sqrt x)) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- (sqrt 1.0) (sqrt x)) y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (* (/ 1 y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (- 3.0 x))
  (* (- 1.0 x) (/ (- 3.0 x) 3.0))
  (- (log (- 1.0 x)) (log y))
  (log (/ (- 1.0 x) y))
  (exp (/ (- 1.0 x) y))
  (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y))
  (* (cbrt (/ (- 1.0 x) y)) (cbrt (/ (- 1.0 x) y)))
  (cbrt (/ (- 1.0 x) y))
  (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y))
  (sqrt (/ (- 1.0 x) y))
  (sqrt (/ (- 1.0 x) y))
  (- (- 1.0 x))
  (- y)
  (/ 1.0 y)
  (/ x y)
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- 1.0 x)) (cbrt y))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (sqrt y))
  (/ (cbrt (- 1.0 x)) (sqrt y))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) 1)
  (/ (cbrt (- 1.0 x)) y)
  (/ (sqrt (- 1.0 x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- 1.0 x)) (cbrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (/ (sqrt (- 1.0 x)) 1)
  (/ (sqrt (- 1.0 x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  (/ 1 1)
  (/ (- 1.0 x) y)
  (/ (+ (sqrt 1.0) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt 1.0) (sqrt x)) (cbrt y))
  (/ (+ (sqrt 1.0) (sqrt x)) (sqrt y))
  (/ (- (sqrt 1.0) (sqrt x)) (sqrt y))
  (/ (+ (sqrt 1.0) (sqrt x)) 1)
  (/ (- (sqrt 1.0) (sqrt x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  (/ 1 1)
  (/ (- 1.0 x) y)
  (/ 1 y)
  (/ y (- 1.0 x))
  (/ (- 1.0 x) (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (sqrt y))
  (/ (- 1.0 x) 1)
  (/ y (cbrt (- 1.0 x)))
  (/ y (sqrt (- 1.0 x)))
  (/ y (- 1.0 x))
  (/ y (- (sqrt 1.0) (sqrt x)))
  (/ y (- 1.0 x))
  (* y (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (* y (+ 1.0 x))
  (- (log (- 3.0 x)) (log 3.0))
  (log (/ (- 3.0 x) 3.0))
  (exp (/ (- 3.0 x) 3.0))
  (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (- 3.0 x) 3.0)) (cbrt (/ (- 3.0 x) 3.0)))
  (cbrt (/ (- 3.0 x) 3.0))
  (* (* (/ (- 3.0 x) 3.0) (/ (- 3.0 x) 3.0)) (/ (- 3.0 x) 3.0))
  (sqrt (/ (- 3.0 x) 3.0))
  (sqrt (/ (- 3.0 x) 3.0))
  (- (- 3.0 x))
  (- 3.0)
  (/ 3.0 3.0)
  (/ x 3.0)
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (- 3.0 x)) (cbrt 3.0))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (sqrt 3.0))
  (/ (cbrt (- 3.0 x)) (sqrt 3.0))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) 1)
  (/ (cbrt (- 3.0 x)) 3.0)
  (/ (sqrt (- 3.0 x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt 3.0))
  (/ (sqrt (- 3.0 x)) (sqrt 3.0))
  (/ (sqrt (- 3.0 x)) (sqrt 3.0))
  (/ (sqrt (- 3.0 x)) 1)
  (/ (sqrt (- 3.0 x)) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (- 3.0 x) (sqrt 3.0))
  (/ 1 1)
  (/ (- 3.0 x) 3.0)
  (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) (sqrt 3.0))
  (/ (- (sqrt 3.0) (sqrt x)) (sqrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) 1)
  (/ (- (sqrt 3.0) (sqrt x)) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (- 3.0 x) (sqrt 3.0))
  (/ 1 1)
  (/ (- 3.0 x) 3.0)
  (/ 1 3.0)
  (/ 3.0 (- 3.0 x))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (sqrt 3.0))
  (/ (- 3.0 x) 1)
  (/ 3.0 (cbrt (- 3.0 x)))
  (/ 3.0 (sqrt (- 3.0 x)))
  (/ 3.0 (- 3.0 x))
  (/ 3.0 (- (sqrt 3.0) (sqrt x)))
  (/ 3.0 (- 3.0 x))
  (* 3.0 (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x))))
  (* 3.0 (+ 3.0 x))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (* 1.0 (/ 1 y)) (/ x y))
  (- (* 1.0 (/ 1 y)) (/ x y))
  (- (* 1.0 (/ 1 y)) (/ x y))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
2.643 * * [simplify]: iteration  0 :  202  enodes  (cost  1815 )
2.684 * * [simplify]: iteration  1 :  558  enodes  (cost  1751 )
2.987 * * [simplify]: iteration  2 :  1825  enodes  (cost  1580 )
3.369 * * [simplify]: iteration  done :  5000  enodes  (cost  1580 )
3.369 * [simplify]: Simplified to:
   (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (log (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (log (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (log (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (log (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (log (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (exp (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (pow (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)) 3)
  (pow (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)) 3)
  (pow (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)) 3)
  (pow (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)) 3)
  (* (cbrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))) (cbrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))))
  (cbrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (pow (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)) 3)
  (sqrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (sqrt (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
  (* (- 1.0 x) (- 3.0 x))
  (* y 3.0)
  (* (sqrt (/ (- 1.0 x) y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (sqrt (/ (- 1.0 x) y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (sqrt (/ (- 1.0 x) y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (sqrt (/ (- 1.0 x) y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (sqrt (/ (- 3.0 x) 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (* (cbrt (/ (- 3.0 x) 3.0)) (cbrt (/ (- 3.0 x) 3.0))))
  (* (/ (- 1.0 x) y) (sqrt (/ (- 3.0 x) 3.0)))
  (* (/ (- 1.0 x) y) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (sqrt 3.0)))
  (* (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (/ (- 1.0 x) y))
  (* (/ (- 1.0 x) y) (/ (sqrt (- 3.0 x)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ (sqrt (- 3.0 x)) (sqrt 3.0)))
  (* (/ (- 1.0 x) y) (sqrt (- 3.0 x)))
  (/ (/ (- 1.0 x) y) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (- 1.0 x) y) (sqrt 3.0))
  (/ (- 1.0 x) y)
  (* (/ (- 1.0 x) y) (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (/ (+ (sqrt 3.0) (sqrt x)) (sqrt 3.0)))
  (* (+ (sqrt 3.0) (sqrt x)) (/ (- 1.0 x) y))
  (/ (/ (- 1.0 x) y) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (- 1.0 x) y) (sqrt 3.0))
  (/ (- 1.0 x) y)
  (/ (- 1.0 x) y)
  (* (/ (- 1.0 x) y) (- 3.0 x))
  (* (cbrt (/ (- 1.0 x) y)) (/ (- 3.0 x) 3.0))
  (* (sqrt (/ (- 1.0 x) y)) (/ (- 3.0 x) 3.0))
  (* (/ (cbrt (- 1.0 x)) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (cbrt (- 1.0 x)) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (cbrt (- 1.0 x)) y) (/ (- 3.0 x) 3.0))
  (* (/ (sqrt (- 1.0 x)) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (sqrt (- 1.0 x)) y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (* (/ (- (sqrt 1.0) (sqrt x)) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- (sqrt 1.0) (sqrt x)) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- (sqrt 1.0) (sqrt x)) y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (cbrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) (sqrt y)) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
  (/ (/ (- 3.0 x) 3.0) y)
  (* (/ (- 1.0 x) y) (- 3.0 x))
  (* (- 1.0 x) (/ (- 3.0 x) 3.0))
  (log (/ (- 1.0 x) y))
  (log (/ (- 1.0 x) y))
  (exp (/ (- 1.0 x) y))
  (pow (/ (- 1.0 x) y) 3)
  (* (cbrt (/ (- 1.0 x) y)) (cbrt (/ (- 1.0 x) y)))
  (cbrt (/ (- 1.0 x) y))
  (pow (/ (- 1.0 x) y) 3)
  (sqrt (/ (- 1.0 x) y))
  (sqrt (/ (- 1.0 x) y))
  (- (- 1.0 x))
  (- y)
  (/ 1.0 y)
  (/ x y)
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- 1.0 x)) (cbrt y))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (sqrt y))
  (/ (cbrt (- 1.0 x)) (sqrt y))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (/ (cbrt (- 1.0 x)) y)
  (/ (sqrt (- 1.0 x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- 1.0 x)) (cbrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (sqrt (- 1.0 x))
  (/ (sqrt (- 1.0 x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  1
  (/ (- 1.0 x) y)
  (/ (+ (sqrt 1.0) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt 1.0) (sqrt x)) (cbrt y))
  (/ (+ (sqrt 1.0) (sqrt x)) (sqrt y))
  (/ (- (sqrt 1.0) (sqrt x)) (sqrt y))
  (+ (sqrt 1.0) (sqrt x))
  (/ (- (sqrt 1.0) (sqrt x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  1
  (/ (- 1.0 x) y)
  (/ 1 y)
  (/ y (- 1.0 x))
  (/ (- 1.0 x) (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (sqrt y))
  (- 1.0 x)
  (/ y (cbrt (- 1.0 x)))
  (/ y (sqrt (- 1.0 x)))
  (/ y (- 1.0 x))
  (/ y (- (sqrt 1.0) (sqrt x)))
  (/ y (- 1.0 x))
  (* y (+ (* x (+ 1.0 x)) (* 1.0 1.0)))
  (* y (+ 1.0 x))
  (log (/ (- 3.0 x) 3.0))
  (log (/ (- 3.0 x) 3.0))
  (exp (/ (- 3.0 x) 3.0))
  (pow (/ (- 3.0 x) 3.0) 3)
  (* (cbrt (/ (- 3.0 x) 3.0)) (cbrt (/ (- 3.0 x) 3.0)))
  (cbrt (/ (- 3.0 x) 3.0))
  (pow (/ (- 3.0 x) 3.0) 3)
  (sqrt (/ (- 3.0 x) 3.0))
  (sqrt (/ (- 3.0 x) 3.0))
  (- (- 3.0 x))
  (- 3.0)
  1
  (/ x 3.0)
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (- 3.0 x)) (cbrt 3.0))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (sqrt 3.0))
  (/ (cbrt (- 3.0 x)) (sqrt 3.0))
  (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))
  (/ (cbrt (- 3.0 x)) 3.0)
  (/ (sqrt (- 3.0 x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt 3.0))
  (/ (sqrt (- 3.0 x)) (sqrt 3.0))
  (/ (sqrt (- 3.0 x)) (sqrt 3.0))
  (sqrt (- 3.0 x))
  (/ (sqrt (- 3.0 x)) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (- 3.0 x) (sqrt 3.0))
  1
  (/ (- 3.0 x) 3.0)
  (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) (sqrt 3.0))
  (- 1 (/ (sqrt x) (sqrt 3.0)))
  (+ (sqrt 3.0) (sqrt x))
  (/ (- (sqrt 3.0) (sqrt x)) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (- 3.0 x) (sqrt 3.0))
  1
  (/ (- 3.0 x) 3.0)
  (/ 1 3.0)
  (/ 3.0 (- 3.0 x))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (sqrt 3.0))
  (- 3.0 x)
  (/ 3.0 (cbrt (- 3.0 x)))
  (/ 3.0 (sqrt (- 3.0 x)))
  (/ 3.0 (- 3.0 x))
  (/ 3.0 (- (sqrt 3.0) (sqrt x)))
  (/ 3.0 (- 3.0 x))
  (* 3.0 (+ (* x (+ 3.0 x)) (* 3.0 3.0)))
  (* 3.0 (+ 3.0 x))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (/ (- 1.0 x) y)
  (/ (- 1.0 x) y)
  (/ (- 1.0 x) y)
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
3.370 * * * [progress]: adding candidates to table
3.644 * * [progress]: iteration 3 / 4
3.644 * * * [progress]: picking best candidate
3.654 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))>
3.654 * * * [progress]: localizing error
3.666 * * * [progress]: generating rewritten candidates
3.666 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.761 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
3.769 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.835 * * * [progress]: generating series expansions
3.835 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.837 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) (* (pow (cbrt 3.0) 3) y)) in (x y) around 0
3.837 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) (* (pow (cbrt 3.0) 3) y)) in y
3.837 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in y
3.838 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
3.838 * [taylor]: Taking taylor expansion of 1.0 in y
3.838 * [taylor]: Taking taylor expansion of x in y
3.838 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
3.838 * [taylor]: Taking taylor expansion of 3.0 in y
3.838 * [taylor]: Taking taylor expansion of x in y
3.838 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in y
3.838 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
3.838 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
3.838 * [taylor]: Taking taylor expansion of 3.0 in y
3.838 * [taylor]: Taking taylor expansion of y in y
3.845 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) (* (pow (cbrt 3.0) 3) y)) in x
3.845 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
3.845 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.845 * [taylor]: Taking taylor expansion of 1.0 in x
3.845 * [taylor]: Taking taylor expansion of x in x
3.845 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
3.845 * [taylor]: Taking taylor expansion of 3.0 in x
3.845 * [taylor]: Taking taylor expansion of x in x
3.845 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x
3.845 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.845 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.845 * [taylor]: Taking taylor expansion of 3.0 in x
3.845 * [taylor]: Taking taylor expansion of y in x
3.849 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) (* (pow (cbrt 3.0) 3) y)) in x
3.854 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
3.854 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.854 * [taylor]: Taking taylor expansion of 1.0 in x
3.854 * [taylor]: Taking taylor expansion of x in x
3.854 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
3.854 * [taylor]: Taking taylor expansion of 3.0 in x
3.854 * [taylor]: Taking taylor expansion of x in x
3.854 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) y) in x
3.854 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.854 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.854 * [taylor]: Taking taylor expansion of 3.0 in x
3.855 * [taylor]: Taking taylor expansion of y in x
3.859 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
3.859 * [taylor]: Taking taylor expansion of 1.0 in y
3.859 * [taylor]: Taking taylor expansion of y in y
3.863 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 (/ 1 y))) in y
3.863 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (/ 1 y)) in y
3.863 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
3.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.863 * [taylor]: Taking taylor expansion of y in y
3.869 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 y)) in y
3.869 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.869 * [taylor]: Taking taylor expansion of y in y
3.871 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) (pow (cbrt 3.0) 3)) in (x y) around 0
3.871 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) (pow (cbrt 3.0) 3)) in y
3.871 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in y
3.871 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
3.871 * [taylor]: Taking taylor expansion of 1.0 in y
3.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.871 * [taylor]: Taking taylor expansion of x in y
3.871 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
3.871 * [taylor]: Taking taylor expansion of y in y
3.871 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
3.871 * [taylor]: Taking taylor expansion of 3.0 in y
3.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.872 * [taylor]: Taking taylor expansion of x in y
3.872 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
3.872 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
3.872 * [taylor]: Taking taylor expansion of 3.0 in y
3.877 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) (pow (cbrt 3.0) 3)) in x
3.877 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in x
3.877 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.877 * [taylor]: Taking taylor expansion of 1.0 in x
3.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.877 * [taylor]: Taking taylor expansion of x in x
3.877 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
3.877 * [taylor]: Taking taylor expansion of y in x
3.877 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
3.877 * [taylor]: Taking taylor expansion of 3.0 in x
3.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.877 * [taylor]: Taking taylor expansion of x in x
3.878 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.878 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.878 * [taylor]: Taking taylor expansion of 3.0 in x
3.882 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) (pow (cbrt 3.0) 3)) in x
3.882 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in x
3.882 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.882 * [taylor]: Taking taylor expansion of 1.0 in x
3.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.882 * [taylor]: Taking taylor expansion of x in x
3.883 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
3.883 * [taylor]: Taking taylor expansion of y in x
3.883 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
3.883 * [taylor]: Taking taylor expansion of 3.0 in x
3.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.883 * [taylor]: Taking taylor expansion of x in x
3.883 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.883 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.883 * [taylor]: Taking taylor expansion of 3.0 in x
3.887 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
3.887 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.887 * [taylor]: Taking taylor expansion of y in y
3.893 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
3.893 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
3.893 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
3.893 * [taylor]: Taking taylor expansion of y in y
3.901 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
3.901 * [taylor]: Taking taylor expansion of 1.0 in y
3.901 * [taylor]: Taking taylor expansion of y in y
3.905 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3))) in (x y) around 0
3.905 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3))) in y
3.905 * [taylor]: Taking taylor expansion of -1 in y
3.905 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3)) in y
3.905 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in y
3.905 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
3.905 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.905 * [taylor]: Taking taylor expansion of x in y
3.905 * [taylor]: Taking taylor expansion of 1.0 in y
3.905 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
3.905 * [taylor]: Taking taylor expansion of y in y
3.905 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
3.905 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.905 * [taylor]: Taking taylor expansion of x in y
3.905 * [taylor]: Taking taylor expansion of 3.0 in y
3.905 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
3.905 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
3.905 * [taylor]: Taking taylor expansion of 3.0 in y
3.910 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3))) in x
3.910 * [taylor]: Taking taylor expansion of -1 in x
3.910 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3)) in x
3.910 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
3.910 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.910 * [taylor]: Taking taylor expansion of x in x
3.910 * [taylor]: Taking taylor expansion of 1.0 in x
3.910 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
3.910 * [taylor]: Taking taylor expansion of y in x
3.910 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
3.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.910 * [taylor]: Taking taylor expansion of x in x
3.911 * [taylor]: Taking taylor expansion of 3.0 in x
3.911 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.911 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.911 * [taylor]: Taking taylor expansion of 3.0 in x
3.915 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3))) in x
3.915 * [taylor]: Taking taylor expansion of -1 in x
3.915 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) (pow (cbrt 3.0) 3)) in x
3.915 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
3.915 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.915 * [taylor]: Taking taylor expansion of x in x
3.915 * [taylor]: Taking taylor expansion of 1.0 in x
3.915 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
3.915 * [taylor]: Taking taylor expansion of y in x
3.915 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
3.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.915 * [taylor]: Taking taylor expansion of x in x
3.915 * [taylor]: Taking taylor expansion of 3.0 in x
3.915 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.915 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.915 * [taylor]: Taking taylor expansion of 3.0 in x
3.919 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y
3.919 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
3.919 * [taylor]: Taking taylor expansion of y in y
3.924 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
3.924 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
3.924 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
3.924 * [taylor]: Taking taylor expansion of y in y
3.932 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y
3.932 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
3.932 * [taylor]: Taking taylor expansion of 1.0 in y
3.932 * [taylor]: Taking taylor expansion of y in y
3.935 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
3.935 * [approximate]: Taking taylor expansion of (/ (- 3.0 x) (cbrt 3.0)) in (x) around 0
3.935 * [taylor]: Taking taylor expansion of (/ (- 3.0 x) (cbrt 3.0)) in x
3.935 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
3.935 * [taylor]: Taking taylor expansion of 3.0 in x
3.935 * [taylor]: Taking taylor expansion of x in x
3.935 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.935 * [taylor]: Taking taylor expansion of 3.0 in x
3.937 * [taylor]: Taking taylor expansion of (/ (- 3.0 x) (cbrt 3.0)) in x
3.937 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
3.937 * [taylor]: Taking taylor expansion of 3.0 in x
3.937 * [taylor]: Taking taylor expansion of x in x
3.937 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.937 * [taylor]: Taking taylor expansion of 3.0 in x
3.963 * [approximate]: Taking taylor expansion of (/ (- 3.0 (/ 1 x)) (cbrt 3.0)) in (x) around 0
3.963 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 x)) (cbrt 3.0)) in x
3.963 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
3.963 * [taylor]: Taking taylor expansion of 3.0 in x
3.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.963 * [taylor]: Taking taylor expansion of x in x
3.963 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.963 * [taylor]: Taking taylor expansion of 3.0 in x
3.965 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 x)) (cbrt 3.0)) in x
3.965 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
3.965 * [taylor]: Taking taylor expansion of 3.0 in x
3.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.965 * [taylor]: Taking taylor expansion of x in x
3.965 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.965 * [taylor]: Taking taylor expansion of 3.0 in x
3.989 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 3.0) (cbrt 3.0)) in (x) around 0
3.989 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 3.0) (cbrt 3.0)) in x
3.989 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
3.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.989 * [taylor]: Taking taylor expansion of x in x
3.989 * [taylor]: Taking taylor expansion of 3.0 in x
3.989 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.989 * [taylor]: Taking taylor expansion of 3.0 in x
3.991 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 3.0) (cbrt 3.0)) in x
3.991 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
3.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.991 * [taylor]: Taking taylor expansion of x in x
3.991 * [taylor]: Taking taylor expansion of 3.0 in x
3.991 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.991 * [taylor]: Taking taylor expansion of 3.0 in x
4.012 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.013 * [approximate]: Taking taylor expansion of (/ (- 3.0 x) (pow (cbrt 3.0) 3)) in (x) around 0
4.014 * [taylor]: Taking taylor expansion of (/ (- 3.0 x) (pow (cbrt 3.0) 3)) in x
4.014 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
4.014 * [taylor]: Taking taylor expansion of 3.0 in x
4.014 * [taylor]: Taking taylor expansion of x in x
4.014 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
4.014 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.014 * [taylor]: Taking taylor expansion of 3.0 in x
4.018 * [taylor]: Taking taylor expansion of (/ (- 3.0 x) (pow (cbrt 3.0) 3)) in x
4.018 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
4.018 * [taylor]: Taking taylor expansion of 3.0 in x
4.018 * [taylor]: Taking taylor expansion of x in x
4.018 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
4.018 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.018 * [taylor]: Taking taylor expansion of 3.0 in x
4.058 * [approximate]: Taking taylor expansion of (/ (- 3.0 (/ 1 x)) (pow (cbrt 3.0) 3)) in (x) around 0
4.058 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 x)) (pow (cbrt 3.0) 3)) in x
4.058 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
4.058 * [taylor]: Taking taylor expansion of 3.0 in x
4.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.058 * [taylor]: Taking taylor expansion of x in x
4.058 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
4.058 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.058 * [taylor]: Taking taylor expansion of 3.0 in x
4.062 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 x)) (pow (cbrt 3.0) 3)) in x
4.062 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
4.063 * [taylor]: Taking taylor expansion of 3.0 in x
4.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.063 * [taylor]: Taking taylor expansion of x in x
4.063 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
4.063 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.063 * [taylor]: Taking taylor expansion of 3.0 in x
4.099 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 3.0) (pow (cbrt 3.0) 3)) in (x) around 0
4.099 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 3.0) (pow (cbrt 3.0) 3)) in x
4.099 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
4.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.099 * [taylor]: Taking taylor expansion of x in x
4.099 * [taylor]: Taking taylor expansion of 3.0 in x
4.099 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
4.099 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.099 * [taylor]: Taking taylor expansion of 3.0 in x
4.103 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 3.0) (pow (cbrt 3.0) 3)) in x
4.103 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
4.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.103 * [taylor]: Taking taylor expansion of x in x
4.109 * [taylor]: Taking taylor expansion of 3.0 in x
4.109 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
4.109 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.109 * [taylor]: Taking taylor expansion of 3.0 in x
4.141 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.141 * [approximate]: Taking taylor expansion of (/ (- 1.0 x) y) in (x y) around 0
4.141 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) y) in y
4.141 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
4.141 * [taylor]: Taking taylor expansion of 1.0 in y
4.141 * [taylor]: Taking taylor expansion of x in y
4.141 * [taylor]: Taking taylor expansion of y in y
4.141 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) y) in x
4.141 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.141 * [taylor]: Taking taylor expansion of 1.0 in x
4.141 * [taylor]: Taking taylor expansion of x in x
4.141 * [taylor]: Taking taylor expansion of y in x
4.142 * [taylor]: Taking taylor expansion of (/ (- 1.0 x) y) in x
4.142 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.142 * [taylor]: Taking taylor expansion of 1.0 in x
4.142 * [taylor]: Taking taylor expansion of x in x
4.142 * [taylor]: Taking taylor expansion of y in x
4.142 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
4.142 * [taylor]: Taking taylor expansion of 1.0 in y
4.142 * [taylor]: Taking taylor expansion of y in y
4.143 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
4.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.143 * [taylor]: Taking taylor expansion of y in y
4.145 * [taylor]: Taking taylor expansion of 0 in y
4.147 * [taylor]: Taking taylor expansion of 0 in y
4.148 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in (x y) around 0
4.148 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in y
4.148 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
4.148 * [taylor]: Taking taylor expansion of 1.0 in y
4.148 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.148 * [taylor]: Taking taylor expansion of x in y
4.148 * [taylor]: Taking taylor expansion of y in y
4.148 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in x
4.148 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.148 * [taylor]: Taking taylor expansion of 1.0 in x
4.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.148 * [taylor]: Taking taylor expansion of x in x
4.149 * [taylor]: Taking taylor expansion of y in x
4.149 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) y) in x
4.149 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.149 * [taylor]: Taking taylor expansion of 1.0 in x
4.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.149 * [taylor]: Taking taylor expansion of x in x
4.149 * [taylor]: Taking taylor expansion of y in x
4.150 * [taylor]: Taking taylor expansion of (* -1 y) in y
4.150 * [taylor]: Taking taylor expansion of -1 in y
4.150 * [taylor]: Taking taylor expansion of y in y
4.151 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
4.151 * [taylor]: Taking taylor expansion of 1.0 in y
4.151 * [taylor]: Taking taylor expansion of y in y
4.153 * [taylor]: Taking taylor expansion of 0 in y
4.156 * [taylor]: Taking taylor expansion of 0 in y
4.159 * [taylor]: Taking taylor expansion of 0 in y
4.159 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in (x y) around 0
4.160 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in y
4.160 * [taylor]: Taking taylor expansion of -1 in y
4.160 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) y) in y
4.160 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
4.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.160 * [taylor]: Taking taylor expansion of x in y
4.160 * [taylor]: Taking taylor expansion of 1.0 in y
4.160 * [taylor]: Taking taylor expansion of y in y
4.160 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in x
4.160 * [taylor]: Taking taylor expansion of -1 in x
4.160 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) y) in x
4.160 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.160 * [taylor]: Taking taylor expansion of x in x
4.160 * [taylor]: Taking taylor expansion of 1.0 in x
4.160 * [taylor]: Taking taylor expansion of y in x
4.160 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 x) 1.0) y)) in x
4.160 * [taylor]: Taking taylor expansion of -1 in x
4.160 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) y) in x
4.160 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.160 * [taylor]: Taking taylor expansion of x in x
4.160 * [taylor]: Taking taylor expansion of 1.0 in x
4.160 * [taylor]: Taking taylor expansion of y in x
4.161 * [taylor]: Taking taylor expansion of (* -1 y) in y
4.161 * [taylor]: Taking taylor expansion of -1 in y
4.161 * [taylor]: Taking taylor expansion of y in y
4.162 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y
4.162 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
4.162 * [taylor]: Taking taylor expansion of 1.0 in y
4.162 * [taylor]: Taking taylor expansion of y in y
4.164 * [taylor]: Taking taylor expansion of 0 in y
4.168 * [taylor]: Taking taylor expansion of 0 in y
4.172 * [taylor]: Taking taylor expansion of 0 in y
4.173 * * * [progress]: simplifying candidates
4.177 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- 0 (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- 0 (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- 0 (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- 0 (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (log 1) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (log 1) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (log 1) (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (- (log 1) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (log (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (+ (log (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (- (log (- 1.0 x)) (log y)) (log (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- 0 (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- 0 (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- 0 (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- 0 (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (log 1) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (log 1) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (log 1) (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (- (log 1) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (log (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (+ (log (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0)))))
  (+ (log (/ (- 1.0 x) y)) (log (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (log (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (exp (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (/ (* (* 1 1) 1) (* 3.0 3.0)) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (/ (* (* 1 1) 1) (* 3.0 3.0)) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (/ (* (* 1 1) 1) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (/ (* (* 1 1) 1) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (/ (* (* 1 1) 1) (* 3.0 3.0)) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (/ (* (* 1 1) 1) (* 3.0 3.0)) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (/ (* (* 1 1) 1) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (/ (* (* 1 1) 1) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y)) (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (cbrt (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))) (cbrt (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))))
  (cbrt (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (* (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (sqrt (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (sqrt (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (* (- 1.0 x) (* 1 (- 3.0 x)))
  (* y (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)))
  (* (- 1.0 x) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (- 3.0 x)))
  (* y (cbrt 3.0))
  (* (- 1.0 x) (* 1 (/ (- 3.0 x) (cbrt 3.0))))
  (* y (* (cbrt 3.0) (cbrt 3.0)))
  (* (/ (- 1.0 x) y) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (* (cbrt (/ (- 1.0 x) y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (sqrt (/ (- 1.0 x) y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (cbrt (- 1.0 x)) (cbrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (cbrt (- 1.0 x)) (sqrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (cbrt (- 1.0 x)) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (sqrt (- 1.0 x)) (cbrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (sqrt (- 1.0 x)) (sqrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (sqrt (- 1.0 x)) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) (cbrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) (sqrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- (sqrt 1.0) (sqrt x)) (cbrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- (sqrt 1.0) (sqrt x)) (sqrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- (sqrt 1.0) (sqrt x)) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) (cbrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) (sqrt y)) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ 1 y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (- 1.0 x) y) (* 1 (- 3.0 x)))
  (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (- 3.0 x)))
  (* (/ (- 1.0 x) y) (* 1 (/ (- 3.0 x) (cbrt 3.0))))
  (* (- 1.0 x) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (- (log (- 3.0 x)) (log (cbrt 3.0)))
  (log (/ (- 3.0 x) (cbrt 3.0)))
  (exp (/ (- 3.0 x) (cbrt 3.0)))
  (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0)
  (* (cbrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt (/ (- 3.0 x) (cbrt 3.0))))
  (cbrt (/ (- 3.0 x) (cbrt 3.0)))
  (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))
  (sqrt (/ (- 3.0 x) (cbrt 3.0)))
  (sqrt (/ (- 3.0 x) (cbrt 3.0)))
  (- (- 3.0 x))
  (- (cbrt 3.0))
  (/ 3.0 (cbrt 3.0))
  (/ x (cbrt 3.0))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (sqrt 3.0)))
  (/ (cbrt (- 3.0 x)) (cbrt (sqrt 3.0)))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt 1))
  (/ (cbrt (- 3.0 x)) (cbrt 3.0))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (sqrt (cbrt 3.0)))
  (/ (cbrt (- 3.0 x)) (sqrt (cbrt 3.0)))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) 1)
  (/ (cbrt (- 3.0 x)) (cbrt 3.0))
  (/ (sqrt (- 3.0 x)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt 1))
  (/ (sqrt (- 3.0 x)) (cbrt 3.0))
  (/ (sqrt (- 3.0 x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (sqrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) 1)
  (/ (sqrt (- 3.0 x)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (- 3.0 x) (cbrt (sqrt 3.0)))
  (/ 1 (cbrt 1))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (- 3.0 x) (sqrt (cbrt 3.0)))
  (/ 1 1)
  (/ (- 3.0 x) (cbrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt (cbrt 3.0)))
  (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (sqrt 3.0)))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt (sqrt 3.0)))
  (/ (+ (sqrt 3.0) (sqrt x)) (cbrt 1))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt (cbrt 3.0)))
  (/ (+ (sqrt 3.0) (sqrt x)) (sqrt (cbrt 3.0)))
  (/ (- (sqrt 3.0) (sqrt x)) (sqrt (cbrt 3.0)))
  (/ (+ (sqrt 3.0) (sqrt x)) 1)
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (- 3.0 x) (cbrt (sqrt 3.0)))
  (/ 1 (cbrt 1))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (- 3.0 x) (sqrt (cbrt 3.0)))
  (/ 1 1)
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (cbrt 3.0))
  (/ (cbrt 3.0) (- 3.0 x))
  (/ (- 3.0 x) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (sqrt 3.0)))
  (/ (- 3.0 x) (cbrt 1))
  (/ (- 3.0 x) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- 3.0 x) (sqrt (cbrt 3.0)))
  (/ (- 3.0 x) 1)
  (/ (cbrt 3.0) (cbrt (- 3.0 x)))
  (/ (cbrt 3.0) (sqrt (- 3.0 x)))
  (/ (cbrt 3.0) (- 3.0 x))
  (/ (cbrt 3.0) (- (sqrt 3.0) (sqrt x)))
  (/ (cbrt 3.0) (- 3.0 x))
  (* (cbrt 3.0) (+ (* 3.0 3.0) (+ (* x x) (* 3.0 x))))
  (* (cbrt 3.0) (+ 3.0 x))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))
  (+ (- (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (- (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (+ (- (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (- (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (+ (- 0 (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (- 0 (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (+ (- 0 (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (- 0 (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (+ (- (log 1) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (- (log 1) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (+ (- (log 1) (log (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (- (log 1) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (+ (log (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (- (log (- 3.0 x)) (log (cbrt 3.0))))
  (+ (log (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (log (/ (- 3.0 x) (cbrt 3.0))))
  (log (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (exp (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (* (* 1 1) 1) (* 3.0 3.0)) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0))
  (* (/ (* (* 1 1) 1) (* 3.0 3.0)) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (* (* 1 1) 1) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0))
  (* (/ (* (* 1 1) 1) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)) 3.0))
  (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (* (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (cbrt (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))) (cbrt (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))
  (cbrt (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* (* (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (sqrt (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (sqrt (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0))))
  (* 1 (- 3.0 x))
  (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (/ (sqrt 1) (cbrt 3.0)) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (sqrt 1) (cbrt 3.0)) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ (sqrt 1) (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (/ (sqrt 1) (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (/ (sqrt 1) (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (/ (sqrt 1) (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (/ 1 (cbrt 3.0)) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ 1 (cbrt 3.0)) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ 1 (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (/ 1 (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (/ 1 (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (/ 1 (cbrt 3.0)) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt (/ (- 3.0 x) (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (sqrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt 1)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (sqrt (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) 1))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (- 3.0 x)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (- 3.0 x)) (cbrt 1)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (- 3.0 x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (- 3.0 x)) 1))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (cbrt 1)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 1))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (sqrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (+ (sqrt 3.0) (sqrt x)) (cbrt 1)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (+ (sqrt 3.0) (sqrt x)) (sqrt (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (+ (sqrt 3.0) (sqrt x)) 1))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (cbrt 1)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ 1 1))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1)
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (- 3.0 x))
  (* (cbrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (- 3.0 x) (cbrt 3.0)))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (- 3.0 x) (cbrt 3.0)))
  (* (/ (cbrt 1) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0)))
  (* (/ (sqrt 1) (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0)))
  (* (/ 1 (cbrt 3.0)) (/ (- 3.0 x) (cbrt 3.0)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))
  (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (- 3.0 x))
  (* 1 (/ (- 3.0 x) (cbrt 3.0)))
  (- (log (- 1.0 x)) (log y))
  (log (/ (- 1.0 x) y))
  (exp (/ (- 1.0 x) y))
  (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y))
  (* (cbrt (/ (- 1.0 x) y)) (cbrt (/ (- 1.0 x) y)))
  (cbrt (/ (- 1.0 x) y))
  (* (* (/ (- 1.0 x) y) (/ (- 1.0 x) y)) (/ (- 1.0 x) y))
  (sqrt (/ (- 1.0 x) y))
  (sqrt (/ (- 1.0 x) y))
  (- (- 1.0 x))
  (- y)
  (/ 1.0 y)
  (/ x y)
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- 1.0 x)) (cbrt y))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (sqrt y))
  (/ (cbrt (- 1.0 x)) (sqrt y))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) 1)
  (/ (cbrt (- 1.0 x)) y)
  (/ (sqrt (- 1.0 x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- 1.0 x)) (cbrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (/ (sqrt (- 1.0 x)) 1)
  (/ (sqrt (- 1.0 x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  (/ 1 1)
  (/ (- 1.0 x) y)
  (/ (+ (sqrt 1.0) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt 1.0) (sqrt x)) (cbrt y))
  (/ (+ (sqrt 1.0) (sqrt x)) (sqrt y))
  (/ (- (sqrt 1.0) (sqrt x)) (sqrt y))
  (/ (+ (sqrt 1.0) (sqrt x)) 1)
  (/ (- (sqrt 1.0) (sqrt x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  (/ 1 1)
  (/ (- 1.0 x) y)
  (/ 1 y)
  (/ y (- 1.0 x))
  (/ (- 1.0 x) (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (sqrt y))
  (/ (- 1.0 x) 1)
  (/ y (cbrt (- 1.0 x)))
  (/ y (sqrt (- 1.0 x)))
  (/ y (- 1.0 x))
  (/ y (- (sqrt 1.0) (sqrt x)))
  (/ y (- 1.0 x))
  (* y (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (* y (+ 1.0 x))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (* 3.0 (/ 1 (cbrt 3.0))) (/ x (cbrt 3.0)))
  (- (* 3.0 (/ 1 (cbrt 3.0))) (/ x (cbrt 3.0)))
  (- (* 3.0 (/ 1 (cbrt 3.0))) (/ x (cbrt 3.0)))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
  (- (* 1.0 (/ 1 y)) (/ x y))
  (- (* 1.0 (/ 1 y)) (/ x y))
  (- (* 1.0 (/ 1 y)) (/ x y))
4.194 * * [simplify]: iteration  0 :  348  enodes  (cost  5053 )
4.300 * * [simplify]: iteration  1 :  1085  enodes  (cost  4544 )
4.694 * * [simplify]: iteration  2 :  3529  enodes  (cost  3423 )
5.323 * * [simplify]: iteration  done :  5001  enodes  (cost  3423 )
5.330 * [simplify]: Simplified to:
   (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))
  (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (log (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (pow (exp (/ (- 1.0 x) y)) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (* (/ (/ (pow (- 3.0 x) 3) (* 3.0 3.0)) 3.0) (pow (/ (- 1.0 x) y) 3))
  (* (/ (pow (/ (- 3.0 x) (cbrt 3.0)) 3) (* 3.0 3.0)) (pow (/ (- 1.0 x) y) 3))
  (/ (* (/ (pow (- 3.0 x) 3) 3.0) (pow (/ (- 1.0 x) y) 3)) (pow (* (cbrt 3.0) (cbrt 3.0)) 3))
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (/ (* (/ (pow (- 3.0 x) 3) 3.0) (pow (/ (- 1.0 x) y) 3)) (pow (* (cbrt 3.0) (cbrt 3.0)) 3))
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (* (/ (/ (pow (- 3.0 x) 3) (* 3.0 3.0)) 3.0) (pow (/ (- 1.0 x) y) 3))
  (* (/ (pow (/ (- 3.0 x) (cbrt 3.0)) 3) (* 3.0 3.0)) (pow (/ (- 1.0 x) y) 3))
  (/ (* (/ (pow (- 3.0 x) 3) 3.0) (pow (/ (- 1.0 x) y) 3)) (pow (* (cbrt 3.0) (cbrt 3.0)) 3))
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (/ (* (/ (pow (- 3.0 x) 3) 3.0) (pow (/ (- 1.0 x) y) 3)) (pow (* (cbrt 3.0) (cbrt 3.0)) 3))
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (* (cbrt (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))) (cbrt (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))))
  (cbrt (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (pow (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))) 3)
  (sqrt (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (sqrt (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x))))
  (* (- 3.0 x) (- 1.0 x))
  (* (pow (cbrt 3.0) 3) y)
  (* (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0))) (- 1.0 x))
  (* y (cbrt 3.0))
  (* (/ (- 3.0 x) (cbrt 3.0)) (- 1.0 x))
  (* y (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (- 1.0 x) (* (cbrt 3.0) (cbrt 3.0))) y)
  (* (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (cbrt (/ (- 1.0 x) y)))
  (* (sqrt (/ (- 1.0 x) y)) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (* (/ (cbrt (- 1.0 x)) (cbrt y)) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (* (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ (cbrt (- 1.0 x)) (sqrt y)))
  (* (/ (cbrt (- 1.0 x)) y) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (* (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ (sqrt (- 1.0 x)) (cbrt y)))
  (* (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ (sqrt (- 1.0 x)) (sqrt y)))
  (* (/ (sqrt (- 1.0 x)) y) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (* (/ (- 1.0 x) (cbrt y)) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (/ (- 1.0 x) (/ (sqrt y) (/ (- 3.0 x) (pow (cbrt 3.0) 3))))
  (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))
  (* (/ (- (sqrt 1.0) (sqrt x)) (cbrt y)) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (/ (- (sqrt 1.0) (sqrt x)) (/ (sqrt y) (/ (- 3.0 x) (pow (cbrt 3.0) 3))))
  (* (/ (- (sqrt 1.0) (sqrt x)) y) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (* (/ (- 1.0 x) (cbrt y)) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (/ (- 1.0 x) (/ (sqrt y) (/ (- 3.0 x) (pow (cbrt 3.0) 3))))
  (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))
  (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) (/ y (- 1.0 x)))
  (/ (/ (- 3.0 x) (pow (cbrt 3.0) 3)) y)
  (* (- 3.0 x) (/ (- 1.0 x) y))
  (* (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0))) (/ (- 1.0 x) y))
  (* (/ (- 3.0 x) (cbrt 3.0)) (/ (- 1.0 x) y))
  (* (- 1.0 x) (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (cbrt 3.0)))
  (log (/ (- 3.0 x) (cbrt 3.0)))
  (exp (/ (- 3.0 x) (cbrt 3.0)))
  (/ (pow (- 3.0 x) 3) 3.0)
  (* (cbrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt (/ (- 3.0 x) (cbrt 3.0))))
  (cbrt (/ (- 3.0 x) (cbrt 3.0)))
  (pow (/ (- 3.0 x) (cbrt 3.0)) 3)
  (sqrt (/ (- 3.0 x) (cbrt 3.0)))
  (sqrt (/ (- 3.0 x) (cbrt 3.0)))
  (- (- 3.0 x))
  (- (cbrt 3.0))
  (/ 3.0 (cbrt 3.0))
  (/ x (cbrt 3.0))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (* (/ (cbrt (- 3.0 x)) (cbrt (sqrt 3.0))) (cbrt (- 3.0 x)))
  (/ (cbrt (- 3.0 x)) (cbrt (sqrt 3.0)))
  (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))
  (/ (cbrt (- 3.0 x)) (cbrt 3.0))
  (* (/ (cbrt (- 3.0 x)) (cbrt (cbrt 3.0))) (/ (cbrt (- 3.0 x)) (cbrt (cbrt 3.0))))
  (/ (cbrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (* (/ (cbrt (- 3.0 x)) (sqrt (cbrt 3.0))) (cbrt (- 3.0 x)))
  (/ (cbrt (- 3.0 x)) (sqrt (cbrt 3.0)))
  (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))
  (/ (cbrt (- 3.0 x)) (cbrt 3.0))
  (/ (sqrt (- 3.0 x)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0)))
  (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0)))
  (sqrt (- 3.0 x))
  (/ (sqrt (- 3.0 x)) (cbrt 3.0))
  (/ (sqrt (- 3.0 x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (sqrt (- 3.0 x)) (cbrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0)))
  (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0)))
  (sqrt (- 3.0 x))
  (/ (sqrt (- 3.0 x)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (- 3.0 x) (cbrt (sqrt 3.0)))
  1
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (- 3.0 x) (sqrt (cbrt 3.0)))
  1
  (/ (- 3.0 x) (cbrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt (cbrt 3.0)))
  (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (sqrt 3.0)))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt (sqrt 3.0)))
  (+ (sqrt x) (sqrt 3.0))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt 3.0))
  (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt (cbrt 3.0)))
  (/ (+ (sqrt 3.0) (sqrt x)) (sqrt (cbrt 3.0)))
  (/ (- (sqrt 3.0) (sqrt x)) (sqrt (cbrt 3.0)))
  (+ (sqrt x) (sqrt 3.0))
  (/ (- (sqrt 3.0) (sqrt x)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (- 3.0 x) (cbrt (sqrt 3.0)))
  1
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (- 3.0 x) (sqrt (cbrt 3.0)))
  1
  (/ (- 3.0 x) (cbrt 3.0))
  (/ 1 (cbrt 3.0))
  (/ (cbrt 3.0) (- 3.0 x))
  (/ (- 3.0 x) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (- 3.0 x) (cbrt (sqrt 3.0)))
  (- 3.0 x)
  (/ (- 3.0 x) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (- 3.0 x) (sqrt (cbrt 3.0)))
  (- 3.0 x)
  (/ (cbrt 3.0) (cbrt (- 3.0 x)))
  (/ (cbrt 3.0) (sqrt (- 3.0 x)))
  (/ (cbrt 3.0) (- 3.0 x))
  (/ (cbrt 3.0) (- (sqrt 3.0) (sqrt x)))
  (/ (cbrt 3.0) (- 3.0 x))
  (* (+ (* 3.0 3.0) (* x (+ 3.0 x))) (cbrt 3.0))
  (* (cbrt 3.0) (+ 3.0 x))
  (/ (- 3.0 x) (pow (cbrt 3.0) 3))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (log (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (exp (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (/ (/ (pow (- 3.0 x) 3) (* 3.0 3.0)) 3.0)
  (/ (pow (/ (- 3.0 x) (cbrt 3.0)) 3) (* 3.0 3.0))
  (/ (/ (pow (- 3.0 x) 3) 3.0) (pow (* (cbrt 3.0) (cbrt 3.0)) 3))
  (pow (/ (- 3.0 x) (pow (cbrt 3.0) 3)) 3)
  (/ (/ (pow (- 3.0 x) 3) 3.0) (pow (* (cbrt 3.0) (cbrt 3.0)) 3))
  (pow (/ (- 3.0 x) (pow (cbrt 3.0) 3)) 3)
  (* (cbrt (/ (- 3.0 x) (pow (cbrt 3.0) 3))) (cbrt (/ (- 3.0 x) (pow (cbrt 3.0) 3))))
  (cbrt (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (pow (/ (- 3.0 x) (pow (cbrt 3.0) 3)) 3)
  (sqrt (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (sqrt (/ (- 3.0 x) (pow (cbrt 3.0) 3)))
  (- 3.0 x)
  (pow (cbrt 3.0) 3)
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (- 3.0 x) (cbrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))))
  (/ (sqrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt 3.0))
  (/ (sqrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))) (cbrt 3.0))
  (/ (sqrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt 3.0))
  (/ (sqrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (sqrt (cbrt 3.0))) (cbrt 3.0))
  (/ (* (cbrt (/ (- 3.0 x) (cbrt 3.0))) (cbrt (/ (- 3.0 x) (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (/ (- 3.0 x) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (cbrt (sqrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* (/ (cbrt (- 3.0 x)) (sqrt (cbrt 3.0))) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt (- 3.0 x)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt (- 3.0 x)) (cbrt (sqrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt (- 3.0 x)) (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (sqrt (- 3.0 x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (/ (sqrt (- 3.0 x)) (cbrt 3.0)) (cbrt 3.0)) (sqrt (cbrt 3.0)))
  (/ (/ (sqrt (- 3.0 x)) (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (cbrt (sqrt 3.0)))
  (/ (/ 1 (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (sqrt (cbrt 3.0)))
  (/ (/ 1 (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (+ (sqrt x) (sqrt 3.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (+ (sqrt 3.0) (sqrt x)) (cbrt (sqrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (+ (sqrt x) (sqrt 3.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (+ (sqrt 3.0) (sqrt x)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (+ (sqrt 3.0) (sqrt x)) (sqrt (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (+ (sqrt x) (sqrt 3.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (cbrt (sqrt 3.0)))
  (/ (/ 1 (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (sqrt (cbrt 3.0)))
  (/ (/ 1 (cbrt 3.0)) (cbrt 3.0))
  (/ (/ 1 (cbrt 3.0)) (cbrt 3.0))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (* (cbrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (- 3.0 x) (cbrt 3.0)))
  (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (- 3.0 x) (cbrt 3.0)))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (pow (cbrt 3.0) 3))
  (/ (- 3.0 x) (pow (cbrt 3.0) 3))
  (/ (- 3.0 x) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (- 3.0 x) (cbrt 3.0))
  (log (/ (- 1.0 x) y))
  (log (/ (- 1.0 x) y))
  (exp (/ (- 1.0 x) y))
  (pow (/ (- 1.0 x) y) 3)
  (* (cbrt (/ (- 1.0 x) y)) (cbrt (/ (- 1.0 x) y)))
  (cbrt (/ (- 1.0 x) y))
  (pow (/ (- 1.0 x) y) 3)
  (sqrt (/ (- 1.0 x) y))
  (sqrt (/ (- 1.0 x) y))
  (- (- 1.0 x))
  (- y)
  (/ 1.0 y)
  (/ x y)
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- 1.0 x)) (cbrt y))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (sqrt y))
  (/ (cbrt (- 1.0 x)) (sqrt y))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (/ (cbrt (- 1.0 x)) y)
  (/ (sqrt (- 1.0 x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- 1.0 x)) (cbrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (/ (sqrt (- 1.0 x)) (sqrt y))
  (sqrt (- 1.0 x))
  (/ (sqrt (- 1.0 x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  1
  (/ (- 1.0 x) y)
  (/ (+ (sqrt 1.0) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt 1.0) (sqrt x)) (cbrt y))
  (/ (+ (sqrt 1.0) (sqrt x)) (sqrt y))
  (/ (- (sqrt 1.0) (sqrt x)) (sqrt y))
  (+ (sqrt x) (sqrt 1.0))
  (/ (- (sqrt 1.0) (sqrt x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- 1.0 x) (sqrt y))
  1
  (/ (- 1.0 x) y)
  (/ 1 y)
  (/ y (- 1.0 x))
  (/ (- 1.0 x) (* (cbrt y) (cbrt y)))
  (/ (- 1.0 x) (sqrt y))
  (- 1.0 x)
  (/ y (cbrt (- 1.0 x)))
  (/ y (sqrt (- 1.0 x)))
  (/ y (- 1.0 x))
  (/ y (- (sqrt 1.0) (sqrt x)))
  (/ y (- 1.0 x))
  (* (+ (* 1.0 1.0) (* x (+ 1.0 x))) y)
  (* y (+ 1.0 x))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ (- 3.0 x) (cbrt 3.0))
  (/ (- 3.0 x) (cbrt 3.0))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
  (- 1.0 (* 0.3333333333333333 x))
  (/ (- 1.0 x) y)
  (/ (- 1.0 x) y)
  (/ (- 1.0 x) y)
5.332 * * * [progress]: adding candidates to table
5.847 * * [progress]: iteration 4 / 4
5.847 * * * [progress]: picking best candidate
5.855 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))>
5.855 * * * [progress]: localizing error
5.862 * * * [progress]: generating rewritten candidates
5.862 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
5.879 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
5.895 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
5.904 * * * [progress]: generating series expansions
5.904 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
5.904 * [approximate]: Taking taylor expansion of (* 3.0 (/ y (- 3.0 x))) in (y x) around 0
5.904 * [taylor]: Taking taylor expansion of (* 3.0 (/ y (- 3.0 x))) in x
5.904 * [taylor]: Taking taylor expansion of 3.0 in x
5.904 * [taylor]: Taking taylor expansion of (/ y (- 3.0 x)) in x
5.904 * [taylor]: Taking taylor expansion of y in x
5.904 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
5.904 * [taylor]: Taking taylor expansion of 3.0 in x
5.904 * [taylor]: Taking taylor expansion of x in x
5.905 * [taylor]: Taking taylor expansion of (* 3.0 (/ y (- 3.0 x))) in y
5.905 * [taylor]: Taking taylor expansion of 3.0 in y
5.905 * [taylor]: Taking taylor expansion of (/ y (- 3.0 x)) in y
5.905 * [taylor]: Taking taylor expansion of y in y
5.905 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
5.905 * [taylor]: Taking taylor expansion of 3.0 in y
5.905 * [taylor]: Taking taylor expansion of x in y
5.905 * [taylor]: Taking taylor expansion of (* 3.0 (/ y (- 3.0 x))) in y
5.905 * [taylor]: Taking taylor expansion of 3.0 in y
5.905 * [taylor]: Taking taylor expansion of (/ y (- 3.0 x)) in y
5.905 * [taylor]: Taking taylor expansion of y in y
5.905 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
5.906 * [taylor]: Taking taylor expansion of 3.0 in y
5.906 * [taylor]: Taking taylor expansion of x in y
5.906 * [taylor]: Taking taylor expansion of (/ 3.0 (- 3.0 x)) in x
5.906 * [taylor]: Taking taylor expansion of 3.0 in x
5.906 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
5.906 * [taylor]: Taking taylor expansion of 3.0 in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.907 * [taylor]: Taking taylor expansion of 0 in x
5.911 * [taylor]: Taking taylor expansion of 0 in x
5.914 * [approximate]: Taking taylor expansion of (/ 3.0 (* y (- 3.0 (/ 1 x)))) in (y x) around 0
5.914 * [taylor]: Taking taylor expansion of (/ 3.0 (* y (- 3.0 (/ 1 x)))) in x
5.914 * [taylor]: Taking taylor expansion of 3.0 in x
5.914 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
5.914 * [taylor]: Taking taylor expansion of y in x
5.914 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
5.914 * [taylor]: Taking taylor expansion of 3.0 in x
5.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.914 * [taylor]: Taking taylor expansion of x in x
5.915 * [taylor]: Taking taylor expansion of (/ 3.0 (* y (- 3.0 (/ 1 x)))) in y
5.915 * [taylor]: Taking taylor expansion of 3.0 in y
5.915 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
5.915 * [taylor]: Taking taylor expansion of y in y
5.915 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
5.915 * [taylor]: Taking taylor expansion of 3.0 in y
5.915 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.915 * [taylor]: Taking taylor expansion of x in y
5.916 * [taylor]: Taking taylor expansion of (/ 3.0 (* y (- 3.0 (/ 1 x)))) in y
5.916 * [taylor]: Taking taylor expansion of 3.0 in y
5.916 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
5.916 * [taylor]: Taking taylor expansion of y in y
5.916 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
5.916 * [taylor]: Taking taylor expansion of 3.0 in y
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.916 * [taylor]: Taking taylor expansion of x in y
5.917 * [taylor]: Taking taylor expansion of (/ 3.0 (- 3.0 (/ 1 x))) in x
5.917 * [taylor]: Taking taylor expansion of 3.0 in x
5.917 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
5.917 * [taylor]: Taking taylor expansion of 3.0 in x
5.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.918 * [taylor]: Taking taylor expansion of x in x
5.920 * [taylor]: Taking taylor expansion of 0 in x
5.924 * [taylor]: Taking taylor expansion of 0 in x
5.929 * [approximate]: Taking taylor expansion of (/ -3.0 (* y (+ (/ 1 x) 3.0))) in (y x) around 0
5.929 * [taylor]: Taking taylor expansion of (/ -3.0 (* y (+ (/ 1 x) 3.0))) in x
5.929 * [taylor]: Taking taylor expansion of -3.0 in x
5.929 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
5.929 * [taylor]: Taking taylor expansion of y in x
5.929 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
5.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.929 * [taylor]: Taking taylor expansion of x in x
5.930 * [taylor]: Taking taylor expansion of 3.0 in x
5.930 * [taylor]: Taking taylor expansion of (/ -3.0 (* y (+ (/ 1 x) 3.0))) in y
5.930 * [taylor]: Taking taylor expansion of -3.0 in y
5.930 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
5.930 * [taylor]: Taking taylor expansion of y in y
5.930 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
5.930 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.930 * [taylor]: Taking taylor expansion of x in y
5.930 * [taylor]: Taking taylor expansion of 3.0 in y
5.931 * [taylor]: Taking taylor expansion of (/ -3.0 (* y (+ (/ 1 x) 3.0))) in y
5.931 * [taylor]: Taking taylor expansion of -3.0 in y
5.931 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
5.931 * [taylor]: Taking taylor expansion of y in y
5.931 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
5.931 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.931 * [taylor]: Taking taylor expansion of x in y
5.931 * [taylor]: Taking taylor expansion of 3.0 in y
5.932 * [taylor]: Taking taylor expansion of (/ -3.0 (+ 3.0 (/ 1 x))) in x
5.932 * [taylor]: Taking taylor expansion of -3.0 in x
5.932 * [taylor]: Taking taylor expansion of (+ 3.0 (/ 1 x)) in x
5.932 * [taylor]: Taking taylor expansion of 3.0 in x
5.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.932 * [taylor]: Taking taylor expansion of x in x
5.934 * [taylor]: Taking taylor expansion of 0 in x
5.938 * [taylor]: Taking taylor expansion of 0 in x
5.942 * * * * [progress]: [ 2 / 3 ] generating series at (2)
5.943 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in (x y) around 0
5.943 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in y
5.943 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
5.943 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in y
5.943 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in y
5.943 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
5.943 * [taylor]: Taking taylor expansion of 1.0 in y
5.943 * [taylor]: Taking taylor expansion of x in y
5.943 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
5.943 * [taylor]: Taking taylor expansion of 3.0 in y
5.943 * [taylor]: Taking taylor expansion of x in y
5.943 * [taylor]: Taking taylor expansion of y in y
5.943 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in x
5.943 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
5.943 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in x
5.943 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
5.943 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
5.943 * [taylor]: Taking taylor expansion of 1.0 in x
5.943 * [taylor]: Taking taylor expansion of x in x
5.943 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
5.943 * [taylor]: Taking taylor expansion of 3.0 in x
5.943 * [taylor]: Taking taylor expansion of x in x
5.943 * [taylor]: Taking taylor expansion of y in x
5.944 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (- 1.0 x) (- 3.0 x)) y)) in x
5.944 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
5.944 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 x) (- 3.0 x)) y) in x
5.944 * [taylor]: Taking taylor expansion of (* (- 1.0 x) (- 3.0 x)) in x
5.944 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
5.944 * [taylor]: Taking taylor expansion of 1.0 in x
5.945 * [taylor]: Taking taylor expansion of x in x
5.945 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
5.945 * [taylor]: Taking taylor expansion of 3.0 in x
5.945 * [taylor]: Taking taylor expansion of x in x
5.945 * [taylor]: Taking taylor expansion of y in x
5.946 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
5.946 * [taylor]: Taking taylor expansion of 1.0 in y
5.946 * [taylor]: Taking taylor expansion of y in y
5.948 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 (/ 1 y))) in y
5.949 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (/ 1 y)) in y
5.949 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
5.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.949 * [taylor]: Taking taylor expansion of y in y
5.952 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 y)) in y
5.952 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
5.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.952 * [taylor]: Taking taylor expansion of y in y
5.953 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in (x y) around 0
5.953 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in y
5.953 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
5.953 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in y
5.953 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
5.953 * [taylor]: Taking taylor expansion of 1.0 in y
5.953 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.953 * [taylor]: Taking taylor expansion of x in y
5.953 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
5.953 * [taylor]: Taking taylor expansion of y in y
5.953 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
5.953 * [taylor]: Taking taylor expansion of 3.0 in y
5.953 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.953 * [taylor]: Taking taylor expansion of x in y
5.953 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in x
5.953 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
5.953 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in x
5.953 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
5.953 * [taylor]: Taking taylor expansion of 1.0 in x
5.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.953 * [taylor]: Taking taylor expansion of x in x
5.954 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
5.954 * [taylor]: Taking taylor expansion of y in x
5.954 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
5.954 * [taylor]: Taking taylor expansion of 3.0 in x
5.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.954 * [taylor]: Taking taylor expansion of x in x
5.954 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x))))) in x
5.954 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
5.954 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (* y (- 3.0 (/ 1 x)))) in x
5.954 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
5.954 * [taylor]: Taking taylor expansion of 1.0 in x
5.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.954 * [taylor]: Taking taylor expansion of x in x
5.954 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
5.954 * [taylor]: Taking taylor expansion of y in x
5.955 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
5.955 * [taylor]: Taking taylor expansion of 3.0 in x
5.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.955 * [taylor]: Taking taylor expansion of x in x
5.956 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
5.956 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
5.956 * [taylor]: Taking taylor expansion of y in y
5.958 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
5.958 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
5.958 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
5.958 * [taylor]: Taking taylor expansion of y in y
5.963 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
5.963 * [taylor]: Taking taylor expansion of 1.0 in y
5.963 * [taylor]: Taking taylor expansion of y in y
5.973 * [taylor]: Taking taylor expansion of 0 in y
5.975 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in (x y) around 0
5.975 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in y
5.975 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
5.975 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in y
5.975 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
5.975 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.975 * [taylor]: Taking taylor expansion of x in y
5.975 * [taylor]: Taking taylor expansion of 1.0 in y
5.975 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
5.975 * [taylor]: Taking taylor expansion of y in y
5.975 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
5.975 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.975 * [taylor]: Taking taylor expansion of x in y
5.975 * [taylor]: Taking taylor expansion of 3.0 in y
5.975 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in x
5.975 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
5.975 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
5.975 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
5.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.975 * [taylor]: Taking taylor expansion of x in x
5.975 * [taylor]: Taking taylor expansion of 1.0 in x
5.975 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
5.975 * [taylor]: Taking taylor expansion of y in x
5.975 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
5.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.975 * [taylor]: Taking taylor expansion of x in x
5.976 * [taylor]: Taking taylor expansion of 3.0 in x
5.976 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0)))) in x
5.976 * [taylor]: Taking taylor expansion of -0.3333333333333333 in x
5.976 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (* y (+ (/ 1 x) 3.0))) in x
5.976 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
5.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.976 * [taylor]: Taking taylor expansion of x in x
5.976 * [taylor]: Taking taylor expansion of 1.0 in x
5.976 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
5.976 * [taylor]: Taking taylor expansion of y in x
5.976 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
5.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.976 * [taylor]: Taking taylor expansion of x in x
5.976 * [taylor]: Taking taylor expansion of 3.0 in x
5.977 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y
5.977 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
5.977 * [taylor]: Taking taylor expansion of y in y
5.979 * [taylor]: Taking taylor expansion of (- (* 1.3333333333333333 y)) in y
5.979 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 y) in y
5.979 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
5.979 * [taylor]: Taking taylor expansion of y in y
5.983 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y
5.983 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
5.983 * [taylor]: Taking taylor expansion of 1.0 in y
5.983 * [taylor]: Taking taylor expansion of y in y
5.988 * [taylor]: Taking taylor expansion of 0 in y
5.991 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
5.991 * [approximate]: Taking taylor expansion of (/ y (- 3.0 x)) in (y x) around 0
5.991 * [taylor]: Taking taylor expansion of (/ y (- 3.0 x)) in x
5.991 * [taylor]: Taking taylor expansion of y in x
5.991 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
5.991 * [taylor]: Taking taylor expansion of 3.0 in x
5.991 * [taylor]: Taking taylor expansion of x in x
5.992 * [taylor]: Taking taylor expansion of (/ y (- 3.0 x)) in y
5.992 * [taylor]: Taking taylor expansion of y in y
5.992 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
5.992 * [taylor]: Taking taylor expansion of 3.0 in y
5.992 * [taylor]: Taking taylor expansion of x in y
5.992 * [taylor]: Taking taylor expansion of (/ y (- 3.0 x)) in y
5.992 * [taylor]: Taking taylor expansion of y in y
5.992 * [taylor]: Taking taylor expansion of (- 3.0 x) in y
5.992 * [taylor]: Taking taylor expansion of 3.0 in y
5.992 * [taylor]: Taking taylor expansion of x in y
5.992 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 x)) in x
5.992 * [taylor]: Taking taylor expansion of (- 3.0 x) in x
5.992 * [taylor]: Taking taylor expansion of 3.0 in x
5.992 * [taylor]: Taking taylor expansion of x in x
5.994 * [taylor]: Taking taylor expansion of 0 in x
5.996 * [taylor]: Taking taylor expansion of 0 in x
5.999 * [approximate]: Taking taylor expansion of (/ 1 (* y (- 3.0 (/ 1 x)))) in (y x) around 0
5.999 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 3.0 (/ 1 x)))) in x
5.999 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in x
5.999 * [taylor]: Taking taylor expansion of y in x
5.999 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
5.999 * [taylor]: Taking taylor expansion of 3.0 in x
5.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.999 * [taylor]: Taking taylor expansion of x in x
6.000 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 3.0 (/ 1 x)))) in y
6.000 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
6.000 * [taylor]: Taking taylor expansion of y in y
6.000 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
6.000 * [taylor]: Taking taylor expansion of 3.0 in y
6.000 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.000 * [taylor]: Taking taylor expansion of x in y
6.001 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 3.0 (/ 1 x)))) in y
6.001 * [taylor]: Taking taylor expansion of (* y (- 3.0 (/ 1 x))) in y
6.001 * [taylor]: Taking taylor expansion of y in y
6.001 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in y
6.001 * [taylor]: Taking taylor expansion of 3.0 in y
6.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.001 * [taylor]: Taking taylor expansion of x in y
6.002 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 (/ 1 x))) in x
6.002 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 x)) in x
6.002 * [taylor]: Taking taylor expansion of 3.0 in x
6.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.002 * [taylor]: Taking taylor expansion of x in x
6.004 * [taylor]: Taking taylor expansion of 0 in x
6.008 * [taylor]: Taking taylor expansion of 0 in x
6.013 * [approximate]: Taking taylor expansion of (/ -1 (* y (+ (/ 1 x) 3.0))) in (y x) around 0
6.013 * [taylor]: Taking taylor expansion of (/ -1 (* y (+ (/ 1 x) 3.0))) in x
6.013 * [taylor]: Taking taylor expansion of -1 in x
6.013 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in x
6.013 * [taylor]: Taking taylor expansion of y in x
6.013 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in x
6.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.013 * [taylor]: Taking taylor expansion of x in x
6.013 * [taylor]: Taking taylor expansion of 3.0 in x
6.014 * [taylor]: Taking taylor expansion of (/ -1 (* y (+ (/ 1 x) 3.0))) in y
6.014 * [taylor]: Taking taylor expansion of -1 in y
6.014 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
6.014 * [taylor]: Taking taylor expansion of y in y
6.014 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
6.014 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.014 * [taylor]: Taking taylor expansion of x in y
6.014 * [taylor]: Taking taylor expansion of 3.0 in y
6.014 * [taylor]: Taking taylor expansion of (/ -1 (* y (+ (/ 1 x) 3.0))) in y
6.014 * [taylor]: Taking taylor expansion of -1 in y
6.014 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 x) 3.0)) in y
6.014 * [taylor]: Taking taylor expansion of y in y
6.015 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 3.0) in y
6.015 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.015 * [taylor]: Taking taylor expansion of x in y
6.015 * [taylor]: Taking taylor expansion of 3.0 in y
6.015 * [taylor]: Taking taylor expansion of (/ -1 (+ 3.0 (/ 1 x))) in x
6.015 * [taylor]: Taking taylor expansion of -1 in x
6.015 * [taylor]: Taking taylor expansion of (+ 3.0 (/ 1 x)) in x
6.015 * [taylor]: Taking taylor expansion of 3.0 in x
6.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.015 * [taylor]: Taking taylor expansion of x in x
6.017 * [taylor]: Taking taylor expansion of 0 in x
6.021 * [taylor]: Taking taylor expansion of 0 in x
6.025 * * * [progress]: simplifying candidates
6.026 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 3.0 (/ y (- 3.0 x)))
  (+ (log 3.0) (- (log y) (log (- 3.0 x))))
  (+ (log 3.0) (log (/ y (- 3.0 x))))
  (log (* 3.0 (/ y (- 3.0 x))))
  (exp (* 3.0 (/ y (- 3.0 x))))
  (* (* (* 3.0 3.0) 3.0) (/ (* (* y y) y) (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x))))
  (* (* (* 3.0 3.0) 3.0) (* (* (/ y (- 3.0 x)) (/ y (- 3.0 x))) (/ y (- 3.0 x))))
  (* (cbrt (* 3.0 (/ y (- 3.0 x)))) (cbrt (* 3.0 (/ y (- 3.0 x)))))
  (cbrt (* 3.0 (/ y (- 3.0 x))))
  (* (* (* 3.0 (/ y (- 3.0 x))) (* 3.0 (/ y (- 3.0 x)))) (* 3.0 (/ y (- 3.0 x))))
  (sqrt (* 3.0 (/ y (- 3.0 x))))
  (sqrt (* 3.0 (/ y (- 3.0 x))))
  (* (sqrt 3.0) (sqrt (/ y (- 3.0 x))))
  (* (sqrt 3.0) (sqrt (/ y (- 3.0 x))))
  (* (sqrt 3.0) (/ (sqrt y) (sqrt (- 3.0 x))))
  (* (sqrt 3.0) (/ (sqrt y) (sqrt (- 3.0 x))))
  (* 3.0 (* (cbrt (/ y (- 3.0 x))) (cbrt (/ y (- 3.0 x)))))
  (* 3.0 (sqrt (/ y (- 3.0 x))))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) (sqrt (- 3.0 x))))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) 1))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) (+ (sqrt 3.0) (sqrt x))))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) 1))
  (* 3.0 (/ (sqrt y) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))))
  (* 3.0 (/ (sqrt y) (sqrt (- 3.0 x))))
  (* 3.0 (/ (sqrt y) 1))
  (* 3.0 (/ (sqrt y) (+ (sqrt 3.0) (sqrt x))))
  (* 3.0 (/ (sqrt y) 1))
  (* 3.0 (/ 1 (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))))
  (* 3.0 (/ 1 (sqrt (- 3.0 x))))
  (* 3.0 (/ 1 1))
  (* 3.0 (/ 1 (+ (sqrt 3.0) (sqrt x))))
  (* 3.0 (/ 1 1))
  (* 3.0 1)
  (* 3.0 y)
  (* 3.0 (/ y (- (pow 3.0 3) (pow x 3))))
  (* 3.0 (/ y (- (* 3.0 3.0) (* x x))))
  (* (cbrt 3.0) (/ y (- 3.0 x)))
  (* (sqrt 3.0) (/ y (- 3.0 x)))
  (* 3.0 (/ y (- 3.0 x)))
  (* 3.0 y)
  (- (log (- 1.0 x)) (+ (log 3.0) (- (log y) (log (- 3.0 x)))))
  (- (log (- 1.0 x)) (+ (log 3.0) (log (/ y (- 3.0 x)))))
  (- (log (- 1.0 x)) (log (* 3.0 (/ y (- 3.0 x)))))
  (log (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (exp (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (* 3.0 3.0) 3.0) (/ (* (* y y) y) (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)))))
  (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (* 3.0 3.0) 3.0) (* (* (/ y (- 3.0 x)) (/ y (- 3.0 x))) (/ y (- 3.0 x)))))
  (/ (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* (* 3.0 (/ y (- 3.0 x))) (* 3.0 (/ y (- 3.0 x)))) (* 3.0 (/ y (- 3.0 x)))))
  (* (cbrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x))))) (cbrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x))))))
  (cbrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (* (* (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x))))) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (sqrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (sqrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (- (- 1.0 x))
  (- (* 3.0 (/ y (- 3.0 x))))
  (/ 1.0 (* 3.0 (/ y (- 3.0 x))))
  (/ x (* 3.0 (/ y (- 3.0 x))))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) 3.0)
  (/ (cbrt (- 1.0 x)) (/ y (- 3.0 x)))
  (/ (sqrt (- 1.0 x)) 3.0)
  (/ (sqrt (- 1.0 x)) (/ y (- 3.0 x)))
  (/ 1 3.0)
  (/ (- 1.0 x) (/ y (- 3.0 x)))
  (/ (+ (sqrt 1.0) (sqrt x)) 3.0)
  (/ (- (sqrt 1.0) (sqrt x)) (/ y (- 3.0 x)))
  (/ 1 3.0)
  (/ (- 1.0 x) (/ y (- 3.0 x)))
  (/ 1 (* 3.0 (/ y (- 3.0 x))))
  (/ (* 3.0 (/ y (- 3.0 x))) (- 1.0 x))
  (/ (- 1.0 x) 3.0)
  (/ (* 3.0 (/ y (- 3.0 x))) (cbrt (- 1.0 x)))
  (/ (* 3.0 (/ y (- 3.0 x))) (sqrt (- 1.0 x)))
  (/ (* 3.0 (/ y (- 3.0 x))) (- 1.0 x))
  (/ (* 3.0 (/ y (- 3.0 x))) (- (sqrt 1.0) (sqrt x)))
  (/ (* 3.0 (/ y (- 3.0 x))) (- 1.0 x))
  (/ (- 1.0 x) (* 3.0 y))
  (* (* 3.0 (/ y (- 3.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (* (* 3.0 (/ y (- 3.0 x))) (+ 1.0 x))
  (- (log y) (log (- 3.0 x)))
  (log (/ y (- 3.0 x)))
  (exp (/ y (- 3.0 x)))
  (/ (* (* y y) y) (* (* (- 3.0 x) (- 3.0 x)) (- 3.0 x)))
  (* (cbrt (/ y (- 3.0 x))) (cbrt (/ y (- 3.0 x))))
  (cbrt (/ y (- 3.0 x)))
  (* (* (/ y (- 3.0 x)) (/ y (- 3.0 x))) (/ y (- 3.0 x)))
  (sqrt (/ y (- 3.0 x)))
  (sqrt (/ y (- 3.0 x)))
  (- y)
  (- (- 3.0 x))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ (cbrt y) (cbrt (- 3.0 x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (- 3.0 x)))
  (/ (cbrt y) (sqrt (- 3.0 x)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (- 3.0 x))
  (/ (* (cbrt y) (cbrt y)) (+ (sqrt 3.0) (sqrt x)))
  (/ (cbrt y) (- (sqrt 3.0) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (- 3.0 x))
  (/ (sqrt y) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ (sqrt y) (cbrt (- 3.0 x)))
  (/ (sqrt y) (sqrt (- 3.0 x)))
  (/ (sqrt y) (sqrt (- 3.0 x)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (- 3.0 x))
  (/ (sqrt y) (+ (sqrt 3.0) (sqrt x)))
  (/ (sqrt y) (- (sqrt 3.0) (sqrt x)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (- 3.0 x))
  (/ 1 (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ y (cbrt (- 3.0 x)))
  (/ 1 (sqrt (- 3.0 x)))
  (/ y (sqrt (- 3.0 x)))
  (/ 1 1)
  (/ y (- 3.0 x))
  (/ 1 (+ (sqrt 3.0) (sqrt x)))
  (/ y (- (sqrt 3.0) (sqrt x)))
  (/ 1 1)
  (/ y (- 3.0 x))
  (/ 1 (- 3.0 x))
  (/ (- 3.0 x) y)
  (/ y (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ y (sqrt (- 3.0 x)))
  (/ y 1)
  (/ y (+ (sqrt 3.0) (sqrt x)))
  (/ y 1)
  (/ (- 3.0 x) (cbrt y))
  (/ (- 3.0 x) (sqrt y))
  (/ (- 3.0 x) y)
  (/ y (- (pow 3.0 3) (pow x 3)))
  (/ y (- (* 3.0 3.0) (* x x)))
  (+ (* 0.1111111111111111 (* (pow x 2) y)) (+ (* 1.0 y) (* 0.3333333333333333 (* x y))))
  (- (+ (* 9.0 (/ y (pow x 2))) (+ (* 27.0 (/ y (pow x 3))) (* 3.0 (/ y x)))))
  (- (+ (* 9.0 (/ y (pow x 2))) (+ (* 27.0 (/ y (pow x 3))) (* 3.0 (/ y x)))))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (- (+ (* 1.0 (/ 1 y)) (* 0.3333333333333333 (/ (pow x 2) y))) (* 1.3333333333333333 (/ x y)))
  (+ (* 0.037037037037037035 (* (pow x 2) y)) (+ (* 0.3333333333333333 y) (* 0.1111111111111111 (* x y))))
  (- (+ (* 3.0 (/ y (pow x 2))) (+ (* 9.0 (/ y (pow x 3))) (/ y x))))
  (- (+ (* 3.0 (/ y (pow x 2))) (+ (* 9.0 (/ y (pow x 3))) (/ y x))))
6.031 * * [simplify]: iteration  0 :  201  enodes  (cost  1461 )
6.085 * * [simplify]: iteration  1 :  501  enodes  (cost  1401 )
6.198 * * [simplify]: iteration  2 :  1544  enodes  (cost  1249 )
6.602 * * [simplify]: iteration  done :  5001  enodes  (cost  1233 )
6.603 * [simplify]: Simplified to:
   (* 3.0 (/ y (- 3.0 x)))
  (log (* 3.0 (/ y (- 3.0 x))))
  (log (* 3.0 (/ y (- 3.0 x))))
  (log (* 3.0 (/ y (- 3.0 x))))
  (exp (* 3.0 (/ y (- 3.0 x))))
  (pow (* 3.0 (/ y (- 3.0 x))) 3)
  (pow (* 3.0 (/ y (- 3.0 x))) 3)
  (* (cbrt (* 3.0 (/ y (- 3.0 x)))) (cbrt (* 3.0 (/ y (- 3.0 x)))))
  (cbrt (* 3.0 (/ y (- 3.0 x))))
  (pow (* 3.0 (/ y (- 3.0 x))) 3)
  (sqrt (* 3.0 (/ y (- 3.0 x))))
  (sqrt (* 3.0 (/ y (- 3.0 x))))
  (* (sqrt 3.0) (sqrt (/ y (- 3.0 x))))
  (* (sqrt 3.0) (sqrt (/ y (- 3.0 x))))
  (* (sqrt 3.0) (/ (sqrt y) (sqrt (- 3.0 x))))
  (* (sqrt 3.0) (/ (sqrt y) (sqrt (- 3.0 x))))
  (* 3.0 (* (cbrt (/ y (- 3.0 x))) (cbrt (/ y (- 3.0 x)))))
  (* 3.0 (sqrt (/ y (- 3.0 x))))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))))
  (* 3.0 (/ (* (cbrt y) (cbrt y)) (sqrt (- 3.0 x))))
  (* (* (cbrt y) (cbrt y)) 3.0)
  (* 3.0 (/ (* (cbrt y) (cbrt y)) (+ (sqrt 3.0) (sqrt x))))
  (* (* (cbrt y) (cbrt y)) 3.0)
  (* 3.0 (/ (sqrt y) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x)))))
  (* 3.0 (/ (sqrt y) (sqrt (- 3.0 x))))
  (* (sqrt y) 3.0)
  (* 3.0 (/ (sqrt y) (+ (sqrt 3.0) (sqrt x))))
  (* (sqrt y) 3.0)
  (/ 3.0 (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ 3.0 (sqrt (- 3.0 x)))
  3.0
  (/ 3.0 (+ (sqrt 3.0) (sqrt x)))
  3.0
  3.0
  (* 3.0 y)
  (* 3.0 (/ y (- (pow 3.0 3) (pow x 3))))
  (* 3.0 (/ y (- (* 3.0 3.0) (* x x))))
  (* (cbrt 3.0) (/ y (- 3.0 x)))
  (* (sqrt 3.0) (/ y (- 3.0 x)))
  (* 3.0 (/ y (- 3.0 x)))
  (* 3.0 y)
  (log (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (log (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (log (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (log (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (exp (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (pow (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))) 3)
  (pow (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))) 3)
  (pow (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))) 3)
  (* (cbrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x))))) (cbrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x))))))
  (cbrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (pow (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))) 3)
  (sqrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (sqrt (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))
  (- (- 1.0 x))
  (- (* 3.0 (/ y (- 3.0 x))))
  (/ 1.0 (* 3.0 (/ y (- 3.0 x))))
  (/ x (* 3.0 (/ y (- 3.0 x))))
  (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) 3.0)
  (/ (cbrt (- 1.0 x)) (/ y (- 3.0 x)))
  (/ (sqrt (- 1.0 x)) 3.0)
  (/ (sqrt (- 1.0 x)) (/ y (- 3.0 x)))
  (/ 1 3.0)
  (/ (- 1.0 x) (/ y (- 3.0 x)))
  (/ (+ (sqrt 1.0) (sqrt x)) 3.0)
  (/ (- (sqrt 1.0) (sqrt x)) (/ y (- 3.0 x)))
  (/ 1 3.0)
  (/ (- 1.0 x) (/ y (- 3.0 x)))
  (/ 1 (* 3.0 (/ y (- 3.0 x))))
  (/ (* 3.0 (/ y (- 3.0 x))) (- 1.0 x))
  (/ (- 1.0 x) 3.0)
  (/ (* 3.0 (/ y (- 3.0 x))) (cbrt (- 1.0 x)))
  (/ (* 3.0 (/ y (- 3.0 x))) (sqrt (- 1.0 x)))
  (/ (* 3.0 (/ y (- 3.0 x))) (- 1.0 x))
  (/ (* 3.0 (/ y (- 3.0 x))) (- (sqrt 1.0) (sqrt x)))
  (/ (* 3.0 (/ y (- 3.0 x))) (- 1.0 x))
  (/ (- 1.0 x) (* 3.0 y))
  (* (* 3.0 (/ y (- 3.0 x))) (+ (* 1.0 1.0) (* x (+ 1.0 x))))
  (* (* 3.0 (/ y (- 3.0 x))) (+ 1.0 x))
  (log (/ y (- 3.0 x)))
  (log (/ y (- 3.0 x)))
  (exp (/ y (- 3.0 x)))
  (pow (/ y (- 3.0 x)) 3)
  (* (cbrt (/ y (- 3.0 x))) (cbrt (/ y (- 3.0 x))))
  (cbrt (/ y (- 3.0 x)))
  (pow (/ y (- 3.0 x)) 3)
  (sqrt (/ y (- 3.0 x)))
  (sqrt (/ y (- 3.0 x)))
  (- y)
  (- (- 3.0 x))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ (cbrt y) (cbrt (- 3.0 x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (- 3.0 x)))
  (/ (cbrt y) (sqrt (- 3.0 x)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (- 3.0 x))
  (/ (* (cbrt y) (cbrt y)) (+ (sqrt 3.0) (sqrt x)))
  (/ (cbrt y) (- (sqrt 3.0) (sqrt x)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (- 3.0 x))
  (/ (sqrt y) (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ (sqrt y) (cbrt (- 3.0 x)))
  (/ (sqrt y) (sqrt (- 3.0 x)))
  (/ (sqrt y) (sqrt (- 3.0 x)))
  (sqrt y)
  (/ (sqrt y) (- 3.0 x))
  (/ (sqrt y) (+ (sqrt 3.0) (sqrt x)))
  (/ (sqrt y) (- (sqrt 3.0) (sqrt x)))
  (sqrt y)
  (/ (sqrt y) (- 3.0 x))
  (/ 1 (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ y (cbrt (- 3.0 x)))
  (/ 1 (sqrt (- 3.0 x)))
  (/ y (sqrt (- 3.0 x)))
  1
  (/ y (- 3.0 x))
  (/ 1 (+ (sqrt 3.0) (sqrt x)))
  (/ y (- (sqrt 3.0) (sqrt x)))
  1
  (/ y (- 3.0 x))
  (/ 1 (- 3.0 x))
  (/ (- 3.0 x) y)
  (/ y (* (cbrt (- 3.0 x)) (cbrt (- 3.0 x))))
  (/ y (sqrt (- 3.0 x)))
  y
  (/ y (+ (sqrt 3.0) (sqrt x)))
  y
  (/ (- 3.0 x) (cbrt y))
  (/ (- 3.0 x) (sqrt y))
  (/ (- 3.0 x) y)
  (/ y (- (pow 3.0 3) (pow x 3)))
  (/ y (- (* 3.0 3.0) (* x x)))
  (+ (* 0.1111111111111111 (* (pow x 2) y)) (* y (+ (* 0.3333333333333333 x) 1.0)))
  (- (- (* (/ y (pow x 2)) (+ (/ 27.0 x) 9.0))) (* 3.0 (/ y x)))
  (- (- (* (/ y (pow x 2)) (+ (/ 27.0 x) 9.0))) (* 3.0 (/ y x)))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (- (* 0.3333333333333333 (/ (pow x 2) y)) (* 1.3333333333333333 (/ x y))) (/ 1.0 y))
  (+ (* y (+ (* 0.037037037037037035 (* x x)) 0.3333333333333333)) (* 0.1111111111111111 (* x y)))
  (- (- (* (/ y (pow x 2)) (+ 3.0 (/ 9.0 x)))) (/ y x))
  (- (- (* (/ y (pow x 2)) (+ 3.0 (/ 9.0 x)))) (/ y x))
6.604 * * * [progress]: adding candidates to table
6.821 * [progress]: [Phase 3 of 3] Extracting.
6.821 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (- 1.0 x) y) (cbrt (pow (/ (- 3.0 x) 3.0) 3))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))> #<alt (λ (x y) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))> #<alt (λ (x y) (/ (sqrt (- 1.0 x)) (/ (* 3.0 (/ y (- 3.0 x))) (sqrt (- 1.0 x)))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (* (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (/ y (cbrt (- 1.0 x)))) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (/ (/ (* (- 1.0 x) (- 3.0 x)) y) 3.0))>)
6.822 * * * [regime-changes]: Trying 3 branch expressions: ((* (- 1.0 x) (- 3.0 x)) y x)
6.822 * * * * [regimes]: Trying to branch on (* (- 1.0 x) (- 3.0 x)) from (#<alt (λ (x y) (* (/ (- 1.0 x) y) (cbrt (pow (/ (- 3.0 x) 3.0) 3))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))> #<alt (λ (x y) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))> #<alt (λ (x y) (/ (sqrt (- 1.0 x)) (/ (* 3.0 (/ y (- 3.0 x))) (sqrt (- 1.0 x)))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (* (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (/ y (cbrt (- 1.0 x)))) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (/ (/ (* (- 1.0 x) (- 3.0 x)) y) 3.0))>)
6.844 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (- 1.0 x) y) (cbrt (pow (/ (- 3.0 x) 3.0) 3))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))> #<alt (λ (x y) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))> #<alt (λ (x y) (/ (sqrt (- 1.0 x)) (/ (* 3.0 (/ y (- 3.0 x))) (sqrt (- 1.0 x)))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (* (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (/ y (cbrt (- 1.0 x)))) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (/ (/ (* (- 1.0 x) (- 3.0 x)) y) 3.0))>)
6.865 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (- 1.0 x) y) (cbrt (pow (/ (- 3.0 x) 3.0) 3))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (* (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (- 3.0 x) (cbrt 3.0)))))> #<alt (λ (x y) (/ (- 1.0 x) (* 3.0 (/ y (- 3.0 x)))))> #<alt (λ (x y) (/ (sqrt (- 1.0 x)) (/ (* 3.0 (/ y (- 3.0 x))) (sqrt (- 1.0 x)))))> #<alt (λ (x y) (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (* (/ (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (/ y (cbrt (- 1.0 x)))) (/ (- 3.0 x) 3.0)))> #<alt (λ (x y) (/ (/ (* (- 1.0 x) (- 3.0 x)) y) 3.0))>)
6.889 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
6.889 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
6.889 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
6.890 * * [simplify]: iteration  1 :  10  enodes  (cost  11 )
6.890 * * [simplify]: iteration  done :  10  enodes  (cost  11 )
6.890 * [simplify]: Simplified to:
   (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
7.473 * [regime-testing]: Baseline error score: 0.12851850856465233
7.473 * [regime-testing]: Oracle error score: 0.017002125265658207
7.474 * [regime-testing]: End program error score: 0.12851850856465233
7.493 * [regime-testing]: Target error score: 0.12851850856465233