38.811 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.066 * * * [progress]: [2/2] Setting up program.
0.071 * [progress]: [Phase 2 of 3] Improving.
0.071 * [simplify]: Simplifying:
  (+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.071 * * [simplify]: iteration 0: 10 enodes
0.072 * * [simplify]: iteration 1: 18 enodes
0.074 * * [simplify]: iteration 2: 27 enodes
0.091 * * [simplify]: iteration 3: 54 enodes
0.100 * * [simplify]: iteration 4: 150 enodes
0.123 * * [simplify]: iteration 5: 483 enodes
0.329 * * [simplify]: iteration 6: 1983 enodes
0.873 * * [simplify]: iteration complete: 5000 enodes
0.874 * * [simplify]: Extracting #0: cost 1 inf + 0
0.874 * * [simplify]: Extracting #1: cost 3 inf + 0
0.874 * * [simplify]: Extracting #2: cost 113 inf + 1
0.877 * * [simplify]: Extracting #3: cost 1472 inf + 2
0.882 * * [simplify]: Extracting #4: cost 2077 inf + 7814
0.901 * * [simplify]: Extracting #5: cost 1936 inf + 28827
0.940 * * [simplify]: Extracting #6: cost 1257 inf + 212827
1.058 * * [simplify]: Extracting #7: cost 245 inf + 754364
1.190 * * [simplify]: Extracting #8: cost 6 inf + 947517
1.338 * * [simplify]: Extracting #9: cost 0 inf + 952548
1.455 * [simplify]: Simplified to:
  (+ x (/ (exp (* (log (/ y (+ y z))) y)) y))
1.456 * * [progress]: iteration 1 / 4
1.456 * * * [progress]: picking best candidate
1.460 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))>
1.460 * * * [progress]: localizing error
1.492 * * * [progress]: generating rewritten candidates
1.492 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2)
1.500 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.516 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1)
1.528 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.662 * * * [progress]: generating series expansions
1.663 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2)
1.663 * [backup-simplify]: Simplify (log (/ y (+ z y))) into (log (/ y (+ z y)))
1.663 * [approximate]: Taking taylor expansion of (log (/ y (+ z y))) in (y z) around 0
1.663 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in z
1.663 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in z
1.663 * [taylor]: Taking taylor expansion of y in z
1.663 * [backup-simplify]: Simplify y into y
1.663 * [taylor]: Taking taylor expansion of (+ z y) in z
1.663 * [taylor]: Taking taylor expansion of z in z
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [taylor]: Taking taylor expansion of y in z
1.663 * [backup-simplify]: Simplify y into y
1.663 * [backup-simplify]: Simplify (+ 0 y) into y
1.663 * [backup-simplify]: Simplify (/ y y) into 1
1.664 * [backup-simplify]: Simplify (log 1) into 0
1.664 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in y
1.664 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.664 * [taylor]: Taking taylor expansion of y in y
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify 1 into 1
1.664 * [taylor]: Taking taylor expansion of (+ z y) in y
1.664 * [taylor]: Taking taylor expansion of z in y
1.664 * [backup-simplify]: Simplify z into z
1.664 * [taylor]: Taking taylor expansion of y in y
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify 1 into 1
1.664 * [backup-simplify]: Simplify (+ z 0) into z
1.664 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.664 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
1.664 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in y
1.664 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.664 * [taylor]: Taking taylor expansion of y in y
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify 1 into 1
1.664 * [taylor]: Taking taylor expansion of (+ z y) in y
1.665 * [taylor]: Taking taylor expansion of z in y
1.665 * [backup-simplify]: Simplify z into z
1.665 * [taylor]: Taking taylor expansion of y in y
1.665 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify 1 into 1
1.665 * [backup-simplify]: Simplify (+ z 0) into z
1.665 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.665 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
1.665 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.665 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log y)) in z
1.665 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.665 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.666 * [taylor]: Taking taylor expansion of z in z
1.666 * [backup-simplify]: Simplify 0 into 0
1.666 * [backup-simplify]: Simplify 1 into 1
1.666 * [backup-simplify]: Simplify (/ 1 1) into 1
1.666 * [backup-simplify]: Simplify (log 1) into 0
1.666 * [taylor]: Taking taylor expansion of (log y) in z
1.666 * [taylor]: Taking taylor expansion of y in z
1.666 * [backup-simplify]: Simplify y into y
1.666 * [backup-simplify]: Simplify (log y) into (log y)
1.667 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z))
1.667 * [backup-simplify]: Simplify (+ (- (log z)) (log y)) into (- (log y) (log z))
1.667 * [backup-simplify]: Simplify (- (log y) (log z)) into (- (log y) (log z))
1.668 * [backup-simplify]: Simplify (+ 0 1) into 1
1.668 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
1.668 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 1)) (pow (/ 1 z) 1)))) 1) into (/ -1 z)
1.668 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.668 * [taylor]: Taking taylor expansion of -1 in z
1.668 * [backup-simplify]: Simplify -1 into -1
1.668 * [taylor]: Taking taylor expansion of z in z
1.668 * [backup-simplify]: Simplify 0 into 0
1.668 * [backup-simplify]: Simplify 1 into 1
1.669 * [backup-simplify]: Simplify (/ -1 1) into -1
1.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.670 * [backup-simplify]: Simplify 0 into 0
1.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.672 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.672 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
1.673 * [backup-simplify]: Simplify (+ 0 0) into 0
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify (+ 0 0) into 0
1.674 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (pow z 2))) (/ 1 z)))) into (/ 1 (pow z 3))
1.675 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 2)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 3))) 1)) (pow (/ 1 z) 1)))) 2) into (/ 1/2 (pow z 2))
1.675 * [taylor]: Taking taylor expansion of (/ 1/2 (pow z 2)) in z
1.675 * [taylor]: Taking taylor expansion of 1/2 in z
1.675 * [backup-simplify]: Simplify 1/2 into 1/2
1.675 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.675 * [taylor]: Taking taylor expansion of z in z
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify 1 into 1
1.675 * [backup-simplify]: Simplify (* 1 1) into 1
1.676 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
1.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.677 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
1.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.679 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.680 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.683 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1.685 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
1.685 * [backup-simplify]: Simplify (+ 0 0) into 0
1.685 * [backup-simplify]: Simplify 0 into 0
1.686 * [backup-simplify]: Simplify (+ 0 0) into 0
1.686 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (pow z 2))) (/ 0 z)) (* (/ 1 (pow z 3)) (/ 1 z)))) into (- (/ 1 (pow z 4)))
1.688 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 3)) (pow (/ 1 z) 3))) (* -3 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 1) (pow (* 2 (/ 1 (pow z 3))) 1)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 1 (pow (* 6 (- (/ 1 (pow z 4)))) 1)) (pow (/ 1 z) 1)))) 6) into (/ -1/3 (pow z 3))
1.688 * [taylor]: Taking taylor expansion of (/ -1/3 (pow z 3)) in z
1.688 * [taylor]: Taking taylor expansion of -1/3 in z
1.688 * [backup-simplify]: Simplify -1/3 into -1/3
1.688 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.688 * [taylor]: Taking taylor expansion of z in z
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 1 into 1
1.688 * [backup-simplify]: Simplify (* 1 1) into 1
1.689 * [backup-simplify]: Simplify (* 1 1) into 1
1.689 * [backup-simplify]: Simplify (/ -1/3 1) into -1/3
1.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0
1.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.697 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify (- (log y) (log z)) into (- (log y) (log z))
1.697 * [backup-simplify]: Simplify (log (/ (/ 1 y) (+ (/ 1 z) (/ 1 y)))) into (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)))
1.697 * [approximate]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in (y z) around 0
1.697 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in z
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.697 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.697 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.697 * [taylor]: Taking taylor expansion of y in z
1.697 * [backup-simplify]: Simplify y into y
1.697 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.697 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.697 * [taylor]: Taking taylor expansion of z in z
1.697 * [backup-simplify]: Simplify 0 into 0
1.697 * [backup-simplify]: Simplify 1 into 1
1.698 * [backup-simplify]: Simplify (/ 1 1) into 1
1.698 * [taylor]: Taking taylor expansion of y in z
1.698 * [backup-simplify]: Simplify y into y
1.698 * [backup-simplify]: Simplify (+ 0 1) into 1
1.698 * [backup-simplify]: Simplify (* 1 y) into y
1.698 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.698 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
1.698 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.698 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.698 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.698 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.698 * [taylor]: Taking taylor expansion of y in y
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify (/ 1 1) into 1
1.699 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.699 * [taylor]: Taking taylor expansion of z in y
1.699 * [backup-simplify]: Simplify z into z
1.699 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.699 * [taylor]: Taking taylor expansion of y in y
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify (+ 1 0) into 1
1.699 * [backup-simplify]: Simplify (* 1 0) into 0
1.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.700 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.700 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.700 * [backup-simplify]: Simplify (/ 1 1) into 1
1.700 * [backup-simplify]: Simplify (log 1) into 0
1.700 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.700 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.700 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.701 * [taylor]: Taking taylor expansion of y in y
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [backup-simplify]: Simplify (/ 1 1) into 1
1.701 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.701 * [taylor]: Taking taylor expansion of z in y
1.701 * [backup-simplify]: Simplify z into z
1.701 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.701 * [taylor]: Taking taylor expansion of y in y
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [backup-simplify]: Simplify (+ 1 0) into 1
1.701 * [backup-simplify]: Simplify (* 1 0) into 0
1.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.702 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.702 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.702 * [backup-simplify]: Simplify (/ 1 1) into 1
1.703 * [backup-simplify]: Simplify (log 1) into 0
1.703 * [taylor]: Taking taylor expansion of 0 in z
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.703 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.704 * [backup-simplify]: Simplify (+ 0 0) into 0
1.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.705 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.705 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.705 * [taylor]: Taking taylor expansion of -1 in z
1.705 * [backup-simplify]: Simplify -1 into -1
1.705 * [taylor]: Taking taylor expansion of z in z
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [backup-simplify]: Simplify 1 into 1
1.705 * [backup-simplify]: Simplify (/ -1 1) into -1
1.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.707 * [backup-simplify]: Simplify (+ 0 0) into 0
1.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.709 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 z))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 1)))) 2) into (/ 1/2 (pow z 2))
1.709 * [taylor]: Taking taylor expansion of (/ 1/2 (pow z 2)) in z
1.709 * [taylor]: Taking taylor expansion of 1/2 in z
1.709 * [backup-simplify]: Simplify 1/2 into 1/2
1.709 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.709 * [taylor]: Taking taylor expansion of z in z
1.709 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify (* 1 1) into 1
1.710 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
1.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
1.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.715 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.716 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify (log (/ (/ 1 (- y)) (+ (/ 1 (- z)) (/ 1 (- y))))) into (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)))
1.716 * [approximate]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in (y z) around 0
1.716 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in z
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.716 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.716 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.716 * [taylor]: Taking taylor expansion of y in z
1.716 * [backup-simplify]: Simplify y into y
1.716 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.716 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.716 * [taylor]: Taking taylor expansion of z in z
1.716 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify 1 into 1
1.716 * [backup-simplify]: Simplify (/ 1 1) into 1
1.716 * [taylor]: Taking taylor expansion of y in z
1.716 * [backup-simplify]: Simplify y into y
1.717 * [backup-simplify]: Simplify (+ 0 1) into 1
1.717 * [backup-simplify]: Simplify (* 1 y) into y
1.717 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.717 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
1.717 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.717 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.717 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.717 * [taylor]: Taking taylor expansion of y in y
1.717 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify 1 into 1
1.717 * [backup-simplify]: Simplify (/ 1 1) into 1
1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.717 * [taylor]: Taking taylor expansion of z in y
1.717 * [backup-simplify]: Simplify z into z
1.717 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.717 * [taylor]: Taking taylor expansion of y in y
1.717 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify 1 into 1
1.718 * [backup-simplify]: Simplify (+ 1 0) into 1
1.718 * [backup-simplify]: Simplify (* 1 0) into 0
1.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.718 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.719 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.719 * [backup-simplify]: Simplify (/ 1 1) into 1
1.719 * [backup-simplify]: Simplify (log 1) into 0
1.719 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.719 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [backup-simplify]: Simplify (/ 1 1) into 1
1.719 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.719 * [taylor]: Taking taylor expansion of z in y
1.719 * [backup-simplify]: Simplify z into z
1.720 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.720 * [taylor]: Taking taylor expansion of y in y
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 1 into 1
1.720 * [backup-simplify]: Simplify (+ 1 0) into 1
1.720 * [backup-simplify]: Simplify (* 1 0) into 0
1.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.721 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.721 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.721 * [backup-simplify]: Simplify (/ 1 1) into 1
1.721 * [backup-simplify]: Simplify (log 1) into 0
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.723 * [backup-simplify]: Simplify (+ 0 0) into 0
1.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.725 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.725 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.725 * [taylor]: Taking taylor expansion of -1 in z
1.725 * [backup-simplify]: Simplify -1 into -1
1.725 * [taylor]: Taking taylor expansion of z in z
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [backup-simplify]: Simplify (/ -1 1) into -1
1.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.726 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.727 * [backup-simplify]: Simplify (+ 0 0) into 0
1.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.731 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 z))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 1)))) 2) into (/ 1/2 (pow z 2))
1.731 * [taylor]: Taking taylor expansion of (/ 1/2 (pow z 2)) in z
1.731 * [taylor]: Taking taylor expansion of 1/2 in z
1.731 * [backup-simplify]: Simplify 1/2 into 1/2
1.731 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.731 * [taylor]: Taking taylor expansion of z in z
1.731 * [backup-simplify]: Simplify 0 into 0
1.731 * [backup-simplify]: Simplify 1 into 1
1.731 * [backup-simplify]: Simplify (* 1 1) into 1
1.732 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
1.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
1.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.735 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.736 * [backup-simplify]: Simplify (* y (log (/ y (+ z y)))) into (* (log (/ y (+ z y))) y)
1.736 * [approximate]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in (y z) around 0
1.736 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in z
1.736 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in z
1.736 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in z
1.736 * [taylor]: Taking taylor expansion of y in z
1.736 * [backup-simplify]: Simplify y into y
1.736 * [taylor]: Taking taylor expansion of (+ z y) in z
1.736 * [taylor]: Taking taylor expansion of z in z
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify 1 into 1
1.737 * [taylor]: Taking taylor expansion of y in z
1.737 * [backup-simplify]: Simplify y into y
1.737 * [backup-simplify]: Simplify (+ 0 y) into y
1.737 * [backup-simplify]: Simplify (/ y y) into 1
1.737 * [backup-simplify]: Simplify (log 1) into 0
1.737 * [taylor]: Taking taylor expansion of y in z
1.737 * [backup-simplify]: Simplify y into y
1.737 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in y
1.737 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in y
1.737 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.737 * [taylor]: Taking taylor expansion of y in y
1.737 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify 1 into 1
1.737 * [taylor]: Taking taylor expansion of (+ z y) in y
1.737 * [taylor]: Taking taylor expansion of z in y
1.737 * [backup-simplify]: Simplify z into z
1.737 * [taylor]: Taking taylor expansion of y in y
1.737 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify 1 into 1
1.737 * [backup-simplify]: Simplify (+ z 0) into z
1.737 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.738 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
1.738 * [taylor]: Taking taylor expansion of y in y
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.738 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in y
1.738 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in y
1.738 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.738 * [taylor]: Taking taylor expansion of y in y
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.738 * [taylor]: Taking taylor expansion of (+ z y) in y
1.738 * [taylor]: Taking taylor expansion of z in y
1.738 * [backup-simplify]: Simplify z into z
1.738 * [taylor]: Taking taylor expansion of y in y
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.738 * [backup-simplify]: Simplify (+ z 0) into z
1.738 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.738 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
1.738 * [taylor]: Taking taylor expansion of y in y
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.739 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.739 * [backup-simplify]: Simplify (* (+ (log (/ 1 z)) (log y)) 0) into 0
1.739 * [taylor]: Taking taylor expansion of 0 in z
1.739 * [backup-simplify]: Simplify 0 into 0
1.739 * [backup-simplify]: Simplify 0 into 0
1.739 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.740 * [backup-simplify]: Simplify (+ 0 1) into 1
1.740 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
1.741 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 1)) (pow (/ 1 z) 1)))) 1) into (/ -1 z)
1.741 * [backup-simplify]: Simplify (+ (* (+ (log (/ 1 z)) (log y)) 1) (* (/ -1 z) 0)) into (+ (log (/ 1 z)) (log y))
1.741 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log y)) in z
1.741 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.741 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.741 * [taylor]: Taking taylor expansion of z in z
1.741 * [backup-simplify]: Simplify 0 into 0
1.741 * [backup-simplify]: Simplify 1 into 1
1.741 * [backup-simplify]: Simplify (/ 1 1) into 1
1.742 * [backup-simplify]: Simplify (log 1) into 0
1.742 * [taylor]: Taking taylor expansion of (log y) in z
1.742 * [taylor]: Taking taylor expansion of y in z
1.742 * [backup-simplify]: Simplify y into y
1.742 * [backup-simplify]: Simplify (log y) into (log y)
1.742 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z))
1.742 * [backup-simplify]: Simplify (+ (- (log z)) (log y)) into (- (log y) (log z))
1.743 * [backup-simplify]: Simplify (- (log y) (log z)) into (- (log y) (log z))
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.743 * [backup-simplify]: Simplify (+ 0 0) into 0
1.744 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (pow z 2))) (/ 1 z)))) into (/ 1 (pow z 3))
1.745 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 2)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 3))) 1)) (pow (/ 1 z) 1)))) 2) into (/ 1/2 (pow z 2))
1.745 * [backup-simplify]: Simplify (+ (* (+ (log (/ 1 z)) (log y)) 0) (+ (* (/ -1 z) 1) (* (/ 1/2 (pow z 2)) 0))) into (- (/ 1 z))
1.745 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.745 * [taylor]: Taking taylor expansion of z in z
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify 1 into 1
1.746 * [backup-simplify]: Simplify (/ 1 1) into 1
1.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.747 * [backup-simplify]: Simplify (- 0) into 0
1.747 * [backup-simplify]: Simplify 0 into 0
1.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.749 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.750 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
1.750 * [backup-simplify]: Simplify (+ 0 0) into 0
1.750 * [backup-simplify]: Simplify 0 into 0
1.750 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.751 * [backup-simplify]: Simplify (+ 0 0) into 0
1.752 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (pow z 2))) (/ 0 z)) (* (/ 1 (pow z 3)) (/ 1 z)))) into (- (/ 1 (pow z 4)))
1.753 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 3)) (pow (/ 1 z) 3))) (* -3 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 1) (pow (* 2 (/ 1 (pow z 3))) 1)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 1 (pow (* 6 (- (/ 1 (pow z 4)))) 1)) (pow (/ 1 z) 1)))) 6) into (/ -1/3 (pow z 3))
1.754 * [backup-simplify]: Simplify (+ (* (+ (log (/ 1 z)) (log y)) 0) (+ (* (/ -1 z) 0) (+ (* (/ 1/2 (pow z 2)) 1) (* (/ -1/3 (pow z 3)) 0)))) into (* 1/2 (/ 1 (pow z 2)))
1.754 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.754 * [taylor]: Taking taylor expansion of 1/2 in z
1.754 * [backup-simplify]: Simplify 1/2 into 1/2
1.754 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.754 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.754 * [taylor]: Taking taylor expansion of z in z
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify (* 1 1) into 1
1.755 * [backup-simplify]: Simplify (/ 1 1) into 1
1.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.756 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.759 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1.759 * [backup-simplify]: Simplify 0 into 0
1.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.760 * [backup-simplify]: Simplify (- 0) into 0
1.760 * [backup-simplify]: Simplify 0 into 0
1.760 * [backup-simplify]: Simplify (* (- (log y) (log z)) (* 1 y)) into (* (- (log y) (log z)) y)
1.760 * [backup-simplify]: Simplify (* (/ 1 y) (log (/ (/ 1 y) (+ (/ 1 z) (/ 1 y))))) into (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)
1.760 * [approximate]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in (y z) around 0
1.761 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in z
1.761 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in z
1.761 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.761 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.761 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.761 * [taylor]: Taking taylor expansion of y in z
1.761 * [backup-simplify]: Simplify y into y
1.761 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.761 * [taylor]: Taking taylor expansion of z in z
1.761 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify 1 into 1
1.761 * [backup-simplify]: Simplify (/ 1 1) into 1
1.761 * [taylor]: Taking taylor expansion of y in z
1.761 * [backup-simplify]: Simplify y into y
1.762 * [backup-simplify]: Simplify (+ 0 1) into 1
1.762 * [backup-simplify]: Simplify (* 1 y) into y
1.762 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.762 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
1.762 * [taylor]: Taking taylor expansion of y in z
1.762 * [backup-simplify]: Simplify y into y
1.762 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.763 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.763 * [backup-simplify]: Simplify (/ (+ (log z) (log (/ 1 y))) y) into (/ (+ (log z) (log (/ 1 y))) y)
1.763 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.763 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.763 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.763 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.763 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.763 * [taylor]: Taking taylor expansion of y in y
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.763 * [backup-simplify]: Simplify (/ 1 1) into 1
1.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.763 * [taylor]: Taking taylor expansion of z in y
1.763 * [backup-simplify]: Simplify z into z
1.763 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.763 * [taylor]: Taking taylor expansion of y in y
1.763 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify 1 into 1
1.764 * [backup-simplify]: Simplify (+ 1 0) into 1
1.764 * [backup-simplify]: Simplify (* 1 0) into 0
1.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.764 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.765 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.765 * [backup-simplify]: Simplify (/ 1 1) into 1
1.765 * [backup-simplify]: Simplify (log 1) into 0
1.765 * [taylor]: Taking taylor expansion of y in y
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.766 * [backup-simplify]: Simplify (+ 0 0) into 0
1.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.767 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.767 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.767 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.767 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.767 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.767 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.767 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.767 * [taylor]: Taking taylor expansion of y in y
1.767 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify 1 into 1
1.767 * [backup-simplify]: Simplify (/ 1 1) into 1
1.767 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.767 * [taylor]: Taking taylor expansion of z in y
1.767 * [backup-simplify]: Simplify z into z
1.767 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.767 * [taylor]: Taking taylor expansion of y in y
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.768 * [backup-simplify]: Simplify (+ 1 0) into 1
1.768 * [backup-simplify]: Simplify (* 1 0) into 0
1.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.769 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.769 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.769 * [backup-simplify]: Simplify (/ 1 1) into 1
1.769 * [backup-simplify]: Simplify (log 1) into 0
1.769 * [taylor]: Taking taylor expansion of y in y
1.769 * [backup-simplify]: Simplify 0 into 0
1.769 * [backup-simplify]: Simplify 1 into 1
1.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.770 * [backup-simplify]: Simplify (+ 0 0) into 0
1.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.771 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.771 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.771 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.771 * [taylor]: Taking taylor expansion of -1 in z
1.771 * [backup-simplify]: Simplify -1 into -1
1.771 * [taylor]: Taking taylor expansion of z in z
1.771 * [backup-simplify]: Simplify 0 into 0
1.771 * [backup-simplify]: Simplify 1 into 1
1.772 * [backup-simplify]: Simplify (/ -1 1) into -1
1.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.772 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.773 * [backup-simplify]: Simplify (+ 0 0) into 0
1.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.775 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 z))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 1)))) 2) into (/ 1/2 (pow z 2))
1.776 * [backup-simplify]: Simplify (- (/ (/ 1/2 (pow z 2)) 1) (+ (* (/ -1 z) (/ 0 1)))) into (* 1/2 (/ 1 (pow z 2)))
1.776 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.776 * [taylor]: Taking taylor expansion of 1/2 in z
1.776 * [backup-simplify]: Simplify 1/2 into 1/2
1.776 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.776 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.776 * [taylor]: Taking taylor expansion of z in z
1.776 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify 1 into 1
1.776 * [backup-simplify]: Simplify (* 1 1) into 1
1.776 * [backup-simplify]: Simplify (/ 1 1) into 1
1.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.777 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.779 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.779 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.780 * [backup-simplify]: Simplify (+ 0 0) into 0
1.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ 0 1)) (* (/ 1 (pow z 2)) (/ (/ 1 z) 1)))) into (- (/ 1 (pow z 3)))
1.784 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- (/ 1 z))) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (- (/ 1 z))) 1) (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 (- (/ 1 (pow z 3)))) 1)) (pow 1 1)))) 6) into (/ -1/3 (pow z 3))
1.785 * [backup-simplify]: Simplify (- (/ (/ -1/3 (pow z 3)) 1) (+ (* (/ -1 z) (/ 0 1)) (* (* 1/2 (/ 1 (pow z 2))) (/ 0 1)))) into (- (* 1/3 (/ 1 (pow z 3))))
1.785 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow z 3)))) in z
1.785 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow z 3))) in z
1.785 * [taylor]: Taking taylor expansion of 1/3 in z
1.785 * [backup-simplify]: Simplify 1/3 into 1/3
1.785 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.785 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.785 * [taylor]: Taking taylor expansion of z in z
1.785 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify 1 into 1
1.786 * [backup-simplify]: Simplify (* 1 1) into 1
1.786 * [backup-simplify]: Simplify (* 1 1) into 1
1.787 * [backup-simplify]: Simplify (/ 1 1) into 1
1.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.789 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.795 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.795 * [backup-simplify]: Simplify (- 0) into 0
1.795 * [backup-simplify]: Simplify 0 into 0
1.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.798 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.798 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify (* (/ 1 (- y)) (log (/ (/ 1 (- y)) (+ (/ 1 (- z)) (/ 1 (- y)))))) into (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))
1.799 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in (y z) around 0
1.799 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in z
1.799 * [taylor]: Taking taylor expansion of -1 in z
1.799 * [backup-simplify]: Simplify -1 into -1
1.799 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in z
1.799 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in z
1.799 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.799 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.799 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.800 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.800 * [taylor]: Taking taylor expansion of y in z
1.800 * [backup-simplify]: Simplify y into y
1.800 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.800 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.800 * [taylor]: Taking taylor expansion of z in z
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify 1 into 1
1.800 * [backup-simplify]: Simplify (/ 1 1) into 1
1.800 * [taylor]: Taking taylor expansion of y in z
1.800 * [backup-simplify]: Simplify y into y
1.801 * [backup-simplify]: Simplify (+ 0 1) into 1
1.801 * [backup-simplify]: Simplify (* 1 y) into y
1.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.801 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
1.801 * [taylor]: Taking taylor expansion of y in z
1.801 * [backup-simplify]: Simplify y into y
1.801 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.802 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.802 * [backup-simplify]: Simplify (/ (+ (log z) (log (/ 1 y))) y) into (/ (+ (log z) (log (/ 1 y))) y)
1.802 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in y
1.802 * [taylor]: Taking taylor expansion of -1 in y
1.802 * [backup-simplify]: Simplify -1 into -1
1.802 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.802 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.802 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.802 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.802 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.802 * [taylor]: Taking taylor expansion of y in y
1.802 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify 1 into 1
1.802 * [backup-simplify]: Simplify (/ 1 1) into 1
1.802 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.802 * [taylor]: Taking taylor expansion of z in y
1.802 * [backup-simplify]: Simplify z into z
1.802 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.802 * [taylor]: Taking taylor expansion of y in y
1.802 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify 1 into 1
1.803 * [backup-simplify]: Simplify (+ 1 0) into 1
1.803 * [backup-simplify]: Simplify (* 1 0) into 0
1.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.803 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.804 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.804 * [backup-simplify]: Simplify (/ 1 1) into 1
1.804 * [backup-simplify]: Simplify (log 1) into 0
1.804 * [taylor]: Taking taylor expansion of y in y
1.804 * [backup-simplify]: Simplify 0 into 0
1.804 * [backup-simplify]: Simplify 1 into 1
1.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.805 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.805 * [backup-simplify]: Simplify (+ 0 0) into 0
1.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.806 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.806 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.806 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in y
1.806 * [taylor]: Taking taylor expansion of -1 in y
1.806 * [backup-simplify]: Simplify -1 into -1
1.806 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.806 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.806 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.806 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.806 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.806 * [taylor]: Taking taylor expansion of y in y
1.806 * [backup-simplify]: Simplify 0 into 0
1.806 * [backup-simplify]: Simplify 1 into 1
1.807 * [backup-simplify]: Simplify (/ 1 1) into 1
1.807 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.807 * [taylor]: Taking taylor expansion of z in y
1.807 * [backup-simplify]: Simplify z into z
1.807 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.807 * [taylor]: Taking taylor expansion of y in y
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify 1 into 1
1.807 * [backup-simplify]: Simplify (+ 1 0) into 1
1.807 * [backup-simplify]: Simplify (* 1 0) into 0
1.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.808 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.808 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.808 * [backup-simplify]: Simplify (/ 1 1) into 1
1.808 * [backup-simplify]: Simplify (log 1) into 0
1.808 * [taylor]: Taking taylor expansion of y in y
1.808 * [backup-simplify]: Simplify 0 into 0
1.808 * [backup-simplify]: Simplify 1 into 1
1.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.809 * [backup-simplify]: Simplify (+ 0 0) into 0
1.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.810 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.810 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.810 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z)
1.810 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.810 * [taylor]: Taking taylor expansion of z in z
1.810 * [backup-simplify]: Simplify 0 into 0
1.810 * [backup-simplify]: Simplify 1 into 1
1.811 * [backup-simplify]: Simplify (/ 1 1) into 1
1.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.811 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.812 * [backup-simplify]: Simplify (+ 0 0) into 0
1.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.814 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 z))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 1)))) 2) into (/ 1/2 (pow z 2))
1.814 * [backup-simplify]: Simplify (- (/ (/ 1/2 (pow z 2)) 1) (+ (* (/ -1 z) (/ 0 1)))) into (* 1/2 (/ 1 (pow z 2)))
1.815 * [backup-simplify]: Simplify (+ (* -1 (* 1/2 (/ 1 (pow z 2)))) (* 0 (/ -1 z))) into (- (* 1/2 (/ 1 (pow z 2))))
1.815 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow z 2)))) in z
1.815 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.815 * [taylor]: Taking taylor expansion of 1/2 in z
1.815 * [backup-simplify]: Simplify 1/2 into 1/2
1.815 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.815 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.815 * [taylor]: Taking taylor expansion of z in z
1.815 * [backup-simplify]: Simplify 0 into 0
1.815 * [backup-simplify]: Simplify 1 into 1
1.815 * [backup-simplify]: Simplify (* 1 1) into 1
1.815 * [backup-simplify]: Simplify (/ 1 1) into 1
1.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.818 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1.818 * [backup-simplify]: Simplify (- 0) into 0
1.818 * [backup-simplify]: Simplify 0 into 0
1.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.819 * [backup-simplify]: Simplify 0 into 0
1.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.820 * [backup-simplify]: Simplify (+ 0 0) into 0
1.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ 0 1)) (* (/ 1 (pow z 2)) (/ (/ 1 z) 1)))) into (- (/ 1 (pow z 3)))
1.823 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- (/ 1 z))) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (- (/ 1 z))) 1) (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 (- (/ 1 (pow z 3)))) 1)) (pow 1 1)))) 6) into (/ -1/3 (pow z 3))
1.824 * [backup-simplify]: Simplify (- (/ (/ -1/3 (pow z 3)) 1) (+ (* (/ -1 z) (/ 0 1)) (* (* 1/2 (/ 1 (pow z 2))) (/ 0 1)))) into (- (* 1/3 (/ 1 (pow z 3))))
1.824 * [backup-simplify]: Simplify (+ (* -1 (- (* 1/3 (/ 1 (pow z 3))))) (+ (* 0 (* 1/2 (/ 1 (pow z 2)))) (* 0 (/ -1 z)))) into (* 1/3 (/ 1 (pow z 3)))
1.824 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow z 3))) in z
1.824 * [taylor]: Taking taylor expansion of 1/3 in z
1.824 * [backup-simplify]: Simplify 1/3 into 1/3
1.824 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.824 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.824 * [taylor]: Taking taylor expansion of z in z
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 1 into 1
1.824 * [backup-simplify]: Simplify (* 1 1) into 1
1.825 * [backup-simplify]: Simplify (* 1 1) into 1
1.828 * [backup-simplify]: Simplify (/ 1 1) into 1
1.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.831 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.833 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.836 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.837 * [backup-simplify]: Simplify (- 0) into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1)
1.838 * [backup-simplify]: Simplify (/ y (+ z y)) into (/ y (+ z y))
1.838 * [approximate]: Taking taylor expansion of (/ y (+ z y)) in (y z) around 0
1.838 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in z
1.838 * [taylor]: Taking taylor expansion of y in z
1.838 * [backup-simplify]: Simplify y into y
1.838 * [taylor]: Taking taylor expansion of (+ z y) in z
1.838 * [taylor]: Taking taylor expansion of z in z
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify 1 into 1
1.838 * [taylor]: Taking taylor expansion of y in z
1.838 * [backup-simplify]: Simplify y into y
1.838 * [backup-simplify]: Simplify (+ 0 y) into y
1.838 * [backup-simplify]: Simplify (/ y y) into 1
1.838 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.838 * [taylor]: Taking taylor expansion of y in y
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify 1 into 1
1.838 * [taylor]: Taking taylor expansion of (+ z y) in y
1.838 * [taylor]: Taking taylor expansion of z in y
1.838 * [backup-simplify]: Simplify z into z
1.838 * [taylor]: Taking taylor expansion of y in y
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (+ z 0) into z
1.839 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.839 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.839 * [taylor]: Taking taylor expansion of y in y
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [taylor]: Taking taylor expansion of (+ z y) in y
1.839 * [taylor]: Taking taylor expansion of z in y
1.839 * [backup-simplify]: Simplify z into z
1.839 * [taylor]: Taking taylor expansion of y in y
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (+ z 0) into z
1.839 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.839 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.839 * [taylor]: Taking taylor expansion of z in z
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (/ 1 1) into 1
1.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.840 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify (+ 0 1) into 1
1.841 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
1.841 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
1.841 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.841 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.841 * [taylor]: Taking taylor expansion of z in z
1.841 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (* 1 1) into 1
1.842 * [backup-simplify]: Simplify (/ 1 1) into 1
1.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.845 * [backup-simplify]: Simplify (- 0) into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.846 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (pow z 2))) (/ 1 z)))) into (/ 1 (pow z 3))
1.847 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.847 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.847 * [taylor]: Taking taylor expansion of z in z
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 1 into 1
1.847 * [backup-simplify]: Simplify (* 1 1) into 1
1.847 * [backup-simplify]: Simplify (* 1 1) into 1
1.848 * [backup-simplify]: Simplify (/ 1 1) into 1
1.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.854 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.856 * [backup-simplify]: Simplify (- 0) into 0
1.856 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify (/ (/ 1 y) (+ (/ 1 z) (/ 1 y))) into (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))
1.857 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in (y z) around 0
1.857 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.857 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.857 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.857 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.857 * [taylor]: Taking taylor expansion of y in z
1.857 * [backup-simplify]: Simplify y into y
1.857 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.857 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.857 * [taylor]: Taking taylor expansion of z in z
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 1 into 1
1.858 * [backup-simplify]: Simplify (/ 1 1) into 1
1.858 * [taylor]: Taking taylor expansion of y in z
1.858 * [backup-simplify]: Simplify y into y
1.858 * [backup-simplify]: Simplify (+ 0 1) into 1
1.858 * [backup-simplify]: Simplify (* 1 y) into y
1.858 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.858 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.858 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.858 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.859 * [taylor]: Taking taylor expansion of y in y
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (/ 1 1) into 1
1.859 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.859 * [taylor]: Taking taylor expansion of z in y
1.859 * [backup-simplify]: Simplify z into z
1.859 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.859 * [taylor]: Taking taylor expansion of y in y
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.860 * [backup-simplify]: Simplify (+ 1 0) into 1
1.860 * [backup-simplify]: Simplify (* 1 0) into 0
1.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.861 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.861 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.861 * [backup-simplify]: Simplify (/ 1 1) into 1
1.861 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.861 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.862 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.862 * [taylor]: Taking taylor expansion of y in y
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 1 into 1
1.862 * [backup-simplify]: Simplify (/ 1 1) into 1
1.862 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.862 * [taylor]: Taking taylor expansion of z in y
1.862 * [backup-simplify]: Simplify z into z
1.862 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.862 * [taylor]: Taking taylor expansion of y in y
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 1 into 1
1.863 * [backup-simplify]: Simplify (+ 1 0) into 1
1.863 * [backup-simplify]: Simplify (* 1 0) into 0
1.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.864 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.864 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.865 * [backup-simplify]: Simplify (/ 1 1) into 1
1.865 * [taylor]: Taking taylor expansion of 1 in z
1.865 * [backup-simplify]: Simplify 1 into 1
1.865 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.866 * [backup-simplify]: Simplify (+ 0 0) into 0
1.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.867 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.867 * [taylor]: Taking taylor expansion of z in z
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 1 into 1
1.867 * [backup-simplify]: Simplify (/ 1 1) into 1
1.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.869 * [backup-simplify]: Simplify (- 0) into 0
1.869 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.871 * [backup-simplify]: Simplify (+ 0 0) into 0
1.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.873 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.873 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.873 * [taylor]: Taking taylor expansion of z in z
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 1 into 1
1.874 * [backup-simplify]: Simplify (* 1 1) into 1
1.874 * [backup-simplify]: Simplify (/ 1 1) into 1
1.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.880 * [backup-simplify]: Simplify (- 0) into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (+ (/ 1 (- z)) (/ 1 (- y)))) into (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))
1.880 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in (y z) around 0
1.880 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.880 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.880 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.880 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.880 * [taylor]: Taking taylor expansion of y in z
1.880 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.880 * [taylor]: Taking taylor expansion of z in z
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 1 into 1
1.881 * [backup-simplify]: Simplify (/ 1 1) into 1
1.881 * [taylor]: Taking taylor expansion of y in z
1.881 * [backup-simplify]: Simplify y into y
1.881 * [backup-simplify]: Simplify (+ 0 1) into 1
1.881 * [backup-simplify]: Simplify (* 1 y) into y
1.881 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.881 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.881 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.881 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [backup-simplify]: Simplify (/ 1 1) into 1
1.882 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.882 * [taylor]: Taking taylor expansion of z in y
1.882 * [backup-simplify]: Simplify z into z
1.882 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.883 * [backup-simplify]: Simplify (+ 1 0) into 1
1.883 * [backup-simplify]: Simplify (* 1 0) into 0
1.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.884 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.884 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.884 * [backup-simplify]: Simplify (/ 1 1) into 1
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.885 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.885 * [taylor]: Taking taylor expansion of y in y
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 1 into 1
1.885 * [backup-simplify]: Simplify (/ 1 1) into 1
1.885 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.885 * [taylor]: Taking taylor expansion of z in y
1.885 * [backup-simplify]: Simplify z into z
1.885 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.885 * [taylor]: Taking taylor expansion of y in y
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 1 into 1
1.886 * [backup-simplify]: Simplify (+ 1 0) into 1
1.886 * [backup-simplify]: Simplify (* 1 0) into 0
1.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.887 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.887 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.888 * [backup-simplify]: Simplify (/ 1 1) into 1
1.888 * [taylor]: Taking taylor expansion of 1 in z
1.888 * [backup-simplify]: Simplify 1 into 1
1.888 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.889 * [backup-simplify]: Simplify (+ 0 0) into 0
1.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.890 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.890 * [taylor]: Taking taylor expansion of z in z
1.890 * [backup-simplify]: Simplify 0 into 0
1.890 * [backup-simplify]: Simplify 1 into 1
1.891 * [backup-simplify]: Simplify (/ 1 1) into 1
1.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.892 * [backup-simplify]: Simplify (- 0) into 0
1.892 * [backup-simplify]: Simplify 0 into 0
1.892 * [backup-simplify]: Simplify 0 into 0
1.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.894 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.894 * [backup-simplify]: Simplify (+ 0 0) into 0
1.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.895 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.895 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.895 * [taylor]: Taking taylor expansion of z in z
1.895 * [backup-simplify]: Simplify 0 into 0
1.895 * [backup-simplify]: Simplify 1 into 1
1.895 * [backup-simplify]: Simplify (* 1 1) into 1
1.895 * [backup-simplify]: Simplify (/ 1 1) into 1
1.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.896 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.898 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.899 * [backup-simplify]: Simplify (- 0) into 0
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.899 * [backup-simplify]: Simplify (+ x (/ (exp (* y (log (/ y (+ z y))))) y)) into (+ x (/ (exp (* (log (/ y (+ z y))) y)) y))
1.899 * [approximate]: Taking taylor expansion of (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) in (x y z) around 0
1.900 * [taylor]: Taking taylor expansion of (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) in z
1.900 * [taylor]: Taking taylor expansion of x in z
1.900 * [backup-simplify]: Simplify x into x
1.900 * [taylor]: Taking taylor expansion of (/ (exp (* (log (/ y (+ z y))) y)) y) in z
1.900 * [taylor]: Taking taylor expansion of (exp (* (log (/ y (+ z y))) y)) in z
1.900 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in z
1.900 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in z
1.900 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in z
1.900 * [taylor]: Taking taylor expansion of y in z
1.900 * [backup-simplify]: Simplify y into y
1.900 * [taylor]: Taking taylor expansion of (+ z y) in z
1.900 * [taylor]: Taking taylor expansion of z in z
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify 1 into 1
1.900 * [taylor]: Taking taylor expansion of y in z
1.900 * [backup-simplify]: Simplify y into y
1.900 * [backup-simplify]: Simplify (+ 0 y) into y
1.900 * [backup-simplify]: Simplify (/ y y) into 1
1.900 * [backup-simplify]: Simplify (log 1) into 0
1.900 * [taylor]: Taking taylor expansion of y in z
1.900 * [backup-simplify]: Simplify y into y
1.900 * [backup-simplify]: Simplify (* 0 y) into 0
1.900 * [backup-simplify]: Simplify (+ 1 0) into 1
1.901 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 1 y)))) into (- (/ 1 y))
1.901 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 y))) 1)) (pow 1 1)))) 1) into (/ -1 y)
1.901 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ -1 y) y)) into (- 1)
1.901 * [backup-simplify]: Simplify (exp 0) into 1
1.901 * [taylor]: Taking taylor expansion of y in z
1.901 * [backup-simplify]: Simplify y into y
1.901 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.901 * [taylor]: Taking taylor expansion of (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) in y
1.901 * [taylor]: Taking taylor expansion of x in y
1.901 * [backup-simplify]: Simplify x into x
1.901 * [taylor]: Taking taylor expansion of (/ (exp (* (log (/ y (+ z y))) y)) y) in y
1.901 * [taylor]: Taking taylor expansion of (exp (* (log (/ y (+ z y))) y)) in y
1.901 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in y
1.901 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in y
1.901 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.901 * [taylor]: Taking taylor expansion of y in y
1.901 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify 1 into 1
1.901 * [taylor]: Taking taylor expansion of (+ z y) in y
1.902 * [taylor]: Taking taylor expansion of z in y
1.902 * [backup-simplify]: Simplify z into z
1.902 * [taylor]: Taking taylor expansion of y in y
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 1 into 1
1.902 * [backup-simplify]: Simplify (+ z 0) into z
1.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.902 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
1.902 * [taylor]: Taking taylor expansion of y in y
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 1 into 1
1.902 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.902 * [backup-simplify]: Simplify (* (+ (log (/ 1 z)) (log y)) 0) into 0
1.902 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.903 * [backup-simplify]: Simplify (+ 0 1) into 1
1.903 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
1.903 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 1)) (pow (/ 1 z) 1)))) 1) into (/ -1 z)
1.903 * [backup-simplify]: Simplify (+ (* (+ (log (/ 1 z)) (log y)) 1) (* (/ -1 z) 0)) into (+ (log (/ 1 z)) (log y))
1.903 * [backup-simplify]: Simplify (exp 0) into 1
1.903 * [taylor]: Taking taylor expansion of y in y
1.903 * [backup-simplify]: Simplify 0 into 0
1.903 * [backup-simplify]: Simplify 1 into 1
1.904 * [backup-simplify]: Simplify (/ 1 1) into 1
1.904 * [taylor]: Taking taylor expansion of (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of (/ (exp (* (log (/ y (+ z y))) y)) y) in x
1.904 * [taylor]: Taking taylor expansion of (exp (* (log (/ y (+ z y))) y)) in x
1.904 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in x
1.904 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in x
1.904 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in x
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [taylor]: Taking taylor expansion of (+ z y) in x
1.904 * [taylor]: Taking taylor expansion of z in x
1.904 * [backup-simplify]: Simplify z into z
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.904 * [backup-simplify]: Simplify (/ y (+ z y)) into (/ y (+ z y))
1.904 * [backup-simplify]: Simplify (log (/ y (+ z y))) into (log (/ y (+ z y)))
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [backup-simplify]: Simplify (* (log (/ y (+ z y))) y) into (* (log (/ y (+ z y))) y)
1.904 * [backup-simplify]: Simplify (exp (* (log (/ y (+ z y))) y)) into (exp (* (log (/ y (+ z y))) y))
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [backup-simplify]: Simplify (/ (exp (* (log (/ y (+ z y))) y)) y) into (/ (exp (* (log (/ y (+ z y))) y)) y)
1.904 * [taylor]: Taking taylor expansion of (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of (/ (exp (* (log (/ y (+ z y))) y)) y) in x
1.904 * [taylor]: Taking taylor expansion of (exp (* (log (/ y (+ z y))) y)) in x
1.904 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in x
1.904 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in x
1.904 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in x
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [taylor]: Taking taylor expansion of (+ z y) in x
1.905 * [taylor]: Taking taylor expansion of z in x
1.905 * [backup-simplify]: Simplify z into z
1.905 * [taylor]: Taking taylor expansion of y in x
1.905 * [backup-simplify]: Simplify y into y
1.905 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.905 * [backup-simplify]: Simplify (/ y (+ z y)) into (/ y (+ z y))
1.905 * [backup-simplify]: Simplify (log (/ y (+ z y))) into (log (/ y (+ z y)))
1.905 * [taylor]: Taking taylor expansion of y in x
1.905 * [backup-simplify]: Simplify y into y
1.905 * [backup-simplify]: Simplify (* (log (/ y (+ z y))) y) into (* (log (/ y (+ z y))) y)
1.905 * [backup-simplify]: Simplify (exp (* (log (/ y (+ z y))) y)) into (exp (* (log (/ y (+ z y))) y))
1.905 * [taylor]: Taking taylor expansion of y in x
1.905 * [backup-simplify]: Simplify y into y
1.905 * [backup-simplify]: Simplify (/ (exp (* (log (/ y (+ z y))) y)) y) into (/ (exp (* (log (/ y (+ z y))) y)) y)
1.905 * [backup-simplify]: Simplify (+ 0 (/ (exp (* (log (/ y (+ z y))) y)) y)) into (/ (exp (* (log (/ y (+ z y))) y)) y)
1.905 * [taylor]: Taking taylor expansion of (/ (exp (* (log (/ y (+ z y))) y)) y) in y
1.905 * [taylor]: Taking taylor expansion of (exp (* (log (/ y (+ z y))) y)) in y
1.905 * [taylor]: Taking taylor expansion of (* (log (/ y (+ z y))) y) in y
1.905 * [taylor]: Taking taylor expansion of (log (/ y (+ z y))) in y
1.905 * [taylor]: Taking taylor expansion of (/ y (+ z y)) in y
1.905 * [taylor]: Taking taylor expansion of y in y
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 1 into 1
1.905 * [taylor]: Taking taylor expansion of (+ z y) in y
1.905 * [taylor]: Taking taylor expansion of z in y
1.905 * [backup-simplify]: Simplify z into z
1.905 * [taylor]: Taking taylor expansion of y in y
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 1 into 1
1.905 * [backup-simplify]: Simplify (+ z 0) into z
1.905 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.906 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
1.906 * [taylor]: Taking taylor expansion of y in y
1.906 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify 1 into 1
1.906 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.906 * [backup-simplify]: Simplify (* (+ (log (/ 1 z)) (log y)) 0) into 0
1.906 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
1.907 * [backup-simplify]: Simplify (+ 0 1) into 1
1.907 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
1.907 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 (pow z 2)))) 1)) (pow (/ 1 z) 1)))) 1) into (/ -1 z)
1.907 * [backup-simplify]: Simplify (+ (* (+ (log (/ 1 z)) (log y)) 1) (* (/ -1 z) 0)) into (+ (log (/ 1 z)) (log y))
1.907 * [backup-simplify]: Simplify (exp 0) into 1
1.907 * [taylor]: Taking taylor expansion of y in y
1.907 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify 1 into 1
1.907 * [backup-simplify]: Simplify (/ 1 1) into 1
1.907 * [taylor]: Taking taylor expansion of 1 in z
1.907 * [backup-simplify]: Simplify 1 into 1
1.907 * [backup-simplify]: Simplify 1 into 1
1.908 * [backup-simplify]: Simplify (+ 0 0) into 0
1.908 * [backup-simplify]: Simplify (- (/ 0 (+ z y)) (+ (* (/ y (+ z y)) (/ 0 (+ z y))))) into 0
1.908 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ y (+ z y)) 1)))) 1) into 0
1.908 * [backup-simplify]: Simplify (+ (* (log (/ y (+ z y))) 0) (* 0 y)) into 0
1.909 * [backup-simplify]: Simplify (* (exp (* (log (/ y (+ z y))) y)) (+ (* (/ (pow 0 1) 1)))) into 0
1.909 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (exp (* (log (/ y (+ z y))) y)) y) (/ 0 y)))) into 0
1.909 * [backup-simplify]: Simplify (+ 1 0) into 1
1.910 * [taylor]: Taking taylor expansion of 1 in y
1.910 * [backup-simplify]: Simplify 1 into 1
1.910 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (+ (log (/ 1 z)) (log y)) 1) 1)))) into (+ (log (/ 1 z)) (log y))
1.910 * [backup-simplify]: Simplify (- (/ (+ (log (/ 1 z)) (log y)) 1) (+ (* 1 (/ 0 1)))) into (+ (log (/ 1 z)) (log y))
1.910 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log y)) in z
1.910 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.910 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.910 * [taylor]: Taking taylor expansion of z in z
1.910 * [backup-simplify]: Simplify 0 into 0
1.910 * [backup-simplify]: Simplify 1 into 1
1.911 * [backup-simplify]: Simplify (/ 1 1) into 1
1.911 * [backup-simplify]: Simplify (log 1) into 0
1.911 * [taylor]: Taking taylor expansion of (log y) in z
1.911 * [taylor]: Taking taylor expansion of y in z
1.911 * [backup-simplify]: Simplify y into y
1.911 * [backup-simplify]: Simplify (log y) into (log y)
1.911 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z))
1.911 * [backup-simplify]: Simplify (+ (- (log z)) (log y)) into (- (log y) (log z))
1.911 * [backup-simplify]: Simplify (- (log y) (log z)) into (- (log y) (log z))
1.911 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify (+ 0 0) into 0
1.912 * [backup-simplify]: Simplify (- (/ 0 (+ z y)) (+ (* (/ y (+ z y)) (/ 0 (+ z y))) (* 0 (/ 0 (+ z y))))) into 0
1.913 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ y (+ z y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ y (+ z y)) 1)))) 2) into 0
1.913 * [backup-simplify]: Simplify (+ (* (log (/ y (+ z y))) 0) (+ (* 0 0) (* 0 y))) into 0
1.914 * [backup-simplify]: Simplify (* (exp (* (log (/ y (+ z y))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.914 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (exp (* (log (/ y (+ z y))) y)) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.914 * [backup-simplify]: Simplify (+ 0 0) into 0
1.914 * [taylor]: Taking taylor expansion of 0 in y
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [taylor]: Taking taylor expansion of 1 in z
1.915 * [backup-simplify]: Simplify 1 into 1
1.915 * [backup-simplify]: Simplify 1 into 1
1.915 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (+ (- (log y) (log z)) (* 1 (* 1 (* (/ 1 y) 1))))) into (- (+ x (+ (log y) (/ 1 y))) (log z))
1.915 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (exp (* (/ 1 y) (log (/ (/ 1 y) (+ (/ 1 z) (/ 1 y)))))) (/ 1 y))) into (+ (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (/ 1 x))
1.915 * [approximate]: Taking taylor expansion of (+ (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (/ 1 x)) in (x y z) around 0
1.915 * [taylor]: Taking taylor expansion of (+ (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (/ 1 x)) in z
1.915 * [taylor]: Taking taylor expansion of (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in z
1.915 * [taylor]: Taking taylor expansion of y in z
1.915 * [backup-simplify]: Simplify y into y
1.915 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in z
1.915 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in z
1.915 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in z
1.915 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.915 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.915 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.915 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.915 * [taylor]: Taking taylor expansion of y in z
1.915 * [backup-simplify]: Simplify y into y
1.915 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 1 into 1
1.916 * [backup-simplify]: Simplify (/ 1 1) into 1
1.916 * [taylor]: Taking taylor expansion of y in z
1.916 * [backup-simplify]: Simplify y into y
1.916 * [backup-simplify]: Simplify (+ 0 1) into 1
1.916 * [backup-simplify]: Simplify (* 1 y) into y
1.916 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.916 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
1.916 * [taylor]: Taking taylor expansion of y in z
1.916 * [backup-simplify]: Simplify y into y
1.916 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.917 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.917 * [backup-simplify]: Simplify (/ (+ (log z) (log (/ 1 y))) y) into (/ (+ (log z) (log (/ 1 y))) y)
1.917 * [backup-simplify]: Simplify (exp (/ (+ (log z) (log (/ 1 y))) y)) into (exp (/ (+ (log z) (log (/ 1 y))) y))
1.917 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.917 * [taylor]: Taking taylor expansion of x in z
1.917 * [backup-simplify]: Simplify x into x
1.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.917 * [taylor]: Taking taylor expansion of (+ (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (/ 1 x)) in y
1.917 * [taylor]: Taking taylor expansion of (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in y
1.917 * [taylor]: Taking taylor expansion of y in y
1.917 * [backup-simplify]: Simplify 0 into 0
1.917 * [backup-simplify]: Simplify 1 into 1
1.917 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in y
1.917 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.917 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.917 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.917 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.917 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.917 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.917 * [taylor]: Taking taylor expansion of y in y
1.917 * [backup-simplify]: Simplify 0 into 0
1.917 * [backup-simplify]: Simplify 1 into 1
1.917 * [backup-simplify]: Simplify (/ 1 1) into 1
1.917 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.917 * [taylor]: Taking taylor expansion of z in y
1.917 * [backup-simplify]: Simplify z into z
1.917 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.918 * [taylor]: Taking taylor expansion of y in y
1.918 * [backup-simplify]: Simplify 0 into 0
1.918 * [backup-simplify]: Simplify 1 into 1
1.918 * [backup-simplify]: Simplify (+ 1 0) into 1
1.918 * [backup-simplify]: Simplify (* 1 0) into 0
1.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.919 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.919 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.919 * [backup-simplify]: Simplify (/ 1 1) into 1
1.919 * [backup-simplify]: Simplify (log 1) into 0
1.919 * [taylor]: Taking taylor expansion of y in y
1.919 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify 1 into 1
1.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.920 * [backup-simplify]: Simplify (+ 0 0) into 0
1.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.921 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.921 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.921 * [backup-simplify]: Simplify (exp (/ -1 z)) into (exp (/ -1 z))
1.921 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.921 * [taylor]: Taking taylor expansion of x in y
1.921 * [backup-simplify]: Simplify x into x
1.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.921 * [taylor]: Taking taylor expansion of (+ (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (/ 1 x)) in x
1.921 * [taylor]: Taking taylor expansion of (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in x
1.921 * [taylor]: Taking taylor expansion of y in x
1.921 * [backup-simplify]: Simplify y into y
1.922 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in x
1.922 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in x
1.922 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in x
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in x
1.922 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in x
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
1.922 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.922 * [taylor]: Taking taylor expansion of y in x
1.922 * [backup-simplify]: Simplify y into y
1.922 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.922 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.922 * [taylor]: Taking taylor expansion of z in x
1.922 * [backup-simplify]: Simplify z into z
1.922 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.922 * [taylor]: Taking taylor expansion of y in x
1.922 * [backup-simplify]: Simplify y into y
1.922 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
1.922 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) y) into (* (+ (/ 1 y) (/ 1 z)) y)
1.922 * [backup-simplify]: Simplify (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) into (/ 1 (* y (+ (/ 1 z) (/ 1 y))))
1.922 * [backup-simplify]: Simplify (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) into (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)))
1.922 * [taylor]: Taking taylor expansion of y in x
1.922 * [backup-simplify]: Simplify y into y
1.922 * [backup-simplify]: Simplify (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) into (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)
1.922 * [backup-simplify]: Simplify (exp (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) into (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))
1.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.922 * [taylor]: Taking taylor expansion of x in x
1.923 * [backup-simplify]: Simplify 0 into 0
1.923 * [backup-simplify]: Simplify 1 into 1
1.923 * [backup-simplify]: Simplify (/ 1 1) into 1
1.923 * [taylor]: Taking taylor expansion of (+ (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (/ 1 x)) in x
1.923 * [taylor]: Taking taylor expansion of (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in x
1.923 * [taylor]: Taking taylor expansion of y in x
1.923 * [backup-simplify]: Simplify y into y
1.923 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in x
1.923 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in x
1.923 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in x
1.923 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.923 * [taylor]: Taking taylor expansion of y in x
1.923 * [backup-simplify]: Simplify y into y
1.923 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.923 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.923 * [taylor]: Taking taylor expansion of z in x
1.923 * [backup-simplify]: Simplify z into z
1.923 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.923 * [taylor]: Taking taylor expansion of y in x
1.923 * [backup-simplify]: Simplify y into y
1.923 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
1.924 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) y) into (* (+ (/ 1 y) (/ 1 z)) y)
1.924 * [backup-simplify]: Simplify (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) into (/ 1 (* y (+ (/ 1 z) (/ 1 y))))
1.924 * [backup-simplify]: Simplify (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) into (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)))
1.924 * [taylor]: Taking taylor expansion of y in x
1.924 * [backup-simplify]: Simplify y into y
1.924 * [backup-simplify]: Simplify (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) into (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)
1.924 * [backup-simplify]: Simplify (exp (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) into (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))
1.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.924 * [taylor]: Taking taylor expansion of x in x
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify 1 into 1
1.925 * [backup-simplify]: Simplify (/ 1 1) into 1
1.925 * [backup-simplify]: Simplify (+ 0 1) into 1
1.925 * [taylor]: Taking taylor expansion of 1 in y
1.925 * [backup-simplify]: Simplify 1 into 1
1.925 * [taylor]: Taking taylor expansion of 1 in z
1.925 * [backup-simplify]: Simplify 1 into 1
1.925 * [backup-simplify]: Simplify 1 into 1
1.925 * [backup-simplify]: Simplify (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) into (* (exp (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) y)
1.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.926 * [backup-simplify]: Simplify (+ (* (exp (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) y) 0) into (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))
1.926 * [taylor]: Taking taylor expansion of (* y (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in y
1.926 * [taylor]: Taking taylor expansion of y in y
1.926 * [backup-simplify]: Simplify 0 into 0
1.926 * [backup-simplify]: Simplify 1 into 1
1.926 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in y
1.926 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.926 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.926 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.926 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.926 * [taylor]: Taking taylor expansion of y in y
1.926 * [backup-simplify]: Simplify 0 into 0
1.926 * [backup-simplify]: Simplify 1 into 1
1.926 * [backup-simplify]: Simplify (/ 1 1) into 1
1.927 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.927 * [taylor]: Taking taylor expansion of z in y
1.927 * [backup-simplify]: Simplify z into z
1.927 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.927 * [taylor]: Taking taylor expansion of y in y
1.927 * [backup-simplify]: Simplify 0 into 0
1.927 * [backup-simplify]: Simplify 1 into 1
1.927 * [backup-simplify]: Simplify (+ 1 0) into 1
1.927 * [backup-simplify]: Simplify (* 1 0) into 0
1.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.928 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.928 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.928 * [backup-simplify]: Simplify (/ 1 1) into 1
1.928 * [backup-simplify]: Simplify (log 1) into 0
1.928 * [taylor]: Taking taylor expansion of y in y
1.928 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify 1 into 1
1.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.929 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.929 * [backup-simplify]: Simplify (+ 0 0) into 0
1.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.930 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.930 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.930 * [backup-simplify]: Simplify (exp (/ -1 z)) into (exp (/ -1 z))
1.930 * [backup-simplify]: Simplify (* 0 (exp (/ -1 z))) into 0
1.930 * [taylor]: Taking taylor expansion of 0 in z
1.930 * [backup-simplify]: Simplify 0 into 0
1.931 * [backup-simplify]: Simplify 0 into 0
1.931 * [taylor]: Taking taylor expansion of 0 in z
1.931 * [backup-simplify]: Simplify 0 into 0
1.931 * [backup-simplify]: Simplify 0 into 0
1.931 * [backup-simplify]: Simplify 0 into 0
1.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.931 * [backup-simplify]: Simplify (+ 0 0) into 0
1.931 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (* 0 y)) into 0
1.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) (/ 0 (* (+ (/ 1 y) (/ 1 z)) y))))) into 0
1.932 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) 1)))) 1) into 0
1.932 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y) (/ 0 y)))) into 0
1.933 * [backup-simplify]: Simplify (* (exp (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) (+ (* (/ (pow 0 1) 1)))) into 0
1.933 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) into 0
1.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.934 * [backup-simplify]: Simplify (+ 0 0) into 0
1.934 * [taylor]: Taking taylor expansion of 0 in y
1.934 * [backup-simplify]: Simplify 0 into 0
1.934 * [taylor]: Taking taylor expansion of 0 in z
1.934 * [backup-simplify]: Simplify 0 into 0
1.934 * [backup-simplify]: Simplify 0 into 0
1.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.934 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.935 * [backup-simplify]: Simplify (+ 0 0) into 0
1.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.937 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 z))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 1)))) 2) into (/ 1/2 (pow z 2))
1.937 * [backup-simplify]: Simplify (- (/ (/ 1/2 (pow z 2)) 1) (+ (* (/ -1 z) (/ 0 1)))) into (* 1/2 (/ 1 (pow z 2)))
1.937 * [backup-simplify]: Simplify (* (exp (/ -1 z)) (+ (* (/ (pow (* 1/2 (/ 1 (pow z 2))) 1) 1)))) into (* 1/2 (/ (exp (/ -1 z)) (pow z 2)))
1.937 * [backup-simplify]: Simplify (+ (* 0 (* 1/2 (/ (exp (/ -1 z)) (pow z 2)))) (* 1 (exp (/ -1 z)))) into (exp (/ -1 z))
1.937 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
1.937 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.937 * [taylor]: Taking taylor expansion of -1 in z
1.937 * [backup-simplify]: Simplify -1 into -1
1.938 * [taylor]: Taking taylor expansion of z in z
1.938 * [backup-simplify]: Simplify 0 into 0
1.938 * [backup-simplify]: Simplify 1 into 1
1.942 * [backup-simplify]: Simplify (/ -1 1) into -1
1.942 * [backup-simplify]: Simplify (exp (/ -1 z)) into (exp (/ -1 z))
1.942 * [backup-simplify]: Simplify (exp (/ -1 z)) into (exp (/ -1 z))
1.942 * [taylor]: Taking taylor expansion of 0 in z
1.942 * [backup-simplify]: Simplify 0 into 0
1.942 * [backup-simplify]: Simplify 0 into 0
1.942 * [backup-simplify]: Simplify 0 into 0
1.942 * [backup-simplify]: Simplify 0 into 0
1.942 * [backup-simplify]: Simplify 0 into 0
1.942 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.942 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.943 * [backup-simplify]: Simplify (+ 0 0) into 0
1.943 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (* 0 y))) into 0
1.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) (/ 0 (* (+ (/ 1 y) (/ 1 z)) y))) (* 0 (/ 0 (* (+ (/ 1 y) (/ 1 z)) y))))) into 0
1.945 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) 1)))) 2) into 0
1.945 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.946 * [backup-simplify]: Simplify (* (exp (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.946 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (exp (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))))) into 0
1.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.947 * [backup-simplify]: Simplify (+ 0 0) into 0
1.947 * [taylor]: Taking taylor expansion of 0 in y
1.947 * [backup-simplify]: Simplify 0 into 0
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [backup-simplify]: Simplify 0 into 0
1.947 * [backup-simplify]: Simplify 0 into 0
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [backup-simplify]: Simplify 0 into 0
1.947 * [backup-simplify]: Simplify 0 into 0
1.947 * [backup-simplify]: Simplify (+ (* (exp (/ -1 (/ 1 z))) (* 1 (* (/ 1 y) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ (/ (exp (* -1 z)) y) x)
1.948 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (exp (* (/ 1 (- y)) (log (/ (/ 1 (- y)) (+ (/ 1 (- z)) (/ 1 (- y))))))) (/ 1 (- y)))) into (- (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x)))
1.948 * [approximate]: Taking taylor expansion of (- (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x))) in (x y z) around 0
1.948 * [taylor]: Taking taylor expansion of (- (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x))) in z
1.948 * [taylor]: Taking taylor expansion of (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x)) in z
1.948 * [taylor]: Taking taylor expansion of (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) in z
1.948 * [taylor]: Taking taylor expansion of y in z
1.948 * [backup-simplify]: Simplify y into y
1.948 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in z
1.948 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in z
1.948 * [taylor]: Taking taylor expansion of -1 in z
1.948 * [backup-simplify]: Simplify -1 into -1
1.948 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in z
1.948 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in z
1.948 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in z
1.948 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in z
1.948 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
1.948 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.948 * [taylor]: Taking taylor expansion of y in z
1.948 * [backup-simplify]: Simplify y into y
1.948 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.948 * [taylor]: Taking taylor expansion of z in z
1.948 * [backup-simplify]: Simplify 0 into 0
1.948 * [backup-simplify]: Simplify 1 into 1
1.948 * [backup-simplify]: Simplify (/ 1 1) into 1
1.948 * [taylor]: Taking taylor expansion of y in z
1.948 * [backup-simplify]: Simplify y into y
1.949 * [backup-simplify]: Simplify (+ 0 1) into 1
1.949 * [backup-simplify]: Simplify (* 1 y) into y
1.949 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.949 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
1.949 * [taylor]: Taking taylor expansion of y in z
1.949 * [backup-simplify]: Simplify y into y
1.949 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.949 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
1.949 * [backup-simplify]: Simplify (/ (+ (log z) (log (/ 1 y))) y) into (/ (+ (log z) (log (/ 1 y))) y)
1.950 * [backup-simplify]: Simplify (* -1 (/ (+ (log z) (log (/ 1 y))) y)) into (* -1 (/ (+ (log z) (log (/ 1 y))) y))
1.950 * [backup-simplify]: Simplify (exp (* -1 (/ (+ (log z) (log (/ 1 y))) y))) into (exp (* -1 (/ (+ (log z) (log (/ 1 y))) y)))
1.950 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.950 * [taylor]: Taking taylor expansion of x in z
1.950 * [backup-simplify]: Simplify x into x
1.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.950 * [taylor]: Taking taylor expansion of (- (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x))) in y
1.950 * [taylor]: Taking taylor expansion of (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x)) in y
1.950 * [taylor]: Taking taylor expansion of (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) in y
1.950 * [taylor]: Taking taylor expansion of y in y
1.950 * [backup-simplify]: Simplify 0 into 0
1.950 * [backup-simplify]: Simplify 1 into 1
1.950 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in y
1.950 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in y
1.950 * [taylor]: Taking taylor expansion of -1 in y
1.950 * [backup-simplify]: Simplify -1 into -1
1.950 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.950 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.950 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.950 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.950 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.950 * [taylor]: Taking taylor expansion of y in y
1.950 * [backup-simplify]: Simplify 0 into 0
1.950 * [backup-simplify]: Simplify 1 into 1
1.950 * [backup-simplify]: Simplify (/ 1 1) into 1
1.950 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.950 * [taylor]: Taking taylor expansion of z in y
1.950 * [backup-simplify]: Simplify z into z
1.950 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.951 * [taylor]: Taking taylor expansion of y in y
1.951 * [backup-simplify]: Simplify 0 into 0
1.951 * [backup-simplify]: Simplify 1 into 1
1.951 * [backup-simplify]: Simplify (+ 1 0) into 1
1.951 * [backup-simplify]: Simplify (* 1 0) into 0
1.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.952 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.952 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.952 * [backup-simplify]: Simplify (/ 1 1) into 1
1.952 * [backup-simplify]: Simplify (log 1) into 0
1.952 * [taylor]: Taking taylor expansion of y in y
1.952 * [backup-simplify]: Simplify 0 into 0
1.952 * [backup-simplify]: Simplify 1 into 1
1.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.953 * [backup-simplify]: Simplify (+ 0 0) into 0
1.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.954 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.954 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z)
1.954 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
1.954 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.954 * [taylor]: Taking taylor expansion of x in y
1.954 * [backup-simplify]: Simplify x into x
1.954 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.954 * [taylor]: Taking taylor expansion of (- (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x))) in x
1.955 * [taylor]: Taking taylor expansion of (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x)) in x
1.955 * [taylor]: Taking taylor expansion of (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) in x
1.955 * [taylor]: Taking taylor expansion of y in x
1.955 * [backup-simplify]: Simplify y into y
1.955 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in x
1.955 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in x
1.955 * [taylor]: Taking taylor expansion of -1 in x
1.955 * [backup-simplify]: Simplify -1 into -1
1.955 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in x
1.955 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in x
1.955 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in x
1.955 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in x
1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
1.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.955 * [taylor]: Taking taylor expansion of y in x
1.955 * [backup-simplify]: Simplify y into y
1.955 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.955 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.955 * [taylor]: Taking taylor expansion of z in x
1.955 * [backup-simplify]: Simplify z into z
1.955 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.955 * [taylor]: Taking taylor expansion of y in x
1.955 * [backup-simplify]: Simplify y into y
1.955 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
1.955 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) y) into (* (+ (/ 1 y) (/ 1 z)) y)
1.955 * [backup-simplify]: Simplify (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) into (/ 1 (* y (+ (/ 1 z) (/ 1 y))))
1.955 * [backup-simplify]: Simplify (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) into (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)))
1.955 * [taylor]: Taking taylor expansion of y in x
1.955 * [backup-simplify]: Simplify y into y
1.955 * [backup-simplify]: Simplify (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) into (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)
1.956 * [backup-simplify]: Simplify (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) into (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))
1.956 * [backup-simplify]: Simplify (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) into (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)))
1.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.956 * [taylor]: Taking taylor expansion of x in x
1.956 * [backup-simplify]: Simplify 0 into 0
1.956 * [backup-simplify]: Simplify 1 into 1
1.956 * [backup-simplify]: Simplify (/ 1 1) into 1
1.956 * [taylor]: Taking taylor expansion of (- (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x))) in x
1.956 * [taylor]: Taking taylor expansion of (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) (/ 1 x)) in x
1.956 * [taylor]: Taking taylor expansion of (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) in x
1.956 * [taylor]: Taking taylor expansion of y in x
1.956 * [backup-simplify]: Simplify y into y
1.956 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in x
1.956 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in x
1.956 * [taylor]: Taking taylor expansion of -1 in x
1.956 * [backup-simplify]: Simplify -1 into -1
1.956 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in x
1.956 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in x
1.956 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in x
1.956 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in x
1.956 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
1.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.956 * [taylor]: Taking taylor expansion of y in x
1.956 * [backup-simplify]: Simplify y into y
1.956 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.956 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.956 * [taylor]: Taking taylor expansion of z in x
1.956 * [backup-simplify]: Simplify z into z
1.956 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.956 * [taylor]: Taking taylor expansion of y in x
1.956 * [backup-simplify]: Simplify y into y
1.956 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
1.957 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) y) into (* (+ (/ 1 y) (/ 1 z)) y)
1.957 * [backup-simplify]: Simplify (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) into (/ 1 (* y (+ (/ 1 z) (/ 1 y))))
1.957 * [backup-simplify]: Simplify (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) into (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)))
1.957 * [taylor]: Taking taylor expansion of y in x
1.957 * [backup-simplify]: Simplify y into y
1.957 * [backup-simplify]: Simplify (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) into (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)
1.957 * [backup-simplify]: Simplify (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)) into (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))
1.957 * [backup-simplify]: Simplify (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) into (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)))
1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.957 * [taylor]: Taking taylor expansion of x in x
1.957 * [backup-simplify]: Simplify 0 into 0
1.957 * [backup-simplify]: Simplify 1 into 1
1.958 * [backup-simplify]: Simplify (/ 1 1) into 1
1.958 * [backup-simplify]: Simplify (+ 0 1) into 1
1.958 * [backup-simplify]: Simplify (- 1) into -1
1.958 * [taylor]: Taking taylor expansion of -1 in y
1.958 * [backup-simplify]: Simplify -1 into -1
1.958 * [taylor]: Taking taylor expansion of -1 in z
1.958 * [backup-simplify]: Simplify -1 into -1
1.958 * [backup-simplify]: Simplify -1 into -1
1.958 * [backup-simplify]: Simplify (* y (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)))) into (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))))
1.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.959 * [backup-simplify]: Simplify (+ (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) 0) into (* (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y))) y)
1.959 * [backup-simplify]: Simplify (- (* (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y))) y)) into (- (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))))
1.959 * [taylor]: Taking taylor expansion of (- (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))))) in y
1.959 * [taylor]: Taking taylor expansion of (* y (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)))) in y
1.959 * [taylor]: Taking taylor expansion of y in y
1.959 * [backup-simplify]: Simplify 0 into 0
1.959 * [backup-simplify]: Simplify 1 into 1
1.959 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) in y
1.959 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y)) in y
1.959 * [taylor]: Taking taylor expansion of -1 in y
1.959 * [backup-simplify]: Simplify -1 into -1
1.959 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y) in y
1.959 * [taylor]: Taking taylor expansion of (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) in y
1.959 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) y)) in y
1.959 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) y) in y
1.959 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.959 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.960 * [taylor]: Taking taylor expansion of y in y
1.960 * [backup-simplify]: Simplify 0 into 0
1.960 * [backup-simplify]: Simplify 1 into 1
1.960 * [backup-simplify]: Simplify (/ 1 1) into 1
1.960 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.960 * [taylor]: Taking taylor expansion of z in y
1.960 * [backup-simplify]: Simplify z into z
1.960 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.960 * [taylor]: Taking taylor expansion of y in y
1.960 * [backup-simplify]: Simplify 0 into 0
1.960 * [backup-simplify]: Simplify 1 into 1
1.960 * [backup-simplify]: Simplify (+ 1 0) into 1
1.960 * [backup-simplify]: Simplify (* 1 0) into 0
1.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.961 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.961 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 z) 0)) into 1
1.962 * [backup-simplify]: Simplify (/ 1 1) into 1
1.962 * [backup-simplify]: Simplify (log 1) into 0
1.962 * [taylor]: Taking taylor expansion of y in y
1.962 * [backup-simplify]: Simplify 0 into 0
1.962 * [backup-simplify]: Simplify 1 into 1
1.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.963 * [backup-simplify]: Simplify (+ 0 0) into 0
1.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 1) (* 0 0))) into (/ 1 z)
1.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 z) 1)))) into (- (/ 1 z))
1.964 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 z))) 1)) (pow 1 1)))) 1) into (/ -1 z)
1.964 * [backup-simplify]: Simplify (/ (/ -1 z) 1) into (/ -1 z)
1.964 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z)
1.964 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
1.964 * [backup-simplify]: Simplify (* 0 (exp (/ 1 z))) into 0
1.964 * [backup-simplify]: Simplify (- 0) into 0
1.964 * [taylor]: Taking taylor expansion of 0 in z
1.964 * [backup-simplify]: Simplify 0 into 0
1.964 * [backup-simplify]: Simplify 0 into 0
1.964 * [taylor]: Taking taylor expansion of 0 in z
1.964 * [backup-simplify]: Simplify 0 into 0
1.964 * [backup-simplify]: Simplify 0 into 0
1.964 * [backup-simplify]: Simplify 0 into 0
1.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.965 * [backup-simplify]: Simplify (+ 0 0) into 0
1.965 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (* 0 y)) into 0
1.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) (/ 0 (* (+ (/ 1 y) (/ 1 z)) y))))) into 0
1.966 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) 1)))) 1) into 0
1.966 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y) (/ 0 y)))) into 0
1.966 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y))) into 0
1.967 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (+ (* (/ (pow 0 1) 1)))) into 0
1.967 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y))))) into 0
1.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.968 * [backup-simplify]: Simplify (+ 0 0) into 0
1.968 * [backup-simplify]: Simplify (- 0) into 0
1.968 * [taylor]: Taking taylor expansion of 0 in y
1.968 * [backup-simplify]: Simplify 0 into 0
1.968 * [taylor]: Taking taylor expansion of 0 in z
1.968 * [backup-simplify]: Simplify 0 into 0
1.968 * [backup-simplify]: Simplify 0 into 0
1.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.969 * [backup-simplify]: Simplify (+ 0 0) into 0
1.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0)))) into 0
1.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 z)) (/ (/ 1 z) 1)))) into (/ 1 (pow z 2))
1.972 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (/ 1 z))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow z 2))) 1)) (pow 1 1)))) 2) into (/ 1/2 (pow z 2))
1.973 * [backup-simplify]: Simplify (- (/ (/ 1/2 (pow z 2)) 1) (+ (* (/ -1 z) (/ 0 1)))) into (* 1/2 (/ 1 (pow z 2)))
1.974 * [backup-simplify]: Simplify (+ (* -1 (* 1/2 (/ 1 (pow z 2)))) (* 0 (/ -1 z))) into (- (* 1/2 (/ 1 (pow z 2))))
1.975 * [backup-simplify]: Simplify (* (exp (/ 1 z)) (+ (* (/ (pow (- (* 1/2 (/ 1 (pow z 2)))) 1) 1)))) into (* -1/2 (/ (exp (/ 1 z)) (pow z 2)))
1.975 * [backup-simplify]: Simplify (+ (* 0 (* -1/2 (/ (exp (/ 1 z)) (pow z 2)))) (* 1 (exp (/ 1 z)))) into (exp (/ 1 z))
1.975 * [backup-simplify]: Simplify (- (exp (/ 1 z))) into (- (exp (/ 1 z)))
1.975 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z))) in z
1.975 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
1.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.975 * [taylor]: Taking taylor expansion of z in z
1.975 * [backup-simplify]: Simplify 0 into 0
1.975 * [backup-simplify]: Simplify 1 into 1
1.976 * [backup-simplify]: Simplify (/ 1 1) into 1
1.976 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
1.976 * [backup-simplify]: Simplify (- (exp (/ 1 z))) into (- (exp (/ 1 z)))
1.976 * [backup-simplify]: Simplify (- (exp (/ 1 z))) into (- (exp (/ 1 z)))
1.976 * [taylor]: Taking taylor expansion of 0 in z
1.976 * [backup-simplify]: Simplify 0 into 0
1.976 * [backup-simplify]: Simplify 0 into 0
1.977 * [backup-simplify]: Simplify 0 into 0
1.977 * [backup-simplify]: Simplify 0 into 0
1.977 * [backup-simplify]: Simplify 0 into 0
1.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.978 * [backup-simplify]: Simplify (+ 0 0) into 0
1.978 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (* 0 y))) into 0
1.979 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) (/ 0 (* (+ (/ 1 y) (/ 1 z)) y))) (* 0 (/ 0 (* (+ (/ 1 y) (/ 1 z)) y))))) into 0
1.981 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (* y (+ (/ 1 z) (/ 1 y)))) 1)))) 2) into 0
1.981 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.983 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)))) into 0
1.984 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (/ 1 (* (+ (/ 1 y) (/ 1 z)) y))) y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.985 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (/ 1 (* y (+ (/ 1 z) (/ 1 y))))) y)))))) into 0
1.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.987 * [backup-simplify]: Simplify (+ 0 0) into 0
1.987 * [backup-simplify]: Simplify (- 0) into 0
1.987 * [taylor]: Taking taylor expansion of 0 in y
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [taylor]: Taking taylor expansion of 0 in z
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [taylor]: Taking taylor expansion of 0 in z
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (/ 1 (- z))))) (* 1 (* (/ 1 (- y)) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ (/ (exp (* -1 z)) y) x)
1.988 * * * [progress]: simplifying candidates
1.991 * [simplify]: Simplifying:
  (log (* (cbrt (/ y (+ z y))) (cbrt (/ y (+ z y)))))
  (log (cbrt (/ y (+ z y))))
  (log (sqrt (/ y (+ z y))))
  (log (sqrt (/ y (+ z y))))
  (log (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (log (/ (cbrt y) (cbrt (+ z y))))
  (log (/ (* (cbrt y) (cbrt y)) (sqrt (+ z y))))
  (log (/ (cbrt y) (sqrt (+ z y))))
  (log (/ (* (cbrt y) (cbrt y)) 1))
  (log (/ (cbrt y) (+ z y)))
  (log (/ (* (cbrt y) (cbrt y)) 1))
  (log (/ (cbrt y) (+ z y)))
  (log (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (log (/ (sqrt y) (cbrt (+ z y))))
  (log (/ (sqrt y) (sqrt (+ z y))))
  (log (/ (sqrt y) (sqrt (+ z y))))
  (log (/ (sqrt y) 1))
  (log (/ (sqrt y) (+ z y)))
  (log (/ (sqrt y) 1))
  (log (/ (sqrt y) (+ z y)))
  (log (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (log (/ y (cbrt (+ z y))))
  (log (/ 1 (sqrt (+ z y))))
  (log (/ y (sqrt (+ z y))))
  (log (/ 1 1))
  (log (/ y (+ z y)))
  (log (/ 1 1))
  (log (/ y (+ z y)))
  (log 1)
  (log (/ y (+ z y)))
  (log y)
  (log (/ 1 (+ z y)))
  (log (/ y (+ (pow z 3) (pow y 3))))
  (log (+ (* z z) (- (* y y) (* z y))))
  (log (/ y (- (* z z) (* y y))))
  (log (- z y))
  (log y)
  (log (+ z y))
  (log (/ y (+ z y)))
  (log (log (/ y (+ z y))))
  (exp (log (/ y (+ z y))))
  (* (cbrt (log (/ y (+ z y)))) (cbrt (log (/ y (+ z y)))))
  (cbrt (log (/ y (+ z y))))
  (* (* (log (/ y (+ z y))) (log (/ y (+ z y)))) (log (/ y (+ z y))))
  (sqrt (log (/ y (+ z y))))
  (sqrt (log (/ y (+ z y))))
  (* y (log (/ y (+ z y))))
  (+ (log y) (log (log (/ y (+ z y)))))
  (log (* y (log (/ y (+ z y)))))
  (exp (* y (log (/ y (+ z y)))))
  (* (* (* y y) y) (* (* (log (/ y (+ z y))) (log (/ y (+ z y)))) (log (/ y (+ z y)))))
  (* (cbrt (* y (log (/ y (+ z y))))) (cbrt (* y (log (/ y (+ z y))))))
  (cbrt (* y (log (/ y (+ z y)))))
  (* (* (* y (log (/ y (+ z y)))) (* y (log (/ y (+ z y))))) (* y (log (/ y (+ z y)))))
  (sqrt (* y (log (/ y (+ z y)))))
  (sqrt (* y (log (/ y (+ z y)))))
  (* (sqrt y) (sqrt (log (/ y (+ z y)))))
  (* (sqrt y) (sqrt (log (/ y (+ z y)))))
  (* y (log (* (cbrt (/ y (+ z y))) (cbrt (/ y (+ z y))))))
  (* y (log (cbrt (/ y (+ z y)))))
  (* y (log (sqrt (/ y (+ z y)))))
  (* y (log (sqrt (/ y (+ z y)))))
  (* y (log (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y))))))
  (* y (log (/ (cbrt y) (cbrt (+ z y)))))
  (* y (log (/ (* (cbrt y) (cbrt y)) (sqrt (+ z y)))))
  (* y (log (/ (cbrt y) (sqrt (+ z y)))))
  (* y (log (/ (* (cbrt y) (cbrt y)) 1)))
  (* y (log (/ (cbrt y) (+ z y))))
  (* y (log (/ (* (cbrt y) (cbrt y)) 1)))
  (* y (log (/ (cbrt y) (+ z y))))
  (* y (log (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y))))))
  (* y (log (/ (sqrt y) (cbrt (+ z y)))))
  (* y (log (/ (sqrt y) (sqrt (+ z y)))))
  (* y (log (/ (sqrt y) (sqrt (+ z y)))))
  (* y (log (/ (sqrt y) 1)))
  (* y (log (/ (sqrt y) (+ z y))))
  (* y (log (/ (sqrt y) 1)))
  (* y (log (/ (sqrt y) (+ z y))))
  (* y (log (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y))))))
  (* y (log (/ y (cbrt (+ z y)))))
  (* y (log (/ 1 (sqrt (+ z y)))))
  (* y (log (/ y (sqrt (+ z y)))))
  (* y (log (/ 1 1)))
  (* y (log (/ y (+ z y))))
  (* y (log (/ 1 1)))
  (* y (log (/ y (+ z y))))
  (* y (log 1))
  (* y (log (/ y (+ z y))))
  (* y (log y))
  (* y (log (/ 1 (+ z y))))
  (* y (log (/ y (+ (pow z 3) (pow y 3)))))
  (* y (log (+ (* z z) (- (* y y) (* z y)))))
  (* y (log (/ y (- (* z z) (* y y)))))
  (* y (log (- z y)))
  (* (log (* (cbrt (/ y (+ z y))) (cbrt (/ y (+ z y))))) y)
  (* (log (cbrt (/ y (+ z y)))) y)
  (* (log (sqrt (/ y (+ z y)))) y)
  (* (log (sqrt (/ y (+ z y)))) y)
  (* (log (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y))))) y)
  (* (log (/ (cbrt y) (cbrt (+ z y)))) y)
  (* (log (/ (* (cbrt y) (cbrt y)) (sqrt (+ z y)))) y)
  (* (log (/ (cbrt y) (sqrt (+ z y)))) y)
  (* (log (/ (* (cbrt y) (cbrt y)) 1)) y)
  (* (log (/ (cbrt y) (+ z y))) y)
  (* (log (/ (* (cbrt y) (cbrt y)) 1)) y)
  (* (log (/ (cbrt y) (+ z y))) y)
  (* (log (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y))))) y)
  (* (log (/ (sqrt y) (cbrt (+ z y)))) y)
  (* (log (/ (sqrt y) (sqrt (+ z y)))) y)
  (* (log (/ (sqrt y) (sqrt (+ z y)))) y)
  (* (log (/ (sqrt y) 1)) y)
  (* (log (/ (sqrt y) (+ z y))) y)
  (* (log (/ (sqrt y) 1)) y)
  (* (log (/ (sqrt y) (+ z y))) y)
  (* (log (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y))))) y)
  (* (log (/ y (cbrt (+ z y)))) y)
  (* (log (/ 1 (sqrt (+ z y)))) y)
  (* (log (/ y (sqrt (+ z y)))) y)
  (* (log (/ 1 1)) y)
  (* (log (/ y (+ z y))) y)
  (* (log (/ 1 1)) y)
  (* (log (/ y (+ z y))) y)
  (* (log 1) y)
  (* (log (/ y (+ z y))) y)
  (* (log y) y)
  (* (log (/ 1 (+ z y))) y)
  (* (log (/ y (+ (pow z 3) (pow y 3)))) y)
  (* (log (+ (* z z) (- (* y y) (* z y)))) y)
  (* (log (/ y (- (* z z) (* y y)))) y)
  (* (log (- z y)) y)
  (* y 1)
  (* y (* (cbrt (log (/ y (+ z y)))) (cbrt (log (/ y (+ z y))))))
  (* y (sqrt (log (/ y (+ z y)))))
  (* y 1)
  (* (cbrt y) (log (/ y (+ z y))))
  (* (sqrt y) (log (/ y (+ z y))))
  (* y (log (/ y (+ z y))))
  (- (log y) (log (+ z y)))
  (log (/ y (+ z y)))
  (exp (/ y (+ z y)))
  (/ (* (* y y) y) (* (* (+ z y) (+ z y)) (+ z y)))
  (* (cbrt (/ y (+ z y))) (cbrt (/ y (+ z y))))
  (cbrt (/ y (+ z y)))
  (* (* (/ y (+ z y)) (/ y (+ z y))) (/ y (+ z y)))
  (sqrt (/ y (+ z y)))
  (sqrt (/ y (+ z y)))
  (- y)
  (- (+ z y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (cbrt y) (cbrt (+ z y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (+ z y)))
  (/ (cbrt y) (sqrt (+ z y)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (+ z y))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (+ z y))
  (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (sqrt y) (cbrt (+ z y)))
  (/ (sqrt y) (sqrt (+ z y)))
  (/ (sqrt y) (sqrt (+ z y)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (+ z y))
  (/ (sqrt y) 1)
  (/ (sqrt y) (+ z y))
  (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ y (cbrt (+ z y)))
  (/ 1 (sqrt (+ z y)))
  (/ y (sqrt (+ z y)))
  (/ 1 1)
  (/ y (+ z y))
  (/ 1 1)
  (/ y (+ z y))
  (/ 1 (+ z y))
  (/ (+ z y) y)
  (/ y (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ y (sqrt (+ z y)))
  (/ y 1)
  (/ y 1)
  (/ (+ z y) (cbrt y))
  (/ (+ z y) (sqrt y))
  (/ (+ z y) y)
  (/ y (+ (pow z 3) (pow y 3)))
  (/ y (- (* z z) (* y y)))
  (* (exp x) (exp (/ (exp (* y (log (/ y (+ z y))))) y)))
  (log (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
  (exp (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
  (* (cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y))) (cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y))))
  (cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
  (* (* (+ x (/ (exp (* y (log (/ y (+ z y))))) y)) (+ x (/ (exp (* y (log (/ y (+ z y))))) y))) (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
  (sqrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
  (sqrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
  (+ (pow x 3) (pow (/ (exp (* y (log (/ y (+ z y))))) y) 3))
  (+ (* x x) (- (* (/ (exp (* y (log (/ y (+ z y))))) y) (/ (exp (* y (log (/ y (+ z y))))) y)) (* x (/ (exp (* y (log (/ y (+ z y))))) y))))
  (- (* x x) (* (/ (exp (* y (log (/ y (+ z y))))) y) (/ (exp (* y (log (/ y (+ z y))))) y)))
  (- x (/ (exp (* y (log (/ y (+ z y))))) y))
  (+ x (/ (exp (* y (log (/ y (+ z y))))) y))
  (- (log y) (log z))
  0
  0
  (* (- (log y) (log z)) y)
  0
  0
  0
  0
  0
  (- (+ x (+ (log y) (/ 1 y))) (log z))
  (+ (/ (exp (* -1 z)) y) x)
  (+ (/ (exp (* -1 z)) y) x)
1.995 * * [simplify]: iteration 0: 199 enodes
2.086 * * [simplify]: iteration 1: 451 enodes
2.195 * * [simplify]: iteration 2: 1297 enodes
2.520 * * [simplify]: iteration complete: 5001 enodes
2.520 * * [simplify]: Extracting #0: cost 116 inf + 0
2.522 * * [simplify]: Extracting #1: cost 921 inf + 3
2.527 * * [simplify]: Extracting #2: cost 1811 inf + 7510
2.556 * * [simplify]: Extracting #3: cost 1954 inf + 54512
2.611 * * [simplify]: Extracting #4: cost 822 inf + 307118
2.711 * * [simplify]: Extracting #5: cost 124 inf + 513788
2.803 * * [simplify]: Extracting #6: cost 10 inf + 532709
2.905 * * [simplify]: Extracting #7: cost 2 inf + 530861
3.027 * * [simplify]: Extracting #8: cost 0 inf + 531287
3.183 * [simplify]: Simplified to:
  (log (* (cbrt (/ y (+ z y))) (cbrt (/ y (+ z y)))))
  (log (cbrt (/ y (+ z y))))
  (log (sqrt (/ y (+ z y))))
  (log (sqrt (/ y (+ z y))))
  (log (* (/ (cbrt y) (cbrt (+ z y))) (/ (cbrt y) (cbrt (+ z y)))))
  (log (/ (cbrt y) (cbrt (+ z y))))
  (log (/ (cbrt y) (/ (sqrt (+ z y)) (cbrt y))))
  (log (/ (cbrt y) (sqrt (+ z y))))
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (/ (cbrt y) (+ z y)))
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (/ (cbrt y) (+ z y)))
  (log (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (log (/ (sqrt y) (cbrt (+ z y))))
  (log (/ (sqrt y) (sqrt (+ z y))))
  (log (/ (sqrt y) (sqrt (+ z y))))
  (log (sqrt y))
  (log (/ (sqrt y) (+ z y)))
  (log (sqrt y))
  (log (/ (sqrt y) (+ z y)))
  (- (+ (log (cbrt (+ z y))) (log (cbrt (+ z y)))))
  (log (/ y (cbrt (+ z y))))
  (- (log (sqrt (+ z y))))
  (log (/ y (sqrt (+ z y))))
  0
  (log (/ y (+ z y)))
  0
  (log (/ y (+ z y)))
  0
  (log (/ y (+ z y)))
  (log y)
  (- (log (+ z y)))
  (log (/ y (+ (* z (* z z)) (* (* y y) y))))
  (log (- (* y y) (* z (- y z))))
  (log (/ y (* (+ z y) (- z y))))
  (log (- z y))
  (log y)
  (log (+ z y))
  (log (/ y (+ z y)))
  (log (log (/ y (+ z y))))
  (/ y (+ z y))
  (* (cbrt (log (/ y (+ z y)))) (cbrt (log (/ y (+ z y)))))
  (cbrt (log (/ y (+ z y))))
  (* (log (/ y (+ z y))) (* (log (/ y (+ z y))) (log (/ y (+ z y)))))
  (sqrt (log (/ y (+ z y))))
  (sqrt (log (/ y (+ z y))))
  (* (log (/ y (+ z y))) y)
  (log (* (log (/ y (+ z y))) y))
  (log (* (log (/ y (+ z y))) y))
  (exp (* (log (/ y (+ z y))) y))
  (* (* (log (/ y (+ z y))) y) (* (* y (log (/ y (+ z y)))) (* y (log (/ y (+ z y))))))
  (* (cbrt (* (log (/ y (+ z y))) y)) (cbrt (* (log (/ y (+ z y))) y)))
  (cbrt (* (log (/ y (+ z y))) y))
  (* (* (log (/ y (+ z y))) y) (* (* (log (/ y (+ z y))) y) (* (log (/ y (+ z y))) y)))
  (sqrt (* (log (/ y (+ z y))) y))
  (sqrt (* (log (/ y (+ z y))) y))
  (* (sqrt (log (/ y (+ z y)))) (sqrt y))
  (* (sqrt (log (/ y (+ z y)))) (sqrt y))
  (* (log (cbrt (/ y (+ z y)))) (+ y y))
  (* (log (cbrt (/ y (+ z y)))) y)
  (* (log (sqrt (/ y (+ z y)))) y)
  (* (log (sqrt (/ y (+ z y)))) y)
  (* (log (* (/ (cbrt y) (cbrt (+ z y))) (/ (cbrt y) (cbrt (+ z y))))) y)
  (* y (log (/ (cbrt y) (cbrt (+ z y)))))
  (* y (log (/ (cbrt y) (/ (sqrt (+ z y)) (cbrt y)))))
  (* (log (/ (cbrt y) (sqrt (+ z y)))) y)
  (* (+ (log (cbrt y)) (log (cbrt y))) y)
  (* (log (/ (cbrt y) (+ z y))) y)
  (* (+ (log (cbrt y)) (log (cbrt y))) y)
  (* (log (/ (cbrt y) (+ z y))) y)
  (* y (log (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y))))))
  (* y (log (/ (sqrt y) (cbrt (+ z y)))))
  (* y (log (/ (sqrt y) (sqrt (+ z y)))))
  (* y (log (/ (sqrt y) (sqrt (+ z y)))))
  (* (log (sqrt y)) y)
  (* (log (/ (sqrt y) (+ z y))) y)
  (* (log (sqrt y)) y)
  (* (log (/ (sqrt y) (+ z y))) y)
  (* (- y) (+ (log (cbrt (+ z y))) (log (cbrt (+ z y)))))
  (* y (log (/ y (cbrt (+ z y)))))
  (* (- (log (sqrt (+ z y)))) y)
  (* y (log (/ y (sqrt (+ z y)))))
  0
  (* (log (/ y (+ z y))) y)
  0
  (* (log (/ y (+ z y))) y)
  0
  (* (log (/ y (+ z y))) y)
  (* (log y) y)
  (* (log (+ z y)) (- y))
  (* y (log (/ y (+ (* z (* z z)) (* (* y y) y)))))
  (* (log (- (* y y) (* z (- y z)))) y)
  (* (log (/ y (* (+ z y) (- z y)))) y)
  (* y (log (- z y)))
  (* (log (cbrt (/ y (+ z y)))) (+ y y))
  (* (log (cbrt (/ y (+ z y)))) y)
  (* (log (sqrt (/ y (+ z y)))) y)
  (* (log (sqrt (/ y (+ z y)))) y)
  (* (log (* (/ (cbrt y) (cbrt (+ z y))) (/ (cbrt y) (cbrt (+ z y))))) y)
  (* y (log (/ (cbrt y) (cbrt (+ z y)))))
  (* y (log (/ (cbrt y) (/ (sqrt (+ z y)) (cbrt y)))))
  (* (log (/ (cbrt y) (sqrt (+ z y)))) y)
  (* (+ (log (cbrt y)) (log (cbrt y))) y)
  (* (log (/ (cbrt y) (+ z y))) y)
  (* (+ (log (cbrt y)) (log (cbrt y))) y)
  (* (log (/ (cbrt y) (+ z y))) y)
  (* y (log (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y))))))
  (* y (log (/ (sqrt y) (cbrt (+ z y)))))
  (* y (log (/ (sqrt y) (sqrt (+ z y)))))
  (* y (log (/ (sqrt y) (sqrt (+ z y)))))
  (* (log (sqrt y)) y)
  (* (log (/ (sqrt y) (+ z y))) y)
  (* (log (sqrt y)) y)
  (* (log (/ (sqrt y) (+ z y))) y)
  (* (- y) (+ (log (cbrt (+ z y))) (log (cbrt (+ z y)))))
  (* y (log (/ y (cbrt (+ z y)))))
  (* (- (log (sqrt (+ z y)))) y)
  (* y (log (/ y (sqrt (+ z y)))))
  0
  (* (log (/ y (+ z y))) y)
  0
  (* (log (/ y (+ z y))) y)
  0
  (* (log (/ y (+ z y))) y)
  (* (log y) y)
  (* (log (+ z y)) (- y))
  (* y (log (/ y (+ (* z (* z z)) (* (* y y) y)))))
  (* (log (- (* y y) (* z (- y z)))) y)
  (* (log (/ y (* (+ z y) (- z y)))) y)
  (* y (log (- z y)))
  y
  (* (cbrt (log (/ y (+ z y)))) (* y (cbrt (log (/ y (+ z y))))))
  (* (sqrt (log (/ y (+ z y)))) y)
  y
  (* (cbrt y) (log (/ y (+ z y))))
  (* (sqrt y) (log (/ y (+ z y))))
  (* (log (/ y (+ z y))) y)
  (log (/ y (+ z y)))
  (log (/ y (+ z y)))
  (exp (/ y (+ z y)))
  (* (* (/ y (+ z y)) (/ y (+ z y))) (/ y (+ z y)))
  (* (cbrt (/ y (+ z y))) (cbrt (/ y (+ z y))))
  (cbrt (/ y (+ z y)))
  (* (* (/ y (+ z y)) (/ y (+ z y))) (/ y (+ z y)))
  (sqrt (/ y (+ z y)))
  (sqrt (/ y (+ z y)))
  (- y)
  (- (+ y z))
  (* (/ (cbrt y) (cbrt (+ z y))) (/ (cbrt y) (cbrt (+ z y))))
  (/ (cbrt y) (cbrt (+ z y)))
  (/ (cbrt y) (/ (sqrt (+ z y)) (cbrt y)))
  (/ (cbrt y) (sqrt (+ z y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (+ z y))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (+ z y))
  (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (sqrt y) (cbrt (+ z y)))
  (/ (sqrt y) (sqrt (+ z y)))
  (/ (sqrt y) (sqrt (+ z y)))
  (sqrt y)
  (/ (sqrt y) (+ z y))
  (sqrt y)
  (/ (sqrt y) (+ z y))
  (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ y (cbrt (+ z y)))
  (/ 1 (sqrt (+ z y)))
  (/ y (sqrt (+ z y)))
  1
  (/ y (+ z y))
  1
  (/ y (+ z y))
  (/ 1 (+ z y))
  (/ (+ z y) y)
  (/ y (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ y (sqrt (+ z y)))
  y
  y
  (/ (+ z y) (cbrt y))
  (/ (+ z y) (sqrt y))
  (/ (+ z y) y)
  (/ y (+ (* z (* z z)) (* (* y y) y)))
  (/ y (* (+ z y) (- z y)))
  (exp (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (log (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (exp (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (* (cbrt (+ x (/ (exp (* (log (/ y (+ z y))) y)) y))) (cbrt (+ x (/ (exp (* (log (/ y (+ z y))) y)) y))))
  (cbrt (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (* (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) (* (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)) (+ x (/ (exp (* (log (/ y (+ z y))) y)) y))))
  (sqrt (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (sqrt (+ x (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (+ (* (/ (exp (* (log (/ y (+ z y))) y)) y) (* (/ (exp (* (log (/ y (+ z y))) y)) y) (/ (exp (* (log (/ y (+ z y))) y)) y))) (* x (* x x)))
  (- (* (/ (exp (* (log (/ y (+ z y))) y)) y) (/ (exp (* (log (/ y (+ z y))) y)) y)) (* x (- (/ (exp (* (log (/ y (+ z y))) y)) y) x)))
  (- (* x x) (* (/ (exp (* (log (/ y (+ z y))) y)) y) (/ (exp (* (log (/ y (+ z y))) y)) y)))
  (- x (/ (exp (* (log (/ y (+ z y))) y)) y))
  (+ x (/ (exp (* (log (/ y (+ z y))) y)) y))
  (- (log y) (log z))
  0
  0
  (* y (- (log y) (log z)))
  0
  0
  0
  0
  0
  (+ (+ x (log y)) (- (/ 1 y) (log z)))
  (+ (/ (exp (- z)) y) x)
  (+ (/ (exp (- z)) y) x)
3.207 * * * [progress]: adding candidates to table
4.045 * * [progress]: iteration 2 / 4
4.045 * * * [progress]: picking best candidate
4.052 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (exp 0) y)))>
4.052 * * * [progress]: localizing error
4.059 * * * [progress]: generating rewritten candidates
4.059 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.068 * * * [progress]: generating series expansions
4.068 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.068 * [backup-simplify]: Simplify (+ x (/ (exp 0) y)) into (+ x (/ 1 y))
4.068 * [approximate]: Taking taylor expansion of (+ x (/ 1 y)) in (x y) around 0
4.068 * [taylor]: Taking taylor expansion of (+ x (/ 1 y)) in y
4.068 * [taylor]: Taking taylor expansion of x in y
4.068 * [backup-simplify]: Simplify x into x
4.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.068 * [taylor]: Taking taylor expansion of y in y
4.068 * [backup-simplify]: Simplify 0 into 0
4.068 * [backup-simplify]: Simplify 1 into 1
4.069 * [backup-simplify]: Simplify (/ 1 1) into 1
4.069 * [taylor]: Taking taylor expansion of (+ x (/ 1 y)) in x
4.069 * [taylor]: Taking taylor expansion of x in x
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 1 into 1
4.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.069 * [taylor]: Taking taylor expansion of y in x
4.069 * [backup-simplify]: Simplify y into y
4.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.069 * [taylor]: Taking taylor expansion of (+ x (/ 1 y)) in x
4.069 * [taylor]: Taking taylor expansion of x in x
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 1 into 1
4.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.069 * [taylor]: Taking taylor expansion of y in x
4.069 * [backup-simplify]: Simplify y into y
4.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.069 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.069 * [taylor]: Taking taylor expansion of y in y
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 1 into 1
4.070 * [backup-simplify]: Simplify (/ 1 1) into 1
4.070 * [backup-simplify]: Simplify 1 into 1
4.070 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.070 * [backup-simplify]: Simplify (+ 1 0) into 1
4.070 * [taylor]: Taking taylor expansion of 1 in y
4.070 * [backup-simplify]: Simplify 1 into 1
4.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.071 * [backup-simplify]: Simplify 0 into 0
4.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.072 * [backup-simplify]: Simplify (+ 0 0) into 0
4.072 * [taylor]: Taking taylor expansion of 0 in y
4.072 * [backup-simplify]: Simplify 0 into 0
4.072 * [backup-simplify]: Simplify 1 into 1
4.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.073 * [backup-simplify]: Simplify (+ 0 0) into 0
4.073 * [taylor]: Taking taylor expansion of 0 in y
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.074 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.075 * [backup-simplify]: Simplify (+ 0 0) into 0
4.075 * [taylor]: Taking taylor expansion of 0 in y
4.075 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify (+ (* 1 (* 1 x)) (* 1 (* (/ 1 y) 1))) into (+ x (/ 1 y))
4.075 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (exp 0) (/ 1 y))) into (+ y (/ 1 x))
4.076 * [approximate]: Taking taylor expansion of (+ y (/ 1 x)) in (x y) around 0
4.076 * [taylor]: Taking taylor expansion of (+ y (/ 1 x)) in y
4.076 * [taylor]: Taking taylor expansion of y in y
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.076 * [taylor]: Taking taylor expansion of x in y
4.076 * [backup-simplify]: Simplify x into x
4.076 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.076 * [taylor]: Taking taylor expansion of (+ y (/ 1 x)) in x
4.076 * [taylor]: Taking taylor expansion of y in x
4.076 * [backup-simplify]: Simplify y into y
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.076 * [backup-simplify]: Simplify (/ 1 1) into 1
4.076 * [taylor]: Taking taylor expansion of (+ y (/ 1 x)) in x
4.076 * [taylor]: Taking taylor expansion of y in x
4.076 * [backup-simplify]: Simplify y into y
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [backup-simplify]: Simplify 0 into 0
4.077 * [backup-simplify]: Simplify 1 into 1
4.077 * [backup-simplify]: Simplify (/ 1 1) into 1
4.077 * [backup-simplify]: Simplify (+ 0 1) into 1
4.077 * [taylor]: Taking taylor expansion of 1 in y
4.077 * [backup-simplify]: Simplify 1 into 1
4.077 * [backup-simplify]: Simplify 1 into 1
4.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.078 * [backup-simplify]: Simplify (+ y 0) into y
4.078 * [taylor]: Taking taylor expansion of y in y
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 1 into 1
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.080 * [backup-simplify]: Simplify (+ 0 0) into 0
4.080 * [taylor]: Taking taylor expansion of 0 in y
4.080 * [backup-simplify]: Simplify 0 into 0
4.080 * [backup-simplify]: Simplify 0 into 0
4.080 * [backup-simplify]: Simplify 1 into 1
4.080 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.081 * [backup-simplify]: Simplify (+ 0 0) into 0
4.081 * [taylor]: Taking taylor expansion of 0 in y
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 0 into 0
4.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.083 * [backup-simplify]: Simplify (+ 0 0) into 0
4.083 * [taylor]: Taking taylor expansion of 0 in y
4.083 * [backup-simplify]: Simplify 0 into 0
4.083 * [backup-simplify]: Simplify 0 into 0
4.083 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) 1)) (* 1 (* 1 (/ 1 (/ 1 x))))) into (+ x (/ 1 y))
4.083 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (exp 0) (/ 1 (- y)))) into (- (+ y (/ 1 x)))
4.083 * [approximate]: Taking taylor expansion of (- (+ y (/ 1 x))) in (x y) around 0
4.083 * [taylor]: Taking taylor expansion of (- (+ y (/ 1 x))) in y
4.083 * [taylor]: Taking taylor expansion of (+ y (/ 1 x)) in y
4.083 * [taylor]: Taking taylor expansion of y in y
4.083 * [backup-simplify]: Simplify 0 into 0
4.083 * [backup-simplify]: Simplify 1 into 1
4.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.083 * [taylor]: Taking taylor expansion of x in y
4.083 * [backup-simplify]: Simplify x into x
4.083 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.083 * [taylor]: Taking taylor expansion of (- (+ y (/ 1 x))) in x
4.083 * [taylor]: Taking taylor expansion of (+ y (/ 1 x)) in x
4.084 * [taylor]: Taking taylor expansion of y in x
4.084 * [backup-simplify]: Simplify y into y
4.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.084 * [taylor]: Taking taylor expansion of x in x
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 1 into 1
4.084 * [backup-simplify]: Simplify (/ 1 1) into 1
4.084 * [taylor]: Taking taylor expansion of (- (+ y (/ 1 x))) in x
4.084 * [taylor]: Taking taylor expansion of (+ y (/ 1 x)) in x
4.084 * [taylor]: Taking taylor expansion of y in x
4.084 * [backup-simplify]: Simplify y into y
4.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.084 * [taylor]: Taking taylor expansion of x in x
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 1 into 1
4.085 * [backup-simplify]: Simplify (/ 1 1) into 1
4.085 * [backup-simplify]: Simplify (+ 0 1) into 1
4.085 * [backup-simplify]: Simplify (- 1) into -1
4.085 * [taylor]: Taking taylor expansion of -1 in y
4.085 * [backup-simplify]: Simplify -1 into -1
4.086 * [backup-simplify]: Simplify -1 into -1
4.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.087 * [backup-simplify]: Simplify (+ y 0) into y
4.087 * [backup-simplify]: Simplify (- y) into (- y)
4.087 * [taylor]: Taking taylor expansion of (- y) in y
4.087 * [taylor]: Taking taylor expansion of y in y
4.087 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify 1 into 1
4.087 * [backup-simplify]: Simplify (- 0) into 0
4.087 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.088 * [backup-simplify]: Simplify (+ 0 0) into 0
4.089 * [backup-simplify]: Simplify (- 0) into 0
4.089 * [taylor]: Taking taylor expansion of 0 in y
4.089 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify (- 1) into -1
4.089 * [backup-simplify]: Simplify -1 into -1
4.089 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.091 * [backup-simplify]: Simplify (+ 0 0) into 0
4.091 * [backup-simplify]: Simplify (- 0) into 0
4.091 * [taylor]: Taking taylor expansion of 0 in y
4.091 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify (- 0) into 0
4.091 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.093 * [backup-simplify]: Simplify (+ 0 0) into 0
4.093 * [backup-simplify]: Simplify (- 0) into 0
4.093 * [taylor]: Taking taylor expansion of 0 in y
4.093 * [backup-simplify]: Simplify 0 into 0
4.093 * [backup-simplify]: Simplify 0 into 0
4.093 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- y)) 1)) (* -1 (* 1 (/ 1 (/ 1 (- x)))))) into (+ x (/ 1 y))
4.094 * * * [progress]: simplifying candidates
4.094 * [simplify]: Simplifying:
  (* (exp x) (exp (/ (exp 0) y)))
  (log (+ x (/ (exp 0) y)))
  (exp (+ x (/ (exp 0) y)))
  (* (cbrt (+ x (/ (exp 0) y))) (cbrt (+ x (/ (exp 0) y))))
  (cbrt (+ x (/ (exp 0) y)))
  (* (* (+ x (/ (exp 0) y)) (+ x (/ (exp 0) y))) (+ x (/ (exp 0) y)))
  (sqrt (+ x (/ (exp 0) y)))
  (sqrt (+ x (/ (exp 0) y)))
  (+ (pow x 3) (pow (/ (exp 0) y) 3))
  (+ (* x x) (- (* (/ (exp 0) y) (/ (exp 0) y)) (* x (/ (exp 0) y))))
  (- (* x x) (* (/ (exp 0) y) (/ (exp 0) y)))
  (- x (/ (exp 0) y))
  (+ x (/ (exp 0) y))
  (+ x (/ 1 y))
  (+ x (/ 1 y))
  (+ x (/ 1 y))
4.094 * * [simplify]: iteration 0: 30 enodes
4.105 * * [simplify]: iteration 1: 80 enodes
4.151 * * [simplify]: iteration 2: 352 enodes
4.462 * * [simplify]: iteration 3: 2966 enodes
5.682 * * [simplify]: iteration complete: 5000 enodes
5.682 * * [simplify]: Extracting #0: cost 11 inf + 0
5.683 * * [simplify]: Extracting #1: cost 185 inf + 0
5.688 * * [simplify]: Extracting #2: cost 1449 inf + 399
5.698 * * [simplify]: Extracting #3: cost 1787 inf + 18893
5.721 * * [simplify]: Extracting #4: cost 613 inf + 150959
5.771 * * [simplify]: Extracting #5: cost 64 inf + 234229
5.823 * * [simplify]: Extracting #6: cost 13 inf + 243182
5.881 * * [simplify]: Extracting #7: cost 0 inf + 246676
5.939 * [simplify]: Simplified to:
  (exp (+ x (/ 1 y)))
  (log (+ x (/ 1 y)))
  (exp (+ x (/ 1 y)))
  (* (cbrt (+ x (/ 1 y))) (cbrt (+ x (/ 1 y))))
  (cbrt (+ x (/ 1 y)))
  (* (+ x (/ 1 y)) (* (+ x (/ 1 y)) (+ x (/ 1 y))))
  (sqrt (+ x (/ 1 y)))
  (sqrt (+ x (/ 1 y)))
  (+ (* x (* x x)) (* (/ 1 y) (/ (/ 1 y) y)))
  (+ (* x x) (* (- (/ 1 y) x) (/ 1 y)))
  (- (* x x) (/ (/ 1 y) y))
  (+ x (/ -1 y))
  (+ x (/ 1 y))
  (+ x (/ 1 y))
  (+ x (/ 1 y))
  (+ x (/ 1 y))
5.939 * * * [progress]: adding candidates to table
5.993 * * [progress]: iteration 3 / 4
5.993 * * * [progress]: picking best candidate
5.997 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>
5.997 * * * [progress]: localizing error
6.011 * * * [progress]: generating rewritten candidates
6.011 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
6.024 * * * [progress]: generating series expansions
6.024 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
6.024 * [backup-simplify]: Simplify (/ (exp (- z)) y) into (/ (exp (- z)) y)
6.024 * [approximate]: Taking taylor expansion of (/ (exp (- z)) y) in (z y) around 0
6.024 * [taylor]: Taking taylor expansion of (/ (exp (- z)) y) in y
6.025 * [taylor]: Taking taylor expansion of (exp (- z)) in y
6.025 * [taylor]: Taking taylor expansion of (- z) in y
6.025 * [taylor]: Taking taylor expansion of z in y
6.025 * [backup-simplify]: Simplify z into z
6.025 * [backup-simplify]: Simplify (- z) into (- z)
6.025 * [backup-simplify]: Simplify (- z) into (- z)
6.025 * [backup-simplify]: Simplify (exp (- z)) into (exp (- z))
6.025 * [taylor]: Taking taylor expansion of y in y
6.025 * [backup-simplify]: Simplify 0 into 0
6.025 * [backup-simplify]: Simplify 1 into 1
6.025 * [backup-simplify]: Simplify (/ (exp (- z)) 1) into (exp (- z))
6.025 * [taylor]: Taking taylor expansion of (/ (exp (- z)) y) in z
6.025 * [taylor]: Taking taylor expansion of (exp (- z)) in z
6.025 * [taylor]: Taking taylor expansion of (- z) in z
6.025 * [taylor]: Taking taylor expansion of z in z
6.025 * [backup-simplify]: Simplify 0 into 0
6.025 * [backup-simplify]: Simplify 1 into 1
6.025 * [backup-simplify]: Simplify (- 0) into 0
6.026 * [backup-simplify]: Simplify (- 1) into -1
6.026 * [backup-simplify]: Simplify (exp 0) into 1
6.026 * [taylor]: Taking taylor expansion of y in z
6.026 * [backup-simplify]: Simplify y into y
6.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.026 * [taylor]: Taking taylor expansion of (/ (exp (- z)) y) in z
6.026 * [taylor]: Taking taylor expansion of (exp (- z)) in z
6.026 * [taylor]: Taking taylor expansion of (- z) in z
6.026 * [taylor]: Taking taylor expansion of z in z
6.026 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify 1 into 1
6.026 * [backup-simplify]: Simplify (- 0) into 0
6.026 * [backup-simplify]: Simplify (- 1) into -1
6.026 * [backup-simplify]: Simplify (exp 0) into 1
6.026 * [taylor]: Taking taylor expansion of y in z
6.026 * [backup-simplify]: Simplify y into y
6.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.026 * [taylor]: Taking taylor expansion of y in y
6.026 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify 1 into 1
6.027 * [backup-simplify]: Simplify (/ 1 1) into 1
6.027 * [backup-simplify]: Simplify 1 into 1
6.027 * [backup-simplify]: Simplify (- 1) into -1
6.028 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
6.028 * [backup-simplify]: Simplify (- (/ -1 y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 y))
6.028 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.028 * [taylor]: Taking taylor expansion of y in y
6.028 * [backup-simplify]: Simplify 0 into 0
6.028 * [backup-simplify]: Simplify 1 into 1
6.028 * [backup-simplify]: Simplify (/ 1 1) into 1
6.028 * [backup-simplify]: Simplify (- 1) into -1
6.028 * [backup-simplify]: Simplify -1 into -1
6.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.029 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify (- 1) into -1
6.029 * [backup-simplify]: Simplify (- 0) into 0
6.030 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.030 * [backup-simplify]: Simplify (- (/ 1/2 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 y)) (/ 0 y)))) into (* 1/2 (/ 1 y))
6.030 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y
6.030 * [taylor]: Taking taylor expansion of 1/2 in y
6.030 * [backup-simplify]: Simplify 1/2 into 1/2
6.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.030 * [taylor]: Taking taylor expansion of y in y
6.030 * [backup-simplify]: Simplify 0 into 0
6.030 * [backup-simplify]: Simplify 1 into 1
6.031 * [backup-simplify]: Simplify (/ 1 1) into 1
6.031 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.031 * [backup-simplify]: Simplify 1/2 into 1/2
6.031 * [backup-simplify]: Simplify (+ (* 1/2 (* (/ 1 y) (pow z 2))) (+ (* -1 (* (/ 1 y) z)) (* 1 (* (/ 1 y) 1)))) into (- (+ (* 1/2 (/ (pow z 2) y)) (/ 1 y)) (/ z y))
6.031 * [backup-simplify]: Simplify (/ (exp (- (/ 1 z))) (/ 1 y)) into (* y (exp (- (/ 1 z))))
6.031 * [approximate]: Taking taylor expansion of (* y (exp (- (/ 1 z)))) in (z y) around 0
6.031 * [taylor]: Taking taylor expansion of (* y (exp (- (/ 1 z)))) in y
6.031 * [taylor]: Taking taylor expansion of y in y
6.032 * [backup-simplify]: Simplify 0 into 0
6.032 * [backup-simplify]: Simplify 1 into 1
6.032 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z))) in y
6.032 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
6.032 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.032 * [taylor]: Taking taylor expansion of z in y
6.032 * [backup-simplify]: Simplify z into z
6.032 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.032 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.032 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.032 * [backup-simplify]: Simplify (exp (- (/ 1 z))) into (exp (- (/ 1 z)))
6.032 * [taylor]: Taking taylor expansion of (* y (exp (- (/ 1 z)))) in z
6.032 * [taylor]: Taking taylor expansion of y in z
6.032 * [backup-simplify]: Simplify y into y
6.032 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z))) in z
6.032 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.032 * [taylor]: Taking taylor expansion of z in z
6.032 * [backup-simplify]: Simplify 0 into 0
6.032 * [backup-simplify]: Simplify 1 into 1
6.032 * [backup-simplify]: Simplify (/ 1 1) into 1
6.032 * [backup-simplify]: Simplify (- 1) into -1
6.032 * [backup-simplify]: Simplify (exp (- (/ 1 z))) into (exp (- (/ 1 z)))
6.032 * [taylor]: Taking taylor expansion of (* y (exp (- (/ 1 z)))) in z
6.032 * [taylor]: Taking taylor expansion of y in z
6.033 * [backup-simplify]: Simplify y into y
6.033 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z))) in z
6.033 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.033 * [taylor]: Taking taylor expansion of z in z
6.033 * [backup-simplify]: Simplify 0 into 0
6.033 * [backup-simplify]: Simplify 1 into 1
6.033 * [backup-simplify]: Simplify (/ 1 1) into 1
6.033 * [backup-simplify]: Simplify (- 1) into -1
6.033 * [backup-simplify]: Simplify (exp (- (/ 1 z))) into (exp (- (/ 1 z)))
6.033 * [backup-simplify]: Simplify (* y (exp (- (/ 1 z)))) into (* y (exp (- (/ 1 z))))
6.033 * [taylor]: Taking taylor expansion of (* y (exp (- (/ 1 z)))) in y
6.033 * [taylor]: Taking taylor expansion of y in y
6.033 * [backup-simplify]: Simplify 0 into 0
6.033 * [backup-simplify]: Simplify 1 into 1
6.033 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z))) in y
6.033 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
6.033 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.033 * [taylor]: Taking taylor expansion of z in y
6.033 * [backup-simplify]: Simplify z into z
6.033 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.033 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.034 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.034 * [backup-simplify]: Simplify (exp (- (/ 1 z))) into (exp (- (/ 1 z)))
6.034 * [backup-simplify]: Simplify (* 0 (exp (- (/ 1 z)))) into 0
6.034 * [backup-simplify]: Simplify 0 into 0
6.034 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (exp (- (/ 1 z))))) into 0
6.034 * [taylor]: Taking taylor expansion of 0 in y
6.034 * [backup-simplify]: Simplify 0 into 0
6.034 * [backup-simplify]: Simplify 0 into 0
6.034 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.034 * [backup-simplify]: Simplify (- 0) into 0
6.035 * [backup-simplify]: Simplify (* (exp (- (/ 1 z))) (+ (* (/ (pow 0 1) 1)))) into 0
6.035 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (- (/ 1 z))))) into (exp (- (/ 1 z)))
6.035 * [backup-simplify]: Simplify (exp (- (/ 1 z))) into (exp (- (/ 1 z)))
6.035 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (exp (- (/ 1 z)))))) into 0
6.035 * [taylor]: Taking taylor expansion of 0 in y
6.035 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify 0 into 0
6.036 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.036 * [backup-simplify]: Simplify (- 0) into 0
6.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.036 * [backup-simplify]: Simplify (- 0) into 0
6.037 * [backup-simplify]: Simplify (* (exp (- (/ 1 z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.037 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (- (/ 1 z)))))) into 0
6.037 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 z))))))) into 0
6.038 * [taylor]: Taking taylor expansion of 0 in y
6.038 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify (* (exp (- (/ 1 (/ 1 z)))) (* (/ 1 y) 1)) into (/ (exp (- z)) y)
6.039 * [backup-simplify]: Simplify (/ (exp (- (/ 1 (- z)))) (/ 1 (- y))) into (* -1 (* (exp (/ 1 z)) y))
6.039 * [approximate]: Taking taylor expansion of (* -1 (* (exp (/ 1 z)) y)) in (z y) around 0
6.039 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1 z)) y)) in y
6.039 * [taylor]: Taking taylor expansion of -1 in y
6.039 * [backup-simplify]: Simplify -1 into -1
6.039 * [taylor]: Taking taylor expansion of (* (exp (/ 1 z)) y) in y
6.039 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
6.039 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.039 * [taylor]: Taking taylor expansion of z in y
6.039 * [backup-simplify]: Simplify z into z
6.039 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.039 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
6.039 * [taylor]: Taking taylor expansion of y in y
6.039 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.039 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1 z)) y)) in z
6.039 * [taylor]: Taking taylor expansion of -1 in z
6.039 * [backup-simplify]: Simplify -1 into -1
6.039 * [taylor]: Taking taylor expansion of (* (exp (/ 1 z)) y) in z
6.039 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
6.039 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.039 * [taylor]: Taking taylor expansion of z in z
6.039 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.039 * [backup-simplify]: Simplify (/ 1 1) into 1
6.039 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
6.039 * [taylor]: Taking taylor expansion of y in z
6.039 * [backup-simplify]: Simplify y into y
6.039 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1 z)) y)) in z
6.039 * [taylor]: Taking taylor expansion of -1 in z
6.039 * [backup-simplify]: Simplify -1 into -1
6.039 * [taylor]: Taking taylor expansion of (* (exp (/ 1 z)) y) in z
6.039 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
6.039 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.039 * [taylor]: Taking taylor expansion of z in z
6.039 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.040 * [backup-simplify]: Simplify (/ 1 1) into 1
6.040 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
6.040 * [taylor]: Taking taylor expansion of y in z
6.040 * [backup-simplify]: Simplify y into y
6.040 * [backup-simplify]: Simplify (* (exp (/ 1 z)) y) into (* (exp (/ 1 z)) y)
6.040 * [backup-simplify]: Simplify (* -1 (* (exp (/ 1 z)) y)) into (* -1 (* (exp (/ 1 z)) y))
6.040 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1 z)) y)) in y
6.040 * [taylor]: Taking taylor expansion of -1 in y
6.040 * [backup-simplify]: Simplify -1 into -1
6.040 * [taylor]: Taking taylor expansion of (* (exp (/ 1 z)) y) in y
6.040 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
6.040 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.040 * [taylor]: Taking taylor expansion of z in y
6.040 * [backup-simplify]: Simplify z into z
6.040 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.040 * [backup-simplify]: Simplify (exp (/ 1 z)) into (exp (/ 1 z))
6.040 * [taylor]: Taking taylor expansion of y in y
6.040 * [backup-simplify]: Simplify 0 into 0
6.040 * [backup-simplify]: Simplify 1 into 1
6.040 * [backup-simplify]: Simplify (* (exp (/ 1 z)) 0) into 0
6.040 * [backup-simplify]: Simplify (* -1 0) into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify (+ (* (exp (/ 1 z)) 0) (* 0 y)) into 0
6.041 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* (exp (/ 1 z)) y))) into 0
6.041 * [taylor]: Taking taylor expansion of 0 in y
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.042 * [backup-simplify]: Simplify (* (exp (/ 1 z)) (+ (* (/ (pow 0 1) 1)))) into 0
6.042 * [backup-simplify]: Simplify (+ (* (exp (/ 1 z)) 1) (* 0 0)) into (exp (/ 1 z))
6.042 * [backup-simplify]: Simplify (+ (* -1 (exp (/ 1 z))) (* 0 0)) into (- (exp (/ 1 z)))
6.042 * [backup-simplify]: Simplify (- (exp (/ 1 z))) into (- (exp (/ 1 z)))
6.043 * [backup-simplify]: Simplify (+ (* (exp (/ 1 z)) 0) (+ (* 0 0) (* 0 y))) into 0
6.043 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* (exp (/ 1 z)) y)))) into 0
6.043 * [taylor]: Taking taylor expansion of 0 in y
6.043 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.044 * [backup-simplify]: Simplify (* (exp (/ 1 z)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.045 * [backup-simplify]: Simplify (+ (* (exp (/ 1 z)) 0) (+ (* 0 1) (* 0 0))) into 0
6.045 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (exp (/ 1 z))) (* 0 0))) into 0
6.045 * [backup-simplify]: Simplify 0 into 0
6.046 * [backup-simplify]: Simplify (+ (* (exp (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
6.046 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (exp (/ 1 z)) y))))) into 0
6.046 * [taylor]: Taking taylor expansion of 0 in y
6.047 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 (- z))))) (* (/ 1 (- y)) 1)) into (/ (exp (* -1 z)) y)
6.047 * * * [progress]: simplifying candidates
6.047 * [simplify]: Simplifying:
  (- (- z) (log y))
  (log (/ (exp (- z)) y))
  (exp (/ (exp (- z)) y))
  (/ (* (* (exp (- z)) (exp (- z))) (exp (- z))) (* (* y y) y))
  (* (cbrt (/ (exp (- z)) y)) (cbrt (/ (exp (- z)) y)))
  (cbrt (/ (exp (- z)) y))
  (* (* (/ (exp (- z)) y) (/ (exp (- z)) y)) (/ (exp (- z)) y))
  (sqrt (/ (exp (- z)) y))
  (sqrt (/ (exp (- z)) y))
  (- (exp (- z)))
  (- y)
  (/ (* (cbrt (exp (- z))) (cbrt (exp (- z)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (exp (- z))) (cbrt y))
  (/ (* (cbrt (exp (- z))) (cbrt (exp (- z)))) (sqrt y))
  (/ (cbrt (exp (- z))) (sqrt y))
  (/ (* (cbrt (exp (- z))) (cbrt (exp (- z)))) 1)
  (/ (cbrt (exp (- z))) y)
  (/ (sqrt (exp (- z))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (exp (- z))) (cbrt y))
  (/ (sqrt (exp (- z))) (sqrt y))
  (/ (sqrt (exp (- z))) (sqrt y))
  (/ (sqrt (exp (- z))) 1)
  (/ (sqrt (exp (- z))) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (exp (- z)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (exp (- z)) (sqrt y))
  (/ 1 1)
  (/ (exp (- z)) y)
  (/ 1 y)
  (/ y (exp (- z)))
  (/ (exp (- z)) (* (cbrt y) (cbrt y)))
  (/ (exp (- z)) (sqrt y))
  (/ (exp (- z)) 1)
  (/ y (cbrt (exp (- z))))
  (/ y (sqrt (exp (- z))))
  (/ y (exp (- z)))
  (* y (exp z))
  (* y (exp z))
  (- (+ (* 1/2 (/ (pow z 2) y)) (/ 1 y)) (/ z y))
  (/ (exp (- z)) y)
  (/ (exp (* -1 z)) y)
6.048 * * [simplify]: iteration 0: 64 enodes
6.057 * * [simplify]: iteration 1: 125 enodes
6.090 * * [simplify]: iteration 2: 483 enodes
6.538 * * [simplify]: iteration 3: 3577 enodes
8.111 * * [simplify]: iteration complete: 5000 enodes
8.112 * * [simplify]: Extracting #0: cost 32 inf + 0
8.114 * * [simplify]: Extracting #1: cost 689 inf + 1
8.118 * * [simplify]: Extracting #2: cost 1492 inf + 10824
8.129 * * [simplify]: Extracting #3: cost 1147 inf + 84585
8.171 * * [simplify]: Extracting #4: cost 247 inf + 268467
8.232 * * [simplify]: Extracting #5: cost 14 inf + 325028
8.299 * * [simplify]: Extracting #6: cost 0 inf + 330812
8.341 * [simplify]: Simplified to:
  (- (+ (log y) z))
  (- (+ (log y) z))
  (exp (/ (exp (- z)) y))
  (* (/ (exp (- z)) y) (* (/ (exp (- z)) y) (/ (exp (- z)) y)))
  (* (cbrt (/ (exp (- z)) y)) (cbrt (/ (exp (- z)) y)))
  (cbrt (/ (exp (- z)) y))
  (* (/ (exp (- z)) y) (* (/ (exp (- z)) y) (/ (exp (- z)) y)))
  (sqrt (/ (exp (- z)) y))
  (sqrt (/ (exp (- z)) y))
  (/ -1 (exp z))
  (- y)
  (* (/ (cbrt (exp (- z))) (cbrt y)) (/ (cbrt (exp (- z))) (cbrt y)))
  (/ (cbrt (exp (- z))) (cbrt y))
  (/ (* (cbrt (exp (- z))) (cbrt (exp (- z)))) (sqrt y))
  (/ (cbrt (exp (- z))) (sqrt y))
  (* (cbrt (exp (- z))) (cbrt (exp (- z))))
  (/ (cbrt (exp (- z))) y)
  (/ (sqrt (exp (- z))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (exp (- z))) (cbrt y))
  (/ (sqrt (exp (- z))) (sqrt y))
  (/ (sqrt (exp (- z))) (sqrt y))
  (sqrt (exp (- z)))
  (/ (sqrt (exp (- z))) y)
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (exp (- z)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (exp (- z)) (sqrt y))
  1
  (/ (exp (- z)) y)
  (/ 1 y)
  (* (exp z) y)
  (/ (/ (exp (- z)) (cbrt y)) (cbrt y))
  (/ (exp (- z)) (sqrt y))
  (exp (- z))
  (/ y (cbrt (exp (- z))))
  (/ y (sqrt (exp (- z))))
  (* (exp z) y)
  (* (exp z) y)
  (* (exp z) y)
  (- (+ (/ 1 y) (* (/ 1/2 y) (* z z))) (/ z y))
  (/ (exp (- z)) y)
  (/ (exp (- z)) y)
8.343 * * * [progress]: adding candidates to table
8.512 * [progress]: [Phase 3 of 3] Extracting.
8.512 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (/ (exp 0) y)))> #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>)
8.513 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
8.513 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (/ (exp 0) y)))> #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>)
8.577 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (/ (exp 0) y)))> #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>)
8.619 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (/ (exp 0) y)))> #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>)
8.698 * * * [regime]: Found split indices: #<option (#s(si 0 163) #s(si 1 255))>
8.699 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y z) (+ x (/ (exp 0) y)))> #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>)
8.750 * [regimes]: Found splitpoints: (#s(sp 0 y 2.135076845346737e-34) #s(sp 1 y +nan.0)) , with alts (#<alt (λ (x y z) (+ x (/ (exp 0) y)))> #<alt (λ (x y z) (+ (/ (exp (- z)) y) x))>)
8.750 * [simplify]: Simplifying:
  (if (<= y 2.135076845346737e-34) (+ x (/ (exp 0) y)) (+ (/ (exp (- z)) y) x))
8.750 * * [simplify]: iteration 0: 14 enodes
8.752 * * [simplify]: iteration 1: 17 enodes
8.752 * * [simplify]: iteration complete: 17 enodes
8.752 * * [simplify]: Extracting #0: cost 1 inf + 0
8.752 * * [simplify]: Extracting #1: cost 4 inf + 0
8.753 * * [simplify]: Extracting #2: cost 9 inf + 0
8.753 * * [simplify]: Extracting #3: cost 8 inf + 3
8.753 * * [simplify]: Extracting #4: cost 7 inf + 71
8.753 * * [simplify]: Extracting #5: cost 6 inf + 196
8.753 * * [simplify]: Extracting #6: cost 4 inf + 238
8.753 * * [simplify]: Extracting #7: cost 2 inf + 501
8.753 * * [simplify]: Extracting #8: cost 0 inf + 1099
8.754 * [simplify]: Simplified to:
  (if (<= y 2.135076845346737e-34) (+ x (/ 1 y)) (+ x (/ (exp (- z)) y)))
12.418 * [regime-testing]: Baseline error score: 2.520315829738964
12.436 * [regime-testing]: Oracle error score: 0.17463024521057222
12.474 * [regime-testing]: End program error score: 0.9618818542099848
12.663 * [regime-testing]: Target error score: 1.0448165915403431