14.842 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying:
  (* x (exp (* y y)))
0.058 * * [simplify]: Extracting # 0 : cost  0
0.059 * * [simplify]: Extracting # 1 : cost  0
0.059 * * [simplify]: Extracting # 2 : cost  0
0.059 * * [simplify]: Extracting # 3 : cost  0
0.059 * * [simplify]: Extracting # 4 : cost  0
0.059 * * [simplify]: Extracting # 5 : cost  0
0.059 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: Extracting # 1 : cost  0
0.064 * * [simplify]: Extracting # 2 : cost  0
0.064 * * [simplify]: Extracting # 3 : cost  0
0.064 * * [simplify]: Extracting # 4 : cost  0
0.064 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
0.068 * * [simplify]: Extracting # 0 : cost  0
0.068 * * [simplify]: Extracting # 1 : cost  0
0.069 * * [simplify]: Extracting # 2 : cost  0
0.069 * * [simplify]: Extracting # 3 : cost  0
0.069 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.078 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: Extracting # 3 : cost  0
0.078 * * [simplify]: Extracting # 4 : cost  0
0.078 * * [simplify]: iteration  4 :  48  enodes  (cost  6 )
0.111 * * [simplify]: Extracting # 0 : cost  0
0.111 * * [simplify]: Extracting # 1 : cost  0
0.112 * * [simplify]: Extracting # 2 : cost  0
0.112 * * [simplify]: Extracting # 3 : cost  0
0.112 * * [simplify]: Extracting # 4 : cost  0
0.112 * * [simplify]: iteration  5 :  134  enodes  (cost  6 )
0.230 * * [simplify]: Extracting # 0 : cost  0
0.231 * * [simplify]: Extracting # 1 : cost  0
0.232 * * [simplify]: Extracting # 2 : cost  0
0.233 * * [simplify]: Extracting # 3 : cost  0
0.234 * * [simplify]: Extracting # 4 : cost  0
0.235 * * [simplify]: iteration  6 :  677  enodes  (cost  6 )
1.473 * * [simplify]: Extracting # 0 : cost  0
1.493 * * [simplify]: Extracting # 1 : cost  0
1.501 * * [simplify]: Extracting # 2 : cost  0
1.508 * * [simplify]: Extracting # 3 : cost  0
1.515 * * [simplify]: Extracting # 4 : cost  0
1.522 * * [simplify]: Extracting # 5 : cost  0
1.531 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
1.532 * [simplify]: Simplified to:
  (* x (exp (* y y)))
1.532 * * [progress]: iteration 1 / 4
1.532 * * * [progress]: picking best candidate
1.536 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
1.536 * * * [progress]: localizing error
1.547 * * * [progress]: generating rewritten candidates
1.547 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.553 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.577 * * * [progress]: generating series expansions
1.577 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.578 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
1.578 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
1.578 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.578 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.578 * [taylor]: Taking taylor expansion of y in y
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 1 into 1
1.578 * [backup-simplify]: Simplify (* 1 1) into 1
1.578 * [backup-simplify]: Simplify (exp 0) into 1
1.578 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.578 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.578 * [taylor]: Taking taylor expansion of y in y
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify 1 into 1
1.579 * [backup-simplify]: Simplify (* 1 1) into 1
1.579 * [backup-simplify]: Simplify (exp 0) into 1
1.579 * [backup-simplify]: Simplify 1 into 1
1.580 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.580 * [backup-simplify]: Simplify 0 into 0
1.581 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1.581 * [backup-simplify]: Simplify 1 into 1
1.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.583 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.583 * [backup-simplify]: Simplify 0 into 0
1.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.587 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.587 * [backup-simplify]: Simplify 1/2 into 1/2
1.588 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
1.588 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
1.588 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.588 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.588 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.588 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.588 * [taylor]: Taking taylor expansion of y in y
1.588 * [backup-simplify]: Simplify 0 into 0
1.588 * [backup-simplify]: Simplify 1 into 1
1.589 * [backup-simplify]: Simplify (* 1 1) into 1
1.589 * [backup-simplify]: Simplify (/ 1 1) into 1
1.589 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.589 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.589 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.589 * [taylor]: Taking taylor expansion of y in y
1.589 * [backup-simplify]: Simplify 0 into 0
1.589 * [backup-simplify]: Simplify 1 into 1
1.589 * [backup-simplify]: Simplify (* 1 1) into 1
1.590 * [backup-simplify]: Simplify (/ 1 1) into 1
1.590 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.590 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.590 * [backup-simplify]: Simplify 0 into 0
1.590 * [backup-simplify]: Simplify 0 into 0
1.590 * [backup-simplify]: Simplify 0 into 0
1.590 * [backup-simplify]: Simplify 0 into 0
1.590 * [backup-simplify]: Simplify 0 into 0
1.590 * [backup-simplify]: Simplify 0 into 0
1.591 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
1.591 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
1.591 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.591 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.591 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.591 * [taylor]: Taking taylor expansion of y in y
1.591 * [backup-simplify]: Simplify 0 into 0
1.591 * [backup-simplify]: Simplify 1 into 1
1.591 * [backup-simplify]: Simplify (* 1 1) into 1
1.592 * [backup-simplify]: Simplify (/ 1 1) into 1
1.592 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.592 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.592 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.592 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.592 * [taylor]: Taking taylor expansion of y in y
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [backup-simplify]: Simplify (* 1 1) into 1
1.593 * [backup-simplify]: Simplify (/ 1 1) into 1
1.593 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.593 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
1.593 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.593 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2)))
1.593 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0
1.594 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y
1.594 * [taylor]: Taking taylor expansion of x in y
1.594 * [backup-simplify]: Simplify x into x
1.594 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.594 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.594 * [taylor]: Taking taylor expansion of y in y
1.594 * [backup-simplify]: Simplify 0 into 0
1.594 * [backup-simplify]: Simplify 1 into 1
1.594 * [backup-simplify]: Simplify (* 1 1) into 1
1.594 * [backup-simplify]: Simplify (exp 0) into 1
1.594 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [backup-simplify]: Simplify 0 into 0
1.594 * [backup-simplify]: Simplify 1 into 1
1.594 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.594 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.594 * [taylor]: Taking taylor expansion of y in x
1.594 * [backup-simplify]: Simplify y into y
1.594 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.594 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.595 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.595 * [taylor]: Taking taylor expansion of x in x
1.595 * [backup-simplify]: Simplify 0 into 0
1.595 * [backup-simplify]: Simplify 1 into 1
1.595 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.595 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.595 * [taylor]: Taking taylor expansion of y in x
1.595 * [backup-simplify]: Simplify y into y
1.595 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.595 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.595 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
1.595 * [taylor]: Taking taylor expansion of 0 in y
1.595 * [backup-simplify]: Simplify 0 into 0
1.595 * [backup-simplify]: Simplify 0 into 0
1.595 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.596 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
1.597 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
1.597 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.597 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.597 * [taylor]: Taking taylor expansion of y in y
1.597 * [backup-simplify]: Simplify 0 into 0
1.597 * [backup-simplify]: Simplify 1 into 1
1.597 * [backup-simplify]: Simplify (* 1 1) into 1
1.597 * [backup-simplify]: Simplify (exp 0) into 1
1.597 * [backup-simplify]: Simplify 1 into 1
1.597 * [backup-simplify]: Simplify 0 into 0
1.598 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.599 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.600 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
1.600 * [taylor]: Taking taylor expansion of 0 in y
1.600 * [backup-simplify]: Simplify 0 into 0
1.600 * [backup-simplify]: Simplify 0 into 0
1.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.600 * [backup-simplify]: Simplify 0 into 0
1.600 * [backup-simplify]: Simplify 0 into 0
1.601 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.603 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.604 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
1.604 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [backup-simplify]: Simplify 0 into 0
1.604 * [backup-simplify]: Simplify 0 into 0
1.604 * [backup-simplify]: Simplify 0 into 0
1.604 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
1.604 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x)
1.604 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0
1.604 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.604 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.604 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.604 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.604 * [backup-simplify]: Simplify 0 into 0
1.604 * [backup-simplify]: Simplify 1 into 1
1.604 * [backup-simplify]: Simplify (* 1 1) into 1
1.605 * [backup-simplify]: Simplify (/ 1 1) into 1
1.605 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.605 * [taylor]: Taking taylor expansion of x in y
1.605 * [backup-simplify]: Simplify x into x
1.605 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.605 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.605 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.605 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.605 * [taylor]: Taking taylor expansion of y in x
1.605 * [backup-simplify]: Simplify y into y
1.605 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.606 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.606 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.606 * [taylor]: Taking taylor expansion of x in x
1.606 * [backup-simplify]: Simplify 0 into 0
1.606 * [backup-simplify]: Simplify 1 into 1
1.606 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.606 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.606 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.606 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.606 * [taylor]: Taking taylor expansion of y in x
1.606 * [backup-simplify]: Simplify y into y
1.606 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.606 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.606 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.606 * [taylor]: Taking taylor expansion of x in x
1.606 * [backup-simplify]: Simplify 0 into 0
1.606 * [backup-simplify]: Simplify 1 into 1
1.607 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.607 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.607 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.607 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.607 * [taylor]: Taking taylor expansion of y in y
1.607 * [backup-simplify]: Simplify 0 into 0
1.607 * [backup-simplify]: Simplify 1 into 1
1.607 * [backup-simplify]: Simplify (* 1 1) into 1
1.608 * [backup-simplify]: Simplify (/ 1 1) into 1
1.608 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.608 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.608 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.609 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.610 * [taylor]: Taking taylor expansion of 0 in y
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.612 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.613 * [taylor]: Taking taylor expansion of 0 in y
1.613 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify 0 into 0
1.614 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.616 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.617 * [taylor]: Taking taylor expansion of 0 in y
1.617 * [backup-simplify]: Simplify 0 into 0
1.617 * [backup-simplify]: Simplify 0 into 0
1.618 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
1.618 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x))
1.618 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0
1.618 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y
1.618 * [taylor]: Taking taylor expansion of -1 in y
1.618 * [backup-simplify]: Simplify -1 into -1
1.618 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.618 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.618 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.618 * [taylor]: Taking taylor expansion of y in y
1.618 * [backup-simplify]: Simplify 0 into 0
1.618 * [backup-simplify]: Simplify 1 into 1
1.618 * [backup-simplify]: Simplify (* 1 1) into 1
1.619 * [backup-simplify]: Simplify (/ 1 1) into 1
1.619 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.619 * [taylor]: Taking taylor expansion of x in y
1.619 * [backup-simplify]: Simplify x into x
1.619 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.619 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.619 * [taylor]: Taking taylor expansion of -1 in x
1.619 * [backup-simplify]: Simplify -1 into -1
1.619 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.619 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.619 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.619 * [taylor]: Taking taylor expansion of y in x
1.619 * [backup-simplify]: Simplify y into y
1.619 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.619 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.620 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.620 * [taylor]: Taking taylor expansion of x in x
1.620 * [backup-simplify]: Simplify 0 into 0
1.620 * [backup-simplify]: Simplify 1 into 1
1.620 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.620 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.620 * [taylor]: Taking taylor expansion of -1 in x
1.620 * [backup-simplify]: Simplify -1 into -1
1.620 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.620 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.620 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.620 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.620 * [taylor]: Taking taylor expansion of y in x
1.620 * [backup-simplify]: Simplify y into y
1.620 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.620 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.620 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.620 * [taylor]: Taking taylor expansion of x in x
1.621 * [backup-simplify]: Simplify 0 into 0
1.621 * [backup-simplify]: Simplify 1 into 1
1.621 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.621 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.621 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
1.621 * [taylor]: Taking taylor expansion of -1 in y
1.621 * [backup-simplify]: Simplify -1 into -1
1.621 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.621 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.621 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.621 * [taylor]: Taking taylor expansion of y in y
1.621 * [backup-simplify]: Simplify 0 into 0
1.621 * [backup-simplify]: Simplify 1 into 1
1.621 * [backup-simplify]: Simplify (* 1 1) into 1
1.622 * [backup-simplify]: Simplify (/ 1 1) into 1
1.622 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.622 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.622 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.622 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.623 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.625 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.625 * [taylor]: Taking taylor expansion of 0 in y
1.625 * [backup-simplify]: Simplify 0 into 0
1.625 * [backup-simplify]: Simplify 0 into 0
1.625 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.625 * [backup-simplify]: Simplify 0 into 0
1.626 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.627 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.629 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.629 * [taylor]: Taking taylor expansion of 0 in y
1.629 * [backup-simplify]: Simplify 0 into 0
1.629 * [backup-simplify]: Simplify 0 into 0
1.630 * [backup-simplify]: Simplify 0 into 0
1.630 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.630 * [backup-simplify]: Simplify 0 into 0
1.631 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.634 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.637 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
1.637 * [taylor]: Taking taylor expansion of 0 in y
1.637 * [backup-simplify]: Simplify 0 into 0
1.637 * [backup-simplify]: Simplify 0 into 0
1.637 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
1.637 * * * [progress]: simplifying candidates
1.638 * [simplify]: Simplifying:
  (exp y)
  (log (exp (* y y)))
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (* x (exp (* y y)))
  (+ (log x) (* y y))
  (log (* x (exp (* y y))))
  (exp (* x (exp (* y y))))
  (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))))
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  (* x 1)
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* x (exp (* y y)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
1.639 * * [simplify]: Extracting # 0 : cost  0
1.639 * * [simplify]: Extracting # 1 : cost  0
1.639 * * [simplify]: Extracting # 2 : cost  0
1.639 * * [simplify]: Extracting # 3 : cost  0
1.639 * * [simplify]: Extracting # 4 : cost  0
1.640 * * [simplify]: Extracting # 5 : cost  0
1.640 * * [simplify]: Extracting # 6 : cost  0
1.640 * * [simplify]: iteration  0 :  44  enodes  (cost  245 )
1.657 * * [simplify]: Extracting # 0 : cost  0
1.657 * * [simplify]: Extracting # 1 : cost  0
1.658 * * [simplify]: Extracting # 2 : cost  0
1.658 * * [simplify]: Extracting # 3 : cost  0
1.658 * * [simplify]: iteration  1 :  100  enodes  (cost  238 )
1.697 * * [simplify]: Extracting # 0 : cost  0
1.698 * * [simplify]: Extracting # 1 : cost  0
1.698 * * [simplify]: Extracting # 2 : cost  0
1.699 * * [simplify]: Extracting # 3 : cost  0
1.699 * * [simplify]: Extracting # 4 : cost  0
1.700 * * [simplify]: iteration  2 :  407  enodes  (cost  210 )
2.155 * * [simplify]: Extracting # 0 : cost  0
2.164 * * [simplify]: Extracting # 1 : cost  0
2.166 * * [simplify]: Extracting # 2 : cost  0
2.168 * * [simplify]: Extracting # 3 : cost  0
2.171 * * [simplify]: Extracting # 4 : cost  0
2.173 * * [simplify]: iteration  3 :  2058  enodes  (cost  208 )
2.984 * * [simplify]: Extracting # 0 : cost  0
2.991 * * [simplify]: Extracting # 1 : cost  0
2.999 * * [simplify]: Extracting # 2 : cost  0
3.007 * * [simplify]: Extracting # 3 : cost  0
3.015 * * [simplify]: Extracting # 4 : cost  0
3.024 * * [simplify]: iteration done:  5000  enodes  (cost  208 )
3.024 * [simplify]: Simplified to:
  (exp y)
  (pow y 2)
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (pow (exp (* y y)) 3)
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (* x (exp (* y y)))
  (+ (log x) (* y y))
  (+ (log x) (* y y))
  (exp (* x (exp (* y y))))
  (pow (* x (exp (* y y))) 3)
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (pow (* x (exp (* y y))) 3)
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  x
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* x (exp (* y y)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (* y y))
  (exp (* y y))
  x
  (* x (exp (* y y)))
  (* x (exp (* y y)))
3.025 * * * [progress]: adding candidates to table
3.175 * * [progress]: iteration 2 / 4
3.175 * * * [progress]: picking best candidate
3.179 * * * * [pick]: Picked  #<alt (λ (x y) (* x (pow (exp y) y)))>
3.179 * * * [progress]: localizing error
3.191 * * * [progress]: generating rewritten candidates
3.191 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.198 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.221 * * * [progress]: generating series expansions
3.222 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.222 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y)
3.222 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0
3.222 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.222 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.222 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.222 * [taylor]: Taking taylor expansion of y in y
3.222 * [backup-simplify]: Simplify 0 into 0
3.222 * [backup-simplify]: Simplify 1 into 1
3.222 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.222 * [taylor]: Taking taylor expansion of (exp y) in y
3.222 * [taylor]: Taking taylor expansion of y in y
3.222 * [backup-simplify]: Simplify 0 into 0
3.222 * [backup-simplify]: Simplify 1 into 1
3.222 * [backup-simplify]: Simplify (exp 0) into 1
3.223 * [backup-simplify]: Simplify (log 1) into 0
3.223 * [backup-simplify]: Simplify (* 0 0) into 0
3.224 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.225 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.225 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.226 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.228 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.229 * [backup-simplify]: Simplify (exp 0) into 1
3.229 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.229 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.229 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.229 * [taylor]: Taking taylor expansion of y in y
3.229 * [backup-simplify]: Simplify 0 into 0
3.229 * [backup-simplify]: Simplify 1 into 1
3.229 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.229 * [taylor]: Taking taylor expansion of (exp y) in y
3.229 * [taylor]: Taking taylor expansion of y in y
3.229 * [backup-simplify]: Simplify 0 into 0
3.229 * [backup-simplify]: Simplify 1 into 1
3.229 * [backup-simplify]: Simplify (exp 0) into 1
3.229 * [backup-simplify]: Simplify (log 1) into 0
3.230 * [backup-simplify]: Simplify (* 0 0) into 0
3.231 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.231 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.232 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.233 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.235 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.236 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.236 * [backup-simplify]: Simplify (exp 0) into 1
3.236 * [backup-simplify]: Simplify 1 into 1
3.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.237 * [backup-simplify]: Simplify 0 into 0
3.238 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
3.238 * [backup-simplify]: Simplify 1 into 1
3.239 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.243 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0
3.244 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
3.250 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.251 * [backup-simplify]: Simplify 0 into 0
3.255 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.264 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0
3.265 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.268 * [backup-simplify]: Simplify 1/2 into 1/2
3.269 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
3.269 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y))
3.269 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0
3.269 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.269 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.269 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.269 * [taylor]: Taking taylor expansion of y in y
3.269 * [backup-simplify]: Simplify 0 into 0
3.269 * [backup-simplify]: Simplify 1 into 1
3.269 * [backup-simplify]: Simplify (/ 1 1) into 1
3.270 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.270 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.270 * [taylor]: Taking taylor expansion of y in y
3.270 * [backup-simplify]: Simplify 0 into 0
3.270 * [backup-simplify]: Simplify 1 into 1
3.270 * [backup-simplify]: Simplify (/ 1 1) into 1
3.270 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.270 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.270 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.270 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.271 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.271 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.271 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.271 * [backup-simplify]: Simplify 0 into 0
3.271 * [backup-simplify]: Simplify 1 into 1
3.271 * [backup-simplify]: Simplify (/ 1 1) into 1
3.271 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.271 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.271 * [backup-simplify]: Simplify 0 into 0
3.271 * [backup-simplify]: Simplify 1 into 1
3.271 * [backup-simplify]: Simplify (/ 1 1) into 1
3.272 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.272 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.272 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.272 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.272 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
3.273 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y))
3.273 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0
3.273 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.273 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.273 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.273 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.273 * [taylor]: Taking taylor expansion of -1 in y
3.273 * [backup-simplify]: Simplify -1 into -1
3.273 * [taylor]: Taking taylor expansion of y in y
3.273 * [backup-simplify]: Simplify 0 into 0
3.273 * [backup-simplify]: Simplify 1 into 1
3.273 * [backup-simplify]: Simplify (/ -1 1) into -1
3.273 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.273 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.273 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.273 * [taylor]: Taking taylor expansion of -1 in y
3.273 * [backup-simplify]: Simplify -1 into -1
3.273 * [taylor]: Taking taylor expansion of y in y
3.273 * [backup-simplify]: Simplify 0 into 0
3.273 * [backup-simplify]: Simplify 1 into 1
3.274 * [backup-simplify]: Simplify (/ -1 1) into -1
3.274 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.274 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.274 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.274 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.274 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.274 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.274 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.274 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.274 * [taylor]: Taking taylor expansion of -1 in y
3.275 * [backup-simplify]: Simplify -1 into -1
3.275 * [taylor]: Taking taylor expansion of y in y
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.275 * [backup-simplify]: Simplify (/ -1 1) into -1
3.275 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.275 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.275 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.275 * [taylor]: Taking taylor expansion of -1 in y
3.275 * [backup-simplify]: Simplify -1 into -1
3.275 * [taylor]: Taking taylor expansion of y in y
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.275 * [backup-simplify]: Simplify (/ -1 1) into -1
3.276 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.276 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.276 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.276 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.276 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
3.277 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.277 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y))
3.277 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0
3.277 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y
3.277 * [taylor]: Taking taylor expansion of x in y
3.277 * [backup-simplify]: Simplify x into x
3.277 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.277 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.277 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.277 * [taylor]: Taking taylor expansion of y in y
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.277 * [taylor]: Taking taylor expansion of (exp y) in y
3.277 * [taylor]: Taking taylor expansion of y in y
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (exp 0) into 1
3.278 * [backup-simplify]: Simplify (log 1) into 0
3.278 * [backup-simplify]: Simplify (* 0 0) into 0
3.279 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.280 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.280 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.281 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.283 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.284 * [backup-simplify]: Simplify (exp 0) into 1
3.284 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
3.284 * [taylor]: Taking taylor expansion of x in x
3.284 * [backup-simplify]: Simplify 0 into 0
3.284 * [backup-simplify]: Simplify 1 into 1
3.284 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
3.284 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
3.284 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
3.284 * [taylor]: Taking taylor expansion of y in x
3.284 * [backup-simplify]: Simplify y into y
3.284 * [taylor]: Taking taylor expansion of (log (exp y)) in x
3.284 * [taylor]: Taking taylor expansion of (exp y) in x
3.284 * [taylor]: Taking taylor expansion of y in x
3.285 * [backup-simplify]: Simplify y into y
3.285 * [backup-simplify]: Simplify (exp y) into (exp y)
3.285 * [backup-simplify]: Simplify (log (exp y)) into y
3.285 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.285 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
3.285 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
3.285 * [taylor]: Taking taylor expansion of x in x
3.285 * [backup-simplify]: Simplify 0 into 0
3.285 * [backup-simplify]: Simplify 1 into 1
3.285 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
3.285 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
3.285 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
3.285 * [taylor]: Taking taylor expansion of y in x
3.285 * [backup-simplify]: Simplify y into y
3.285 * [taylor]: Taking taylor expansion of (log (exp y)) in x
3.285 * [taylor]: Taking taylor expansion of (exp y) in x
3.285 * [taylor]: Taking taylor expansion of y in x
3.285 * [backup-simplify]: Simplify y into y
3.285 * [backup-simplify]: Simplify (exp y) into (exp y)
3.285 * [backup-simplify]: Simplify (log (exp y)) into y
3.286 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.286 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
3.286 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
3.286 * [taylor]: Taking taylor expansion of 0 in y
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify 0 into 0
3.287 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0
3.287 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0
3.287 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.288 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
3.289 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
3.289 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
3.289 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.289 * [taylor]: Taking taylor expansion of y in y
3.289 * [backup-simplify]: Simplify 0 into 0
3.289 * [backup-simplify]: Simplify 1 into 1
3.289 * [backup-simplify]: Simplify (* 1 1) into 1
3.289 * [backup-simplify]: Simplify (exp 0) into 1
3.289 * [backup-simplify]: Simplify 1 into 1
3.289 * [backup-simplify]: Simplify 0 into 0
3.290 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.292 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0
3.292 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.293 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.294 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
3.294 * [taylor]: Taking taylor expansion of 0 in y
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.295 * [backup-simplify]: Simplify 0 into 0
3.296 * [backup-simplify]: Simplify 0 into 0
3.297 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.300 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0
3.300 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.302 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.303 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
3.303 * [taylor]: Taking taylor expansion of 0 in y
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
3.303 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x)
3.304 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0
3.304 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y
3.304 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
3.304 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
3.304 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
3.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.304 * [taylor]: Taking taylor expansion of y in y
3.304 * [backup-simplify]: Simplify 0 into 0
3.304 * [backup-simplify]: Simplify 1 into 1
3.304 * [backup-simplify]: Simplify (/ 1 1) into 1
3.304 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
3.304 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
3.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.304 * [taylor]: Taking taylor expansion of y in y
3.304 * [backup-simplify]: Simplify 0 into 0
3.304 * [backup-simplify]: Simplify 1 into 1
3.305 * [backup-simplify]: Simplify (/ 1 1) into 1
3.305 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.305 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.305 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.305 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
3.305 * [taylor]: Taking taylor expansion of x in y
3.305 * [backup-simplify]: Simplify x into x
3.305 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
3.305 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
3.305 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
3.305 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
3.306 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
3.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.306 * [taylor]: Taking taylor expansion of y in x
3.306 * [backup-simplify]: Simplify y into y
3.306 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.306 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
3.306 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
3.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.306 * [taylor]: Taking taylor expansion of y in x
3.306 * [backup-simplify]: Simplify y into y
3.306 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.306 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.306 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.306 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
3.306 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.307 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
3.307 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
3.307 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
3.307 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
3.307 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
3.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.307 * [taylor]: Taking taylor expansion of y in x
3.307 * [backup-simplify]: Simplify y into y
3.307 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.307 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
3.307 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
3.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.307 * [taylor]: Taking taylor expansion of y in x
3.307 * [backup-simplify]: Simplify y into y
3.307 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.307 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
3.307 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
3.307 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
3.307 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.307 * [taylor]: Taking taylor expansion of x in x
3.307 * [backup-simplify]: Simplify 0 into 0
3.308 * [backup-simplify]: Simplify 1 into 1
3.308 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
3.308 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.308 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.308 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.308 * [taylor]: Taking taylor expansion of y in y
3.308 * [backup-simplify]: Simplify 0 into 0
3.308 * [backup-simplify]: Simplify 1 into 1
3.308 * [backup-simplify]: Simplify (* 1 1) into 1
3.309 * [backup-simplify]: Simplify (/ 1 1) into 1
3.309 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.309 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.309 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.310 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
3.311 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0
3.311 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.311 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
3.312 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
3.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
3.313 * [taylor]: Taking taylor expansion of 0 in y
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.314 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.316 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0
3.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.316 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
3.317 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.318 * [taylor]: Taking taylor expansion of 0 in y
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.319 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.322 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0
3.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.323 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
3.325 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.327 * [taylor]: Taking taylor expansion of 0 in y
3.327 * [backup-simplify]: Simplify 0 into 0
3.327 * [backup-simplify]: Simplify 0 into 0
3.327 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
3.328 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x))
3.328 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0
3.328 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y
3.328 * [taylor]: Taking taylor expansion of -1 in y
3.328 * [backup-simplify]: Simplify -1 into -1
3.328 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y
3.328 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
3.328 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
3.328 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
3.328 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.328 * [taylor]: Taking taylor expansion of -1 in y
3.328 * [backup-simplify]: Simplify -1 into -1
3.328 * [taylor]: Taking taylor expansion of y in y
3.328 * [backup-simplify]: Simplify 0 into 0
3.328 * [backup-simplify]: Simplify 1 into 1
3.329 * [backup-simplify]: Simplify (/ -1 1) into -1
3.329 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
3.329 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
3.329 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.329 * [taylor]: Taking taylor expansion of -1 in y
3.329 * [backup-simplify]: Simplify -1 into -1
3.329 * [taylor]: Taking taylor expansion of y in y
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 1 into 1
3.329 * [backup-simplify]: Simplify (/ -1 1) into -1
3.330 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.330 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.330 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.330 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
3.330 * [taylor]: Taking taylor expansion of x in y
3.330 * [backup-simplify]: Simplify x into x
3.330 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
3.331 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
3.331 * [taylor]: Taking taylor expansion of -1 in x
3.331 * [backup-simplify]: Simplify -1 into -1
3.331 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
3.331 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
3.331 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
3.331 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
3.331 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.331 * [taylor]: Taking taylor expansion of -1 in x
3.331 * [backup-simplify]: Simplify -1 into -1
3.331 * [taylor]: Taking taylor expansion of y in x
3.331 * [backup-simplify]: Simplify y into y
3.331 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.331 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
3.331 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
3.331 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.331 * [taylor]: Taking taylor expansion of -1 in x
3.331 * [backup-simplify]: Simplify -1 into -1
3.331 * [taylor]: Taking taylor expansion of y in x
3.331 * [backup-simplify]: Simplify y into y
3.331 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.331 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.331 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.332 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
3.332 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.332 * [taylor]: Taking taylor expansion of x in x
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify 1 into 1
3.332 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
3.332 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
3.332 * [taylor]: Taking taylor expansion of -1 in x
3.332 * [backup-simplify]: Simplify -1 into -1
3.332 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
3.332 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
3.332 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
3.332 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
3.332 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.332 * [taylor]: Taking taylor expansion of -1 in x
3.332 * [backup-simplify]: Simplify -1 into -1
3.332 * [taylor]: Taking taylor expansion of y in x
3.332 * [backup-simplify]: Simplify y into y
3.332 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.332 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
3.332 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
3.332 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.332 * [taylor]: Taking taylor expansion of -1 in x
3.332 * [backup-simplify]: Simplify -1 into -1
3.332 * [taylor]: Taking taylor expansion of y in x
3.333 * [backup-simplify]: Simplify y into y
3.333 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.333 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
3.333 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
3.333 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
3.333 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.333 * [taylor]: Taking taylor expansion of x in x
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
3.334 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
3.334 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
3.334 * [taylor]: Taking taylor expansion of -1 in y
3.334 * [backup-simplify]: Simplify -1 into -1
3.334 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
3.334 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.334 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.334 * [taylor]: Taking taylor expansion of y in y
3.334 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify 1 into 1
3.334 * [backup-simplify]: Simplify (* 1 1) into 1
3.335 * [backup-simplify]: Simplify (/ 1 1) into 1
3.335 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
3.335 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
3.335 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
3.335 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.336 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
3.337 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0
3.337 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.337 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
3.338 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
3.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
3.340 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
3.340 * [taylor]: Taking taylor expansion of 0 in y
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
3.340 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.342 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.343 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0
3.343 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.344 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
3.345 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.347 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
3.347 * [taylor]: Taking taylor expansion of 0 in y
3.347 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.349 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.352 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0
3.352 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.353 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
3.354 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.357 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
3.357 * [taylor]: Taking taylor expansion of 0 in y
3.357 * [backup-simplify]: Simplify 0 into 0
3.357 * [backup-simplify]: Simplify 0 into 0
3.357 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
3.357 * * * [progress]: simplifying candidates
3.358 * [simplify]: Simplifying:
  (* y y)
  (* (log (exp y)) y)
  (* 1 y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (* y y)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (pow (exp y) 1)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow 1 y)
  (pow (exp y) y)
  (log (pow (exp y) y))
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (+ (log x) (* y y))
  (+ (log x) (* (log (exp y)) y))
  (+ (log x) (log (pow (exp y) y)))
  (log (* x (pow (exp y) y)))
  (exp (* x (pow (exp y) y)))
  (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)))
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  (* x (pow 1 y))
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  (* x 1)
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
3.359 * * [simplify]: Extracting # 0 : cost  0
3.359 * * [simplify]: Extracting # 1 : cost  0
3.360 * * [simplify]: Extracting # 2 : cost  0
3.360 * * [simplify]: Extracting # 3 : cost  0
3.360 * * [simplify]: Extracting # 4 : cost  0
3.360 * * [simplify]: Extracting # 5 : cost  0
3.360 * * [simplify]: iteration  0 :  72  enodes  (cost  400 )
3.389 * * [simplify]: Extracting # 0 : cost  0
3.389 * * [simplify]: Extracting # 1 : cost  0
3.390 * * [simplify]: Extracting # 2 : cost  0
3.390 * * [simplify]: Extracting # 3 : cost  0
3.390 * * [simplify]: Extracting # 4 : cost  0
3.391 * * [simplify]: iteration  1 :  177  enodes  (cost  370 )
3.456 * * [simplify]: Extracting # 0 : cost  0
3.457 * * [simplify]: Extracting # 1 : cost  0
3.458 * * [simplify]: Extracting # 2 : cost  0
3.459 * * [simplify]: Extracting # 3 : cost  0
3.460 * * [simplify]: Extracting # 4 : cost  0
3.461 * * [simplify]: Extracting # 5 : cost  0
3.462 * * [simplify]: iteration  2 :  553  enodes  (cost  349 )
3.914 * * [simplify]: Extracting # 0 : cost  0
3.919 * * [simplify]: Extracting # 1 : cost  0
3.923 * * [simplify]: Extracting # 2 : cost  0
3.927 * * [simplify]: Extracting # 3 : cost  0
3.932 * * [simplify]: Extracting # 4 : cost  0
3.937 * * [simplify]: iteration  3 :  2471  enodes  (cost  347 )
5.020 * * [simplify]: Extracting # 0 : cost  0
5.032 * * [simplify]: Extracting # 1 : cost  0
5.041 * * [simplify]: Extracting # 2 : cost  0
5.050 * * [simplify]: Extracting # 3 : cost  0
5.058 * * [simplify]: Extracting # 4 : cost  0
5.067 * * [simplify]: Extracting # 5 : cost  0
5.079 * * [simplify]: iteration done:  5000  enodes  (cost  347 )
5.080 * [simplify]: Simplified to:
  (pow y 2)
  (* y y)
  y
  (* (cbrt y) y)
  (* (sqrt y) y)
  (pow y 2)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (exp y)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  1
  (pow (exp y) y)
  (pow y 2)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (pow (pow (exp y) y) 3)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (+ (log x) (* y y))
  (+ (log x) (* y y))
  (+ (log x) (* y y))
  (+ (log x) (* y y))
  (exp (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  x
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  x
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* (pow (exp y) y) x)
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (pow (exp y) y)
  (pow (exp y) y)
  x
  (* (pow (exp y) y) x)
  (* (pow (exp y) y) x)
5.080 * * * [progress]: adding candidates to table
5.300 * [progress]: [Phase 3 of 3] Extracting.
5.305 * [simplify]: Simplifying:
  (* x (pow (exp y) y))
5.305 * * [simplify]: Extracting # 0 : cost  0
5.305 * * [simplify]: Extracting # 1 : cost  0
5.305 * * [simplify]: Extracting # 2 : cost  0
5.305 * * [simplify]: Extracting # 3 : cost  0
5.305 * * [simplify]: Extracting # 4 : cost  0
5.305 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
5.306 * * [simplify]: Extracting # 0 : cost  0
5.306 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
5.306 * * [simplify]: Extracting # 0 : cost  0
5.306 * * [simplify]: iteration done:  6  enodes  (cost  6 )
5.306 * [simplify]: Simplified to:
  (* x (pow (exp y) y))
6.930 * [regime-testing]: Baseline error score: 0.015478013596604898
6.933 * [regime-testing]: Oracle error score: 0.015478013596604898
6.934 * [regime-testing]: End program error score: 0.015478013596604898
7.042 * [regime-testing]: Target error score: 0.015478013596604898