0.189 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.033 * [simplify]: Simplifying: (* x (exp (* y y))) 0.033 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.033 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.033 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.033 * * [simplify]: Extracting # 3 : cost 4 inf + 1 0.033 * * [simplify]: Extracting # 4 : cost 0 inf + 306 0.033 * * [simplify]: iteration 0 : 5 enodes (cost 152 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 inf + 306 0.035 * * [simplify]: Extracting # 1 : cost 1 inf + 306 0.035 * * [simplify]: Extracting # 2 : cost 0 inf + 377 0.035 * * [simplify]: iteration 1 : 8 enodes (cost 152 ) 0.037 * * [simplify]: Extracting # 0 : cost 0 inf + 377 0.037 * * [simplify]: Extracting # 1 : cost 1 inf + 377 0.038 * * [simplify]: Extracting # 2 : cost 2 inf + 377 0.038 * * [simplify]: Extracting # 3 : cost 3 inf + 377 0.038 * * [simplify]: Extracting # 4 : cost 0 inf + 742 0.038 * * [simplify]: iteration 2 : 12 enodes (cost 152 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 inf + 742 0.040 * * [simplify]: Extracting # 1 : cost 4 inf + 742 0.040 * * [simplify]: Extracting # 2 : cost 2 inf + 1550 0.040 * * [simplify]: Extracting # 3 : cost 0 inf + 1994 0.040 * * [simplify]: iteration 3 : 21 enodes (cost 152 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 inf + 1994 0.044 * * [simplify]: Extracting # 1 : cost 10 inf + 1994 0.045 * * [simplify]: Extracting # 2 : cost 4 inf + 4762 0.045 * * [simplify]: Extracting # 3 : cost 2 inf + 4848 0.046 * * [simplify]: Extracting # 4 : cost 0 inf + 5613 0.046 * * [simplify]: iteration 4 : 46 enodes (cost 152 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 inf + 5613 0.057 * * [simplify]: Extracting # 1 : cost 21 inf + 5494 0.058 * * [simplify]: Extracting # 2 : cost 4 inf + 13669 0.059 * * [simplify]: Extracting # 3 : cost 2 inf + 13279 0.061 * * [simplify]: Extracting # 4 : cost 0 inf + 13883 0.063 * * [simplify]: iteration 5 : 122 enodes (cost 152 ) 0.127 * * [simplify]: Extracting # 0 : cost 0 inf + 13883 0.130 * * [simplify]: Extracting # 1 : cost 66 inf + 12575 0.135 * * [simplify]: Extracting # 2 : cost 10 inf + 43895 0.142 * * [simplify]: Extracting # 3 : cost 1 inf + 42455 0.152 * * [simplify]: Extracting # 4 : cost 0 inf + 41472 0.163 * * [simplify]: Extracting # 5 : cost 0 inf + 41432 0.174 * * [simplify]: iteration 6 : 362 enodes (cost 152 ) 0.500 * * [simplify]: Extracting # 0 : cost 0 inf + 41432 0.527 * * [simplify]: Extracting # 1 : cost 140 inf + 38848 0.568 * * [simplify]: Extracting # 2 : cost 6 inf + 124364 0.616 * * [simplify]: Extracting # 3 : cost 1 inf + 124876 0.657 * * [simplify]: Extracting # 4 : cost 0 inf + 124182 0.695 * * [simplify]: Extracting # 5 : cost 0 inf + 124019 0.744 * * [simplify]: iteration 7 : 1166 enodes (cost 152 ) 2.957 * * [simplify]: Extracting # 0 : cost 0 inf + 124019 3.119 * * [simplify]: Extracting # 1 : cost 1018 inf + 114732 3.410 * * [simplify]: Extracting # 2 : cost 20 inf + 770428 3.787 * * [simplify]: Extracting # 3 : cost 4 inf + 768041 4.124 * * [simplify]: Extracting # 4 : cost 0 inf + 766340 4.466 * * [simplify]: Extracting # 5 : cost 0 inf + 762260 4.778 * * [simplify]: Extracting # 6 : cost 0 inf + 761350 5.109 * * [simplify]: Extracting # 7 : cost 0 inf + 760947 5.465 * * [simplify]: iteration complete: 5000 enodes (cost 152 ) 5.465 * [simplify]: Simplified to: (* x (exp (* y y))) 5.465 * * [progress]: iteration 1 / 4 5.465 * * * [progress]: picking best candidate 5.469 * * * * [pick]: Picked # 5.469 * * * [progress]: localizing error 5.479 * * * [progress]: generating rewritten candidates 5.479 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.485 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.501 * * * [progress]: generating series expansions 5.501 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.502 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2)) 5.502 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 5.502 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.502 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.502 * [taylor]: Taking taylor expansion of y in y 5.502 * [backup-simplify]: Simplify 0 into 0 5.502 * [backup-simplify]: Simplify 1 into 1 5.502 * [backup-simplify]: Simplify (* 1 1) into 1 5.502 * [backup-simplify]: Simplify (exp 0) into 1 5.502 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.502 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.503 * [taylor]: Taking taylor expansion of y in y 5.503 * [backup-simplify]: Simplify 0 into 0 5.503 * [backup-simplify]: Simplify 1 into 1 5.503 * [backup-simplify]: Simplify (* 1 1) into 1 5.503 * [backup-simplify]: Simplify (exp 0) into 1 5.503 * [backup-simplify]: Simplify 1 into 1 5.504 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 5.504 * [backup-simplify]: Simplify 0 into 0 5.505 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 5.505 * [backup-simplify]: Simplify 1 into 1 5.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.508 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.508 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.512 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.512 * [backup-simplify]: Simplify 1/2 into 1/2 5.512 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 5.512 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2))) 5.513 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.513 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.513 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.513 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.513 * [taylor]: Taking taylor expansion of y in y 5.513 * [backup-simplify]: Simplify 0 into 0 5.513 * [backup-simplify]: Simplify 1 into 1 5.513 * [backup-simplify]: Simplify (* 1 1) into 1 5.513 * [backup-simplify]: Simplify (/ 1 1) into 1 5.513 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.513 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.514 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.514 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.514 * [taylor]: Taking taylor expansion of y in y 5.514 * [backup-simplify]: Simplify 0 into 0 5.514 * [backup-simplify]: Simplify 1 into 1 5.514 * [backup-simplify]: Simplify (* 1 1) into 1 5.514 * [backup-simplify]: Simplify (/ 1 1) into 1 5.514 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.515 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 5.515 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2))) 5.515 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.515 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.515 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.515 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.515 * [taylor]: Taking taylor expansion of y in y 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 1 into 1 5.516 * [backup-simplify]: Simplify (* 1 1) into 1 5.516 * [backup-simplify]: Simplify (/ 1 1) into 1 5.516 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.516 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.516 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.516 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.516 * [taylor]: Taking taylor expansion of y in y 5.516 * [backup-simplify]: Simplify 0 into 0 5.516 * [backup-simplify]: Simplify 1 into 1 5.517 * [backup-simplify]: Simplify (* 1 1) into 1 5.517 * [backup-simplify]: Simplify (/ 1 1) into 1 5.517 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.517 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.517 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.518 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 5.518 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.518 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 5.518 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 5.518 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 5.518 * [taylor]: Taking taylor expansion of x in y 5.518 * [backup-simplify]: Simplify x into x 5.518 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.518 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.518 * [taylor]: Taking taylor expansion of y in y 5.518 * [backup-simplify]: Simplify 0 into 0 5.518 * [backup-simplify]: Simplify 1 into 1 5.518 * [backup-simplify]: Simplify (* 1 1) into 1 5.518 * [backup-simplify]: Simplify (exp 0) into 1 5.518 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.518 * [taylor]: Taking taylor expansion of x in x 5.518 * [backup-simplify]: Simplify 0 into 0 5.518 * [backup-simplify]: Simplify 1 into 1 5.518 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.518 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.518 * [taylor]: Taking taylor expansion of y in x 5.518 * [backup-simplify]: Simplify y into y 5.519 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.519 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 5.519 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.519 * [taylor]: Taking taylor expansion of x in x 5.519 * [backup-simplify]: Simplify 0 into 0 5.519 * [backup-simplify]: Simplify 1 into 1 5.519 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.519 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.519 * [taylor]: Taking taylor expansion of y in x 5.519 * [backup-simplify]: Simplify y into y 5.519 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.519 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 5.519 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 5.519 * [taylor]: Taking taylor expansion of 0 in y 5.519 * [backup-simplify]: Simplify 0 into 0 5.519 * [backup-simplify]: Simplify 0 into 0 5.519 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.520 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 5.521 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 5.521 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.521 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.521 * [taylor]: Taking taylor expansion of y in y 5.521 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify 1 into 1 5.521 * [backup-simplify]: Simplify (* 1 1) into 1 5.521 * [backup-simplify]: Simplify (exp 0) into 1 5.521 * [backup-simplify]: Simplify 1 into 1 5.521 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.523 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 5.523 * [taylor]: Taking taylor expansion of 0 in y 5.523 * [backup-simplify]: Simplify 0 into 0 5.523 * [backup-simplify]: Simplify 0 into 0 5.524 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 5.524 * [backup-simplify]: Simplify 0 into 0 5.524 * [backup-simplify]: Simplify 0 into 0 5.525 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.526 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.527 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 5.527 * [taylor]: Taking taylor expansion of 0 in y 5.527 * [backup-simplify]: Simplify 0 into 0 5.528 * [backup-simplify]: Simplify 0 into 0 5.528 * [backup-simplify]: Simplify 0 into 0 5.528 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 5.528 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 5.528 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 5.528 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.528 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.528 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.528 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.528 * [taylor]: Taking taylor expansion of y in y 5.528 * [backup-simplify]: Simplify 0 into 0 5.528 * [backup-simplify]: Simplify 1 into 1 5.528 * [backup-simplify]: Simplify (* 1 1) into 1 5.529 * [backup-simplify]: Simplify (/ 1 1) into 1 5.529 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.529 * [taylor]: Taking taylor expansion of x in y 5.529 * [backup-simplify]: Simplify x into x 5.529 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 5.529 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.529 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.529 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.529 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.529 * [taylor]: Taking taylor expansion of y in x 5.529 * [backup-simplify]: Simplify y into y 5.529 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.529 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.530 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.530 * [taylor]: Taking taylor expansion of x in x 5.530 * [backup-simplify]: Simplify 0 into 0 5.530 * [backup-simplify]: Simplify 1 into 1 5.530 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.530 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.530 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.530 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.530 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.530 * [taylor]: Taking taylor expansion of y in x 5.530 * [backup-simplify]: Simplify y into y 5.530 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.530 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.530 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.530 * [taylor]: Taking taylor expansion of x in x 5.530 * [backup-simplify]: Simplify 0 into 0 5.530 * [backup-simplify]: Simplify 1 into 1 5.530 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.530 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.531 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.531 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.531 * [taylor]: Taking taylor expansion of y in y 5.531 * [backup-simplify]: Simplify 0 into 0 5.531 * [backup-simplify]: Simplify 1 into 1 5.531 * [backup-simplify]: Simplify (* 1 1) into 1 5.531 * [backup-simplify]: Simplify (/ 1 1) into 1 5.531 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.531 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.532 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.533 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 5.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 5.533 * [taylor]: Taking taylor expansion of 0 in y 5.533 * [backup-simplify]: Simplify 0 into 0 5.534 * [backup-simplify]: Simplify 0 into 0 5.534 * [backup-simplify]: Simplify 0 into 0 5.534 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.535 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.537 * [taylor]: Taking taylor expansion of 0 in y 5.537 * [backup-simplify]: Simplify 0 into 0 5.537 * [backup-simplify]: Simplify 0 into 0 5.537 * [backup-simplify]: Simplify 0 into 0 5.537 * [backup-simplify]: Simplify 0 into 0 5.538 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.539 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.541 * [taylor]: Taking taylor expansion of 0 in y 5.541 * [backup-simplify]: Simplify 0 into 0 5.541 * [backup-simplify]: Simplify 0 into 0 5.541 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 5.542 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 5.542 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 5.542 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 5.542 * [taylor]: Taking taylor expansion of -1 in y 5.542 * [backup-simplify]: Simplify -1 into -1 5.542 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.542 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.542 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.542 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.542 * [taylor]: Taking taylor expansion of y in y 5.542 * [backup-simplify]: Simplify 0 into 0 5.542 * [backup-simplify]: Simplify 1 into 1 5.542 * [backup-simplify]: Simplify (* 1 1) into 1 5.543 * [backup-simplify]: Simplify (/ 1 1) into 1 5.543 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.543 * [taylor]: Taking taylor expansion of x in y 5.543 * [backup-simplify]: Simplify x into x 5.543 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 5.543 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.543 * [taylor]: Taking taylor expansion of -1 in x 5.543 * [backup-simplify]: Simplify -1 into -1 5.543 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.543 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.543 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.543 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.543 * [taylor]: Taking taylor expansion of y in x 5.543 * [backup-simplify]: Simplify y into y 5.543 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.543 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.543 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.543 * [taylor]: Taking taylor expansion of x in x 5.544 * [backup-simplify]: Simplify 0 into 0 5.544 * [backup-simplify]: Simplify 1 into 1 5.544 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.544 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.544 * [taylor]: Taking taylor expansion of -1 in x 5.544 * [backup-simplify]: Simplify -1 into -1 5.544 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.544 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.544 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.544 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.544 * [taylor]: Taking taylor expansion of y in x 5.544 * [backup-simplify]: Simplify y into y 5.544 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.544 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.544 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.544 * [taylor]: Taking taylor expansion of x in x 5.544 * [backup-simplify]: Simplify 0 into 0 5.544 * [backup-simplify]: Simplify 1 into 1 5.544 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.545 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.545 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.545 * [taylor]: Taking taylor expansion of -1 in y 5.545 * [backup-simplify]: Simplify -1 into -1 5.545 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.545 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.545 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.545 * [taylor]: Taking taylor expansion of y in y 5.545 * [backup-simplify]: Simplify 0 into 0 5.545 * [backup-simplify]: Simplify 1 into 1 5.545 * [backup-simplify]: Simplify (* 1 1) into 1 5.545 * [backup-simplify]: Simplify (/ 1 1) into 1 5.545 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.545 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.545 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.546 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.546 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 5.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 5.547 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 5.547 * [taylor]: Taking taylor expansion of 0 in y 5.547 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify 0 into 0 5.548 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 5.548 * [backup-simplify]: Simplify 0 into 0 5.548 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.549 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.551 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 5.551 * [taylor]: Taking taylor expansion of 0 in y 5.551 * [backup-simplify]: Simplify 0 into 0 5.551 * [backup-simplify]: Simplify 0 into 0 5.551 * [backup-simplify]: Simplify 0 into 0 5.551 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 5.551 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.553 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.555 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 5.555 * [taylor]: Taking taylor expansion of 0 in y 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 5.555 * * * [progress]: simplifying candidates 5.556 * [simplify]: Simplifying: (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 5.556 * * [simplify]: Extracting # 0 : cost 26 inf + 0 5.556 * * [simplify]: Extracting # 1 : cost 38 inf + 1 5.557 * * [simplify]: Extracting # 2 : cost 36 inf + 267 5.557 * * [simplify]: Extracting # 3 : cost 20 inf + 2602 5.557 * * [simplify]: Extracting # 4 : cost 6 inf + 5417 5.558 * * [simplify]: Extracting # 5 : cost 0 inf + 7243 5.558 * * [simplify]: iteration 0 : 44 enodes (cost 6830 ) 5.572 * * [simplify]: Extracting # 0 : cost 0 inf + 7243 5.573 * * [simplify]: Extracting # 1 : cost 15 inf + 6889 5.574 * * [simplify]: Extracting # 2 : cost 0 inf + 9140 5.576 * * [simplify]: Extracting # 3 : cost 0 inf + 8118 5.577 * * [simplify]: iteration 1 : 98 enodes (cost 5553 ) 5.607 * * [simplify]: Extracting # 0 : cost 0 inf + 8118 5.609 * * [simplify]: Extracting # 1 : cost 44 inf + 7867 5.612 * * [simplify]: Extracting # 2 : cost 2 inf + 14127 5.616 * * [simplify]: Extracting # 3 : cost 0 inf + 14712 5.619 * * [simplify]: iteration 2 : 224 enodes (cost 5513 ) 5.730 * * [simplify]: Extracting # 0 : cost 0 inf + 14712 5.735 * * [simplify]: Extracting # 1 : cost 49 inf + 14332 5.742 * * [simplify]: Extracting # 2 : cost 10 inf + 21189 5.749 * * [simplify]: Extracting # 3 : cost 3 inf + 22356 5.756 * * [simplify]: Extracting # 4 : cost 0 inf + 23168 5.763 * * [simplify]: iteration 3 : 566 enodes (cost 5434 ) 6.005 * * [simplify]: Extracting # 0 : cost 0 inf + 23168 6.019 * * [simplify]: Extracting # 1 : cost 120 inf + 22687 6.039 * * [simplify]: Extracting # 2 : cost 24 inf + 55430 6.066 * * [simplify]: Extracting # 3 : cost 2 inf + 60458 6.093 * * [simplify]: Extracting # 4 : cost 0 inf + 61334 6.121 * * [simplify]: iteration 4 : 1092 enodes (cost 5434 ) 7.299 * * [simplify]: Extracting # 0 : cost 0 inf + 61334 7.330 * * [simplify]: Extracting # 1 : cost 335 inf + 59728 7.406 * * [simplify]: Extracting # 2 : cost 30 inf + 184396 7.491 * * [simplify]: Extracting # 3 : cost 9 inf + 190060 7.570 * * [simplify]: Extracting # 4 : cost 0 inf + 193545 7.651 * * [simplify]: iteration 5 : 2899 enodes (cost 5434 ) 8.367 * * [simplify]: Extracting # 0 : cost 0 inf + 193545 8.478 * * [simplify]: Extracting # 1 : cost 914 inf + 184279 8.612 * * [simplify]: Extracting # 2 : cost 110 inf + 556777 8.774 * * [simplify]: Extracting # 3 : cost 30 inf + 566308 8.936 * * [simplify]: Extracting # 4 : cost 0 inf + 578582 9.087 * * [simplify]: iteration complete: 5000 enodes (cost 5434 ) 9.087 * [simplify]: Simplified to: (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (exp (* 3 (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* x (exp (* y y))) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (+ (+ 1 (* y y)) (* 1/2 (* (* y y) (* y y)))) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 9.088 * * * [progress]: adding candidates to table 9.185 * * [progress]: iteration 2 / 4 9.185 * * * [progress]: picking best candidate 9.192 * * * * [pick]: Picked # 9.192 * * * [progress]: localizing error 9.206 * * * [progress]: generating rewritten candidates 9.206 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.229 * * * [progress]: generating series expansions 9.229 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.229 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y)) 9.229 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 9.229 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 9.229 * [taylor]: Taking taylor expansion of x in y 9.229 * [backup-simplify]: Simplify x into x 9.229 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 9.229 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 9.229 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 9.229 * [taylor]: Taking taylor expansion of y in y 9.229 * [backup-simplify]: Simplify 0 into 0 9.229 * [backup-simplify]: Simplify 1 into 1 9.229 * [taylor]: Taking taylor expansion of (log (exp y)) in y 9.229 * [taylor]: Taking taylor expansion of (exp y) in y 9.229 * [taylor]: Taking taylor expansion of y in y 9.229 * [backup-simplify]: Simplify 0 into 0 9.229 * [backup-simplify]: Simplify 1 into 1 9.229 * [backup-simplify]: Simplify (exp 0) into 1 9.230 * [backup-simplify]: Simplify (log 1) into 0 9.230 * [backup-simplify]: Simplify (* 0 0) into 0 9.234 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.236 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.236 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 9.238 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.240 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 9.241 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 9.241 * [backup-simplify]: Simplify (exp 0) into 1 9.241 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 9.241 * [taylor]: Taking taylor expansion of x in x 9.241 * [backup-simplify]: Simplify 0 into 0 9.241 * [backup-simplify]: Simplify 1 into 1 9.241 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 9.241 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 9.241 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 9.241 * [taylor]: Taking taylor expansion of y in x 9.241 * [backup-simplify]: Simplify y into y 9.241 * [taylor]: Taking taylor expansion of (log (exp y)) in x 9.241 * [taylor]: Taking taylor expansion of (exp y) in x 9.241 * [taylor]: Taking taylor expansion of y in x 9.241 * [backup-simplify]: Simplify y into y 9.242 * [backup-simplify]: Simplify (exp y) into (exp y) 9.242 * [backup-simplify]: Simplify (log (exp y)) into y 9.242 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.242 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 9.242 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 9.242 * [taylor]: Taking taylor expansion of x in x 9.242 * [backup-simplify]: Simplify 0 into 0 9.242 * [backup-simplify]: Simplify 1 into 1 9.242 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 9.242 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 9.242 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 9.242 * [taylor]: Taking taylor expansion of y in x 9.242 * [backup-simplify]: Simplify y into y 9.242 * [taylor]: Taking taylor expansion of (log (exp y)) in x 9.242 * [taylor]: Taking taylor expansion of (exp y) in x 9.242 * [taylor]: Taking taylor expansion of y in x 9.242 * [backup-simplify]: Simplify y into y 9.242 * [backup-simplify]: Simplify (exp y) into (exp y) 9.243 * [backup-simplify]: Simplify (log (exp y)) into y 9.243 * [backup-simplify]: Simplify (* y y) into (pow y 2) 9.243 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 9.243 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 9.243 * [taylor]: Taking taylor expansion of 0 in y 9.243 * [backup-simplify]: Simplify 0 into 0 9.243 * [backup-simplify]: Simplify 0 into 0 9.244 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 9.245 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 9.245 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 9.246 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 9.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 9.247 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.247 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.247 * [taylor]: Taking taylor expansion of y in y 9.247 * [backup-simplify]: Simplify 0 into 0 9.247 * [backup-simplify]: Simplify 1 into 1 9.247 * [backup-simplify]: Simplify (* 1 1) into 1 9.247 * [backup-simplify]: Simplify (exp 0) into 1 9.247 * [backup-simplify]: Simplify 1 into 1 9.247 * [backup-simplify]: Simplify 0 into 0 9.248 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.250 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0 9.251 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 9.253 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.253 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 9.253 * [taylor]: Taking taylor expansion of 0 in y 9.253 * [backup-simplify]: Simplify 0 into 0 9.254 * [backup-simplify]: Simplify 0 into 0 9.254 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 9.255 * [backup-simplify]: Simplify 0 into 0 9.255 * [backup-simplify]: Simplify 0 into 0 9.256 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.259 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0 9.260 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 9.261 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.263 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 9.263 * [taylor]: Taking taylor expansion of 0 in y 9.263 * [backup-simplify]: Simplify 0 into 0 9.263 * [backup-simplify]: Simplify 0 into 0 9.263 * [backup-simplify]: Simplify 0 into 0 9.263 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 9.263 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 9.263 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 9.263 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 9.263 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 9.263 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 9.263 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 9.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.263 * [taylor]: Taking taylor expansion of y in y 9.263 * [backup-simplify]: Simplify 0 into 0 9.263 * [backup-simplify]: Simplify 1 into 1 9.264 * [backup-simplify]: Simplify (/ 1 1) into 1 9.264 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 9.264 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.264 * [taylor]: Taking taylor expansion of y in y 9.264 * [backup-simplify]: Simplify 0 into 0 9.264 * [backup-simplify]: Simplify 1 into 1 9.264 * [backup-simplify]: Simplify (/ 1 1) into 1 9.264 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.264 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 9.265 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 9.265 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 9.265 * [taylor]: Taking taylor expansion of x in y 9.265 * [backup-simplify]: Simplify x into x 9.265 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 9.265 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 9.265 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 9.265 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 9.265 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 9.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.265 * [taylor]: Taking taylor expansion of y in x 9.265 * [backup-simplify]: Simplify y into y 9.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.265 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 9.265 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 9.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.265 * [taylor]: Taking taylor expansion of y in x 9.265 * [backup-simplify]: Simplify y into y 9.265 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.266 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.266 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 9.266 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 9.266 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.266 * [taylor]: Taking taylor expansion of x in x 9.266 * [backup-simplify]: Simplify 0 into 0 9.266 * [backup-simplify]: Simplify 1 into 1 9.266 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 9.266 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 9.266 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 9.266 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 9.266 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 9.266 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.266 * [taylor]: Taking taylor expansion of y in x 9.266 * [backup-simplify]: Simplify y into y 9.266 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.267 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 9.267 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 9.267 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.267 * [taylor]: Taking taylor expansion of y in x 9.267 * [backup-simplify]: Simplify y into y 9.267 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.267 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.267 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 9.267 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 9.267 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.267 * [taylor]: Taking taylor expansion of x in x 9.267 * [backup-simplify]: Simplify 0 into 0 9.267 * [backup-simplify]: Simplify 1 into 1 9.267 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 9.268 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.268 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.268 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.268 * [taylor]: Taking taylor expansion of y in y 9.268 * [backup-simplify]: Simplify 0 into 0 9.268 * [backup-simplify]: Simplify 1 into 1 9.268 * [backup-simplify]: Simplify (* 1 1) into 1 9.268 * [backup-simplify]: Simplify (/ 1 1) into 1 9.269 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.269 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.270 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 9.271 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 9.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.271 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 9.272 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 9.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 9.273 * [taylor]: Taking taylor expansion of 0 in y 9.273 * [backup-simplify]: Simplify 0 into 0 9.273 * [backup-simplify]: Simplify 0 into 0 9.273 * [backup-simplify]: Simplify 0 into 0 9.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.274 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.276 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 9.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.277 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.278 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.279 * [taylor]: Taking taylor expansion of 0 in y 9.279 * [backup-simplify]: Simplify 0 into 0 9.279 * [backup-simplify]: Simplify 0 into 0 9.280 * [backup-simplify]: Simplify 0 into 0 9.280 * [backup-simplify]: Simplify 0 into 0 9.280 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.281 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.284 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 9.284 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.285 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 9.287 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.288 * [taylor]: Taking taylor expansion of 0 in y 9.288 * [backup-simplify]: Simplify 0 into 0 9.288 * [backup-simplify]: Simplify 0 into 0 9.288 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 9.288 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 9.288 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 9.288 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 9.288 * [taylor]: Taking taylor expansion of -1 in y 9.289 * [backup-simplify]: Simplify -1 into -1 9.289 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 9.289 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 9.289 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 9.289 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 9.289 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.289 * [taylor]: Taking taylor expansion of -1 in y 9.289 * [backup-simplify]: Simplify -1 into -1 9.289 * [taylor]: Taking taylor expansion of y in y 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 1 into 1 9.289 * [backup-simplify]: Simplify (/ -1 1) into -1 9.289 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 9.289 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.289 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.289 * [taylor]: Taking taylor expansion of -1 in y 9.289 * [backup-simplify]: Simplify -1 into -1 9.289 * [taylor]: Taking taylor expansion of y in y 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 1 into 1 9.289 * [backup-simplify]: Simplify (/ -1 1) into -1 9.290 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.290 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 9.290 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 9.290 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 9.290 * [taylor]: Taking taylor expansion of x in y 9.290 * [backup-simplify]: Simplify x into x 9.290 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 9.290 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 9.290 * [taylor]: Taking taylor expansion of -1 in x 9.290 * [backup-simplify]: Simplify -1 into -1 9.290 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 9.290 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 9.290 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 9.290 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 9.290 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.290 * [taylor]: Taking taylor expansion of -1 in x 9.290 * [backup-simplify]: Simplify -1 into -1 9.290 * [taylor]: Taking taylor expansion of y in x 9.290 * [backup-simplify]: Simplify y into y 9.290 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.290 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 9.290 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 9.290 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.290 * [taylor]: Taking taylor expansion of -1 in x 9.290 * [backup-simplify]: Simplify -1 into -1 9.290 * [taylor]: Taking taylor expansion of y in x 9.290 * [backup-simplify]: Simplify y into y 9.290 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.290 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.290 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 9.291 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 9.291 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.291 * [taylor]: Taking taylor expansion of x in x 9.291 * [backup-simplify]: Simplify 0 into 0 9.291 * [backup-simplify]: Simplify 1 into 1 9.291 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 9.291 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 9.291 * [taylor]: Taking taylor expansion of -1 in x 9.291 * [backup-simplify]: Simplify -1 into -1 9.291 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 9.291 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 9.291 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 9.291 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 9.291 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.291 * [taylor]: Taking taylor expansion of -1 in x 9.291 * [backup-simplify]: Simplify -1 into -1 9.291 * [taylor]: Taking taylor expansion of y in x 9.291 * [backup-simplify]: Simplify y into y 9.291 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.291 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 9.291 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 9.291 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.291 * [taylor]: Taking taylor expansion of -1 in x 9.291 * [backup-simplify]: Simplify -1 into -1 9.291 * [taylor]: Taking taylor expansion of y in x 9.291 * [backup-simplify]: Simplify y into y 9.291 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.291 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.291 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 9.291 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 9.291 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.291 * [taylor]: Taking taylor expansion of x in x 9.291 * [backup-simplify]: Simplify 0 into 0 9.292 * [backup-simplify]: Simplify 1 into 1 9.292 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 9.292 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 9.292 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 9.292 * [taylor]: Taking taylor expansion of -1 in y 9.292 * [backup-simplify]: Simplify -1 into -1 9.292 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.292 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.292 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.292 * [taylor]: Taking taylor expansion of y in y 9.292 * [backup-simplify]: Simplify 0 into 0 9.292 * [backup-simplify]: Simplify 1 into 1 9.292 * [backup-simplify]: Simplify (* 1 1) into 1 9.292 * [backup-simplify]: Simplify (/ 1 1) into 1 9.293 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 9.293 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 9.293 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 9.293 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 9.293 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 9.294 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 9.294 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 9.294 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 9.295 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 9.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 9.296 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 9.296 * [taylor]: Taking taylor expansion of 0 in y 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.299 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.301 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 9.301 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.301 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 9.303 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.305 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 9.305 * [taylor]: Taking taylor expansion of 0 in y 9.305 * [backup-simplify]: Simplify 0 into 0 9.305 * [backup-simplify]: Simplify 0 into 0 9.305 * [backup-simplify]: Simplify 0 into 0 9.306 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 9.306 * [backup-simplify]: Simplify 0 into 0 9.306 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.307 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.309 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 9.309 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.310 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 9.311 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.312 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 9.313 * [taylor]: Taking taylor expansion of 0 in y 9.313 * [backup-simplify]: Simplify 0 into 0 9.313 * [backup-simplify]: Simplify 0 into 0 9.313 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 9.313 * * * [progress]: simplifying candidates 9.313 * [simplify]: Simplifying: (+ (log x) (* y y)) (+ (log x) (* (log (exp y)) y)) (+ (log x) (log (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) (* x 1) (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 9.314 * * [simplify]: Extracting # 0 : cost 25 inf + 0 9.314 * * [simplify]: Extracting # 1 : cost 42 inf + 1 9.314 * * [simplify]: Extracting # 2 : cost 47 inf + 237 9.314 * * [simplify]: Extracting # 3 : cost 36 inf + 2345 9.314 * * [simplify]: Extracting # 4 : cost 15 inf + 8920 9.315 * * [simplify]: Extracting # 5 : cost 4 inf + 12809 9.316 * * [simplify]: Extracting # 6 : cost 0 inf + 14419 9.316 * * [simplify]: iteration 0 : 55 enodes (cost 10555 ) 9.329 * * [simplify]: Extracting # 0 : cost 0 inf + 14419 9.330 * * [simplify]: Extracting # 1 : cost 18 inf + 12884 9.331 * * [simplify]: Extracting # 2 : cost 17 inf + 14819 9.332 * * [simplify]: Extracting # 3 : cost 1 inf + 17659 9.334 * * [simplify]: Extracting # 4 : cost 0 inf + 18021 9.335 * * [simplify]: iteration 1 : 121 enodes (cost 9230 ) 9.357 * * [simplify]: Extracting # 0 : cost 0 inf + 18021 9.360 * * [simplify]: Extracting # 1 : cost 66 inf + 17599 9.364 * * [simplify]: Extracting # 2 : cost 18 inf + 39126 9.370 * * [simplify]: Extracting # 3 : cost 5 inf + 41555 9.376 * * [simplify]: Extracting # 4 : cost 0 inf + 43686 9.381 * * [simplify]: iteration 2 : 290 enodes (cost 9230 ) 9.502 * * [simplify]: Extracting # 0 : cost 0 inf + 43686 9.509 * * [simplify]: Extracting # 1 : cost 191 inf + 41675 9.523 * * [simplify]: Extracting # 2 : cost 28 inf + 121066 9.559 * * [simplify]: Extracting # 3 : cost 5 inf + 124502 9.592 * * [simplify]: Extracting # 4 : cost 0 inf + 126667 9.624 * * [simplify]: iteration 3 : 897 enodes (cost 9150 ) 12.150 * * [simplify]: Extracting # 0 : cost 0 inf + 126667 12.227 * * [simplify]: Extracting # 1 : cost 387 inf + 114234 12.321 * * [simplify]: Extracting # 2 : cost 32 inf + 311659 12.439 * * [simplify]: Extracting # 3 : cost 10 inf + 307544 12.625 * * [simplify]: Extracting # 4 : cost 0 inf + 308340 12.756 * * [simplify]: iteration 4 : 4427 enodes (cost 6770 ) 13.856 * * [simplify]: Extracting # 0 : cost 0 inf + 308340 13.989 * * [simplify]: Extracting # 1 : cost 248 inf + 305410 14.137 * * [simplify]: Extracting # 2 : cost 0 inf + 424342 14.351 * * [simplify]: Extracting # 3 : cost 0 inf + 424080 14.499 * * [simplify]: iteration complete: 5004 enodes (cost 6770 ) 14.500 * [simplify]: Simplified to: (+ (log x) (* y y)) (+ (* y y) (log x)) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* (exp (* y y)) x)) (* (* (exp (* y y)) x) (* (* (exp (* y y)) x) (* (exp (* y y)) x))) (* (cbrt (* (exp (* y y)) x)) (cbrt (* (exp (* y y)) x))) (cbrt (* (exp (* y y)) x)) (* (* (exp (* y y)) x) (* (* (exp (* y y)) x) (* (exp (* y y)) x))) (sqrt (* (exp (* y y)) x)) (sqrt (* (exp (* y y)) x)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* (cbrt (exp (* y y))) (* (cbrt (exp (* y y))) x)) (* x (sqrt (exp (* y y)))) x (* x (pow (exp y) (/ y 2))) (* (exp (* y y)) (cbrt x)) (* (sqrt x) (exp (* y y))) (* (exp (* y y)) x) x (* (exp (* y y)) x) (* (exp (* y y)) x) 14.500 * * * [progress]: adding candidates to table 14.620 * * [progress]: iteration 3 / 4 14.620 * * * [progress]: picking best candidate 14.624 * * * * [pick]: Picked # 14.624 * * * [progress]: localizing error 14.643 * * * [progress]: generating rewritten candidates 14.643 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 14.708 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 14.733 * * * [progress]: generating series expansions 14.733 * * * * [progress]: [ 1 / 2 ] generating series at (2) 14.733 * [backup-simplify]: Simplify (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y))) into (* x (pow (exp y) y)) 14.733 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 14.733 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 14.733 * [taylor]: Taking taylor expansion of x in y 14.733 * [backup-simplify]: Simplify x into x 14.733 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 14.733 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 14.733 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 14.733 * [taylor]: Taking taylor expansion of y in y 14.733 * [backup-simplify]: Simplify 0 into 0 14.733 * [backup-simplify]: Simplify 1 into 1 14.733 * [taylor]: Taking taylor expansion of (log (exp y)) in y 14.733 * [taylor]: Taking taylor expansion of (exp y) in y 14.733 * [taylor]: Taking taylor expansion of y in y 14.733 * [backup-simplify]: Simplify 0 into 0 14.733 * [backup-simplify]: Simplify 1 into 1 14.733 * [backup-simplify]: Simplify (exp 0) into 1 14.734 * [backup-simplify]: Simplify (log 1) into 0 14.734 * [backup-simplify]: Simplify (* 0 0) into 0 14.735 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.736 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.736 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 14.737 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 14.739 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 14.739 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 14.739 * [backup-simplify]: Simplify (exp 0) into 1 14.739 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 14.739 * [taylor]: Taking taylor expansion of x in x 14.739 * [backup-simplify]: Simplify 0 into 0 14.739 * [backup-simplify]: Simplify 1 into 1 14.739 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 14.739 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 14.739 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 14.739 * [taylor]: Taking taylor expansion of y in x 14.739 * [backup-simplify]: Simplify y into y 14.739 * [taylor]: Taking taylor expansion of (log (exp y)) in x 14.739 * [taylor]: Taking taylor expansion of (exp y) in x 14.739 * [taylor]: Taking taylor expansion of y in x 14.739 * [backup-simplify]: Simplify y into y 14.739 * [backup-simplify]: Simplify (exp y) into (exp y) 14.739 * [backup-simplify]: Simplify (log (exp y)) into y 14.739 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.740 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 14.740 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 14.740 * [taylor]: Taking taylor expansion of x in x 14.740 * [backup-simplify]: Simplify 0 into 0 14.740 * [backup-simplify]: Simplify 1 into 1 14.740 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 14.740 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 14.740 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 14.740 * [taylor]: Taking taylor expansion of y in x 14.740 * [backup-simplify]: Simplify y into y 14.740 * [taylor]: Taking taylor expansion of (log (exp y)) in x 14.740 * [taylor]: Taking taylor expansion of (exp y) in x 14.740 * [taylor]: Taking taylor expansion of y in x 14.740 * [backup-simplify]: Simplify y into y 14.740 * [backup-simplify]: Simplify (exp y) into (exp y) 14.740 * [backup-simplify]: Simplify (log (exp y)) into y 14.740 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.740 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 14.740 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 14.740 * [taylor]: Taking taylor expansion of 0 in y 14.740 * [backup-simplify]: Simplify 0 into 0 14.740 * [backup-simplify]: Simplify 0 into 0 14.741 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 14.741 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 14.741 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.742 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 14.742 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 14.743 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 14.743 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.743 * [taylor]: Taking taylor expansion of y in y 14.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [backup-simplify]: Simplify 1 into 1 14.743 * [backup-simplify]: Simplify (* 1 1) into 1 14.743 * [backup-simplify]: Simplify (exp 0) into 1 14.743 * [backup-simplify]: Simplify 1 into 1 14.743 * [backup-simplify]: Simplify 0 into 0 14.745 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.746 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0 14.747 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.749 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.750 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 14.750 * [taylor]: Taking taylor expansion of 0 in y 14.750 * [backup-simplify]: Simplify 0 into 0 14.750 * [backup-simplify]: Simplify 0 into 0 14.751 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 14.751 * [backup-simplify]: Simplify 0 into 0 14.751 * [backup-simplify]: Simplify 0 into 0 14.753 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.756 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0 14.757 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.758 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.760 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 14.760 * [taylor]: Taking taylor expansion of 0 in y 14.760 * [backup-simplify]: Simplify 0 into 0 14.760 * [backup-simplify]: Simplify 0 into 0 14.760 * [backup-simplify]: Simplify 0 into 0 14.760 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 14.761 * [backup-simplify]: Simplify (* (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 14.761 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 14.761 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 14.761 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 14.761 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 14.761 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 14.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.761 * [taylor]: Taking taylor expansion of y in y 14.761 * [backup-simplify]: Simplify 0 into 0 14.761 * [backup-simplify]: Simplify 1 into 1 14.761 * [backup-simplify]: Simplify (/ 1 1) into 1 14.761 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 14.761 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 14.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.761 * [taylor]: Taking taylor expansion of y in y 14.761 * [backup-simplify]: Simplify 0 into 0 14.761 * [backup-simplify]: Simplify 1 into 1 14.762 * [backup-simplify]: Simplify (/ 1 1) into 1 14.762 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 14.762 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 14.762 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 14.762 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 14.762 * [taylor]: Taking taylor expansion of x in y 14.762 * [backup-simplify]: Simplify x into x 14.763 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 14.763 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 14.763 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 14.763 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 14.763 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 14.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.763 * [taylor]: Taking taylor expansion of y in x 14.763 * [backup-simplify]: Simplify y into y 14.763 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.763 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 14.763 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 14.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.763 * [taylor]: Taking taylor expansion of y in x 14.763 * [backup-simplify]: Simplify y into y 14.763 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.763 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 14.763 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 14.763 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 14.764 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.764 * [taylor]: Taking taylor expansion of x in x 14.764 * [backup-simplify]: Simplify 0 into 0 14.764 * [backup-simplify]: Simplify 1 into 1 14.764 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 14.764 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 14.764 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 14.764 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 14.764 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 14.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.764 * [taylor]: Taking taylor expansion of y in x 14.764 * [backup-simplify]: Simplify y into y 14.764 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.764 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 14.764 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 14.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.764 * [taylor]: Taking taylor expansion of y in x 14.764 * [backup-simplify]: Simplify y into y 14.764 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.764 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 14.765 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 14.765 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 14.765 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.765 * [taylor]: Taking taylor expansion of x in x 14.765 * [backup-simplify]: Simplify 0 into 0 14.765 * [backup-simplify]: Simplify 1 into 1 14.765 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 14.765 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 14.765 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.765 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.765 * [taylor]: Taking taylor expansion of y in y 14.765 * [backup-simplify]: Simplify 0 into 0 14.765 * [backup-simplify]: Simplify 1 into 1 14.766 * [backup-simplify]: Simplify (* 1 1) into 1 14.766 * [backup-simplify]: Simplify (/ 1 1) into 1 14.767 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.767 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.768 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 14.769 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 14.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.769 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 14.770 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 14.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 14.771 * [taylor]: Taking taylor expansion of 0 in y 14.771 * [backup-simplify]: Simplify 0 into 0 14.771 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify 0 into 0 14.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.773 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.775 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 14.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.776 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 14.778 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.779 * [taylor]: Taking taylor expansion of 0 in y 14.779 * [backup-simplify]: Simplify 0 into 0 14.779 * [backup-simplify]: Simplify 0 into 0 14.780 * [backup-simplify]: Simplify 0 into 0 14.780 * [backup-simplify]: Simplify 0 into 0 14.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.782 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.785 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 14.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.786 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 14.788 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.790 * [taylor]: Taking taylor expansion of 0 in y 14.791 * [backup-simplify]: Simplify 0 into 0 14.791 * [backup-simplify]: Simplify 0 into 0 14.791 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 14.791 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (sqrt (pow (exp (/ 1 (- y))) (/ 1 (- y))))) (sqrt (pow (exp (/ 1 (- y))) (/ 1 (- y))))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 14.791 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 14.792 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 14.792 * [taylor]: Taking taylor expansion of -1 in y 14.792 * [backup-simplify]: Simplify -1 into -1 14.792 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 14.792 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 14.792 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 14.792 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 14.792 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.792 * [taylor]: Taking taylor expansion of -1 in y 14.792 * [backup-simplify]: Simplify -1 into -1 14.792 * [taylor]: Taking taylor expansion of y in y 14.792 * [backup-simplify]: Simplify 0 into 0 14.792 * [backup-simplify]: Simplify 1 into 1 14.792 * [backup-simplify]: Simplify (/ -1 1) into -1 14.792 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 14.792 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 14.792 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.792 * [taylor]: Taking taylor expansion of -1 in y 14.793 * [backup-simplify]: Simplify -1 into -1 14.793 * [taylor]: Taking taylor expansion of y in y 14.793 * [backup-simplify]: Simplify 0 into 0 14.793 * [backup-simplify]: Simplify 1 into 1 14.793 * [backup-simplify]: Simplify (/ -1 1) into -1 14.793 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 14.793 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 14.793 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 14.794 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 14.794 * [taylor]: Taking taylor expansion of x in y 14.794 * [backup-simplify]: Simplify x into x 14.794 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 14.794 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 14.794 * [taylor]: Taking taylor expansion of -1 in x 14.794 * [backup-simplify]: Simplify -1 into -1 14.794 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 14.794 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 14.794 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 14.794 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 14.794 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.794 * [taylor]: Taking taylor expansion of -1 in x 14.794 * [backup-simplify]: Simplify -1 into -1 14.794 * [taylor]: Taking taylor expansion of y in x 14.794 * [backup-simplify]: Simplify y into y 14.794 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.794 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 14.794 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 14.794 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.794 * [taylor]: Taking taylor expansion of -1 in x 14.794 * [backup-simplify]: Simplify -1 into -1 14.794 * [taylor]: Taking taylor expansion of y in x 14.795 * [backup-simplify]: Simplify y into y 14.795 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.795 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 14.795 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 14.795 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 14.795 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.795 * [taylor]: Taking taylor expansion of x in x 14.795 * [backup-simplify]: Simplify 0 into 0 14.795 * [backup-simplify]: Simplify 1 into 1 14.795 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 14.795 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 14.795 * [taylor]: Taking taylor expansion of -1 in x 14.795 * [backup-simplify]: Simplify -1 into -1 14.795 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 14.795 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 14.796 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 14.796 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 14.796 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.796 * [taylor]: Taking taylor expansion of -1 in x 14.796 * [backup-simplify]: Simplify -1 into -1 14.796 * [taylor]: Taking taylor expansion of y in x 14.796 * [backup-simplify]: Simplify y into y 14.796 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.796 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 14.796 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 14.796 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.796 * [taylor]: Taking taylor expansion of -1 in x 14.796 * [backup-simplify]: Simplify -1 into -1 14.796 * [taylor]: Taking taylor expansion of y in x 14.796 * [backup-simplify]: Simplify y into y 14.796 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.796 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 14.796 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 14.796 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 14.796 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.797 * [taylor]: Taking taylor expansion of x in x 14.797 * [backup-simplify]: Simplify 0 into 0 14.797 * [backup-simplify]: Simplify 1 into 1 14.797 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 14.797 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 14.797 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 14.797 * [taylor]: Taking taylor expansion of -1 in y 14.797 * [backup-simplify]: Simplify -1 into -1 14.797 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 14.797 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.797 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.797 * [taylor]: Taking taylor expansion of y in y 14.797 * [backup-simplify]: Simplify 0 into 0 14.797 * [backup-simplify]: Simplify 1 into 1 14.798 * [backup-simplify]: Simplify (* 1 1) into 1 14.798 * [backup-simplify]: Simplify (/ 1 1) into 1 14.798 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.799 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 14.799 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 14.799 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.800 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 14.801 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 14.801 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.801 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 14.803 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 14.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 14.804 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 14.804 * [taylor]: Taking taylor expansion of 0 in y 14.804 * [backup-simplify]: Simplify 0 into 0 14.804 * [backup-simplify]: Simplify 0 into 0 14.805 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 14.805 * [backup-simplify]: Simplify 0 into 0 14.805 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.807 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.809 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 14.809 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.810 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 14.811 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.813 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 14.813 * [taylor]: Taking taylor expansion of 0 in y 14.813 * [backup-simplify]: Simplify 0 into 0 14.813 * [backup-simplify]: Simplify 0 into 0 14.814 * [backup-simplify]: Simplify 0 into 0 14.814 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 14.815 * [backup-simplify]: Simplify 0 into 0 14.815 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.817 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.820 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 14.820 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.821 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 14.823 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.826 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 14.826 * [taylor]: Taking taylor expansion of 0 in y 14.826 * [backup-simplify]: Simplify 0 into 0 14.826 * [backup-simplify]: Simplify 0 into 0 14.827 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 14.827 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 14.827 * [backup-simplify]: Simplify (* x (sqrt (pow (exp y) y))) into (* x (sqrt (pow (exp y) y))) 14.827 * [approximate]: Taking taylor expansion of (* x (sqrt (pow (exp y) y))) in (x y) around 0 14.827 * [taylor]: Taking taylor expansion of (* x (sqrt (pow (exp y) y))) in y 14.827 * [taylor]: Taking taylor expansion of x in y 14.827 * [backup-simplify]: Simplify x into x 14.827 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in y 14.827 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 14.827 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 14.827 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 14.827 * [taylor]: Taking taylor expansion of y in y 14.827 * [backup-simplify]: Simplify 0 into 0 14.827 * [backup-simplify]: Simplify 1 into 1 14.827 * [taylor]: Taking taylor expansion of (log (exp y)) in y 14.827 * [taylor]: Taking taylor expansion of (exp y) in y 14.827 * [taylor]: Taking taylor expansion of y in y 14.827 * [backup-simplify]: Simplify 0 into 0 14.827 * [backup-simplify]: Simplify 1 into 1 14.827 * [backup-simplify]: Simplify (exp 0) into 1 14.828 * [backup-simplify]: Simplify (log 1) into 0 14.828 * [backup-simplify]: Simplify (* 0 0) into 0 14.829 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.830 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.831 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 14.833 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 14.836 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 14.837 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 14.837 * [backup-simplify]: Simplify (exp 0) into 1 14.837 * [backup-simplify]: Simplify (sqrt 1) into 1 14.838 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 14.839 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 14.839 * [taylor]: Taking taylor expansion of (* x (sqrt (pow (exp y) y))) in x 14.839 * [taylor]: Taking taylor expansion of x in x 14.839 * [backup-simplify]: Simplify 0 into 0 14.839 * [backup-simplify]: Simplify 1 into 1 14.839 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in x 14.839 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 14.839 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 14.839 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 14.839 * [taylor]: Taking taylor expansion of y in x 14.840 * [backup-simplify]: Simplify y into y 14.840 * [taylor]: Taking taylor expansion of (log (exp y)) in x 14.840 * [taylor]: Taking taylor expansion of (exp y) in x 14.840 * [taylor]: Taking taylor expansion of y in x 14.840 * [backup-simplify]: Simplify y into y 14.840 * [backup-simplify]: Simplify (exp y) into (exp y) 14.840 * [backup-simplify]: Simplify (log (exp y)) into y 14.840 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.840 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 14.840 * [backup-simplify]: Simplify (sqrt (exp (pow y 2))) into (sqrt (exp (pow y 2))) 14.841 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 14.842 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 14.842 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.843 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 14.843 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (pow y 2))))) into 0 14.843 * [taylor]: Taking taylor expansion of (* x (sqrt (pow (exp y) y))) in x 14.843 * [taylor]: Taking taylor expansion of x in x 14.843 * [backup-simplify]: Simplify 0 into 0 14.843 * [backup-simplify]: Simplify 1 into 1 14.843 * [taylor]: Taking taylor expansion of (sqrt (pow (exp y) y)) in x 14.843 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 14.843 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 14.844 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 14.844 * [taylor]: Taking taylor expansion of y in x 14.844 * [backup-simplify]: Simplify y into y 14.844 * [taylor]: Taking taylor expansion of (log (exp y)) in x 14.844 * [taylor]: Taking taylor expansion of (exp y) in x 14.844 * [taylor]: Taking taylor expansion of y in x 14.844 * [backup-simplify]: Simplify y into y 14.844 * [backup-simplify]: Simplify (exp y) into (exp y) 14.844 * [backup-simplify]: Simplify (log (exp y)) into y 14.844 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.844 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 14.844 * [backup-simplify]: Simplify (sqrt (exp (pow y 2))) into (sqrt (exp (pow y 2))) 14.845 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 14.846 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 14.846 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.847 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 14.847 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (pow y 2))))) into 0 14.847 * [backup-simplify]: Simplify (* 0 (sqrt (exp (pow y 2)))) into 0 14.847 * [taylor]: Taking taylor expansion of 0 in y 14.847 * [backup-simplify]: Simplify 0 into 0 14.847 * [backup-simplify]: Simplify 0 into 0 14.848 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt (exp (pow y 2))))) into (sqrt (exp (pow y 2))) 14.848 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 14.848 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 14.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.848 * [taylor]: Taking taylor expansion of y in y 14.848 * [backup-simplify]: Simplify 0 into 0 14.848 * [backup-simplify]: Simplify 1 into 1 14.848 * [backup-simplify]: Simplify (* 1 1) into 1 14.849 * [backup-simplify]: Simplify (exp 0) into 1 14.849 * [backup-simplify]: Simplify (sqrt 1) into 1 14.850 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 14.851 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 14.851 * [backup-simplify]: Simplify 1 into 1 14.851 * [backup-simplify]: Simplify 0 into 0 14.852 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.854 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0 14.854 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.856 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.856 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (pow y 2))))) into 0 14.857 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt (exp (pow y 2)))))) into 0 14.857 * [taylor]: Taking taylor expansion of 0 in y 14.857 * [backup-simplify]: Simplify 0 into 0 14.858 * [backup-simplify]: Simplify 0 into 0 14.858 * [backup-simplify]: Simplify 0 into 0 14.858 * [backup-simplify]: Simplify 0 into 0 14.859 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.862 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0 14.863 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.865 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.866 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (pow y 2))))) into 0 14.867 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (exp (pow y 2))))))) into 0 14.867 * [taylor]: Taking taylor expansion of 0 in y 14.867 * [backup-simplify]: Simplify 0 into 0 14.867 * [backup-simplify]: Simplify 0 into 0 14.867 * [backup-simplify]: Simplify 0 into 0 14.867 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 14.868 * [backup-simplify]: Simplify (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) into (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) 14.868 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) in (x y) around 0 14.868 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) in y 14.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.868 * [taylor]: Taking taylor expansion of x in y 14.868 * [backup-simplify]: Simplify x into x 14.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.868 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in y 14.868 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 14.868 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 14.868 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 14.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.868 * [taylor]: Taking taylor expansion of y in y 14.868 * [backup-simplify]: Simplify 0 into 0 14.868 * [backup-simplify]: Simplify 1 into 1 14.871 * [backup-simplify]: Simplify (/ 1 1) into 1 14.871 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 14.871 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 14.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.871 * [taylor]: Taking taylor expansion of y in y 14.871 * [backup-simplify]: Simplify 0 into 0 14.871 * [backup-simplify]: Simplify 1 into 1 14.871 * [backup-simplify]: Simplify (/ 1 1) into 1 14.872 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 14.872 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 14.872 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 14.872 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 14.872 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.872 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.873 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) in x 14.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.873 * [taylor]: Taking taylor expansion of x in x 14.873 * [backup-simplify]: Simplify 0 into 0 14.873 * [backup-simplify]: Simplify 1 into 1 14.873 * [backup-simplify]: Simplify (/ 1 1) into 1 14.873 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in x 14.873 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 14.873 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 14.873 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 14.873 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.873 * [taylor]: Taking taylor expansion of y in x 14.873 * [backup-simplify]: Simplify y into y 14.873 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.873 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 14.873 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 14.873 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.873 * [taylor]: Taking taylor expansion of y in x 14.873 * [backup-simplify]: Simplify y into y 14.873 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.874 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 14.874 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 14.874 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 14.874 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.874 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.876 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 14.876 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 14.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.877 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 14.878 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 14.878 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.878 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ 1 y)) (/ 1 y)))) in x 14.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.878 * [taylor]: Taking taylor expansion of x in x 14.878 * [backup-simplify]: Simplify 0 into 0 14.878 * [backup-simplify]: Simplify 1 into 1 14.878 * [backup-simplify]: Simplify (/ 1 1) into 1 14.878 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 y)) (/ 1 y))) in x 14.878 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 14.879 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 14.879 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 14.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.879 * [taylor]: Taking taylor expansion of y in x 14.879 * [backup-simplify]: Simplify y into y 14.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.879 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 14.879 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 14.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.879 * [taylor]: Taking taylor expansion of y in x 14.879 * [backup-simplify]: Simplify y into y 14.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.879 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 14.879 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 14.879 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 14.879 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.880 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.881 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 14.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 14.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.882 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 14.883 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 14.883 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.883 * [backup-simplify]: Simplify (* 1 (sqrt (exp (/ 1 (pow y 2))))) into (sqrt (exp (/ 1 (pow y 2)))) 14.883 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 14.883 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 14.883 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.883 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.883 * [taylor]: Taking taylor expansion of y in y 14.883 * [backup-simplify]: Simplify 0 into 0 14.883 * [backup-simplify]: Simplify 1 into 1 14.884 * [backup-simplify]: Simplify (* 1 1) into 1 14.884 * [backup-simplify]: Simplify (/ 1 1) into 1 14.884 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.884 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.885 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.885 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.886 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.886 * [taylor]: Taking taylor expansion of 0 in y 14.886 * [backup-simplify]: Simplify 0 into 0 14.886 * [backup-simplify]: Simplify 0 into 0 14.886 * [backup-simplify]: Simplify 0 into 0 14.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.888 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.890 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 14.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.890 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 14.892 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.893 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2))))))) into 0 14.895 * [taylor]: Taking taylor expansion of 0 in y 14.895 * [backup-simplify]: Simplify 0 into 0 14.895 * [backup-simplify]: Simplify 0 into 0 14.895 * [backup-simplify]: Simplify 0 into 0 14.896 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.896 * [backup-simplify]: Simplify 0 into 0 14.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.898 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.901 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 14.901 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.901 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 14.902 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.903 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))))) into 0 14.904 * [taylor]: Taking taylor expansion of 0 in y 14.904 * [backup-simplify]: Simplify 0 into 0 14.904 * [backup-simplify]: Simplify 0 into 0 14.904 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (pow (/ 1 y) 2)))) (* 1 (/ 1 (/ 1 x)))) into (* x (sqrt (exp (pow y 2)))) 14.905 * [backup-simplify]: Simplify (* (/ 1 (- x)) (sqrt (pow (exp (/ 1 (- y))) (/ 1 (- y))))) into (* -1 (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y))))) 14.905 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y))))) in (x y) around 0 14.905 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y))))) in y 14.905 * [taylor]: Taking taylor expansion of -1 in y 14.905 * [backup-simplify]: Simplify -1 into -1 14.905 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y)))) in y 14.905 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.905 * [taylor]: Taking taylor expansion of x in y 14.905 * [backup-simplify]: Simplify x into x 14.905 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.905 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in y 14.905 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 14.905 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 14.905 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 14.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.905 * [taylor]: Taking taylor expansion of -1 in y 14.905 * [backup-simplify]: Simplify -1 into -1 14.905 * [taylor]: Taking taylor expansion of y in y 14.905 * [backup-simplify]: Simplify 0 into 0 14.905 * [backup-simplify]: Simplify 1 into 1 14.905 * [backup-simplify]: Simplify (/ -1 1) into -1 14.905 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 14.905 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 14.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.905 * [taylor]: Taking taylor expansion of -1 in y 14.905 * [backup-simplify]: Simplify -1 into -1 14.905 * [taylor]: Taking taylor expansion of y in y 14.905 * [backup-simplify]: Simplify 0 into 0 14.905 * [backup-simplify]: Simplify 1 into 1 14.906 * [backup-simplify]: Simplify (/ -1 1) into -1 14.906 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 14.906 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 14.906 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 14.906 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 14.906 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.906 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.906 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y))))) in x 14.906 * [taylor]: Taking taylor expansion of -1 in x 14.906 * [backup-simplify]: Simplify -1 into -1 14.906 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y)))) in x 14.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.906 * [taylor]: Taking taylor expansion of x in x 14.906 * [backup-simplify]: Simplify 0 into 0 14.906 * [backup-simplify]: Simplify 1 into 1 14.907 * [backup-simplify]: Simplify (/ 1 1) into 1 14.907 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in x 14.907 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 14.907 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 14.907 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 14.907 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.907 * [taylor]: Taking taylor expansion of -1 in x 14.907 * [backup-simplify]: Simplify -1 into -1 14.907 * [taylor]: Taking taylor expansion of y in x 14.907 * [backup-simplify]: Simplify y into y 14.907 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.907 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 14.907 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 14.907 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.907 * [taylor]: Taking taylor expansion of -1 in x 14.907 * [backup-simplify]: Simplify -1 into -1 14.907 * [taylor]: Taking taylor expansion of y in x 14.907 * [backup-simplify]: Simplify y into y 14.907 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.907 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 14.907 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 14.907 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 14.907 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.907 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.907 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.908 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 14.908 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 14.909 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.909 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 14.909 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 14.909 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.909 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y))))) in x 14.909 * [taylor]: Taking taylor expansion of -1 in x 14.909 * [backup-simplify]: Simplify -1 into -1 14.909 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow (exp (/ -1 y)) (/ -1 y)))) in x 14.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.909 * [taylor]: Taking taylor expansion of x in x 14.909 * [backup-simplify]: Simplify 0 into 0 14.909 * [backup-simplify]: Simplify 1 into 1 14.910 * [backup-simplify]: Simplify (/ 1 1) into 1 14.910 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 y)) (/ -1 y))) in x 14.910 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 14.910 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 14.910 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 14.910 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.910 * [taylor]: Taking taylor expansion of -1 in x 14.910 * [backup-simplify]: Simplify -1 into -1 14.910 * [taylor]: Taking taylor expansion of y in x 14.910 * [backup-simplify]: Simplify y into y 14.910 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.910 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 14.910 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 14.910 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.910 * [taylor]: Taking taylor expansion of -1 in x 14.910 * [backup-simplify]: Simplify -1 into -1 14.910 * [taylor]: Taking taylor expansion of y in x 14.910 * [backup-simplify]: Simplify y into y 14.910 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 14.910 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 14.910 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 14.910 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 14.910 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.911 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.911 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.911 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 14.912 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 14.912 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 14.912 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 14.912 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 14.913 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.913 * [backup-simplify]: Simplify (* 1 (sqrt (exp (/ 1 (pow y 2))))) into (sqrt (exp (/ 1 (pow y 2)))) 14.913 * [backup-simplify]: Simplify (* -1 (sqrt (exp (/ 1 (pow y 2))))) into (* -1 (sqrt (exp (/ 1 (pow y 2))))) 14.913 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 14.913 * [taylor]: Taking taylor expansion of -1 in y 14.913 * [backup-simplify]: Simplify -1 into -1 14.913 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 14.913 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 14.913 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.913 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.913 * [taylor]: Taking taylor expansion of y in y 14.913 * [backup-simplify]: Simplify 0 into 0 14.913 * [backup-simplify]: Simplify 1 into 1 14.913 * [backup-simplify]: Simplify (* 1 1) into 1 14.913 * [backup-simplify]: Simplify (/ 1 1) into 1 14.914 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 14.914 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (pow y 2)))) into (sqrt (exp (/ 1 (pow y 2)))) 14.914 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.914 * [backup-simplify]: Simplify (* -1 (sqrt (exp (/ 1 (pow y 2))))) into (* -1 (sqrt (exp (/ 1 (pow y 2))))) 14.914 * [backup-simplify]: Simplify (* -1 (sqrt (exp (/ 1 (pow y 2))))) into (* -1 (sqrt (exp (/ 1 (pow y 2))))) 14.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.915 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.915 * [taylor]: Taking taylor expansion of 0 in y 14.915 * [backup-simplify]: Simplify 0 into 0 14.915 * [backup-simplify]: Simplify 0 into 0 14.916 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.916 * [backup-simplify]: Simplify 0 into 0 14.916 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.917 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.918 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 14.918 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.918 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 14.919 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.920 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2))))))) into 0 14.921 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2))))))) into 0 14.921 * [taylor]: Taking taylor expansion of 0 in y 14.921 * [backup-simplify]: Simplify 0 into 0 14.921 * [backup-simplify]: Simplify 0 into 0 14.921 * [backup-simplify]: Simplify 0 into 0 14.922 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.922 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2))))))) into 0 14.923 * [backup-simplify]: Simplify 0 into 0 14.923 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.924 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.925 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 14.925 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.926 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 14.927 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 14.927 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 (pow y 2)))))) into 0 14.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))))) into 0 14.930 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 (pow y 2)))))))) into 0 14.930 * [taylor]: Taking taylor expansion of 0 in y 14.930 * [backup-simplify]: Simplify 0 into 0 14.930 * [backup-simplify]: Simplify 0 into 0 14.930 * [backup-simplify]: Simplify (* (* -1 (sqrt (exp (/ 1 (pow (/ 1 (- y)) 2))))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (sqrt (exp (pow y 2)))) 14.930 * * * [progress]: simplifying candidates 14.931 * [simplify]: Simplifying: (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y))) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y))) (+ (+ (log x) (log (sqrt (pow (exp y) y)))) (log (sqrt (pow (exp y) y)))) (+ (log (* x (sqrt (pow (exp y) y)))) (log (sqrt (pow (exp y) y)))) (log (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (exp (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (* (* (* x x) x) (* (* (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (* (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (* (* (* x (sqrt (pow (exp y) y))) (* x (sqrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y)))) (* (* (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (cbrt (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (cbrt (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y))))) (cbrt (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (* (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y))) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (sqrt (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (sqrt (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (* x (sqrt (pow (exp y) y))) (* (cbrt (sqrt (pow (exp y) y))) (cbrt (sqrt (pow (exp y) y))))) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (* (cbrt (exp y)) (cbrt (exp y))) y))) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (sqrt (exp y)) y))) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow 1 y))) (* (* x (sqrt (pow (exp y) y))) (sqrt (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))) (* (* x (sqrt (pow (exp y) y))) (sqrt (sqrt (pow (exp y) y)))) (* (* x (sqrt (pow (exp y) y))) (sqrt 1)) (* (* x (sqrt (pow (exp y) y))) (sqrt (pow (exp y) (/ y 2)))) (* (* x (sqrt (pow (exp y) y))) (sqrt (sqrt (pow (exp y) y)))) (* (* x (sqrt (pow (exp y) y))) 1) (* (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y))) (* x (sqrt (pow (exp y) y))) (+ (log x) (log (sqrt (pow (exp y) y)))) (log (* x (sqrt (pow (exp y) y)))) (exp (* x (sqrt (pow (exp y) y)))) (* (* (* x x) x) (* (* (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y))) (sqrt (pow (exp y) y)))) (* (cbrt (* x (sqrt (pow (exp y) y)))) (cbrt (* x (sqrt (pow (exp y) y))))) (cbrt (* x (sqrt (pow (exp y) y)))) (* (* (* x (sqrt (pow (exp y) y))) (* x (sqrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y)))) (sqrt (* x (sqrt (pow (exp y) y)))) (sqrt (* x (sqrt (pow (exp y) y)))) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (sqrt (sqrt (pow (exp y) y)))) (* (sqrt x) (sqrt (sqrt (pow (exp y) y)))) (* (sqrt x) (sqrt (pow (exp y) (/ y 2)))) (* (sqrt x) (sqrt (pow (exp y) (/ y 2)))) (* (sqrt x) (sqrt (sqrt (pow (exp y) y)))) (* (sqrt x) (sqrt (sqrt (pow (exp y) y)))) (* x (* (cbrt (sqrt (pow (exp y) y))) (cbrt (sqrt (pow (exp y) y))))) (* x (sqrt (pow (* (cbrt (exp y)) (cbrt (exp y))) y))) (* x (sqrt (pow (sqrt (exp y)) y))) (* x (sqrt (pow 1 y))) (* x (sqrt (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))) (* x (sqrt (sqrt (pow (exp y) y)))) (* x (sqrt 1)) (* x (sqrt (pow (exp y) (/ y 2)))) (* x (sqrt (sqrt (pow (exp y) y)))) (* x 1) (* (cbrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* x (sqrt (pow (exp y) y))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) x (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) 14.933 * * [simplify]: Extracting # 0 : cost 47 inf + 0 14.933 * * [simplify]: Extracting # 1 : cost 66 inf + 1 14.934 * * [simplify]: Extracting # 2 : cost 69 inf + 278 14.934 * * [simplify]: Extracting # 3 : cost 73 inf + 482 14.934 * * [simplify]: Extracting # 4 : cost 72 inf + 484 14.935 * * [simplify]: Extracting # 5 : cost 45 inf + 9480 14.937 * * [simplify]: Extracting # 6 : cost 14 inf + 22567 14.940 * * [simplify]: Extracting # 7 : cost 1 inf + 29335 14.943 * * [simplify]: Extracting # 8 : cost 0 inf + 30028 14.946 * * [simplify]: iteration 0 : 84 enodes (cost 26321 ) 14.991 * * [simplify]: Extracting # 0 : cost 0 inf + 30028 14.996 * * [simplify]: Extracting # 1 : cost 31 inf + 27856 15.001 * * [simplify]: Extracting # 2 : cost 2 inf + 39785 15.008 * * [simplify]: Extracting # 3 : cost 1 inf + 39227 15.016 * * [simplify]: Extracting # 4 : cost 0 inf + 39469 15.022 * * [simplify]: iteration 1 : 195 enodes (cost 23440 ) 15.099 * * [simplify]: Extracting # 0 : cost 0 inf + 39469 15.106 * * [simplify]: Extracting # 1 : cost 131 inf + 38246 15.114 * * [simplify]: Extracting # 2 : cost 28 inf + 73565 15.127 * * [simplify]: Extracting # 3 : cost 1 inf + 65233 15.136 * * [simplify]: Extracting # 4 : cost 0 inf + 62506 15.154 * * [simplify]: Extracting # 5 : cost 0 inf + 62426 15.165 * * [simplify]: iteration 2 : 588 enodes (cost 16080 ) 15.732 * * [simplify]: Extracting # 0 : cost 0 inf + 62426 15.754 * * [simplify]: Extracting # 1 : cost 471 inf + 58477 15.808 * * [simplify]: Extracting # 2 : cost 88 inf + 198106 15.890 * * [simplify]: Extracting # 3 : cost 1 inf + 218215 15.970 * * [simplify]: Extracting # 4 : cost 0 inf + 218618 16.042 * * [simplify]: iteration 3 : 2171 enodes (cost 15590 ) 17.256 * * [simplify]: Extracting # 0 : cost 0 inf + 218618 17.393 * * [simplify]: Extracting # 1 : cost 1073 inf + 207852 17.671 * * [simplify]: Extracting # 2 : cost 58 inf + 673725 17.952 * * [simplify]: Extracting # 3 : cost 13 inf + 683815 18.276 * * [simplify]: Extracting # 4 : cost 0 inf + 689607 18.566 * * [simplify]: iteration complete: 5001 enodes (cost 15510 ) 18.566 * [simplify]: Simplified to: (* x (exp (* y y))) (* x (exp (* y y))) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (exp (* x (exp (* y y)))) (* (* x (exp (* y y))) (* (* x (exp (* y y))) (* x (exp (* y y))))) (* (* x (exp (* y y))) (* (* x (exp (* y y))) (* x (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* x (exp (* y y))) (* (* x (exp (* y y))) (* x (exp (* y y))))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* x (* (* (sqrt (exp (* y y))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))))) (* (sqrt (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt (pow (sqrt (exp y)) y))) (* x (sqrt (exp (* y y)))) (* (fabs (cbrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* (sqrt (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* (* x (sqrt (pow (exp y) (/ y 2)))) (sqrt (exp (* y y)))) (* (sqrt (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (exp (* y y)) (* x (sqrt (exp (* y y)))) (log (* x (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (sqrt (exp (* y y)))) (sqrt x)) (* (sqrt (sqrt (exp (* y y)))) (sqrt x)) (* (sqrt x) (sqrt (pow (exp y) (/ y 2)))) (* (sqrt x) (sqrt (pow (exp y) (/ y 2)))) (* (sqrt (sqrt (exp (* y y)))) (sqrt x)) (* (sqrt (sqrt (exp (* y y)))) (sqrt x)) (* x (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (sqrt (pow (* (cbrt (exp y)) (cbrt (exp y))) y))) (* x (sqrt (pow (sqrt (exp y)) y))) x (* x (fabs (cbrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y))))) x (* x (sqrt (pow (exp y) (/ y 2)))) (* x (sqrt (sqrt (exp (* y y))))) x (* (sqrt (exp (* y y))) (cbrt x)) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) x (* x (exp (* y y))) (* x (exp (* y y))) x (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) 18.568 * * * [progress]: adding candidates to table 18.916 * [progress]: [Phase 3 of 3] Extracting. 18.916 * * [regime]: Finding splitpoints for: (# #) 18.916 * * * [regime-changes]: Trying 2 branch expressions: (y x) 18.916 * * * * [regimes]: Trying to branch on y from (# #) 18.947 * * * * [regimes]: Trying to branch on x from (# #) 18.986 * * * [regime]: Found split indices: #