28.763 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.038 * [simplify]: Simplifying: (* x (exp (* y y))) 0.038 * * [simplify]: iteration 0: 5 enodes 0.040 * * [simplify]: iteration 1: 8 enodes 0.041 * * [simplify]: iteration 2: 12 enodes 0.043 * * [simplify]: iteration 3: 21 enodes 0.048 * * [simplify]: iteration 4: 48 enodes 0.060 * * [simplify]: iteration 5: 128 enodes 0.116 * * [simplify]: iteration 6: 397 enodes 0.564 * * [simplify]: iteration 7: 1503 enodes 1.248 * * [simplify]: iteration complete: 5001 enodes 1.248 * * [simplify]: Extracting #0: cost 1 inf + 0 1.249 * * [simplify]: Extracting #1: cost 149 inf + 0 1.257 * * [simplify]: Extracting #2: cost 871 inf + 1 1.264 * * [simplify]: Extracting #3: cost 1249 inf + 203 1.279 * * [simplify]: Extracting #4: cost 1104 inf + 60282 1.334 * * [simplify]: Extracting #5: cost 461 inf + 429725 1.468 * * [simplify]: Extracting #6: cost 31 inf + 828260 1.628 * * [simplify]: Extracting #7: cost 0 inf + 792521 1.759 * * [simplify]: Extracting #8: cost 0 inf + 761174 1.894 * * [simplify]: Extracting #9: cost 0 inf + 758049 2.040 * [simplify]: Simplified to: (* (exp (* y y)) x) 2.041 * * [progress]: iteration 1 / 4 2.041 * * * [progress]: picking best candidate 2.043 * * * * [pick]: Picked # 2.043 * * * [progress]: localizing error 2.051 * * * [progress]: generating rewritten candidates 2.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.055 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.070 * * * [progress]: generating series expansions 2.071 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.071 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2)) 2.071 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 2.071 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.071 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.071 * [taylor]: Taking taylor expansion of y in y 2.071 * [backup-simplify]: Simplify 0 into 0 2.071 * [backup-simplify]: Simplify 1 into 1 2.071 * [backup-simplify]: Simplify (* 1 1) into 1 2.071 * [backup-simplify]: Simplify (exp 0) into 1 2.071 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.071 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.072 * [taylor]: Taking taylor expansion of y in y 2.072 * [backup-simplify]: Simplify 0 into 0 2.072 * [backup-simplify]: Simplify 1 into 1 2.072 * [backup-simplify]: Simplify (* 1 1) into 1 2.072 * [backup-simplify]: Simplify (exp 0) into 1 2.072 * [backup-simplify]: Simplify 1 into 1 2.073 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.073 * [backup-simplify]: Simplify 0 into 0 2.074 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 2.074 * [backup-simplify]: Simplify 1 into 1 2.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.077 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.077 * [backup-simplify]: Simplify 0 into 0 2.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.081 * [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 2.081 * [backup-simplify]: Simplify 1/2 into 1/2 2.081 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 2.081 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2))) 2.081 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.081 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.081 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.081 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.081 * [taylor]: Taking taylor expansion of y in y 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 1 into 1 2.082 * [backup-simplify]: Simplify (* 1 1) into 1 2.082 * [backup-simplify]: Simplify (/ 1 1) into 1 2.082 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.082 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.082 * [taylor]: Taking taylor expansion of y in y 2.082 * [backup-simplify]: Simplify 0 into 0 2.082 * [backup-simplify]: Simplify 1 into 1 2.082 * [backup-simplify]: Simplify (* 1 1) into 1 2.083 * [backup-simplify]: Simplify (/ 1 1) into 1 2.083 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.083 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.083 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 2.083 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2))) 2.083 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.084 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.084 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.084 * [taylor]: Taking taylor expansion of y in y 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 1 into 1 2.084 * [backup-simplify]: Simplify (* 1 1) into 1 2.084 * [backup-simplify]: Simplify (/ 1 1) into 1 2.084 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.084 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.084 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.084 * [taylor]: Taking taylor expansion of y in y 2.084 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify 1 into 1 2.085 * [backup-simplify]: Simplify (* 1 1) into 1 2.085 * [backup-simplify]: Simplify (/ 1 1) into 1 2.085 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.085 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.085 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 2.086 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.086 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 2.086 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 2.086 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 2.086 * [taylor]: Taking taylor expansion of x in y 2.086 * [backup-simplify]: Simplify x into x 2.086 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.086 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.086 * [taylor]: Taking taylor expansion of y in y 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 1 into 1 2.086 * [backup-simplify]: Simplify (* 1 1) into 1 2.086 * [backup-simplify]: Simplify (exp 0) into 1 2.086 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.086 * [taylor]: Taking taylor expansion of x in x 2.086 * [backup-simplify]: Simplify 0 into 0 2.086 * [backup-simplify]: Simplify 1 into 1 2.086 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.086 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.086 * [taylor]: Taking taylor expansion of y in x 2.087 * [backup-simplify]: Simplify y into y 2.087 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.087 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.087 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.087 * [taylor]: Taking taylor expansion of x in x 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 1 into 1 2.087 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.087 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.087 * [taylor]: Taking taylor expansion of y in x 2.087 * [backup-simplify]: Simplify y into y 2.087 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.087 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.087 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 2.087 * [taylor]: Taking taylor expansion of 0 in y 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.087 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.088 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 2.088 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 2.088 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.088 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.088 * [taylor]: Taking taylor expansion of y in y 2.088 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify 1 into 1 2.089 * [backup-simplify]: Simplify (* 1 1) into 1 2.089 * [backup-simplify]: Simplify (exp 0) into 1 2.089 * [backup-simplify]: Simplify 1 into 1 2.089 * [backup-simplify]: Simplify 0 into 0 2.089 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.090 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 2.091 * [taylor]: Taking taylor expansion of 0 in y 2.091 * [backup-simplify]: Simplify 0 into 0 2.091 * [backup-simplify]: Simplify 0 into 0 2.092 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.092 * [backup-simplify]: Simplify 0 into 0 2.092 * [backup-simplify]: Simplify 0 into 0 2.093 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.094 * [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 2.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 2.095 * [taylor]: Taking taylor expansion of 0 in y 2.095 * [backup-simplify]: Simplify 0 into 0 2.095 * [backup-simplify]: Simplify 0 into 0 2.095 * [backup-simplify]: Simplify 0 into 0 2.095 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 2.095 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 2.095 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 2.095 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.095 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.095 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.095 * [taylor]: Taking taylor expansion of y in y 2.095 * [backup-simplify]: Simplify 0 into 0 2.095 * [backup-simplify]: Simplify 1 into 1 2.096 * [backup-simplify]: Simplify (* 1 1) into 1 2.096 * [backup-simplify]: Simplify (/ 1 1) into 1 2.096 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.096 * [taylor]: Taking taylor expansion of x in y 2.096 * [backup-simplify]: Simplify x into x 2.096 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.096 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.096 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.096 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.096 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.096 * [taylor]: Taking taylor expansion of y in x 2.096 * [backup-simplify]: Simplify y into y 2.096 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.096 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.096 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.096 * [taylor]: Taking taylor expansion of x in x 2.096 * [backup-simplify]: Simplify 0 into 0 2.097 * [backup-simplify]: Simplify 1 into 1 2.097 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.097 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.097 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.097 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.097 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.097 * [taylor]: Taking taylor expansion of y in x 2.097 * [backup-simplify]: Simplify y into y 2.097 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.097 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.097 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.097 * [taylor]: Taking taylor expansion of x in x 2.097 * [backup-simplify]: Simplify 0 into 0 2.097 * [backup-simplify]: Simplify 1 into 1 2.097 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.097 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.097 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.097 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.097 * [taylor]: Taking taylor expansion of y in y 2.097 * [backup-simplify]: Simplify 0 into 0 2.100 * [backup-simplify]: Simplify 1 into 1 2.101 * [backup-simplify]: Simplify (* 1 1) into 1 2.101 * [backup-simplify]: Simplify (/ 1 1) into 1 2.101 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.101 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.101 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.102 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.103 * [taylor]: Taking taylor expansion of 0 in y 2.103 * [backup-simplify]: Simplify 0 into 0 2.103 * [backup-simplify]: Simplify 0 into 0 2.103 * [backup-simplify]: Simplify 0 into 0 2.103 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.105 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.106 * [taylor]: Taking taylor expansion of 0 in y 2.106 * [backup-simplify]: Simplify 0 into 0 2.106 * [backup-simplify]: Simplify 0 into 0 2.106 * [backup-simplify]: Simplify 0 into 0 2.106 * [backup-simplify]: Simplify 0 into 0 2.107 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.108 * [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 2.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.110 * [taylor]: Taking taylor expansion of 0 in y 2.110 * [backup-simplify]: Simplify 0 into 0 2.110 * [backup-simplify]: Simplify 0 into 0 2.110 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 2.110 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 2.110 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 2.110 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 2.110 * [taylor]: Taking taylor expansion of -1 in y 2.110 * [backup-simplify]: Simplify -1 into -1 2.110 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.110 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.110 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.110 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.110 * [taylor]: Taking taylor expansion of y in y 2.110 * [backup-simplify]: Simplify 0 into 0 2.110 * [backup-simplify]: Simplify 1 into 1 2.111 * [backup-simplify]: Simplify (* 1 1) into 1 2.111 * [backup-simplify]: Simplify (/ 1 1) into 1 2.111 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.111 * [taylor]: Taking taylor expansion of x in y 2.111 * [backup-simplify]: Simplify x into x 2.111 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.111 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.111 * [taylor]: Taking taylor expansion of -1 in x 2.111 * [backup-simplify]: Simplify -1 into -1 2.111 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.111 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.111 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.111 * [taylor]: Taking taylor expansion of y in x 2.112 * [backup-simplify]: Simplify y into y 2.112 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.112 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.112 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.112 * [taylor]: Taking taylor expansion of x in x 2.112 * [backup-simplify]: Simplify 0 into 0 2.112 * [backup-simplify]: Simplify 1 into 1 2.112 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.112 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.112 * [taylor]: Taking taylor expansion of -1 in x 2.112 * [backup-simplify]: Simplify -1 into -1 2.112 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.112 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.112 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.112 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.112 * [taylor]: Taking taylor expansion of y in x 2.112 * [backup-simplify]: Simplify y into y 2.112 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.112 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.112 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.112 * [taylor]: Taking taylor expansion of x in x 2.112 * [backup-simplify]: Simplify 0 into 0 2.112 * [backup-simplify]: Simplify 1 into 1 2.112 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.113 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.113 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.113 * [taylor]: Taking taylor expansion of -1 in y 2.113 * [backup-simplify]: Simplify -1 into -1 2.113 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.113 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.113 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.113 * [taylor]: Taking taylor expansion of y in y 2.113 * [backup-simplify]: Simplify 0 into 0 2.113 * [backup-simplify]: Simplify 1 into 1 2.113 * [backup-simplify]: Simplify (* 1 1) into 1 2.113 * [backup-simplify]: Simplify (/ 1 1) into 1 2.113 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.114 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.114 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.114 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.115 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.116 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.116 * [taylor]: Taking taylor expansion of 0 in y 2.116 * [backup-simplify]: Simplify 0 into 0 2.116 * [backup-simplify]: Simplify 0 into 0 2.116 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.116 * [backup-simplify]: Simplify 0 into 0 2.117 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.117 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.118 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.120 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.120 * [taylor]: Taking taylor expansion of 0 in y 2.120 * [backup-simplify]: Simplify 0 into 0 2.120 * [backup-simplify]: Simplify 0 into 0 2.120 * [backup-simplify]: Simplify 0 into 0 2.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.121 * [backup-simplify]: Simplify 0 into 0 2.122 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.122 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.123 * [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 2.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.126 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 2.126 * [taylor]: Taking taylor expansion of 0 in y 2.126 * [backup-simplify]: Simplify 0 into 0 2.126 * [backup-simplify]: Simplify 0 into 0 2.126 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 2.126 * * * [progress]: simplifying candidates 2.126 * * * * [progress]: [ 1 / 40 ] simplifiying candidate # 2.126 * * * * [progress]: [ 2 / 40 ] simplifiying candidate # 2.126 * * * * [progress]: [ 3 / 40 ] simplifiying candidate # 2.126 * * * * [progress]: [ 4 / 40 ] simplifiying candidate # 2.126 * * * * [progress]: [ 5 / 40 ] simplifiying candidate # 2.126 * * * * [progress]: [ 6 / 40 ] simplifiying candidate # 2.126 * * * * [progress]: [ 7 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 8 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 9 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 10 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 11 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 12 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 13 / 40 ] simplifiying candidate #real (real->posit16 (exp (* y y))))))> 2.127 * * * * [progress]: [ 14 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 15 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 16 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 17 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 18 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 19 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 20 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 21 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 22 / 40 ] simplifiying candidate # 2.127 * * * * [progress]: [ 23 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 24 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 25 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 26 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 27 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 28 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 29 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 30 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 31 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 32 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 33 / 40 ] simplifiying candidate #real (real->posit16 (* x (exp (* y y))))))> 2.128 * * * * [progress]: [ 34 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 35 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 36 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 37 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 38 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 39 / 40 ] simplifiying candidate # 2.128 * * * * [progress]: [ 40 / 40 ] simplifiying candidate # 2.129 * [simplify]: Simplifying: (expm1 (exp (* y y))) (log1p (exp (* y y))) (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))) (real->posit16 (exp (* y y))) (expm1 (* x (exp (* y y)))) (log1p (* x (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))) (real->posit16 (* 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))) 2.129 * * [simplify]: iteration 0: 50 enodes 2.141 * * [simplify]: iteration 1: 107 enodes 2.168 * * [simplify]: iteration 2: 296 enodes 2.305 * * [simplify]: iteration 3: 774 enodes 2.601 * * [simplify]: iteration 4: 1336 enodes 2.848 * * [simplify]: iteration 5: 2120 enodes 3.545 * * [simplify]: iteration complete: 5000 enodes 3.545 * * [simplify]: Extracting #0: cost 28 inf + 0 3.546 * * [simplify]: Extracting #1: cost 320 inf + 1 3.550 * * [simplify]: Extracting #2: cost 1061 inf + 2528 3.568 * * [simplify]: Extracting #3: cost 883 inf + 41598 3.596 * * [simplify]: Extracting #4: cost 555 inf + 165128 3.637 * * [simplify]: Extracting #5: cost 218 inf + 355946 3.698 * * [simplify]: Extracting #6: cost 19 inf + 485747 3.771 * * [simplify]: Extracting #7: cost 0 inf + 499134 3.850 * [simplify]: Simplified to: (expm1 (exp (* y y))) (log1p (exp (* y y))) (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (exp (* y (* 3 y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (real->posit16 (exp (* y y))) (expm1 (* (exp (* y y)) x)) (log1p (* (exp (* y y)) x)) (* (exp (* y y)) x) (fma y y (log x)) (fma y y (log x)) (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) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* (sqrt (exp (* y y))) x) x (* (exp (* y y)) (cbrt x)) (* (exp (* y y)) (sqrt x)) (* (exp (* y y)) x) (real->posit16 (* (exp (* y y)) x)) (+ (fma 1/2 (* (* y y) (* y y)) 1) (* y y)) (exp (* y y)) (exp (* y y)) x (* (exp (* y y)) x) (* (exp (* y y)) x) 3.851 * * * [progress]: adding candidates to table 3.974 * * [progress]: iteration 2 / 4 3.974 * * * [progress]: picking best candidate 3.979 * * * * [pick]: Picked # 3.979 * * * [progress]: localizing error 3.992 * * * [progress]: generating rewritten candidates 3.992 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.997 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.011 * * * [progress]: generating series expansions 4.011 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.011 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y) 4.011 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 4.011 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 4.011 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 4.011 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 4.011 * [taylor]: Taking taylor expansion of y in y 4.011 * [backup-simplify]: Simplify 0 into 0 4.011 * [backup-simplify]: Simplify 1 into 1 4.011 * [taylor]: Taking taylor expansion of (log (exp y)) in y 4.011 * [taylor]: Taking taylor expansion of (exp y) in y 4.011 * [taylor]: Taking taylor expansion of y in y 4.011 * [backup-simplify]: Simplify 0 into 0 4.011 * [backup-simplify]: Simplify 1 into 1 4.011 * [backup-simplify]: Simplify (exp 0) into 1 4.012 * [backup-simplify]: Simplify (log 1) into 0 4.012 * [backup-simplify]: Simplify (* 0 0) into 0 4.013 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.014 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.014 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 4.015 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.017 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 4.017 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 4.017 * [backup-simplify]: Simplify (exp 0) into 1 4.017 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 4.017 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 4.017 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 4.017 * [taylor]: Taking taylor expansion of y in y 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [taylor]: Taking taylor expansion of (log (exp y)) in y 4.017 * [taylor]: Taking taylor expansion of (exp y) in y 4.017 * [taylor]: Taking taylor expansion of y in y 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.018 * [backup-simplify]: Simplify (exp 0) into 1 4.018 * [backup-simplify]: Simplify (log 1) into 0 4.018 * [backup-simplify]: Simplify (* 0 0) into 0 4.019 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.020 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.021 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 4.022 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.024 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 4.025 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 4.025 * [backup-simplify]: Simplify (exp 0) into 1 4.025 * [backup-simplify]: Simplify 1 into 1 4.025 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 4.026 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 4.027 * [backup-simplify]: Simplify 1 into 1 4.029 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.032 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0 4.033 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 4.035 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.035 * [backup-simplify]: Simplify 0 into 0 4.038 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 4.046 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0 4.047 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.050 * [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 4.050 * [backup-simplify]: Simplify 1/2 into 1/2 4.051 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 4.051 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y)) 4.051 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 4.051 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 4.051 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 4.051 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 4.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.051 * [taylor]: Taking taylor expansion of y in y 4.051 * [backup-simplify]: Simplify 0 into 0 4.051 * [backup-simplify]: Simplify 1 into 1 4.051 * [backup-simplify]: Simplify (/ 1 1) into 1 4.051 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 4.051 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.051 * [taylor]: Taking taylor expansion of y in y 4.051 * [backup-simplify]: Simplify 0 into 0 4.051 * [backup-simplify]: Simplify 1 into 1 4.052 * [backup-simplify]: Simplify (/ 1 1) into 1 4.052 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 4.052 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 4.052 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 4.052 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 4.052 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 4.052 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 4.052 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 4.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.052 * [taylor]: Taking taylor expansion of y in y 4.052 * [backup-simplify]: Simplify 0 into 0 4.052 * [backup-simplify]: Simplify 1 into 1 4.053 * [backup-simplify]: Simplify (/ 1 1) into 1 4.053 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 4.053 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.053 * [taylor]: Taking taylor expansion of y in y 4.053 * [backup-simplify]: Simplify 0 into 0 4.053 * [backup-simplify]: Simplify 1 into 1 4.053 * [backup-simplify]: Simplify (/ 1 1) into 1 4.053 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 4.053 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 4.053 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 4.053 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 4.053 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.053 * [backup-simplify]: Simplify 0 into 0 4.053 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 4.054 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y)) 4.054 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 4.054 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 4.054 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 4.054 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 4.054 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.054 * [taylor]: Taking taylor expansion of -1 in y 4.054 * [backup-simplify]: Simplify -1 into -1 4.054 * [taylor]: Taking taylor expansion of y in y 4.054 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify 1 into 1 4.054 * [backup-simplify]: Simplify (/ -1 1) into -1 4.054 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 4.054 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.054 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.055 * [taylor]: Taking taylor expansion of -1 in y 4.055 * [backup-simplify]: Simplify -1 into -1 4.055 * [taylor]: Taking taylor expansion of y in y 4.055 * [backup-simplify]: Simplify 0 into 0 4.055 * [backup-simplify]: Simplify 1 into 1 4.055 * [backup-simplify]: Simplify (/ -1 1) into -1 4.055 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 4.055 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 4.055 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 4.055 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 4.055 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 4.055 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 4.055 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 4.055 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.055 * [taylor]: Taking taylor expansion of -1 in y 4.055 * [backup-simplify]: Simplify -1 into -1 4.055 * [taylor]: Taking taylor expansion of y in y 4.055 * [backup-simplify]: Simplify 0 into 0 4.055 * [backup-simplify]: Simplify 1 into 1 4.056 * [backup-simplify]: Simplify (/ -1 1) into -1 4.056 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 4.056 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.056 * [taylor]: Taking taylor expansion of -1 in y 4.056 * [backup-simplify]: Simplify -1 into -1 4.056 * [taylor]: Taking taylor expansion of y in y 4.056 * [backup-simplify]: Simplify 0 into 0 4.056 * [backup-simplify]: Simplify 1 into 1 4.056 * [backup-simplify]: Simplify (/ -1 1) into -1 4.056 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 4.056 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 4.056 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 4.057 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 4.057 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 4.057 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.057 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y)) 4.057 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 4.057 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 4.057 * [taylor]: Taking taylor expansion of x in y 4.057 * [backup-simplify]: Simplify x into x 4.057 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 4.057 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 4.057 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 4.057 * [taylor]: Taking taylor expansion of y in y 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 1 into 1 4.057 * [taylor]: Taking taylor expansion of (log (exp y)) in y 4.057 * [taylor]: Taking taylor expansion of (exp y) in y 4.057 * [taylor]: Taking taylor expansion of y in y 4.057 * [backup-simplify]: Simplify 0 into 0 4.057 * [backup-simplify]: Simplify 1 into 1 4.057 * [backup-simplify]: Simplify (exp 0) into 1 4.058 * [backup-simplify]: Simplify (log 1) into 0 4.058 * [backup-simplify]: Simplify (* 0 0) into 0 4.059 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.060 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.060 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 4.062 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.064 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 4.064 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 4.064 * [backup-simplify]: Simplify (exp 0) into 1 4.064 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 4.064 * [taylor]: Taking taylor expansion of x in x 4.064 * [backup-simplify]: Simplify 0 into 0 4.065 * [backup-simplify]: Simplify 1 into 1 4.065 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 4.065 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 4.065 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 4.065 * [taylor]: Taking taylor expansion of y in x 4.065 * [backup-simplify]: Simplify y into y 4.065 * [taylor]: Taking taylor expansion of (log (exp y)) in x 4.065 * [taylor]: Taking taylor expansion of (exp y) in x 4.065 * [taylor]: Taking taylor expansion of y in x 4.065 * [backup-simplify]: Simplify y into y 4.065 * [backup-simplify]: Simplify (exp y) into (exp y) 4.065 * [backup-simplify]: Simplify (log (exp y)) into y 4.065 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.065 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.065 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 4.065 * [taylor]: Taking taylor expansion of x in x 4.065 * [backup-simplify]: Simplify 0 into 0 4.065 * [backup-simplify]: Simplify 1 into 1 4.065 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 4.065 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 4.065 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 4.065 * [taylor]: Taking taylor expansion of y in x 4.065 * [backup-simplify]: Simplify y into y 4.065 * [taylor]: Taking taylor expansion of (log (exp y)) in x 4.065 * [taylor]: Taking taylor expansion of (exp y) in x 4.065 * [taylor]: Taking taylor expansion of y in x 4.065 * [backup-simplify]: Simplify y into y 4.065 * [backup-simplify]: Simplify (exp y) into (exp y) 4.065 * [backup-simplify]: Simplify (log (exp y)) into y 4.065 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.065 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.065 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 4.065 * [taylor]: Taking taylor expansion of 0 in y 4.065 * [backup-simplify]: Simplify 0 into 0 4.066 * [backup-simplify]: Simplify 0 into 0 4.066 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 4.067 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 4.067 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.068 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 4.068 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 4.068 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.068 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.068 * [taylor]: Taking taylor expansion of y in y 4.068 * [backup-simplify]: Simplify 0 into 0 4.068 * [backup-simplify]: Simplify 1 into 1 4.068 * [backup-simplify]: Simplify (* 1 1) into 1 4.068 * [backup-simplify]: Simplify (exp 0) into 1 4.068 * [backup-simplify]: Simplify 1 into 1 4.069 * [backup-simplify]: Simplify 0 into 0 4.070 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.071 * [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 4.071 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.072 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.073 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 4.073 * [taylor]: Taking taylor expansion of 0 in y 4.073 * [backup-simplify]: Simplify 0 into 0 4.073 * [backup-simplify]: Simplify 0 into 0 4.074 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 4.074 * [backup-simplify]: Simplify 0 into 0 4.074 * [backup-simplify]: Simplify 0 into 0 4.078 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.080 * [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 4.081 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.082 * [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 4.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 4.083 * [taylor]: Taking taylor expansion of 0 in y 4.083 * [backup-simplify]: Simplify 0 into 0 4.083 * [backup-simplify]: Simplify 0 into 0 4.083 * [backup-simplify]: Simplify 0 into 0 4.084 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 4.084 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 4.084 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 4.084 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 4.084 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 4.084 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 4.084 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 4.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.084 * [taylor]: Taking taylor expansion of y in y 4.084 * [backup-simplify]: Simplify 0 into 0 4.084 * [backup-simplify]: Simplify 1 into 1 4.084 * [backup-simplify]: Simplify (/ 1 1) into 1 4.084 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 4.084 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.084 * [taylor]: Taking taylor expansion of y in y 4.084 * [backup-simplify]: Simplify 0 into 0 4.084 * [backup-simplify]: Simplify 1 into 1 4.085 * [backup-simplify]: Simplify (/ 1 1) into 1 4.085 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 4.085 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 4.085 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 4.085 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 4.085 * [taylor]: Taking taylor expansion of x in y 4.085 * [backup-simplify]: Simplify x into x 4.085 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 4.085 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 4.085 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 4.085 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 4.085 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 4.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.085 * [taylor]: Taking taylor expansion of y in x 4.085 * [backup-simplify]: Simplify y into y 4.085 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.085 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 4.085 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.085 * [taylor]: Taking taylor expansion of y in x 4.085 * [backup-simplify]: Simplify y into y 4.086 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.086 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 4.086 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 4.086 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 4.086 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.086 * [taylor]: Taking taylor expansion of x in x 4.086 * [backup-simplify]: Simplify 0 into 0 4.086 * [backup-simplify]: Simplify 1 into 1 4.086 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.086 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 4.086 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 4.086 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 4.086 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.086 * [taylor]: Taking taylor expansion of y in x 4.086 * [backup-simplify]: Simplify y into y 4.086 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.086 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 4.086 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.086 * [taylor]: Taking taylor expansion of y in x 4.086 * [backup-simplify]: Simplify y into y 4.086 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.086 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 4.086 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 4.087 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 4.087 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.087 * [taylor]: Taking taylor expansion of x in x 4.087 * [backup-simplify]: Simplify 0 into 0 4.087 * [backup-simplify]: Simplify 1 into 1 4.087 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.087 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.087 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.087 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.087 * [taylor]: Taking taylor expansion of y in y 4.087 * [backup-simplify]: Simplify 0 into 0 4.087 * [backup-simplify]: Simplify 1 into 1 4.087 * [backup-simplify]: Simplify (* 1 1) into 1 4.088 * [backup-simplify]: Simplify (/ 1 1) into 1 4.088 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.088 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.088 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.089 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 4.089 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 4.089 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.090 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 4.090 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 4.091 * [taylor]: Taking taylor expansion of 0 in y 4.091 * [backup-simplify]: Simplify 0 into 0 4.091 * [backup-simplify]: Simplify 0 into 0 4.091 * [backup-simplify]: Simplify 0 into 0 4.091 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.092 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.094 * [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 4.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.094 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.095 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.096 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.096 * [taylor]: Taking taylor expansion of 0 in y 4.096 * [backup-simplify]: Simplify 0 into 0 4.096 * [backup-simplify]: Simplify 0 into 0 4.097 * [backup-simplify]: Simplify 0 into 0 4.097 * [backup-simplify]: Simplify 0 into 0 4.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.098 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.100 * [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 4.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.101 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.102 * [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 4.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.104 * [taylor]: Taking taylor expansion of 0 in y 4.104 * [backup-simplify]: Simplify 0 into 0 4.104 * [backup-simplify]: Simplify 0 into 0 4.104 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 4.104 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 4.104 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 4.104 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 4.104 * [taylor]: Taking taylor expansion of -1 in y 4.104 * [backup-simplify]: Simplify -1 into -1 4.104 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 4.104 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 4.104 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 4.104 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 4.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.105 * [taylor]: Taking taylor expansion of -1 in y 4.105 * [backup-simplify]: Simplify -1 into -1 4.105 * [taylor]: Taking taylor expansion of y in y 4.105 * [backup-simplify]: Simplify 0 into 0 4.105 * [backup-simplify]: Simplify 1 into 1 4.105 * [backup-simplify]: Simplify (/ -1 1) into -1 4.105 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 4.105 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.105 * [taylor]: Taking taylor expansion of -1 in y 4.105 * [backup-simplify]: Simplify -1 into -1 4.105 * [taylor]: Taking taylor expansion of y in y 4.105 * [backup-simplify]: Simplify 0 into 0 4.105 * [backup-simplify]: Simplify 1 into 1 4.106 * [backup-simplify]: Simplify (/ -1 1) into -1 4.106 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 4.106 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 4.106 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 4.106 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 4.106 * [taylor]: Taking taylor expansion of x in y 4.106 * [backup-simplify]: Simplify x into x 4.106 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 4.106 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 4.106 * [taylor]: Taking taylor expansion of -1 in x 4.106 * [backup-simplify]: Simplify -1 into -1 4.106 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 4.106 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 4.106 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 4.106 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 4.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.106 * [taylor]: Taking taylor expansion of -1 in x 4.106 * [backup-simplify]: Simplify -1 into -1 4.106 * [taylor]: Taking taylor expansion of y in x 4.106 * [backup-simplify]: Simplify y into y 4.106 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.106 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 4.106 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.106 * [taylor]: Taking taylor expansion of -1 in x 4.106 * [backup-simplify]: Simplify -1 into -1 4.106 * [taylor]: Taking taylor expansion of y in x 4.106 * [backup-simplify]: Simplify y into y 4.106 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.107 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 4.107 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 4.107 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 4.107 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.107 * [taylor]: Taking taylor expansion of x in x 4.107 * [backup-simplify]: Simplify 0 into 0 4.107 * [backup-simplify]: Simplify 1 into 1 4.107 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.107 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 4.107 * [taylor]: Taking taylor expansion of -1 in x 4.107 * [backup-simplify]: Simplify -1 into -1 4.107 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 4.107 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 4.107 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 4.107 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 4.107 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.107 * [taylor]: Taking taylor expansion of -1 in x 4.107 * [backup-simplify]: Simplify -1 into -1 4.107 * [taylor]: Taking taylor expansion of y in x 4.107 * [backup-simplify]: Simplify y into y 4.107 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.107 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 4.107 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.107 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.107 * [taylor]: Taking taylor expansion of -1 in x 4.107 * [backup-simplify]: Simplify -1 into -1 4.107 * [taylor]: Taking taylor expansion of y in x 4.107 * [backup-simplify]: Simplify y into y 4.107 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.107 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 4.108 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 4.108 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 4.108 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.108 * [taylor]: Taking taylor expansion of x in x 4.108 * [backup-simplify]: Simplify 0 into 0 4.108 * [backup-simplify]: Simplify 1 into 1 4.108 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.108 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 4.108 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 4.108 * [taylor]: Taking taylor expansion of -1 in y 4.108 * [backup-simplify]: Simplify -1 into -1 4.108 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.108 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.108 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.108 * [taylor]: Taking taylor expansion of y in y 4.108 * [backup-simplify]: Simplify 0 into 0 4.108 * [backup-simplify]: Simplify 1 into 1 4.108 * [backup-simplify]: Simplify (* 1 1) into 1 4.109 * [backup-simplify]: Simplify (/ 1 1) into 1 4.109 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.109 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 4.109 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 4.109 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.110 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 4.110 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 4.111 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.111 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 4.111 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 4.112 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.113 * [taylor]: Taking taylor expansion of 0 in y 4.113 * [backup-simplify]: Simplify 0 into 0 4.113 * [backup-simplify]: Simplify 0 into 0 4.113 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.113 * [backup-simplify]: Simplify 0 into 0 4.113 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.114 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.116 * [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 4.116 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.116 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 4.118 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.119 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 4.119 * [taylor]: Taking taylor expansion of 0 in y 4.119 * [backup-simplify]: Simplify 0 into 0 4.119 * [backup-simplify]: Simplify 0 into 0 4.120 * [backup-simplify]: Simplify 0 into 0 4.120 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 4.120 * [backup-simplify]: Simplify 0 into 0 4.120 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.122 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.124 * [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 4.124 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.125 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 4.126 * [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 4.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.129 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 4.129 * [taylor]: Taking taylor expansion of 0 in y 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 4.129 * * * [progress]: simplifying candidates 4.129 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 10 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 4.129 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 20 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #real (real->posit16 (pow (exp y) y)))))> 4.130 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 30 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 4.130 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 45 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #real (real->posit16 (* x (pow (exp y) y)))))> 4.131 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 4.131 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 4.132 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 4.132 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 4.132 * [simplify]: Simplifying: (expm1 (pow (exp y) y)) (log1p (pow (exp y) y)) (* y y) (* (log (exp y)) y) (* 1 y) (* (cbrt y) y) (* (sqrt y) y) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (pow (exp y) 1) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow 1 y) (pow (exp y) y) (log (pow (exp y) y)) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (real->posit16 (pow (exp y) y)) (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (+ (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)) (real->posit16 (* x (pow (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))) 4.133 * * [simplify]: iteration 0: 78 enodes 4.152 * * [simplify]: iteration 1: 177 enodes 4.186 * * [simplify]: iteration 2: 476 enodes 4.454 * * [simplify]: iteration 3: 1532 enodes 5.152 * * [simplify]: iteration complete: 5004 enodes 5.152 * * [simplify]: Extracting #0: cost 43 inf + 0 5.153 * * [simplify]: Extracting #1: cost 492 inf + 226 5.162 * * [simplify]: Extracting #2: cost 1466 inf + 11595 5.177 * * [simplify]: Extracting #3: cost 1327 inf + 73273 5.216 * * [simplify]: Extracting #4: cost 623 inf + 368939 5.287 * * [simplify]: Extracting #5: cost 103 inf + 671599 5.372 * * [simplify]: Extracting #6: cost 0 inf + 744240 5.458 * * [simplify]: Extracting #7: cost 0 inf + 741574 5.547 * * [simplify]: Extracting #8: cost 0 inf + 740941 5.647 * [simplify]: Simplified to: (expm1 (exp (* y y))) (log1p (exp (* y y))) (* y y) (* y y) y (* y (cbrt y)) (* (sqrt y) y) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (exp y) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (exp (* y y)) (* 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))) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (real->posit16 (exp (* y y))) (expm1 (* (exp (* y y)) x)) (log1p (* (exp (* y y)) x)) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (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)) (* (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)) (sqrt x)) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* (sqrt (exp (* y y))) x) x (* (pow (exp y) (/ y 2)) x) (* (exp (* y y)) (cbrt x)) (* (sqrt x) (exp (* y y))) (* (exp (* y y)) x) (real->posit16 (* (exp (* y y)) x)) (+ (fma 1/2 (* (* y y) (* y y)) (* y y)) 1) (exp (* y y)) (exp (* y y)) x (* (exp (* y y)) x) (* (exp (* y y)) x) 5.650 * * * [progress]: adding candidates to table 5.865 * * [progress]: iteration 3 / 4 5.865 * * * [progress]: picking best candidate 5.870 * * * * [pick]: Picked # 5.870 * * * [progress]: localizing error 5.887 * * * [progress]: generating rewritten candidates 5.887 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.891 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.910 * * * [progress]: generating series expansions 5.910 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.910 * [backup-simplify]: Simplify (pow (exp 1) (* y y)) into (pow E (pow y 2)) 5.910 * [approximate]: Taking taylor expansion of (pow E (pow y 2)) in (y) around 0 5.910 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 5.910 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 5.910 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 5.910 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.910 * [taylor]: Taking taylor expansion of y in y 5.910 * [backup-simplify]: Simplify 0 into 0 5.910 * [backup-simplify]: Simplify 1 into 1 5.910 * [taylor]: Taking taylor expansion of (log E) in y 5.910 * [taylor]: Taking taylor expansion of E in y 5.910 * [backup-simplify]: Simplify E into E 5.910 * [backup-simplify]: Simplify (log E) into 1 5.911 * [backup-simplify]: Simplify (* 1 1) into 1 5.912 * [backup-simplify]: Simplify (* 1 1) into 1 5.912 * [backup-simplify]: Simplify (exp 0) into 1 5.912 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 5.912 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 5.912 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 5.912 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.912 * [taylor]: Taking taylor expansion of y in y 5.912 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify 1 into 1 5.912 * [taylor]: Taking taylor expansion of (log E) in y 5.912 * [taylor]: Taking taylor expansion of E in y 5.912 * [backup-simplify]: Simplify E into E 5.912 * [backup-simplify]: Simplify (log E) into 1 5.912 * [backup-simplify]: Simplify (* 1 1) into 1 5.913 * [backup-simplify]: Simplify (* 1 1) into 1 5.913 * [backup-simplify]: Simplify (exp 0) into 1 5.913 * [backup-simplify]: Simplify 1 into 1 5.914 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 5.914 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 5.915 * [backup-simplify]: Simplify 1 into 1 5.916 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 5.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.917 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.918 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.918 * [backup-simplify]: Simplify 0 into 0 5.920 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 5.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.923 * [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.923 * [backup-simplify]: Simplify 1/2 into 1/2 5.923 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 5.924 * [backup-simplify]: Simplify (pow (exp 1) (* (/ 1 y) (/ 1 y))) into (pow E (/ 1 (pow y 2))) 5.924 * [approximate]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in (y) around 0 5.924 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 5.924 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 5.924 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 5.924 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.924 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.924 * [taylor]: Taking taylor expansion of y in y 5.924 * [backup-simplify]: Simplify 0 into 0 5.924 * [backup-simplify]: Simplify 1 into 1 5.924 * [backup-simplify]: Simplify (* 1 1) into 1 5.924 * [backup-simplify]: Simplify (/ 1 1) into 1 5.924 * [taylor]: Taking taylor expansion of (log E) in y 5.924 * [taylor]: Taking taylor expansion of E in y 5.924 * [backup-simplify]: Simplify E into E 5.924 * [backup-simplify]: Simplify (log E) into 1 5.925 * [backup-simplify]: Simplify (* 1 1) into 1 5.925 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 5.925 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 5.925 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 5.925 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 5.925 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.925 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.925 * [taylor]: Taking taylor expansion of y in y 5.925 * [backup-simplify]: Simplify 0 into 0 5.925 * [backup-simplify]: Simplify 1 into 1 5.925 * [backup-simplify]: Simplify (* 1 1) into 1 5.925 * [backup-simplify]: Simplify (/ 1 1) into 1 5.925 * [taylor]: Taking taylor expansion of (log E) in y 5.925 * [taylor]: Taking taylor expansion of E in y 5.925 * [backup-simplify]: Simplify E into E 5.925 * [backup-simplify]: Simplify (log E) into 1 5.926 * [backup-simplify]: Simplify (* 1 1) into 1 5.926 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 5.926 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 5.926 * [backup-simplify]: Simplify (pow (exp 1) (* (/ 1 (- y)) (/ 1 (- y)))) into (pow E (/ 1 (pow y 2))) 5.926 * [approximate]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in (y) around 0 5.926 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 5.926 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 5.926 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 5.926 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.926 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.926 * [taylor]: Taking taylor expansion of y in y 5.926 * [backup-simplify]: Simplify 0 into 0 5.926 * [backup-simplify]: Simplify 1 into 1 5.926 * [backup-simplify]: Simplify (* 1 1) into 1 5.927 * [backup-simplify]: Simplify (/ 1 1) into 1 5.927 * [taylor]: Taking taylor expansion of (log E) in y 5.927 * [taylor]: Taking taylor expansion of E in y 5.927 * [backup-simplify]: Simplify E into E 5.927 * [backup-simplify]: Simplify (log E) into 1 5.927 * [backup-simplify]: Simplify (* 1 1) into 1 5.927 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 5.927 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 5.927 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 5.927 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 5.927 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.927 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.927 * [taylor]: Taking taylor expansion of y in y 5.927 * [backup-simplify]: Simplify 0 into 0 5.927 * [backup-simplify]: Simplify 1 into 1 5.927 * [backup-simplify]: Simplify (* 1 1) into 1 5.928 * [backup-simplify]: Simplify (/ 1 1) into 1 5.928 * [taylor]: Taking taylor expansion of (log E) in y 5.928 * [taylor]: Taking taylor expansion of E in y 5.928 * [backup-simplify]: Simplify E into E 5.928 * [backup-simplify]: Simplify (log E) into 1 5.928 * [backup-simplify]: Simplify (* 1 1) into 1 5.928 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 5.928 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify 0 into 0 5.928 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 5.928 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.929 * [backup-simplify]: Simplify (* x (pow (exp 1) (* y y))) into (* x (pow E (pow y 2))) 5.929 * [approximate]: Taking taylor expansion of (* x (pow E (pow y 2))) in (x y) around 0 5.929 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in y 5.929 * [taylor]: Taking taylor expansion of x in y 5.929 * [backup-simplify]: Simplify x into x 5.929 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 5.929 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 5.929 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 5.929 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.929 * [taylor]: Taking taylor expansion of y in y 5.929 * [backup-simplify]: Simplify 0 into 0 5.929 * [backup-simplify]: Simplify 1 into 1 5.929 * [taylor]: Taking taylor expansion of (log E) in y 5.929 * [taylor]: Taking taylor expansion of E in y 5.929 * [backup-simplify]: Simplify E into E 5.929 * [backup-simplify]: Simplify (log E) into 1 5.929 * [backup-simplify]: Simplify (* 1 1) into 1 5.929 * [backup-simplify]: Simplify (* 1 1) into 1 5.929 * [backup-simplify]: Simplify (exp 0) into 1 5.929 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 5.929 * [taylor]: Taking taylor expansion of x in x 5.929 * [backup-simplify]: Simplify 0 into 0 5.929 * [backup-simplify]: Simplify 1 into 1 5.929 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 5.929 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 5.929 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 5.929 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.929 * [taylor]: Taking taylor expansion of y in x 5.929 * [backup-simplify]: Simplify y into y 5.929 * [taylor]: Taking taylor expansion of (log E) in x 5.929 * [taylor]: Taking taylor expansion of E in x 5.929 * [backup-simplify]: Simplify E into E 5.929 * [backup-simplify]: Simplify (log E) into 1 5.930 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.930 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 5.930 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 5.930 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 5.930 * [taylor]: Taking taylor expansion of x in x 5.930 * [backup-simplify]: Simplify 0 into 0 5.930 * [backup-simplify]: Simplify 1 into 1 5.930 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 5.930 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 5.930 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 5.930 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.930 * [taylor]: Taking taylor expansion of y in x 5.930 * [backup-simplify]: Simplify y into y 5.930 * [taylor]: Taking taylor expansion of (log E) in x 5.930 * [taylor]: Taking taylor expansion of E in x 5.930 * [backup-simplify]: Simplify E into E 5.930 * [backup-simplify]: Simplify (log E) into 1 5.930 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.930 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 5.930 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 5.930 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 5.930 * [taylor]: Taking taylor expansion of 0 in y 5.930 * [backup-simplify]: Simplify 0 into 0 5.930 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 5.931 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.931 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0 5.932 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 5.932 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 5.932 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.932 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.932 * [taylor]: Taking taylor expansion of y in y 5.932 * [backup-simplify]: Simplify 0 into 0 5.932 * [backup-simplify]: Simplify 1 into 1 5.932 * [backup-simplify]: Simplify (* 1 1) into 1 5.933 * [backup-simplify]: Simplify (exp 0) into 1 5.933 * [backup-simplify]: Simplify 1 into 1 5.933 * [backup-simplify]: Simplify 0 into 0 5.934 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 5.935 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.935 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 1))) into 0 5.936 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.936 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 5.936 * [taylor]: Taking taylor expansion of 0 in y 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify 0 into 0 5.937 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 5.937 * [backup-simplify]: Simplify 0 into 0 5.937 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 5.942 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.942 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.944 * [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.945 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 5.945 * [taylor]: Taking taylor expansion of 0 in y 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 5.945 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp 1) (* (/ 1 y) (/ 1 y)))) into (/ (pow E (/ 1 (pow y 2))) x) 5.945 * [approximate]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in (x y) around 0 5.945 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in y 5.945 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 5.945 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 5.945 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 5.945 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.945 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.945 * [taylor]: Taking taylor expansion of y in y 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 1 into 1 5.946 * [backup-simplify]: Simplify (* 1 1) into 1 5.946 * [backup-simplify]: Simplify (/ 1 1) into 1 5.946 * [taylor]: Taking taylor expansion of (log E) in y 5.946 * [taylor]: Taking taylor expansion of E in y 5.946 * [backup-simplify]: Simplify E into E 5.946 * [backup-simplify]: Simplify (log E) into 1 5.947 * [backup-simplify]: Simplify (* 1 1) into 1 5.947 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 5.947 * [taylor]: Taking taylor expansion of x in y 5.947 * [backup-simplify]: Simplify x into x 5.947 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 5.947 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 5.947 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 5.947 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 5.947 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 5.947 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.947 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.947 * [taylor]: Taking taylor expansion of y in x 5.947 * [backup-simplify]: Simplify y into y 5.947 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.947 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.947 * [taylor]: Taking taylor expansion of (log E) in x 5.947 * [taylor]: Taking taylor expansion of E in x 5.947 * [backup-simplify]: Simplify E into E 5.947 * [backup-simplify]: Simplify (log E) into 1 5.947 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 5.947 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.947 * [taylor]: Taking taylor expansion of x in x 5.947 * [backup-simplify]: Simplify 0 into 0 5.947 * [backup-simplify]: Simplify 1 into 1 5.948 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.948 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 5.948 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 5.948 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 5.948 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 5.948 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.948 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.948 * [taylor]: Taking taylor expansion of y in x 5.948 * [backup-simplify]: Simplify y into y 5.948 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.948 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.948 * [taylor]: Taking taylor expansion of (log E) in x 5.948 * [taylor]: Taking taylor expansion of E in x 5.948 * [backup-simplify]: Simplify E into E 5.948 * [backup-simplify]: Simplify (log E) into 1 5.948 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 5.948 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.948 * [taylor]: Taking taylor expansion of x in x 5.948 * [backup-simplify]: Simplify 0 into 0 5.948 * [backup-simplify]: Simplify 1 into 1 5.948 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.948 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.948 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.948 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.948 * [taylor]: Taking taylor expansion of y in y 5.948 * [backup-simplify]: Simplify 0 into 0 5.949 * [backup-simplify]: Simplify 1 into 1 5.949 * [backup-simplify]: Simplify (* 1 1) into 1 5.949 * [backup-simplify]: Simplify (/ 1 1) into 1 5.949 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.949 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.951 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 5.951 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.951 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 5.952 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 5.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 5.953 * [taylor]: Taking taylor expansion of 0 in y 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify 0 into 0 5.953 * [backup-simplify]: Simplify 0 into 0 5.956 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 5.956 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.957 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 5.958 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.960 * [taylor]: Taking taylor expansion of 0 in y 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 5.965 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.966 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.968 * [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.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.969 * [taylor]: Taking taylor expansion of 0 in y 5.969 * [backup-simplify]: Simplify 0 into 0 5.970 * [backup-simplify]: Simplify 0 into 0 5.970 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 5.970 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp 1) (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (pow E (/ 1 (pow y 2))) x)) 5.970 * [approximate]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in (x y) around 0 5.970 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in y 5.970 * [taylor]: Taking taylor expansion of -1 in y 5.970 * [backup-simplify]: Simplify -1 into -1 5.970 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in y 5.970 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 5.970 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 5.970 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 5.970 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.970 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.970 * [taylor]: Taking taylor expansion of y in y 5.970 * [backup-simplify]: Simplify 0 into 0 5.970 * [backup-simplify]: Simplify 1 into 1 5.971 * [backup-simplify]: Simplify (* 1 1) into 1 5.971 * [backup-simplify]: Simplify (/ 1 1) into 1 5.971 * [taylor]: Taking taylor expansion of (log E) in y 5.971 * [taylor]: Taking taylor expansion of E in y 5.971 * [backup-simplify]: Simplify E into E 5.971 * [backup-simplify]: Simplify (log E) into 1 5.971 * [backup-simplify]: Simplify (* 1 1) into 1 5.971 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 5.971 * [taylor]: Taking taylor expansion of x in y 5.972 * [backup-simplify]: Simplify x into x 5.972 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 5.972 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in x 5.972 * [taylor]: Taking taylor expansion of -1 in x 5.972 * [backup-simplify]: Simplify -1 into -1 5.972 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 5.972 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 5.972 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 5.972 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 5.972 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.972 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.972 * [taylor]: Taking taylor expansion of y in x 5.972 * [backup-simplify]: Simplify y into y 5.972 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.972 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.972 * [taylor]: Taking taylor expansion of (log E) in x 5.972 * [taylor]: Taking taylor expansion of E in x 5.972 * [backup-simplify]: Simplify E into E 5.972 * [backup-simplify]: Simplify (log E) into 1 5.972 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 5.972 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.972 * [taylor]: Taking taylor expansion of x in x 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [backup-simplify]: Simplify 1 into 1 5.972 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.972 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in x 5.973 * [taylor]: Taking taylor expansion of -1 in x 5.973 * [backup-simplify]: Simplify -1 into -1 5.973 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 5.973 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 5.973 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 5.973 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 5.973 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.973 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.973 * [taylor]: Taking taylor expansion of y in x 5.973 * [backup-simplify]: Simplify y into y 5.973 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.973 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 5.973 * [taylor]: Taking taylor expansion of (log E) in x 5.973 * [taylor]: Taking taylor expansion of E in x 5.973 * [backup-simplify]: Simplify E into E 5.973 * [backup-simplify]: Simplify (log E) into 1 5.973 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 5.973 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.973 * [taylor]: Taking taylor expansion of x in x 5.973 * [backup-simplify]: Simplify 0 into 0 5.973 * [backup-simplify]: Simplify 1 into 1 5.973 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.973 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.973 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.974 * [taylor]: Taking taylor expansion of -1 in y 5.974 * [backup-simplify]: Simplify -1 into -1 5.974 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.974 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.974 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.974 * [taylor]: Taking taylor expansion of y in y 5.974 * [backup-simplify]: Simplify 0 into 0 5.974 * [backup-simplify]: Simplify 1 into 1 5.974 * [backup-simplify]: Simplify (* 1 1) into 1 5.974 * [backup-simplify]: Simplify (/ 1 1) into 1 5.974 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.975 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.975 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.976 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 5.976 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 5.977 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 5.978 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 5.978 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 5.979 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 5.979 * [taylor]: Taking taylor expansion of 0 in y 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 5.979 * [backup-simplify]: Simplify 0 into 0 5.982 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 5.983 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.984 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 5.985 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.986 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.987 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 5.987 * [taylor]: Taking taylor expansion of 0 in y 5.987 * [backup-simplify]: Simplify 0 into 0 5.987 * [backup-simplify]: Simplify 0 into 0 5.987 * [backup-simplify]: Simplify 0 into 0 5.988 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 5.988 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 5.994 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 5.995 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.996 * [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.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.999 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 5.999 * [taylor]: Taking taylor expansion of 0 in y 5.999 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify 0 into 0 6.000 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 6.000 * * * [progress]: simplifying candidates 6.000 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 10 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 6.000 * * * * [progress]: [ 15 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 19 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #real (real->posit16 (pow (exp 1) (* y y))))))> 6.001 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 31 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 32 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 34 / 55 ] simplifiying candidate # 6.001 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 42 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 46 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 48 / 55 ] simplifiying candidate #real (real->posit16 (* x (pow (exp 1) (* y y))))))> 6.002 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 6.002 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 6.003 * [simplify]: Simplifying: (expm1 (pow (exp 1) (* y y))) (log1p (pow (exp 1) (* y y))) (* 1 (* y y)) (* (log (exp 1)) (* y y)) (* 1 (* y y)) (* (cbrt 1) (* y y)) (* (sqrt 1) (* y y)) (* 1 (* y y)) (pow (exp 1) y) (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (* y y)) (pow (cbrt (exp 1)) (* y y)) (pow (sqrt (exp 1)) (* y y)) (pow (sqrt (exp 1)) (* y y)) (pow 1 (* y y)) (pow (exp 1) (* y y)) (log (pow (exp 1) (* y y))) (exp (pow (exp 1) (* y y))) (* (cbrt (pow (exp 1) (* y y))) (cbrt (pow (exp 1) (* y y)))) (cbrt (pow (exp 1) (* y y))) (* (* (pow (exp 1) (* y y)) (pow (exp 1) (* y y))) (pow (exp 1) (* y y))) (sqrt (pow (exp 1) (* y y))) (sqrt (pow (exp 1) (* y y))) (pow (exp 1) (/ (* y y) 2)) (pow (exp 1) (/ (* y y) 2)) (real->posit16 (pow (exp 1) (* y y))) (expm1 (* x (pow (exp 1) (* y y)))) (log1p (* x (pow (exp 1) (* y y)))) (+ (log x) (* 1 (* y y))) (+ (log x) (* (log (exp 1)) (* y y))) (+ (log x) (log (pow (exp 1) (* y y)))) (log (* x (pow (exp 1) (* y y)))) (exp (* x (pow (exp 1) (* y y)))) (* (* (* x x) x) (* (* (pow (exp 1) (* y y)) (pow (exp 1) (* y y))) (pow (exp 1) (* y y)))) (* (cbrt (* x (pow (exp 1) (* y y)))) (cbrt (* x (pow (exp 1) (* y y))))) (cbrt (* x (pow (exp 1) (* y y)))) (* (* (* x (pow (exp 1) (* y y))) (* x (pow (exp 1) (* y y)))) (* x (pow (exp 1) (* y y)))) (sqrt (* x (pow (exp 1) (* y y)))) (sqrt (* x (pow (exp 1) (* y y)))) (* (sqrt x) (pow (sqrt (exp 1)) (* y y))) (* (sqrt x) (pow (sqrt (exp 1)) (* y y))) (* (sqrt x) (sqrt (pow (exp 1) (* y y)))) (* (sqrt x) (sqrt (pow (exp 1) (* y y)))) (* (sqrt x) (pow (exp 1) (/ (* y y) 2))) (* (sqrt x) (pow (exp 1) (/ (* y y) 2))) (* x (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (* y y))) (* x (pow (sqrt (exp 1)) (* y y))) (* x (pow 1 (* y y))) (* x (* (cbrt (pow (exp 1) (* y y))) (cbrt (pow (exp 1) (* y y))))) (* x (sqrt (pow (exp 1) (* y y)))) (* x 1) (* x (pow (exp 1) (/ (* y y) 2))) (* (cbrt x) (pow (exp 1) (* y y))) (* (sqrt x) (pow (exp 1) (* y y))) (* x (pow (exp 1) (* y y))) (real->posit16 (* x (pow (exp 1) (* 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))) 6.004 * * [simplify]: iteration 0: 75 enodes 6.026 * * [simplify]: iteration 1: 172 enodes 6.088 * * [simplify]: iteration 2: 531 enodes 6.412 * * [simplify]: iteration 3: 2253 enodes 7.183 * * [simplify]: iteration complete: 5000 enodes 7.183 * * [simplify]: Extracting #0: cost 38 inf + 0 7.184 * * [simplify]: Extracting #1: cost 365 inf + 2 7.189 * * [simplify]: Extracting #2: cost 1132 inf + 1773 7.202 * * [simplify]: Extracting #3: cost 1366 inf + 35469 7.246 * * [simplify]: Extracting #4: cost 815 inf + 208006 7.326 * * [simplify]: Extracting #5: cost 151 inf + 510920 7.420 * * [simplify]: Extracting #6: cost 3 inf + 587725 7.496 * * [simplify]: Extracting #7: cost 0 inf + 584009 7.595 * * [simplify]: Extracting #8: cost 0 inf + 583979 7.690 * [simplify]: Simplified to: (expm1 (exp (* y y))) (log1p (exp (* y y))) (* y y) (* y y) (* y y) (* y y) (* y y) (* y y) (pow E y) (pow (* (cbrt E) (cbrt E)) (* y y)) (pow (cbrt E) (* y y)) (pow (sqrt E) (* y y)) (pow (sqrt E) (* y y)) 1 (exp (* y y)) (* 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))) (exp (/ (* y y) 2)) (exp (/ (* y y) 2)) (real->posit16 (exp (* y y))) (expm1 (* x (exp (* y y)))) (log1p (* x (exp (* y y)))) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (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)))) (* (pow (sqrt E) (* y y)) (sqrt x)) (* (pow (sqrt E) (* y y)) (sqrt x)) (* (sqrt (exp (* y y))) (sqrt x)) (* (sqrt (exp (* y y))) (sqrt x)) (* (sqrt x) (exp (/ (* y y) 2))) (* (sqrt x) (exp (/ (* y y) 2))) (* x (pow (* (cbrt E) (cbrt E)) (* y y))) (* (pow (sqrt E) (* y y)) x) x (* (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) x) (* (sqrt (exp (* y y))) x) x (* (exp (/ (* y y) 2)) x) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) (+ (fma (/ (* y y) 2) (* y y) (* y y)) 1) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 7.693 * * * [progress]: adding candidates to table 7.860 * * [progress]: iteration 4 / 4 7.860 * * * [progress]: picking best candidate 7.864 * * * * [pick]: Picked # 7.864 * * * [progress]: localizing error 7.890 * * * [progress]: generating rewritten candidates 7.890 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 7.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 7.945 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 7.947 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 7.952 * * * [progress]: generating series expansions 7.952 * * * * [progress]: [ 1 / 4 ] generating series at (2) 7.952 * [backup-simplify]: Simplify (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) into (* x (pow (pow (sqrt (exp y)) y) 2)) 7.952 * [approximate]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in (x y) around 0 7.952 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in y 7.952 * [taylor]: Taking taylor expansion of x in y 7.952 * [backup-simplify]: Simplify x into x 7.952 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 7.952 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 7.952 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 7.952 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 7.952 * [taylor]: Taking taylor expansion of y in y 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [backup-simplify]: Simplify 1 into 1 7.952 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 7.952 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 7.952 * [taylor]: Taking taylor expansion of (exp y) in y 7.952 * [taylor]: Taking taylor expansion of y in y 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [backup-simplify]: Simplify 1 into 1 7.952 * [backup-simplify]: Simplify (exp 0) into 1 7.953 * [backup-simplify]: Simplify (sqrt 1) into 1 7.954 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.954 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 7.954 * [backup-simplify]: Simplify (log 1) into 0 7.955 * [backup-simplify]: Simplify (* 0 0) into 0 7.956 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 7.956 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 7.958 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.959 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 7.961 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 7.962 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 7.962 * [backup-simplify]: Simplify (exp 0) into 1 7.962 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in x 7.962 * [taylor]: Taking taylor expansion of x in x 7.962 * [backup-simplify]: Simplify 0 into 0 7.962 * [backup-simplify]: Simplify 1 into 1 7.962 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 7.962 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 7.962 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 7.962 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 7.962 * [taylor]: Taking taylor expansion of y in x 7.962 * [backup-simplify]: Simplify y into y 7.962 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 7.962 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 7.962 * [taylor]: Taking taylor expansion of (exp y) in x 7.962 * [taylor]: Taking taylor expansion of y in x 7.962 * [backup-simplify]: Simplify y into y 7.962 * [backup-simplify]: Simplify (exp y) into (exp y) 7.962 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 7.963 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 7.963 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 7.963 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 7.963 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 7.964 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 7.964 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in x 7.964 * [taylor]: Taking taylor expansion of x in x 7.964 * [backup-simplify]: Simplify 0 into 0 7.964 * [backup-simplify]: Simplify 1 into 1 7.964 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 7.964 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 7.964 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 7.964 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 7.964 * [taylor]: Taking taylor expansion of y in x 7.964 * [backup-simplify]: Simplify y into y 7.964 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 7.964 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 7.964 * [taylor]: Taking taylor expansion of (exp y) in x 7.964 * [taylor]: Taking taylor expansion of y in x 7.964 * [backup-simplify]: Simplify y into y 7.964 * [backup-simplify]: Simplify (exp y) into (exp y) 7.964 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 7.965 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 7.965 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 7.965 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 7.965 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 7.965 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 7.965 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))) into (pow (exp (* (log (sqrt (exp y))) y)) 2) 7.966 * [backup-simplify]: Simplify (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) into 0 7.966 * [taylor]: Taking taylor expansion of 0 in y 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp y)) 1)))) 1) into 0 7.967 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log (sqrt (exp y))))) into 0 7.967 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 7.968 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (* 0 (exp (* (log (sqrt (exp y))) y)))) into 0 7.968 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (exp (* (log (sqrt (exp y))) y)) 2))) into (pow (exp (* (log (sqrt (exp y))) y)) 2) 7.968 * [taylor]: Taking taylor expansion of (pow (exp (* (log (sqrt (exp y))) y)) 2) in y 7.968 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 7.968 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 7.968 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 7.968 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 7.968 * [taylor]: Taking taylor expansion of (exp y) in y 7.968 * [taylor]: Taking taylor expansion of y in y 7.968 * [backup-simplify]: Simplify 0 into 0 7.968 * [backup-simplify]: Simplify 1 into 1 7.968 * [backup-simplify]: Simplify (exp 0) into 1 7.969 * [backup-simplify]: Simplify (sqrt 1) into 1 7.970 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.970 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 7.971 * [backup-simplify]: Simplify (log 1) into 0 7.971 * [taylor]: Taking taylor expansion of y in y 7.971 * [backup-simplify]: Simplify 0 into 0 7.971 * [backup-simplify]: Simplify 1 into 1 7.971 * [backup-simplify]: Simplify (* 0 0) into 0 7.972 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 7.973 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 7.974 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.975 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 7.977 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 7.977 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 7.977 * [backup-simplify]: Simplify (exp 0) into 1 7.978 * [backup-simplify]: Simplify (* 1 1) into 1 7.978 * [backup-simplify]: Simplify 1 into 1 7.978 * [backup-simplify]: Simplify 0 into 0 7.981 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.981 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp y)))) into 0 7.982 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp y)) 1)))) 2) into 0 7.983 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (log (sqrt (exp y)))))) into 0 7.984 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.985 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (* 0 (exp (* (log (sqrt (exp y))) y))))) into 0 7.985 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2)))) into 0 7.985 * [taylor]: Taking taylor expansion of 0 in y 7.985 * [backup-simplify]: Simplify 0 into 0 7.986 * [backup-simplify]: Simplify 0 into 0 7.986 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 7.987 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.987 * [backup-simplify]: Simplify 0 into 0 7.987 * [backup-simplify]: Simplify 0 into 0 7.989 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.989 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp y)))) into 0 7.991 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp y)) 1)))) 6) into 0 7.992 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp y))))))) into 0 7.994 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.995 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* (log (sqrt (exp y))) y)))))) into 0 7.996 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2))))) into 0 7.996 * [taylor]: Taking taylor expansion of 0 in y 7.996 * [backup-simplify]: Simplify 0 into 0 7.996 * [backup-simplify]: Simplify 0 into 0 7.996 * [backup-simplify]: Simplify 0 into 0 7.996 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 7.997 * [backup-simplify]: Simplify (* (* (sqrt (/ 1 x)) (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (* (sqrt (/ 1 x)) (pow (sqrt (exp (/ 1 y))) (/ 1 y)))) into (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) 7.997 * [approximate]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in (x y) around 0 7.997 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in y 7.997 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 7.997 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 7.997 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 7.997 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 7.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.997 * [taylor]: Taking taylor expansion of y in y 7.997 * [backup-simplify]: Simplify 0 into 0 7.997 * [backup-simplify]: Simplify 1 into 1 7.997 * [backup-simplify]: Simplify (/ 1 1) into 1 7.997 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 7.997 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 7.997 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.998 * [taylor]: Taking taylor expansion of y in y 7.998 * [backup-simplify]: Simplify 0 into 0 7.998 * [backup-simplify]: Simplify 1 into 1 7.998 * [backup-simplify]: Simplify (/ 1 1) into 1 7.998 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 7.998 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 7.998 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 7.998 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 7.998 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 7.999 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 7.999 * [taylor]: Taking taylor expansion of x in y 7.999 * [backup-simplify]: Simplify x into x 7.999 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 7.999 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) x) into (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) x) 7.999 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 7.999 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 7.999 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 7.999 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 7.999 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 7.999 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.999 * [taylor]: Taking taylor expansion of y in x 7.999 * [backup-simplify]: Simplify y into y 8.000 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.000 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 8.000 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 8.000 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 8.000 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.000 * [taylor]: Taking taylor expansion of y in x 8.000 * [backup-simplify]: Simplify y into y 8.000 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.000 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.000 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.000 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.001 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.001 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.001 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.001 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 8.001 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [backup-simplify]: Simplify 0 into 0 8.001 * [backup-simplify]: Simplify 1 into 1 8.002 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.002 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 1) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.002 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 8.002 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 8.002 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 8.002 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 8.002 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.002 * [taylor]: Taking taylor expansion of y in x 8.002 * [backup-simplify]: Simplify y into y 8.002 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.002 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 8.002 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 8.002 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.002 * [taylor]: Taking taylor expansion of y in x 8.002 * [backup-simplify]: Simplify y into y 8.002 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.002 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.002 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.003 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.003 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.004 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.004 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 8.004 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.004 * [taylor]: Taking taylor expansion of x in x 8.004 * [backup-simplify]: Simplify 0 into 0 8.004 * [backup-simplify]: Simplify 1 into 1 8.004 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.004 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 1) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.004 * [taylor]: Taking taylor expansion of (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) in y 8.004 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 8.004 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 8.004 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 8.004 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.004 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.005 * [taylor]: Taking taylor expansion of y in y 8.005 * [backup-simplify]: Simplify 0 into 0 8.005 * [backup-simplify]: Simplify 1 into 1 8.005 * [backup-simplify]: Simplify (/ 1 1) into 1 8.005 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.005 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.005 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.005 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.005 * [taylor]: Taking taylor expansion of y in y 8.005 * [backup-simplify]: Simplify 0 into 0 8.005 * [backup-simplify]: Simplify 1 into 1 8.005 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ 1 y)))) 1) into (log (sqrt (exp (/ 1 y)))) 8.006 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.006 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.006 * [backup-simplify]: Simplify (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 1) into 0 8.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.007 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (log (sqrt (exp (/ 1 y)))))) into 0 8.008 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.008 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 8.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)))) into 0 8.009 * [taylor]: Taking taylor expansion of 0 in y 8.009 * [backup-simplify]: Simplify 0 into 0 8.009 * [backup-simplify]: Simplify 0 into 0 8.010 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 8.010 * [backup-simplify]: Simplify 0 into 0 8.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.011 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.012 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.013 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 2) into 0 8.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.014 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y))))))) into 0 8.015 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.016 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 8.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.017 * [taylor]: Taking taylor expansion of 0 in y 8.017 * [backup-simplify]: Simplify 0 into 0 8.017 * [backup-simplify]: Simplify 0 into 0 8.017 * [backup-simplify]: Simplify 0 into 0 8.018 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 8.018 * [backup-simplify]: Simplify 0 into 0 8.018 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.020 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.021 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.023 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 6) into 0 8.023 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.024 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y)))))))) into 0 8.026 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.027 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))))) into 0 8.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.029 * [taylor]: Taking taylor expansion of 0 in y 8.029 * [backup-simplify]: Simplify 0 into 0 8.029 * [backup-simplify]: Simplify 0 into 0 8.029 * [backup-simplify]: Simplify (* (pow (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) 2) (* 1 (/ 1 (/ 1 x)))) into (* x (pow (exp (* (log (sqrt (exp y))) y)) 2)) 8.029 * [backup-simplify]: Simplify (* (* (sqrt (/ 1 (- x))) (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y)))) (* (sqrt (/ 1 (- x))) (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y))))) into (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) 8.029 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in (x y) around 0 8.029 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in y 8.029 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 8.030 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 8.030 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 8.030 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 8.030 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.030 * [taylor]: Taking taylor expansion of -1 in y 8.030 * [backup-simplify]: Simplify -1 into -1 8.030 * [taylor]: Taking taylor expansion of y in y 8.030 * [backup-simplify]: Simplify 0 into 0 8.030 * [backup-simplify]: Simplify 1 into 1 8.030 * [backup-simplify]: Simplify (/ -1 1) into -1 8.030 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.030 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.030 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.030 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.030 * [taylor]: Taking taylor expansion of -1 in y 8.030 * [backup-simplify]: Simplify -1 into -1 8.030 * [taylor]: Taking taylor expansion of y in y 8.030 * [backup-simplify]: Simplify 0 into 0 8.030 * [backup-simplify]: Simplify 1 into 1 8.030 * [backup-simplify]: Simplify (/ -1 1) into -1 8.030 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.030 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.031 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.031 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.031 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.031 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 8.031 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 8.031 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.031 * [taylor]: Taking taylor expansion of -1 in y 8.031 * [backup-simplify]: Simplify -1 into -1 8.031 * [taylor]: Taking taylor expansion of x in y 8.031 * [backup-simplify]: Simplify x into x 8.031 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.031 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x)) 8.031 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 8.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0 8.031 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in x 8.031 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 8.031 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 8.031 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 8.031 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 8.031 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.031 * [taylor]: Taking taylor expansion of -1 in x 8.031 * [backup-simplify]: Simplify -1 into -1 8.031 * [taylor]: Taking taylor expansion of y in x 8.031 * [backup-simplify]: Simplify y into y 8.031 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.031 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 8.031 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 8.031 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 8.031 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.031 * [taylor]: Taking taylor expansion of -1 in x 8.031 * [backup-simplify]: Simplify -1 into -1 8.031 * [taylor]: Taking taylor expansion of y in x 8.031 * [backup-simplify]: Simplify y into y 8.031 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.031 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.031 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.032 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 8.032 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.032 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.032 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.032 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 8.032 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.032 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 8.032 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 8.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.032 * [taylor]: Taking taylor expansion of -1 in x 8.032 * [backup-simplify]: Simplify -1 into -1 8.032 * [taylor]: Taking taylor expansion of x in x 8.033 * [backup-simplify]: Simplify 0 into 0 8.033 * [backup-simplify]: Simplify 1 into 1 8.033 * [backup-simplify]: Simplify (/ -1 1) into -1 8.033 * [backup-simplify]: Simplify (sqrt 0) into 0 8.034 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.034 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in x 8.034 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 8.034 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 8.034 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 8.034 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 8.034 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.034 * [taylor]: Taking taylor expansion of -1 in x 8.034 * [backup-simplify]: Simplify -1 into -1 8.034 * [taylor]: Taking taylor expansion of y in x 8.034 * [backup-simplify]: Simplify y into y 8.034 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.034 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 8.034 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 8.034 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 8.034 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.034 * [taylor]: Taking taylor expansion of -1 in x 8.034 * [backup-simplify]: Simplify -1 into -1 8.034 * [taylor]: Taking taylor expansion of y in x 8.035 * [backup-simplify]: Simplify y into y 8.035 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.035 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.035 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.035 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 8.035 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.035 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.035 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.035 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 8.036 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.036 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 8.036 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 8.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.036 * [taylor]: Taking taylor expansion of -1 in x 8.036 * [backup-simplify]: Simplify -1 into -1 8.036 * [taylor]: Taking taylor expansion of x in x 8.036 * [backup-simplify]: Simplify 0 into 0 8.036 * [backup-simplify]: Simplify 1 into 1 8.036 * [backup-simplify]: Simplify (/ -1 1) into -1 8.036 * [backup-simplify]: Simplify (sqrt 0) into 0 8.037 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.037 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.038 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 8.038 * [backup-simplify]: Simplify (* (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) +nan.0) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.038 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 8.038 * [taylor]: Taking taylor expansion of +nan.0 in y 8.038 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.038 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 8.038 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 8.038 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 8.038 * [taylor]: Taking taylor expansion of -1 in y 8.038 * [backup-simplify]: Simplify -1 into -1 8.038 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 8.038 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.038 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.038 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.038 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.038 * [taylor]: Taking taylor expansion of -1 in y 8.038 * [backup-simplify]: Simplify -1 into -1 8.038 * [taylor]: Taking taylor expansion of y in y 8.038 * [backup-simplify]: Simplify 0 into 0 8.038 * [backup-simplify]: Simplify 1 into 1 8.038 * [backup-simplify]: Simplify (/ -1 1) into -1 8.038 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.038 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.038 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.038 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.038 * [taylor]: Taking taylor expansion of y in y 8.038 * [backup-simplify]: Simplify 0 into 0 8.039 * [backup-simplify]: Simplify 1 into 1 8.039 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 8.039 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.039 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.039 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.039 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.039 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.043 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.044 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 8.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 1) into 0 8.045 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 8.046 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (log (sqrt (exp (/ -1 y)))))) into 0 8.046 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 1) 1)))) into 0 8.047 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 8.048 * [backup-simplify]: Simplify (+ (* (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) (- +nan.0)) (* 0 +nan.0)) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.048 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) in y 8.048 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 8.048 * [taylor]: Taking taylor expansion of +nan.0 in y 8.048 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.048 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 8.048 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 8.048 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 8.048 * [taylor]: Taking taylor expansion of -1 in y 8.048 * [backup-simplify]: Simplify -1 into -1 8.048 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 8.048 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.048 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.048 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.048 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.048 * [taylor]: Taking taylor expansion of -1 in y 8.048 * [backup-simplify]: Simplify -1 into -1 8.048 * [taylor]: Taking taylor expansion of y in y 8.048 * [backup-simplify]: Simplify 0 into 0 8.048 * [backup-simplify]: Simplify 1 into 1 8.049 * [backup-simplify]: Simplify (/ -1 1) into -1 8.049 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.049 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.049 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.049 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.049 * [taylor]: Taking taylor expansion of y in y 8.049 * [backup-simplify]: Simplify 0 into 0 8.049 * [backup-simplify]: Simplify 1 into 1 8.050 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 8.050 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.050 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.050 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.050 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.051 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.051 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.051 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 8.052 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into 0 8.052 * [backup-simplify]: Simplify 0 into 0 8.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.055 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.056 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 8.056 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.057 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.057 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.059 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (/ -1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 2) into 0 8.059 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.059 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y))))))) into 0 8.060 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.061 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 8.062 * [backup-simplify]: Simplify (+ (* (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 +nan.0))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.062 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) in y 8.062 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 8.062 * [taylor]: Taking taylor expansion of +nan.0 in y 8.062 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.062 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 8.062 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 8.062 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 8.062 * [taylor]: Taking taylor expansion of -1 in y 8.062 * [backup-simplify]: Simplify -1 into -1 8.062 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 8.062 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.062 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.062 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.062 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.062 * [taylor]: Taking taylor expansion of -1 in y 8.062 * [backup-simplify]: Simplify -1 into -1 8.062 * [taylor]: Taking taylor expansion of y in y 8.062 * [backup-simplify]: Simplify 0 into 0 8.062 * [backup-simplify]: Simplify 1 into 1 8.062 * [backup-simplify]: Simplify (/ -1 1) into -1 8.062 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.062 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.062 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.062 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.062 * [taylor]: Taking taylor expansion of y in y 8.062 * [backup-simplify]: Simplify 0 into 0 8.062 * [backup-simplify]: Simplify 1 into 1 8.062 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 8.063 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.063 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.063 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.063 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.063 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.063 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.064 * [backup-simplify]: Simplify (+ (* (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) 2))) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) 2))) (* 1 (/ 1 (- x)))) (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) 2)))) into (- (+ (* +nan.0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) (- (+ (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) (pow x 2))) (- (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) x))))))) 8.064 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 8.064 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 8.064 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 8.064 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.064 * [taylor]: Taking taylor expansion of (exp y) in y 8.064 * [taylor]: Taking taylor expansion of y in y 8.064 * [backup-simplify]: Simplify 0 into 0 8.064 * [backup-simplify]: Simplify 1 into 1 8.064 * [backup-simplify]: Simplify (exp 0) into 1 8.064 * [backup-simplify]: Simplify (sqrt 1) into 1 8.065 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.065 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.065 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.066 * [taylor]: Taking taylor expansion of (exp y) in y 8.066 * [taylor]: Taking taylor expansion of y in y 8.066 * [backup-simplify]: Simplify 0 into 0 8.066 * [backup-simplify]: Simplify 1 into 1 8.066 * [backup-simplify]: Simplify (exp 0) into 1 8.066 * [backup-simplify]: Simplify (sqrt 1) into 1 8.066 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.067 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.067 * [backup-simplify]: Simplify 1 into 1 8.067 * [backup-simplify]: Simplify 1/2 into 1/2 8.068 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.068 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.068 * [backup-simplify]: Simplify 1/8 into 1/8 8.069 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) into (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) 8.069 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.069 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 8.069 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.069 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.069 * [taylor]: Taking taylor expansion of y in y 8.069 * [backup-simplify]: Simplify 0 into 0 8.069 * [backup-simplify]: Simplify 1 into 1 8.069 * [backup-simplify]: Simplify (/ 1 1) into 1 8.069 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.069 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.069 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.069 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.069 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.069 * [taylor]: Taking taylor expansion of y in y 8.069 * [backup-simplify]: Simplify 0 into 0 8.069 * [backup-simplify]: Simplify 1 into 1 8.070 * [backup-simplify]: Simplify (/ 1 1) into 1 8.070 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.070 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.070 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.070 * [backup-simplify]: Simplify 0 into 0 8.070 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.070 * [backup-simplify]: Simplify 0 into 0 8.071 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.071 * [backup-simplify]: Simplify 0 into 0 8.071 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.072 * [backup-simplify]: Simplify 0 into 0 8.072 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.072 * [backup-simplify]: Simplify 0 into 0 8.073 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.073 * [backup-simplify]: Simplify 0 into 0 8.073 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 y)))) into (sqrt (exp y)) 8.073 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- y)))) into (sqrt (exp (/ -1 y))) 8.073 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 8.073 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.073 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.073 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.073 * [taylor]: Taking taylor expansion of -1 in y 8.073 * [backup-simplify]: Simplify -1 into -1 8.073 * [taylor]: Taking taylor expansion of y in y 8.073 * [backup-simplify]: Simplify 0 into 0 8.073 * [backup-simplify]: Simplify 1 into 1 8.073 * [backup-simplify]: Simplify (/ -1 1) into -1 8.073 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.073 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.073 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.074 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.074 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.074 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.074 * [taylor]: Taking taylor expansion of -1 in y 8.074 * [backup-simplify]: Simplify -1 into -1 8.074 * [taylor]: Taking taylor expansion of y in y 8.074 * [backup-simplify]: Simplify 0 into 0 8.074 * [backup-simplify]: Simplify 1 into 1 8.074 * [backup-simplify]: Simplify (/ -1 1) into -1 8.074 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.074 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.074 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.074 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.074 * [backup-simplify]: Simplify 0 into 0 8.075 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.075 * [backup-simplify]: Simplify 0 into 0 8.075 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.075 * [backup-simplify]: Simplify 0 into 0 8.076 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.076 * [backup-simplify]: Simplify 0 into 0 8.076 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.076 * [backup-simplify]: Simplify 0 into 0 8.077 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.077 * [backup-simplify]: Simplify 0 into 0 8.077 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- y))))) into (sqrt (exp y)) 8.077 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 8.077 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 8.077 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 8.077 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.077 * [taylor]: Taking taylor expansion of (exp y) in y 8.077 * [taylor]: Taking taylor expansion of y in y 8.077 * [backup-simplify]: Simplify 0 into 0 8.077 * [backup-simplify]: Simplify 1 into 1 8.077 * [backup-simplify]: Simplify (exp 0) into 1 8.078 * [backup-simplify]: Simplify (sqrt 1) into 1 8.078 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.079 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.079 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.079 * [taylor]: Taking taylor expansion of (exp y) in y 8.079 * [taylor]: Taking taylor expansion of y in y 8.079 * [backup-simplify]: Simplify 0 into 0 8.079 * [backup-simplify]: Simplify 1 into 1 8.079 * [backup-simplify]: Simplify (exp 0) into 1 8.079 * [backup-simplify]: Simplify (sqrt 1) into 1 8.080 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.080 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.080 * [backup-simplify]: Simplify 1 into 1 8.080 * [backup-simplify]: Simplify 1/2 into 1/2 8.081 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.082 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.082 * [backup-simplify]: Simplify 1/8 into 1/8 8.082 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) into (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) 8.082 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.082 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 8.082 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.082 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.082 * [taylor]: Taking taylor expansion of y in y 8.082 * [backup-simplify]: Simplify 0 into 0 8.082 * [backup-simplify]: Simplify 1 into 1 8.082 * [backup-simplify]: Simplify (/ 1 1) into 1 8.082 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.082 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.082 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.082 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.082 * [taylor]: Taking taylor expansion of y in y 8.082 * [backup-simplify]: Simplify 0 into 0 8.082 * [backup-simplify]: Simplify 1 into 1 8.083 * [backup-simplify]: Simplify (/ 1 1) into 1 8.083 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.083 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.083 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.083 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.083 * [backup-simplify]: Simplify 0 into 0 8.084 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.084 * [backup-simplify]: Simplify 0 into 0 8.084 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.085 * [backup-simplify]: Simplify 0 into 0 8.085 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.086 * [backup-simplify]: Simplify 0 into 0 8.086 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.086 * [backup-simplify]: Simplify 0 into 0 8.087 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.087 * [backup-simplify]: Simplify 0 into 0 8.088 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 y)))) into (sqrt (exp y)) 8.088 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- y)))) into (sqrt (exp (/ -1 y))) 8.088 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 8.088 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.088 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.088 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.088 * [taylor]: Taking taylor expansion of -1 in y 8.088 * [backup-simplify]: Simplify -1 into -1 8.088 * [taylor]: Taking taylor expansion of y in y 8.088 * [backup-simplify]: Simplify 0 into 0 8.088 * [backup-simplify]: Simplify 1 into 1 8.088 * [backup-simplify]: Simplify (/ -1 1) into -1 8.088 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.088 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.089 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.089 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.089 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.089 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.089 * [taylor]: Taking taylor expansion of -1 in y 8.089 * [backup-simplify]: Simplify -1 into -1 8.089 * [taylor]: Taking taylor expansion of y in y 8.089 * [backup-simplify]: Simplify 0 into 0 8.089 * [backup-simplify]: Simplify 1 into 1 8.089 * [backup-simplify]: Simplify (/ -1 1) into -1 8.089 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.089 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.089 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.090 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.090 * [backup-simplify]: Simplify 0 into 0 8.090 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.090 * [backup-simplify]: Simplify 0 into 0 8.091 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.091 * [backup-simplify]: Simplify 0 into 0 8.092 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.092 * [backup-simplify]: Simplify 0 into 0 8.093 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.093 * [backup-simplify]: Simplify 0 into 0 8.094 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.094 * [backup-simplify]: Simplify 0 into 0 8.094 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- y))))) into (sqrt (exp y)) 8.094 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 8.094 * [backup-simplify]: Simplify (pow (sqrt (exp y)) y) into (pow (sqrt (exp y)) y) 8.095 * [approximate]: Taking taylor expansion of (pow (sqrt (exp y)) y) in (y) around 0 8.095 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 8.095 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 8.095 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 8.095 * [taylor]: Taking taylor expansion of y in y 8.095 * [backup-simplify]: Simplify 0 into 0 8.095 * [backup-simplify]: Simplify 1 into 1 8.095 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 8.095 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.095 * [taylor]: Taking taylor expansion of (exp y) in y 8.095 * [taylor]: Taking taylor expansion of y in y 8.095 * [backup-simplify]: Simplify 0 into 0 8.095 * [backup-simplify]: Simplify 1 into 1 8.095 * [backup-simplify]: Simplify (exp 0) into 1 8.095 * [backup-simplify]: Simplify (sqrt 1) into 1 8.098 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.099 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.100 * [backup-simplify]: Simplify (log 1) into 0 8.100 * [backup-simplify]: Simplify (* 0 0) into 0 8.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 8.102 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 8.103 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.104 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.106 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 8.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 8.106 * [backup-simplify]: Simplify (exp 0) into 1 8.106 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 8.106 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 8.106 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 8.106 * [taylor]: Taking taylor expansion of y in y 8.106 * [backup-simplify]: Simplify 0 into 0 8.106 * [backup-simplify]: Simplify 1 into 1 8.106 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 8.106 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.107 * [taylor]: Taking taylor expansion of (exp y) in y 8.107 * [taylor]: Taking taylor expansion of y in y 8.107 * [backup-simplify]: Simplify 0 into 0 8.107 * [backup-simplify]: Simplify 1 into 1 8.107 * [backup-simplify]: Simplify (exp 0) into 1 8.107 * [backup-simplify]: Simplify (sqrt 1) into 1 8.107 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.108 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.108 * [backup-simplify]: Simplify (log 1) into 0 8.108 * [backup-simplify]: Simplify (* 0 0) into 0 8.109 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 8.110 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 8.110 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.111 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.113 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 8.113 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 8.113 * [backup-simplify]: Simplify (exp 0) into 1 8.113 * [backup-simplify]: Simplify 1 into 1 8.114 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 8.114 * [backup-simplify]: Simplify 0 into 0 8.115 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1/2 8.115 * [backup-simplify]: Simplify 1/2 into 1/2 8.116 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.117 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 8.121 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/48) 1)) (pow 1 1)))) 6) into 0 8.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/2) (* 0 0)))) into 0 8.123 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.123 * [backup-simplify]: Simplify 0 into 0 8.125 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 8.126 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 8.133 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1/2) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1/2) 2) (pow (* 2 1/8) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/8) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1/2) 1) 1 (pow (* 6 1/48) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/384) 1)) (pow 1 1)))) 24) into 0 8.134 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0))))) into 0 8.137 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 8.137 * [backup-simplify]: Simplify 1/8 into 1/8 8.138 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) into (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) 8.138 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 y))) (/ 1 y)) into (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 8.138 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in (y) around 0 8.138 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 8.138 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 8.138 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 8.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.138 * [taylor]: Taking taylor expansion of y in y 8.138 * [backup-simplify]: Simplify 0 into 0 8.138 * [backup-simplify]: Simplify 1 into 1 8.138 * [backup-simplify]: Simplify (/ 1 1) into 1 8.138 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 8.138 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.138 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.138 * [taylor]: Taking taylor expansion of y in y 8.138 * [backup-simplify]: Simplify 0 into 0 8.139 * [backup-simplify]: Simplify 1 into 1 8.139 * [backup-simplify]: Simplify (/ 1 1) into 1 8.139 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.139 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.139 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.139 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.139 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 8.140 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.140 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 8.140 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 8.140 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 8.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.140 * [taylor]: Taking taylor expansion of y in y 8.140 * [backup-simplify]: Simplify 0 into 0 8.140 * [backup-simplify]: Simplify 1 into 1 8.140 * [backup-simplify]: Simplify (/ 1 1) into 1 8.140 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 8.140 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.140 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.140 * [taylor]: Taking taylor expansion of y in y 8.140 * [backup-simplify]: Simplify 0 into 0 8.140 * [backup-simplify]: Simplify 1 into 1 8.141 * [backup-simplify]: Simplify (/ 1 1) into 1 8.141 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.141 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.141 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.141 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 8.141 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.141 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) into (exp (* (log (sqrt (exp y))) y)) 8.142 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y))) into (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 8.142 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in (y) around 0 8.142 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 8.142 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 8.142 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 8.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.142 * [taylor]: Taking taylor expansion of -1 in y 8.142 * [backup-simplify]: Simplify -1 into -1 8.142 * [taylor]: Taking taylor expansion of y in y 8.142 * [backup-simplify]: Simplify 0 into 0 8.142 * [backup-simplify]: Simplify 1 into 1 8.143 * [backup-simplify]: Simplify (/ -1 1) into -1 8.143 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.143 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.143 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.143 * [taylor]: Taking taylor expansion of -1 in y 8.143 * [backup-simplify]: Simplify -1 into -1 8.143 * [taylor]: Taking taylor expansion of y in y 8.143 * [backup-simplify]: Simplify 0 into 0 8.143 * [backup-simplify]: Simplify 1 into 1 8.143 * [backup-simplify]: Simplify (/ -1 1) into -1 8.143 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.143 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.144 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.144 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.144 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.144 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.144 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 8.144 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 8.144 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 8.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.144 * [taylor]: Taking taylor expansion of -1 in y 8.144 * [backup-simplify]: Simplify -1 into -1 8.144 * [taylor]: Taking taylor expansion of y in y 8.144 * [backup-simplify]: Simplify 0 into 0 8.144 * [backup-simplify]: Simplify 1 into 1 8.145 * [backup-simplify]: Simplify (/ -1 1) into -1 8.145 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.145 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.145 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.145 * [taylor]: Taking taylor expansion of -1 in y 8.145 * [backup-simplify]: Simplify -1 into -1 8.145 * [taylor]: Taking taylor expansion of y in y 8.145 * [backup-simplify]: Simplify 0 into 0 8.145 * [backup-simplify]: Simplify 1 into 1 8.145 * [backup-simplify]: Simplify (/ -1 1) into -1 8.145 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.145 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.146 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.146 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.146 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.146 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.146 * [backup-simplify]: Simplify 0 into 0 8.146 * [backup-simplify]: Simplify 0 into 0 8.146 * [backup-simplify]: Simplify 0 into 0 8.146 * [backup-simplify]: Simplify 0 into 0 8.146 * [backup-simplify]: Simplify 0 into 0 8.146 * [backup-simplify]: Simplify 0 into 0 8.146 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) into (exp (* (log (sqrt (exp y))) y)) 8.147 * * * [progress]: simplifying candidates 8.147 * * * * [progress]: [ 1 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 2 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 3 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 4 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 5 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 6 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 7 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 8 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 9 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 10 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 11 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 12 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 13 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 14 / 118 ] simplifiying candidate # 8.147 * * * * [progress]: [ 15 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 16 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 17 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 18 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 19 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 20 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 21 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 22 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 23 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 24 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 25 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 26 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 27 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 28 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 29 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 30 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 31 / 118 ] simplifiying candidate # 8.148 * * * * [progress]: [ 32 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 33 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 34 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 35 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 36 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 37 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 38 / 118 ] simplifiying candidate #real (real->posit16 (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))))> 8.149 * * * * [progress]: [ 39 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 40 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 41 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 42 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 43 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 44 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 45 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 46 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 47 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 48 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 49 / 118 ] simplifiying candidate # 8.149 * * * * [progress]: [ 50 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 51 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 52 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 53 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 54 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 55 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 56 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 57 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 58 / 118 ] simplifiying candidate #real (real->posit16 (sqrt (exp y)))) y))))> 8.150 * * * * [progress]: [ 59 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 60 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 61 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 62 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 63 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 64 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 65 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 66 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 67 / 118 ] simplifiying candidate # 8.150 * * * * [progress]: [ 68 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 69 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 70 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 71 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 72 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 73 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 74 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 75 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 76 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 77 / 118 ] simplifiying candidate #real (real->posit16 (sqrt (exp y)))) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))> 8.151 * * * * [progress]: [ 78 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 79 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 80 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 81 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 82 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 83 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 84 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 85 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 86 / 118 ] simplifiying candidate # 8.151 * * * * [progress]: [ 87 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 88 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 89 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 90 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 91 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 92 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 93 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 94 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 95 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 96 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 97 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 98 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 99 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 100 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 101 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 102 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 103 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 104 / 118 ] simplifiying candidate # 8.152 * * * * [progress]: [ 105 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 106 / 118 ] simplifiying candidate #real (real->posit16 (pow (sqrt (exp y)) y))))))> 8.153 * * * * [progress]: [ 107 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 108 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 109 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 110 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 111 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 112 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 113 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 114 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 115 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 116 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 117 / 118 ] simplifiying candidate # 8.153 * * * * [progress]: [ 118 / 118 ] simplifiying candidate # 8.155 * [simplify]: Simplifying: (expm1 (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (log1p (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ 1 1) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (+ 1 1) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (log (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (exp (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (cbrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (cbrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))) (cbrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (sqrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (sqrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (sqrt x) (sqrt x)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* 2 1) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (sqrt x)) (* (pow (sqrt (exp y)) y) (* (sqrt x) (pow (sqrt (exp y)) y))) (real->posit16 (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (expm1 (pow (sqrt (exp y)) y)) (log1p (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y) (* 1/2 y) (* 1 y) (* (/ 1 2) y) (* (/ (cbrt y) 2) y) (* (/ (sqrt y) 2) y) (* (/ y 2) y) (pow (sqrt (exp y)) (* (cbrt y) (cbrt y))) (pow (sqrt (exp y)) (sqrt y)) (pow (sqrt (exp y)) 1) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y) (pow (cbrt (sqrt (exp y))) y) (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y) (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt 1) y) (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow 1 y) (pow (sqrt (exp y)) y) (log (pow (sqrt (exp y)) y)) (exp (pow (sqrt (exp y)) y)) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (cbrt (pow (sqrt (exp y)) y)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (/ y 2) (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)) (real->posit16 (pow (sqrt (exp y)) y)) x (* x (pow (exp (* (log (sqrt (exp y))) y)) 2)) (- (+ (* +nan.0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) (- (+ (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) (pow x 2))) (- (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) x))))))) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)) 8.157 * * [simplify]: iteration 0: 122 enodes 8.215 * * [simplify]: iteration 1: 327 enodes 8.301 * * [simplify]: iteration 2: 932 enodes 9.221 * * [simplify]: iteration 3: 3602 enodes 9.985 * * [simplify]: iteration complete: 5009 enodes 9.985 * * [simplify]: Extracting #0: cost 58 inf + 0 9.986 * * [simplify]: Extracting #1: cost 416 inf + 5 9.994 * * [simplify]: Extracting #2: cost 875 inf + 12645 10.034 * * [simplify]: Extracting #3: cost 570 inf + 173735 10.137 * * [simplify]: Extracting #4: cost 91 inf + 438817 10.266 * * [simplify]: Extracting #5: cost 0 inf + 479916 10.391 * * [simplify]: Extracting #6: cost 0 inf + 477116 10.514 * * [simplify]: Extracting #7: cost 0 inf + 477100 10.653 * [simplify]: Simplified to: (expm1 (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (log1p (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) 2 (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) 2 (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (fma (* y 2) (log (sqrt (exp y))) (log x)) (exp (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (* (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (* (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (* (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (* (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (cbrt (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (cbrt (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)))) (cbrt (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (* (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (fabs (* (exp (* (log (sqrt (exp y))) y)) (sqrt x))) (fabs (* (exp (* (log (sqrt (exp y))) y)) (sqrt x))) x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))) 2 (* (exp (* (log (sqrt (exp y))) y)) x) (* (* (exp (* (log (sqrt (exp y))) y)) (sqrt x)) (exp (* (log (sqrt (exp y))) y))) (real->posit16 (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (exp y) (sqrt (exp y))) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (exp y) (sqrt (exp y))) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (expm1 (exp (* (log (sqrt (exp y))) y))) (log1p (exp (* (log (sqrt (exp y))) y))) (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y) (* 1/2 y) y (* 1/2 y) (* y (/ (cbrt y) 2)) (* y (/ (sqrt y) 2)) (* (/ y 2) y) (pow (sqrt (exp y)) (* (cbrt y) (cbrt y))) (pow (sqrt (exp y)) (sqrt y)) (sqrt (exp y)) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y) (pow (cbrt (sqrt (exp y))) y) (pow (fabs (cbrt (exp y))) y) (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) 1 (exp (* (log (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) 1 (exp (* (log (sqrt (exp y))) y)) (* (log (sqrt (exp y))) y) (exp (exp (* (log (sqrt (exp y))) y))) (* (cbrt (exp (* (log (sqrt (exp y))) y))) (cbrt (exp (* (log (sqrt (exp y))) y)))) (cbrt (exp (* (log (sqrt (exp y))) y))) (exp (fma 2 (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (/ y 2) (sqrt (exp (* (log (sqrt (exp y))) y))) (sqrt (exp (* (log (sqrt (exp y))) y))) (exp (* (/ y 2) (log (sqrt (exp y))))) (exp (* (/ y 2) (log (sqrt (exp y))))) (real->posit16 (exp (* (log (sqrt (exp y))) y))) x (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) x)) (* +nan.0 (fma (exp (* (log (sqrt (exp y))) y)) (- (exp (* (log (sqrt (exp y))) y))) (fma (/ (exp (* (log (sqrt (exp y))) y)) x) (/ (exp (* (log (sqrt (exp y))) y)) x) (/ (- (exp (* (log (sqrt (exp y))) y))) (/ x (exp (* (log (sqrt (exp y))) y))))))) (fma 1/2 y (fma y (* y 1/8) 1)) (sqrt (exp y)) (sqrt (exp y)) (fma 1/2 y (fma y (* y 1/8) 1)) (sqrt (exp y)) (sqrt (exp y)) (fma (* y y) 1/2 (fma 1/8 (* (* y y) (* y y)) 1)) (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)) 10.662 * * * [progress]: adding candidates to table 11.039 * [progress]: [Phase 3 of 3] Extracting. 11.040 * * [regime]: Finding splitpoints for: (# # #) 11.040 * * * [regime-changes]: Trying 3 branch expressions: ((* y y) y x) 11.040 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 11.067 * * * * [regimes]: Trying to branch on y from (# # #) 11.089 * * * * [regimes]: Trying to branch on x from (# # #) 11.113 * * * [regime]: Found split indices: #