14.925 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.025 * [simplify]: Simplifying: (* x (exp (* y y))) 0.025 * * [simplify]: iteration 0: 5 enodes 0.026 * * [simplify]: iteration 1: 8 enodes 0.027 * * [simplify]: iteration 2: 12 enodes 0.029 * * [simplify]: iteration 3: 21 enodes 0.033 * * [simplify]: iteration 4: 46 enodes 0.042 * * [simplify]: iteration 5: 122 enodes 0.077 * * [simplify]: iteration 6: 362 enodes 0.345 * * [simplify]: iteration 7: 1166 enodes 2.276 * * [simplify]: iteration complete: 5000 enodes 2.276 * * [simplify]: Extracting #0: cost 1 inf + 0 2.276 * * [simplify]: Extracting #1: cost 135 inf + 0 2.280 * * [simplify]: Extracting #2: cost 766 inf + 1 2.286 * * [simplify]: Extracting #3: cost 998 inf + 233 2.294 * * [simplify]: Extracting #4: cost 941 inf + 11756 2.332 * * [simplify]: Extracting #5: cost 528 inf + 220843 2.430 * * [simplify]: Extracting #6: cost 80 inf + 642663 2.536 * * [simplify]: Extracting #7: cost 0 inf + 709065 2.634 * * [simplify]: Extracting #8: cost 0 inf + 706552 2.760 * * [simplify]: Extracting #9: cost 0 inf + 705506 2.892 * [simplify]: Simplified to: (* (exp (* y y)) x) 2.893 * * [progress]: iteration 1 / 4 2.893 * * * [progress]: picking best candidate 2.897 * * * * [pick]: Picked # 2.897 * * * [progress]: localizing error 2.913 * * * [progress]: generating rewritten candidates 2.913 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.920 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.939 * * * [progress]: generating series expansions 2.939 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.940 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2)) 2.940 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 2.940 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.940 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.940 * [taylor]: Taking taylor expansion of y in y 2.940 * [backup-simplify]: Simplify 0 into 0 2.940 * [backup-simplify]: Simplify 1 into 1 2.940 * [backup-simplify]: Simplify (* 1 1) into 1 2.940 * [backup-simplify]: Simplify (exp 0) into 1 2.940 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.941 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.941 * [taylor]: Taking taylor expansion of y in y 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 1 into 1 2.941 * [backup-simplify]: Simplify (* 1 1) into 1 2.941 * [backup-simplify]: Simplify (exp 0) into 1 2.941 * [backup-simplify]: Simplify 1 into 1 2.942 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.942 * [backup-simplify]: Simplify 0 into 0 2.944 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 2.944 * [backup-simplify]: Simplify 1 into 1 2.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.947 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.947 * [backup-simplify]: Simplify 0 into 0 2.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.951 * [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.951 * [backup-simplify]: Simplify 1/2 into 1/2 2.951 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 2.951 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2))) 2.951 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.952 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.952 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.952 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.952 * [taylor]: Taking taylor expansion of y in y 2.952 * [backup-simplify]: Simplify 0 into 0 2.952 * [backup-simplify]: Simplify 1 into 1 2.952 * [backup-simplify]: Simplify (* 1 1) into 1 2.952 * [backup-simplify]: Simplify (/ 1 1) into 1 2.952 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.953 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.953 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.953 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.953 * [taylor]: Taking taylor expansion of y in y 2.953 * [backup-simplify]: Simplify 0 into 0 2.953 * [backup-simplify]: Simplify 1 into 1 2.953 * [backup-simplify]: Simplify (* 1 1) into 1 2.953 * [backup-simplify]: Simplify (/ 1 1) into 1 2.953 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.954 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 2.954 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2))) 2.954 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.954 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.954 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.954 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.954 * [taylor]: Taking taylor expansion of y in y 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 1 into 1 2.955 * [backup-simplify]: Simplify (* 1 1) into 1 2.955 * [backup-simplify]: Simplify (/ 1 1) into 1 2.955 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.955 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.955 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.955 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.955 * [taylor]: Taking taylor expansion of y in y 2.955 * [backup-simplify]: Simplify 0 into 0 2.955 * [backup-simplify]: Simplify 1 into 1 2.956 * [backup-simplify]: Simplify (* 1 1) into 1 2.956 * [backup-simplify]: Simplify (/ 1 1) into 1 2.956 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.956 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 2.957 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.957 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 2.957 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 2.957 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 2.957 * [taylor]: Taking taylor expansion of x in y 2.957 * [backup-simplify]: Simplify x into x 2.957 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.957 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.957 * [taylor]: Taking taylor expansion of y in y 2.957 * [backup-simplify]: Simplify 0 into 0 2.957 * [backup-simplify]: Simplify 1 into 1 2.957 * [backup-simplify]: Simplify (* 1 1) into 1 2.957 * [backup-simplify]: Simplify (exp 0) into 1 2.957 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.957 * [taylor]: Taking taylor expansion of x in x 2.957 * [backup-simplify]: Simplify 0 into 0 2.957 * [backup-simplify]: Simplify 1 into 1 2.957 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.957 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.957 * [taylor]: Taking taylor expansion of y in x 2.957 * [backup-simplify]: Simplify y into y 2.957 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.958 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.958 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.958 * [taylor]: Taking taylor expansion of x in x 2.958 * [backup-simplify]: Simplify 0 into 0 2.958 * [backup-simplify]: Simplify 1 into 1 2.958 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.958 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.958 * [taylor]: Taking taylor expansion of y in x 2.958 * [backup-simplify]: Simplify y into y 2.958 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.958 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.958 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 2.958 * [taylor]: Taking taylor expansion of 0 in y 2.958 * [backup-simplify]: Simplify 0 into 0 2.958 * [backup-simplify]: Simplify 0 into 0 2.958 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.959 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 2.959 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 2.959 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.959 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.959 * [taylor]: Taking taylor expansion of y in y 2.959 * [backup-simplify]: Simplify 0 into 0 2.959 * [backup-simplify]: Simplify 1 into 1 2.960 * [backup-simplify]: Simplify (* 1 1) into 1 2.960 * [backup-simplify]: Simplify (exp 0) into 1 2.960 * [backup-simplify]: Simplify 1 into 1 2.960 * [backup-simplify]: Simplify 0 into 0 2.960 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.961 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.962 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 2.962 * [taylor]: Taking taylor expansion of 0 in y 2.962 * [backup-simplify]: Simplify 0 into 0 2.962 * [backup-simplify]: Simplify 0 into 0 2.963 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.963 * [backup-simplify]: Simplify 0 into 0 2.963 * [backup-simplify]: Simplify 0 into 0 2.964 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.966 * [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.967 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 2.967 * [taylor]: Taking taylor expansion of 0 in y 2.967 * [backup-simplify]: Simplify 0 into 0 2.967 * [backup-simplify]: Simplify 0 into 0 2.967 * [backup-simplify]: Simplify 0 into 0 2.968 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 2.968 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 2.968 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 2.968 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.968 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.968 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.968 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.968 * [taylor]: Taking taylor expansion of y in y 2.968 * [backup-simplify]: Simplify 0 into 0 2.968 * [backup-simplify]: Simplify 1 into 1 2.968 * [backup-simplify]: Simplify (* 1 1) into 1 2.969 * [backup-simplify]: Simplify (/ 1 1) into 1 2.969 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.969 * [taylor]: Taking taylor expansion of x in y 2.969 * [backup-simplify]: Simplify x into x 2.969 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.969 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.969 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.969 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.969 * [taylor]: Taking taylor expansion of y in x 2.969 * [backup-simplify]: Simplify y into y 2.969 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.969 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.969 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.969 * [taylor]: Taking taylor expansion of x in x 2.969 * [backup-simplify]: Simplify 0 into 0 2.969 * [backup-simplify]: Simplify 1 into 1 2.969 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.969 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.969 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.969 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.970 * [taylor]: Taking taylor expansion of y in x 2.970 * [backup-simplify]: Simplify y into y 2.970 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.970 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.970 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.970 * [taylor]: Taking taylor expansion of x in x 2.970 * [backup-simplify]: Simplify 0 into 0 2.970 * [backup-simplify]: Simplify 1 into 1 2.970 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.970 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.970 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.970 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.970 * [taylor]: Taking taylor expansion of y in y 2.970 * [backup-simplify]: Simplify 0 into 0 2.970 * [backup-simplify]: Simplify 1 into 1 2.970 * [backup-simplify]: Simplify (* 1 1) into 1 2.971 * [backup-simplify]: Simplify (/ 1 1) into 1 2.971 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.971 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.971 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.972 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.973 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.973 * [taylor]: Taking taylor expansion of 0 in y 2.973 * [backup-simplify]: Simplify 0 into 0 2.973 * [backup-simplify]: Simplify 0 into 0 2.973 * [backup-simplify]: Simplify 0 into 0 2.974 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.974 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.975 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.976 * [taylor]: Taking taylor expansion of 0 in y 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.978 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.979 * [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.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.981 * [taylor]: Taking taylor expansion of 0 in y 2.981 * [backup-simplify]: Simplify 0 into 0 2.981 * [backup-simplify]: Simplify 0 into 0 2.981 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 2.981 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 2.981 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 2.982 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 2.982 * [taylor]: Taking taylor expansion of -1 in y 2.982 * [backup-simplify]: Simplify -1 into -1 2.982 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.982 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.982 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.982 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.982 * [taylor]: Taking taylor expansion of y in y 2.982 * [backup-simplify]: Simplify 0 into 0 2.982 * [backup-simplify]: Simplify 1 into 1 2.982 * [backup-simplify]: Simplify (* 1 1) into 1 2.982 * [backup-simplify]: Simplify (/ 1 1) into 1 2.982 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.983 * [taylor]: Taking taylor expansion of x in y 2.983 * [backup-simplify]: Simplify x into x 2.983 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.983 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.983 * [taylor]: Taking taylor expansion of -1 in x 2.983 * [backup-simplify]: Simplify -1 into -1 2.983 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.983 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.983 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.983 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.983 * [taylor]: Taking taylor expansion of y in x 2.983 * [backup-simplify]: Simplify y into y 2.983 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.983 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.983 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.983 * [taylor]: Taking taylor expansion of x in x 2.983 * [backup-simplify]: Simplify 0 into 0 2.983 * [backup-simplify]: Simplify 1 into 1 2.983 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.983 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.983 * [taylor]: Taking taylor expansion of -1 in x 2.983 * [backup-simplify]: Simplify -1 into -1 2.983 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.983 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.983 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.983 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.983 * [taylor]: Taking taylor expansion of y in x 2.983 * [backup-simplify]: Simplify y into y 2.984 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.984 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.984 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.984 * [taylor]: Taking taylor expansion of x in x 2.984 * [backup-simplify]: Simplify 0 into 0 2.984 * [backup-simplify]: Simplify 1 into 1 2.984 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.984 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.984 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.984 * [taylor]: Taking taylor expansion of -1 in y 2.984 * [backup-simplify]: Simplify -1 into -1 2.984 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.984 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.984 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.984 * [taylor]: Taking taylor expansion of y in y 2.984 * [backup-simplify]: Simplify 0 into 0 2.984 * [backup-simplify]: Simplify 1 into 1 2.985 * [backup-simplify]: Simplify (* 1 1) into 1 2.985 * [backup-simplify]: Simplify (/ 1 1) into 1 2.985 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.985 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.985 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.985 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.987 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.988 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.988 * [taylor]: Taking taylor expansion of 0 in y 2.988 * [backup-simplify]: Simplify 0 into 0 2.988 * [backup-simplify]: Simplify 0 into 0 2.988 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.988 * [backup-simplify]: Simplify 0 into 0 2.989 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.989 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.990 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.991 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.991 * [taylor]: Taking taylor expansion of 0 in y 2.991 * [backup-simplify]: Simplify 0 into 0 2.991 * [backup-simplify]: Simplify 0 into 0 2.991 * [backup-simplify]: Simplify 0 into 0 2.992 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.992 * [backup-simplify]: Simplify 0 into 0 2.992 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.994 * [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.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.996 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 2.996 * [taylor]: Taking taylor expansion of 0 in y 2.996 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 2.996 * * * [progress]: simplifying candidates 2.996 * * * * [progress]: [ 1 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 2 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 3 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 4 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 5 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 6 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 7 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 8 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 9 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 10 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 11 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 12 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 13 / 40 ] simplifiying candidate #real (real->posit16 (exp (* y y))))))> 2.996 * * * * [progress]: [ 14 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 15 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 16 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 17 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 18 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 19 / 40 ] simplifiying candidate # 2.996 * * * * [progress]: [ 20 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 21 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 22 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 23 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 24 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 25 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 26 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 27 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 28 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 29 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 30 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 31 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 32 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 33 / 40 ] simplifiying candidate #real (real->posit16 (* x (exp (* y y))))))> 2.997 * * * * [progress]: [ 34 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 35 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 36 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 37 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 38 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 39 / 40 ] simplifiying candidate # 2.997 * * * * [progress]: [ 40 / 40 ] simplifiying candidate # 2.998 * [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.998 * * [simplify]: iteration 0: 50 enodes 3.012 * * [simplify]: iteration 1: 107 enodes 3.046 * * [simplify]: iteration 2: 280 enodes 3.189 * * [simplify]: iteration 3: 790 enodes 3.645 * * [simplify]: iteration 4: 1747 enodes 5.116 * * [simplify]: iteration 5: 4268 enodes 5.659 * * [simplify]: iteration complete: 5003 enodes 5.660 * * [simplify]: Extracting #0: cost 28 inf + 0 5.660 * * [simplify]: Extracting #1: cost 247 inf + 1 5.664 * * [simplify]: Extracting #2: cost 569 inf + 8749 5.690 * * [simplify]: Extracting #3: cost 432 inf + 66029 5.720 * * [simplify]: Extracting #4: cost 135 inf + 190399 5.779 * * [simplify]: Extracting #5: cost 36 inf + 242247 5.825 * * [simplify]: Extracting #6: cost 0 inf + 263673 5.896 * [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))))) (* x (sqrt (exp (* y y)))) x (* (exp (* y y)) (cbrt x)) (* (exp (* y y)) (sqrt x)) (* (exp (* y y)) x) (real->posit16 (* (exp (* y y)) x)) (+ 1 (fma (* (* y y) 1/2) (* y y) (* y y))) (exp (* y y)) (exp (* y y)) x (* (exp (* y y)) x) (* (exp (* y y)) x) 5.897 * * * [progress]: adding candidates to table 6.038 * * [progress]: iteration 2 / 4 6.038 * * * [progress]: picking best candidate 6.042 * * * * [pick]: Picked # 6.042 * * * [progress]: localizing error 6.058 * * * [progress]: generating rewritten candidates 6.058 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 6.067 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.088 * * * [progress]: generating series expansions 6.088 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 6.088 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y) 6.088 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 6.088 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.089 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.089 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.089 * [taylor]: Taking taylor expansion of y in y 6.089 * [backup-simplify]: Simplify 0 into 0 6.089 * [backup-simplify]: Simplify 1 into 1 6.089 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.089 * [taylor]: Taking taylor expansion of (exp y) in y 6.089 * [taylor]: Taking taylor expansion of y in y 6.089 * [backup-simplify]: Simplify 0 into 0 6.089 * [backup-simplify]: Simplify 1 into 1 6.089 * [backup-simplify]: Simplify (exp 0) into 1 6.089 * [backup-simplify]: Simplify (log 1) into 0 6.090 * [backup-simplify]: Simplify (* 0 0) into 0 6.091 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.092 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.093 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 6.094 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.097 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 6.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 6.097 * [backup-simplify]: Simplify (exp 0) into 1 6.097 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.097 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.097 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.097 * [taylor]: Taking taylor expansion of y in y 6.097 * [backup-simplify]: Simplify 0 into 0 6.097 * [backup-simplify]: Simplify 1 into 1 6.097 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.097 * [taylor]: Taking taylor expansion of (exp y) in y 6.098 * [taylor]: Taking taylor expansion of y in y 6.098 * [backup-simplify]: Simplify 0 into 0 6.098 * [backup-simplify]: Simplify 1 into 1 6.098 * [backup-simplify]: Simplify (exp 0) into 1 6.098 * [backup-simplify]: Simplify (log 1) into 0 6.098 * [backup-simplify]: Simplify (* 0 0) into 0 6.099 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.100 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.101 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 6.102 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.105 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 6.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 6.106 * [backup-simplify]: Simplify (exp 0) into 1 6.106 * [backup-simplify]: Simplify 1 into 1 6.107 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 6.107 * [backup-simplify]: Simplify 0 into 0 6.108 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 6.108 * [backup-simplify]: Simplify 1 into 1 6.110 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 6.115 * [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 6.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 6.118 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.118 * [backup-simplify]: Simplify 0 into 0 6.122 * [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 6.133 * [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 6.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.139 * [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 6.139 * [backup-simplify]: Simplify 1/2 into 1/2 6.139 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 6.139 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y)) 6.140 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 6.140 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.140 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.140 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.140 * [taylor]: Taking taylor expansion of y in y 6.140 * [backup-simplify]: Simplify 0 into 0 6.140 * [backup-simplify]: Simplify 1 into 1 6.140 * [backup-simplify]: Simplify (/ 1 1) into 1 6.140 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.140 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.140 * [taylor]: Taking taylor expansion of y in y 6.140 * [backup-simplify]: Simplify 0 into 0 6.140 * [backup-simplify]: Simplify 1 into 1 6.141 * [backup-simplify]: Simplify (/ 1 1) into 1 6.141 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 6.141 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 6.141 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 6.141 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 6.141 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.141 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.141 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.141 * [taylor]: Taking taylor expansion of y in y 6.141 * [backup-simplify]: Simplify 0 into 0 6.141 * [backup-simplify]: Simplify 1 into 1 6.142 * [backup-simplify]: Simplify (/ 1 1) into 1 6.142 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.142 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.142 * [taylor]: Taking taylor expansion of y in y 6.142 * [backup-simplify]: Simplify 0 into 0 6.142 * [backup-simplify]: Simplify 1 into 1 6.142 * [backup-simplify]: Simplify (/ 1 1) into 1 6.142 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 6.142 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 6.143 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 6.143 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 6.143 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.143 * [backup-simplify]: Simplify 0 into 0 6.143 * [backup-simplify]: Simplify 0 into 0 6.143 * [backup-simplify]: Simplify 0 into 0 6.143 * [backup-simplify]: Simplify 0 into 0 6.143 * [backup-simplify]: Simplify 0 into 0 6.143 * [backup-simplify]: Simplify 0 into 0 6.143 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 6.143 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y)) 6.143 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 6.143 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.143 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.143 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.144 * [taylor]: Taking taylor expansion of -1 in y 6.144 * [backup-simplify]: Simplify -1 into -1 6.144 * [taylor]: Taking taylor expansion of y in y 6.144 * [backup-simplify]: Simplify 0 into 0 6.144 * [backup-simplify]: Simplify 1 into 1 6.144 * [backup-simplify]: Simplify (/ -1 1) into -1 6.144 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.144 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.144 * [taylor]: Taking taylor expansion of -1 in y 6.144 * [backup-simplify]: Simplify -1 into -1 6.144 * [taylor]: Taking taylor expansion of y in y 6.144 * [backup-simplify]: Simplify 0 into 0 6.144 * [backup-simplify]: Simplify 1 into 1 6.145 * [backup-simplify]: Simplify (/ -1 1) into -1 6.145 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 6.145 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 6.145 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 6.145 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 6.145 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.145 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.145 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.145 * [taylor]: Taking taylor expansion of -1 in y 6.145 * [backup-simplify]: Simplify -1 into -1 6.145 * [taylor]: Taking taylor expansion of y in y 6.145 * [backup-simplify]: Simplify 0 into 0 6.145 * [backup-simplify]: Simplify 1 into 1 6.146 * [backup-simplify]: Simplify (/ -1 1) into -1 6.146 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.146 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.146 * [taylor]: Taking taylor expansion of -1 in y 6.146 * [backup-simplify]: Simplify -1 into -1 6.146 * [taylor]: Taking taylor expansion of y in y 6.146 * [backup-simplify]: Simplify 0 into 0 6.146 * [backup-simplify]: Simplify 1 into 1 6.146 * [backup-simplify]: Simplify (/ -1 1) into -1 6.146 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 6.146 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 6.147 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 6.147 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 6.147 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 6.147 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.147 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y)) 6.147 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 6.147 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 6.147 * [taylor]: Taking taylor expansion of x in y 6.147 * [backup-simplify]: Simplify x into x 6.147 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.147 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.148 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.148 * [taylor]: Taking taylor expansion of y in y 6.148 * [backup-simplify]: Simplify 0 into 0 6.148 * [backup-simplify]: Simplify 1 into 1 6.148 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.148 * [taylor]: Taking taylor expansion of (exp y) in y 6.148 * [taylor]: Taking taylor expansion of y in y 6.148 * [backup-simplify]: Simplify 0 into 0 6.148 * [backup-simplify]: Simplify 1 into 1 6.148 * [backup-simplify]: Simplify (exp 0) into 1 6.148 * [backup-simplify]: Simplify (log 1) into 0 6.148 * [backup-simplify]: Simplify (* 0 0) into 0 6.149 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.151 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.151 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 6.153 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.156 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 6.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 6.156 * [backup-simplify]: Simplify (exp 0) into 1 6.156 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 6.156 * [taylor]: Taking taylor expansion of x in x 6.156 * [backup-simplify]: Simplify 0 into 0 6.157 * [backup-simplify]: Simplify 1 into 1 6.157 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 6.157 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 6.157 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 6.157 * [taylor]: Taking taylor expansion of y in x 6.157 * [backup-simplify]: Simplify y into y 6.157 * [taylor]: Taking taylor expansion of (log (exp y)) in x 6.157 * [taylor]: Taking taylor expansion of (exp y) in x 6.157 * [taylor]: Taking taylor expansion of y in x 6.157 * [backup-simplify]: Simplify y into y 6.157 * [backup-simplify]: Simplify (exp y) into (exp y) 6.157 * [backup-simplify]: Simplify (log (exp y)) into y 6.157 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.157 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 6.157 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 6.157 * [taylor]: Taking taylor expansion of x in x 6.157 * [backup-simplify]: Simplify 0 into 0 6.157 * [backup-simplify]: Simplify 1 into 1 6.157 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 6.157 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 6.157 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 6.157 * [taylor]: Taking taylor expansion of y in x 6.157 * [backup-simplify]: Simplify y into y 6.157 * [taylor]: Taking taylor expansion of (log (exp y)) in x 6.157 * [taylor]: Taking taylor expansion of (exp y) in x 6.157 * [taylor]: Taking taylor expansion of y in x 6.157 * [backup-simplify]: Simplify y into y 6.157 * [backup-simplify]: Simplify (exp y) into (exp y) 6.157 * [backup-simplify]: Simplify (log (exp y)) into y 6.157 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.157 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 6.158 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 6.158 * [taylor]: Taking taylor expansion of 0 in y 6.158 * [backup-simplify]: Simplify 0 into 0 6.158 * [backup-simplify]: Simplify 0 into 0 6.159 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 6.159 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 6.159 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.160 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 6.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 6.161 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.161 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.161 * [taylor]: Taking taylor expansion of y in y 6.161 * [backup-simplify]: Simplify 0 into 0 6.161 * [backup-simplify]: Simplify 1 into 1 6.161 * [backup-simplify]: Simplify (* 1 1) into 1 6.161 * [backup-simplify]: Simplify (exp 0) into 1 6.161 * [backup-simplify]: Simplify 1 into 1 6.161 * [backup-simplify]: Simplify 0 into 0 6.162 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.164 * [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 6.164 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.166 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 6.167 * [taylor]: Taking taylor expansion of 0 in y 6.167 * [backup-simplify]: Simplify 0 into 0 6.167 * [backup-simplify]: Simplify 0 into 0 6.168 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 6.168 * [backup-simplify]: Simplify 0 into 0 6.168 * [backup-simplify]: Simplify 0 into 0 6.169 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.172 * [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 6.172 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.173 * [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 6.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 6.174 * [taylor]: Taking taylor expansion of 0 in y 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 6.174 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 6.174 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 6.174 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 6.174 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.174 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.174 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.174 * [taylor]: Taking taylor expansion of y in y 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify 1 into 1 6.175 * [backup-simplify]: Simplify (/ 1 1) into 1 6.175 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.175 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.175 * [taylor]: Taking taylor expansion of y in y 6.175 * [backup-simplify]: Simplify 0 into 0 6.175 * [backup-simplify]: Simplify 1 into 1 6.175 * [backup-simplify]: Simplify (/ 1 1) into 1 6.175 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 6.175 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 6.175 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 6.175 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 6.175 * [taylor]: Taking taylor expansion of x in y 6.175 * [backup-simplify]: Simplify x into x 6.175 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 6.175 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 6.175 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 6.175 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 6.175 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 6.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.175 * [taylor]: Taking taylor expansion of y in x 6.175 * [backup-simplify]: Simplify y into y 6.175 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.175 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 6.175 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.175 * [taylor]: Taking taylor expansion of y in x 6.175 * [backup-simplify]: Simplify y into y 6.176 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.176 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 6.176 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 6.176 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 6.176 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.176 * [taylor]: Taking taylor expansion of x in x 6.176 * [backup-simplify]: Simplify 0 into 0 6.176 * [backup-simplify]: Simplify 1 into 1 6.176 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.176 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 6.176 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 6.176 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 6.176 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 6.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.176 * [taylor]: Taking taylor expansion of y in x 6.176 * [backup-simplify]: Simplify y into y 6.176 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.176 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 6.176 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.176 * [taylor]: Taking taylor expansion of y in x 6.176 * [backup-simplify]: Simplify y into y 6.176 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.176 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 6.176 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 6.176 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 6.176 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.176 * [taylor]: Taking taylor expansion of x in x 6.176 * [backup-simplify]: Simplify 0 into 0 6.176 * [backup-simplify]: Simplify 1 into 1 6.176 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.176 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.176 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.176 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.176 * [taylor]: Taking taylor expansion of y in y 6.176 * [backup-simplify]: Simplify 0 into 0 6.177 * [backup-simplify]: Simplify 1 into 1 6.177 * [backup-simplify]: Simplify (* 1 1) into 1 6.177 * [backup-simplify]: Simplify (/ 1 1) into 1 6.177 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.177 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.178 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 6.178 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 6.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.178 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 6.179 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 6.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 6.179 * [taylor]: Taking taylor expansion of 0 in y 6.179 * [backup-simplify]: Simplify 0 into 0 6.179 * [backup-simplify]: Simplify 0 into 0 6.180 * [backup-simplify]: Simplify 0 into 0 6.180 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.181 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.183 * [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 6.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.183 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 6.185 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.187 * [taylor]: Taking taylor expansion of 0 in y 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.188 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.193 * [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 6.193 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.193 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 6.194 * [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 6.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.196 * [taylor]: Taking taylor expansion of 0 in y 6.196 * [backup-simplify]: Simplify 0 into 0 6.196 * [backup-simplify]: Simplify 0 into 0 6.196 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 6.196 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 6.196 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 6.196 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 6.196 * [taylor]: Taking taylor expansion of -1 in y 6.196 * [backup-simplify]: Simplify -1 into -1 6.196 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 6.196 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.196 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.196 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.196 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.196 * [taylor]: Taking taylor expansion of -1 in y 6.196 * [backup-simplify]: Simplify -1 into -1 6.196 * [taylor]: Taking taylor expansion of y in y 6.196 * [backup-simplify]: Simplify 0 into 0 6.196 * [backup-simplify]: Simplify 1 into 1 6.196 * [backup-simplify]: Simplify (/ -1 1) into -1 6.196 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.196 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.196 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.196 * [taylor]: Taking taylor expansion of -1 in y 6.196 * [backup-simplify]: Simplify -1 into -1 6.196 * [taylor]: Taking taylor expansion of y in y 6.196 * [backup-simplify]: Simplify 0 into 0 6.197 * [backup-simplify]: Simplify 1 into 1 6.197 * [backup-simplify]: Simplify (/ -1 1) into -1 6.197 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 6.197 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 6.197 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 6.197 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 6.197 * [taylor]: Taking taylor expansion of x in y 6.197 * [backup-simplify]: Simplify x into x 6.197 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 6.197 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 6.197 * [taylor]: Taking taylor expansion of -1 in x 6.197 * [backup-simplify]: Simplify -1 into -1 6.197 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 6.197 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 6.197 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 6.197 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 6.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.197 * [taylor]: Taking taylor expansion of -1 in x 6.197 * [backup-simplify]: Simplify -1 into -1 6.197 * [taylor]: Taking taylor expansion of y in x 6.197 * [backup-simplify]: Simplify y into y 6.197 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.197 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 6.197 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.197 * [taylor]: Taking taylor expansion of -1 in x 6.197 * [backup-simplify]: Simplify -1 into -1 6.197 * [taylor]: Taking taylor expansion of y in x 6.197 * [backup-simplify]: Simplify y into y 6.197 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.197 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 6.198 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 6.198 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 6.198 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.198 * [taylor]: Taking taylor expansion of x in x 6.198 * [backup-simplify]: Simplify 0 into 0 6.198 * [backup-simplify]: Simplify 1 into 1 6.198 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.198 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 6.198 * [taylor]: Taking taylor expansion of -1 in x 6.198 * [backup-simplify]: Simplify -1 into -1 6.198 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 6.198 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 6.198 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 6.198 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 6.198 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.198 * [taylor]: Taking taylor expansion of -1 in x 6.198 * [backup-simplify]: Simplify -1 into -1 6.198 * [taylor]: Taking taylor expansion of y in x 6.198 * [backup-simplify]: Simplify y into y 6.198 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.198 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 6.198 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.198 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.198 * [taylor]: Taking taylor expansion of -1 in x 6.198 * [backup-simplify]: Simplify -1 into -1 6.198 * [taylor]: Taking taylor expansion of y in x 6.198 * [backup-simplify]: Simplify y into y 6.198 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.198 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 6.198 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 6.198 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 6.198 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.198 * [taylor]: Taking taylor expansion of x in x 6.198 * [backup-simplify]: Simplify 0 into 0 6.198 * [backup-simplify]: Simplify 1 into 1 6.199 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.199 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 6.199 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 6.199 * [taylor]: Taking taylor expansion of -1 in y 6.199 * [backup-simplify]: Simplify -1 into -1 6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.199 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.199 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.199 * [taylor]: Taking taylor expansion of y in y 6.199 * [backup-simplify]: Simplify 0 into 0 6.199 * [backup-simplify]: Simplify 1 into 1 6.199 * [backup-simplify]: Simplify (* 1 1) into 1 6.199 * [backup-simplify]: Simplify (/ 1 1) into 1 6.199 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.200 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 6.200 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 6.200 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.200 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 6.201 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 6.201 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.201 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 6.201 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 6.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 6.202 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 6.202 * [taylor]: Taking taylor expansion of 0 in y 6.202 * [backup-simplify]: Simplify 0 into 0 6.202 * [backup-simplify]: Simplify 0 into 0 6.203 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 6.203 * [backup-simplify]: Simplify 0 into 0 6.203 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.203 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.204 * [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 6.205 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.205 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 6.206 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.207 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 6.207 * [taylor]: Taking taylor expansion of 0 in y 6.207 * [backup-simplify]: Simplify 0 into 0 6.207 * [backup-simplify]: Simplify 0 into 0 6.207 * [backup-simplify]: Simplify 0 into 0 6.208 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 6.208 * [backup-simplify]: Simplify 0 into 0 6.208 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.209 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.210 * [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 6.211 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.211 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 6.212 * [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 6.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.214 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 6.214 * [taylor]: Taking taylor expansion of 0 in y 6.214 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 6.214 * * * [progress]: simplifying candidates 6.214 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 6.214 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 6.214 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 6.214 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 6.214 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 6.214 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 10 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 20 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #real (real->posit16 (pow (exp y) y)))))> 6.215 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 30 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 6.215 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 45 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #real (real->posit16 (* x (pow (exp y) y)))))> 6.216 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 6.216 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 6.217 * [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))) 6.217 * * [simplify]: iteration 0: 78 enodes 6.233 * * [simplify]: iteration 1: 177 enodes 6.270 * * [simplify]: iteration 2: 438 enodes 6.455 * * [simplify]: iteration 3: 1310 enodes 7.293 * * [simplify]: iteration complete: 5001 enodes 7.293 * * [simplify]: Extracting #0: cost 46 inf + 0 7.295 * * [simplify]: Extracting #1: cost 496 inf + 437 7.304 * * [simplify]: Extracting #2: cost 1423 inf + 16723 7.326 * * [simplify]: Extracting #3: cost 1120 inf + 151848 7.398 * * [simplify]: Extracting #4: cost 220 inf + 624648 7.489 * * [simplify]: Extracting #5: cost 2 inf + 737761 7.579 * * [simplify]: Extracting #6: cost 0 inf + 729577 7.657 * * [simplify]: Extracting #7: cost 0 inf + 728452 7.733 * * [simplify]: Extracting #8: cost 0 inf + 728167 7.808 * [simplify]: Simplified to: (expm1 (pow (exp y) y)) (log1p (pow (exp y) y)) (* y y) (* y y) y (* (cbrt y) 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 (pow (exp y) y) (* 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 (* (pow (exp y) y) x)) (log1p (* (pow (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 (* (pow (exp y) y) x)) (* (* (pow (exp y) y) x) (* (* (pow (exp y) y) x) (* (pow (exp y) y) x))) (* (cbrt (* (pow (exp y) y) x)) (cbrt (* (pow (exp y) y) x))) (cbrt (* (pow (exp y) y) x)) (* (* (pow (exp y) y) x) (* (* (pow (exp y) y) x) (* (pow (exp y) y) x))) (sqrt (* (pow (exp y) y) x)) (sqrt (* (pow (exp y) y) 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)) (sqrt x)) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* (cbrt (pow (exp y) y)) (* (cbrt (pow (exp y) y)) x)) (* (sqrt (pow (exp y) y)) x) x (* (pow (exp y) (/ y 2)) x) (* (pow (exp y) y) (cbrt x)) (* (sqrt x) (pow (exp y) y)) (* (pow (exp y) y) x) (real->posit16 (* (pow (exp y) y) x)) (fma (fma 1/2 (* y y) 1) (* y y) 1) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 7.809 * * * [progress]: adding candidates to table 7.963 * * [progress]: iteration 3 / 4 7.963 * * * [progress]: picking best candidate 7.969 * * * * [pick]: Picked # 7.969 * * * [progress]: localizing error 7.987 * * * [progress]: generating rewritten candidates 7.987 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 7.992 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.006 * * * [progress]: generating series expansions 8.007 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 8.007 * [backup-simplify]: Simplify (pow (exp 1) (* y y)) into (pow E (pow y 2)) 8.007 * [approximate]: Taking taylor expansion of (pow E (pow y 2)) in (y) around 0 8.007 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 8.007 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 8.007 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 8.007 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.007 * [taylor]: Taking taylor expansion of y in y 8.007 * [backup-simplify]: Simplify 0 into 0 8.007 * [backup-simplify]: Simplify 1 into 1 8.007 * [taylor]: Taking taylor expansion of (log E) in y 8.007 * [taylor]: Taking taylor expansion of E in y 8.007 * [backup-simplify]: Simplify E into E 8.007 * [backup-simplify]: Simplify (log E) into 1 8.007 * [backup-simplify]: Simplify (* 1 1) into 1 8.008 * [backup-simplify]: Simplify (* 1 1) into 1 8.008 * [backup-simplify]: Simplify (exp 0) into 1 8.008 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 8.008 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 8.008 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 8.008 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.008 * [taylor]: Taking taylor expansion of y in y 8.008 * [backup-simplify]: Simplify 0 into 0 8.008 * [backup-simplify]: Simplify 1 into 1 8.008 * [taylor]: Taking taylor expansion of (log E) in y 8.008 * [taylor]: Taking taylor expansion of E in y 8.008 * [backup-simplify]: Simplify E into E 8.008 * [backup-simplify]: Simplify (log E) into 1 8.008 * [backup-simplify]: Simplify (* 1 1) into 1 8.008 * [backup-simplify]: Simplify (* 1 1) into 1 8.008 * [backup-simplify]: Simplify (exp 0) into 1 8.009 * [backup-simplify]: Simplify 1 into 1 8.009 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 8.009 * [backup-simplify]: Simplify 0 into 0 8.010 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 8.010 * [backup-simplify]: Simplify 1 into 1 8.011 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.013 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.013 * [backup-simplify]: Simplify 0 into 0 8.016 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.019 * [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 8.019 * [backup-simplify]: Simplify 1/2 into 1/2 8.019 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 8.019 * [backup-simplify]: Simplify (pow (exp 1) (* (/ 1 y) (/ 1 y))) into (pow E (/ 1 (pow y 2))) 8.019 * [approximate]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in (y) around 0 8.019 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 8.019 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 8.019 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 8.019 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.019 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.019 * [taylor]: Taking taylor expansion of y in y 8.019 * [backup-simplify]: Simplify 0 into 0 8.019 * [backup-simplify]: Simplify 1 into 1 8.020 * [backup-simplify]: Simplify (* 1 1) into 1 8.020 * [backup-simplify]: Simplify (/ 1 1) into 1 8.020 * [taylor]: Taking taylor expansion of (log E) in y 8.020 * [taylor]: Taking taylor expansion of E in y 8.020 * [backup-simplify]: Simplify E into E 8.020 * [backup-simplify]: Simplify (log E) into 1 8.020 * [backup-simplify]: Simplify (* 1 1) into 1 8.020 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 8.020 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 8.020 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 8.020 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 8.020 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.020 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.020 * [taylor]: Taking taylor expansion of y in y 8.020 * [backup-simplify]: Simplify 0 into 0 8.020 * [backup-simplify]: Simplify 1 into 1 8.021 * [backup-simplify]: Simplify (* 1 1) into 1 8.021 * [backup-simplify]: Simplify (/ 1 1) into 1 8.021 * [taylor]: Taking taylor expansion of (log E) in y 8.021 * [taylor]: Taking taylor expansion of E in y 8.021 * [backup-simplify]: Simplify E into E 8.021 * [backup-simplify]: Simplify (log E) into 1 8.021 * [backup-simplify]: Simplify (* 1 1) into 1 8.021 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 8.021 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.021 * [backup-simplify]: Simplify 0 into 0 8.021 * [backup-simplify]: Simplify 0 into 0 8.021 * [backup-simplify]: Simplify 0 into 0 8.021 * [backup-simplify]: Simplify 0 into 0 8.022 * [backup-simplify]: Simplify 0 into 0 8.022 * [backup-simplify]: Simplify 0 into 0 8.022 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 8.022 * [backup-simplify]: Simplify (pow (exp 1) (* (/ 1 (- y)) (/ 1 (- y)))) into (pow E (/ 1 (pow y 2))) 8.022 * [approximate]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in (y) around 0 8.022 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 8.022 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 8.022 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 8.022 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.022 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.022 * [taylor]: Taking taylor expansion of y in y 8.022 * [backup-simplify]: Simplify 0 into 0 8.022 * [backup-simplify]: Simplify 1 into 1 8.022 * [backup-simplify]: Simplify (* 1 1) into 1 8.022 * [backup-simplify]: Simplify (/ 1 1) into 1 8.022 * [taylor]: Taking taylor expansion of (log E) in y 8.022 * [taylor]: Taking taylor expansion of E in y 8.022 * [backup-simplify]: Simplify E into E 8.022 * [backup-simplify]: Simplify (log E) into 1 8.023 * [backup-simplify]: Simplify (* 1 1) into 1 8.023 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 8.023 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 8.023 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 8.023 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 8.023 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.023 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.023 * [taylor]: Taking taylor expansion of y in y 8.023 * [backup-simplify]: Simplify 0 into 0 8.023 * [backup-simplify]: Simplify 1 into 1 8.023 * [backup-simplify]: Simplify (* 1 1) into 1 8.023 * [backup-simplify]: Simplify (/ 1 1) into 1 8.023 * [taylor]: Taking taylor expansion of (log E) in y 8.023 * [taylor]: Taking taylor expansion of E in y 8.023 * [backup-simplify]: Simplify E into E 8.023 * [backup-simplify]: Simplify (log E) into 1 8.024 * [backup-simplify]: Simplify (* 1 1) into 1 8.024 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 8.024 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.024 * [backup-simplify]: Simplify 0 into 0 8.024 * [backup-simplify]: Simplify 0 into 0 8.024 * [backup-simplify]: Simplify 0 into 0 8.024 * [backup-simplify]: Simplify 0 into 0 8.024 * [backup-simplify]: Simplify 0 into 0 8.024 * [backup-simplify]: Simplify 0 into 0 8.024 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 8.024 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.024 * [backup-simplify]: Simplify (* x (pow (exp 1) (* y y))) into (* x (pow E (pow y 2))) 8.024 * [approximate]: Taking taylor expansion of (* x (pow E (pow y 2))) in (x y) around 0 8.024 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in y 8.024 * [taylor]: Taking taylor expansion of x in y 8.024 * [backup-simplify]: Simplify x into x 8.024 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 8.024 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 8.025 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 8.025 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.025 * [taylor]: Taking taylor expansion of y in y 8.025 * [backup-simplify]: Simplify 0 into 0 8.025 * [backup-simplify]: Simplify 1 into 1 8.025 * [taylor]: Taking taylor expansion of (log E) in y 8.025 * [taylor]: Taking taylor expansion of E in y 8.025 * [backup-simplify]: Simplify E into E 8.025 * [backup-simplify]: Simplify (log E) into 1 8.025 * [backup-simplify]: Simplify (* 1 1) into 1 8.025 * [backup-simplify]: Simplify (* 1 1) into 1 8.025 * [backup-simplify]: Simplify (exp 0) into 1 8.025 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 8.025 * [taylor]: Taking taylor expansion of x in x 8.025 * [backup-simplify]: Simplify 0 into 0 8.026 * [backup-simplify]: Simplify 1 into 1 8.026 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 8.026 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 8.026 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 8.026 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.026 * [taylor]: Taking taylor expansion of y in x 8.026 * [backup-simplify]: Simplify y into y 8.026 * [taylor]: Taking taylor expansion of (log E) in x 8.026 * [taylor]: Taking taylor expansion of E in x 8.026 * [backup-simplify]: Simplify E into E 8.026 * [backup-simplify]: Simplify (log E) into 1 8.026 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.026 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 8.026 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 8.026 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 8.026 * [taylor]: Taking taylor expansion of x in x 8.026 * [backup-simplify]: Simplify 0 into 0 8.026 * [backup-simplify]: Simplify 1 into 1 8.026 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 8.026 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 8.026 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 8.026 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.026 * [taylor]: Taking taylor expansion of y in x 8.026 * [backup-simplify]: Simplify y into y 8.026 * [taylor]: Taking taylor expansion of (log E) in x 8.026 * [taylor]: Taking taylor expansion of E in x 8.026 * [backup-simplify]: Simplify E into E 8.026 * [backup-simplify]: Simplify (log E) into 1 8.026 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.026 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 8.026 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 8.027 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 8.027 * [taylor]: Taking taylor expansion of 0 in y 8.027 * [backup-simplify]: Simplify 0 into 0 8.027 * [backup-simplify]: Simplify 0 into 0 8.028 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.028 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.029 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0 8.029 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 8.030 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 8.030 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.030 * [taylor]: Taking taylor expansion of (pow y 2) in y 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 0) into 1 8.030 * [backup-simplify]: Simplify 1 into 1 8.030 * [backup-simplify]: Simplify 0 into 0 8.033 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.034 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 8.035 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.036 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.037 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 8.037 * [taylor]: Taking taylor expansion of 0 in y 8.037 * [backup-simplify]: Simplify 0 into 0 8.037 * [backup-simplify]: Simplify 0 into 0 8.038 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 8.038 * [backup-simplify]: Simplify 0 into 0 8.038 * [backup-simplify]: Simplify 0 into 0 8.044 * [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 8.045 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 8.045 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.047 * [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 8.048 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 8.049 * [taylor]: Taking taylor expansion of 0 in y 8.049 * [backup-simplify]: Simplify 0 into 0 8.049 * [backup-simplify]: Simplify 0 into 0 8.049 * [backup-simplify]: Simplify 0 into 0 8.049 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 8.049 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp 1) (* (/ 1 y) (/ 1 y)))) into (/ (pow E (/ 1 (pow y 2))) x) 8.049 * [approximate]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in (x y) around 0 8.049 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in y 8.049 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 8.049 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 8.049 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 8.049 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.049 * [taylor]: Taking taylor expansion of (pow y 2) in 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 (* 1 1) into 1 8.050 * [backup-simplify]: Simplify (/ 1 1) into 1 8.050 * [taylor]: Taking taylor expansion of (log E) in y 8.050 * [taylor]: Taking taylor expansion of E in y 8.050 * [backup-simplify]: Simplify E into E 8.050 * [backup-simplify]: Simplify (log E) into 1 8.051 * [backup-simplify]: Simplify (* 1 1) into 1 8.051 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 8.051 * [taylor]: Taking taylor expansion of x in y 8.051 * [backup-simplify]: Simplify x into x 8.051 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 8.051 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 8.051 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 8.051 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 8.051 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.051 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.051 * [taylor]: Taking taylor expansion of y in x 8.051 * [backup-simplify]: Simplify y into y 8.051 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.051 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.051 * [taylor]: Taking taylor expansion of (log E) in x 8.052 * [taylor]: Taking taylor expansion of E in x 8.052 * [backup-simplify]: Simplify E into E 8.052 * [backup-simplify]: Simplify (log E) into 1 8.052 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 8.052 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.052 * [taylor]: Taking taylor expansion of x in x 8.052 * [backup-simplify]: Simplify 0 into 0 8.052 * [backup-simplify]: Simplify 1 into 1 8.052 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 8.052 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 8.052 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 8.052 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 8.052 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 8.052 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.052 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [backup-simplify]: Simplify y into y 8.052 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.052 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.052 * [taylor]: Taking taylor expansion of (log E) in x 8.052 * [taylor]: Taking taylor expansion of E in x 8.052 * [backup-simplify]: Simplify E into E 8.052 * [backup-simplify]: Simplify (log E) into 1 8.052 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 8.052 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.052 * [taylor]: Taking taylor expansion of x in x 8.052 * [backup-simplify]: Simplify 0 into 0 8.052 * [backup-simplify]: Simplify 1 into 1 8.052 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 8.052 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.052 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.052 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.052 * [taylor]: Taking taylor expansion of y in y 8.052 * [backup-simplify]: Simplify 0 into 0 8.053 * [backup-simplify]: Simplify 1 into 1 8.053 * [backup-simplify]: Simplify (* 1 1) into 1 8.053 * [backup-simplify]: Simplify (/ 1 1) into 1 8.053 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.053 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.054 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.054 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.054 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 8.055 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 8.055 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 8.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 8.056 * [taylor]: Taking taylor expansion of 0 in y 8.056 * [backup-simplify]: Simplify 0 into 0 8.056 * [backup-simplify]: Simplify 0 into 0 8.056 * [backup-simplify]: Simplify 0 into 0 8.058 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.058 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 8.059 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.059 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 8.060 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.061 * [taylor]: Taking taylor expansion of 0 in y 8.061 * [backup-simplify]: Simplify 0 into 0 8.061 * [backup-simplify]: Simplify 0 into 0 8.061 * [backup-simplify]: Simplify 0 into 0 8.061 * [backup-simplify]: Simplify 0 into 0 8.065 * [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 8.065 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 8.065 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.066 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.067 * [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 8.068 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.068 * [taylor]: Taking taylor expansion of 0 in y 8.068 * [backup-simplify]: Simplify 0 into 0 8.068 * [backup-simplify]: Simplify 0 into 0 8.068 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 8.068 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp 1) (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (pow E (/ 1 (pow y 2))) x)) 8.068 * [approximate]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in (x y) around 0 8.068 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in y 8.068 * [taylor]: Taking taylor expansion of -1 in y 8.068 * [backup-simplify]: Simplify -1 into -1 8.069 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in y 8.069 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 8.069 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 8.069 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 8.069 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.069 * [taylor]: Taking taylor expansion of (pow y 2) 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 (/ 1 1) into 1 8.069 * [taylor]: Taking taylor expansion of (log E) in y 8.069 * [taylor]: Taking taylor expansion of E in y 8.069 * [backup-simplify]: Simplify E into E 8.069 * [backup-simplify]: Simplify (log E) into 1 8.069 * [backup-simplify]: Simplify (* 1 1) into 1 8.069 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 8.070 * [taylor]: Taking taylor expansion of x in y 8.070 * [backup-simplify]: Simplify x into x 8.070 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 8.070 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in x 8.070 * [taylor]: Taking taylor expansion of -1 in x 8.070 * [backup-simplify]: Simplify -1 into -1 8.070 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 8.070 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 8.070 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 8.070 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 8.070 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.070 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.070 * [taylor]: Taking taylor expansion of y in x 8.070 * [backup-simplify]: Simplify y into y 8.070 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.070 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.070 * [taylor]: Taking taylor expansion of (log E) in x 8.070 * [taylor]: Taking taylor expansion of E in x 8.070 * [backup-simplify]: Simplify E into E 8.070 * [backup-simplify]: Simplify (log E) into 1 8.070 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 8.070 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.070 * [taylor]: Taking taylor expansion of x in x 8.070 * [backup-simplify]: Simplify 0 into 0 8.070 * [backup-simplify]: Simplify 1 into 1 8.070 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 8.070 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in x 8.070 * [taylor]: Taking taylor expansion of -1 in x 8.070 * [backup-simplify]: Simplify -1 into -1 8.070 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 8.070 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 8.070 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 8.070 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 8.070 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.070 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.070 * [taylor]: Taking taylor expansion of y in x 8.070 * [backup-simplify]: Simplify y into y 8.070 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.070 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.070 * [taylor]: Taking taylor expansion of (log E) in x 8.070 * [taylor]: Taking taylor expansion of E in x 8.070 * [backup-simplify]: Simplify E into E 8.070 * [backup-simplify]: Simplify (log E) into 1 8.070 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 8.071 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.071 * [taylor]: Taking taylor expansion of x in x 8.071 * [backup-simplify]: Simplify 0 into 0 8.071 * [backup-simplify]: Simplify 1 into 1 8.071 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 8.071 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 8.071 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 8.071 * [taylor]: Taking taylor expansion of -1 in y 8.071 * [backup-simplify]: Simplify -1 into -1 8.071 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.071 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.071 * [taylor]: Taking taylor expansion of y in y 8.071 * [backup-simplify]: Simplify 0 into 0 8.071 * [backup-simplify]: Simplify 1 into 1 8.071 * [backup-simplify]: Simplify (* 1 1) into 1 8.071 * [backup-simplify]: Simplify (/ 1 1) into 1 8.071 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 8.072 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 8.072 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 8.073 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.073 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 8.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 8.073 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 8.074 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 8.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 8.074 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 8.075 * [taylor]: Taking taylor expansion of 0 in y 8.075 * [backup-simplify]: Simplify 0 into 0 8.075 * [backup-simplify]: Simplify 0 into 0 8.075 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 8.075 * [backup-simplify]: Simplify 0 into 0 8.077 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.077 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 8.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.078 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 8.079 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.082 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 8.083 * [taylor]: Taking taylor expansion of 0 in y 8.083 * [backup-simplify]: Simplify 0 into 0 8.083 * [backup-simplify]: Simplify 0 into 0 8.083 * [backup-simplify]: Simplify 0 into 0 8.083 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 8.083 * [backup-simplify]: Simplify 0 into 0 8.086 * [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 8.087 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 8.087 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 8.088 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.089 * [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 8.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.091 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 8.091 * [taylor]: Taking taylor expansion of 0 in y 8.091 * [backup-simplify]: Simplify 0 into 0 8.091 * [backup-simplify]: Simplify 0 into 0 8.091 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 8.091 * * * [progress]: simplifying candidates 8.091 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 10 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 8.091 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 15 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 19 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #real (real->posit16 (pow (exp 1) (* y y))))))> 8.092 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 31 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 32 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 34 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 42 / 55 ] simplifiying candidate # 8.092 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 46 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 48 / 55 ] simplifiying candidate #real (real->posit16 (* x (pow (exp 1) (* y y))))))> 8.093 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 8.093 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 8.093 * [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))) 8.094 * * [simplify]: iteration 0: 75 enodes 8.121 * * [simplify]: iteration 1: 172 enodes 8.210 * * [simplify]: iteration 2: 480 enodes 8.427 * * [simplify]: iteration 3: 1638 enodes 9.509 * * [simplify]: iteration complete: 5001 enodes 9.510 * * [simplify]: Extracting #0: cost 38 inf + 0 9.510 * * [simplify]: Extracting #1: cost 372 inf + 2 9.515 * * [simplify]: Extracting #2: cost 1046 inf + 15225 9.528 * * [simplify]: Extracting #3: cost 1199 inf + 63135 9.589 * * [simplify]: Extracting #4: cost 390 inf + 322378 9.659 * * [simplify]: Extracting #5: cost 10 inf + 475305 9.753 * * [simplify]: Extracting #6: cost 0 inf + 472636 9.835 * * [simplify]: Extracting #7: cost 0 inf + 470104 9.900 * [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 (* 1/2 (* y y))) (exp (* 1/2 (* y y))) (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)) (* (exp (* 1/2 (* y y))) (sqrt x)) (* (exp (* 1/2 (* y y))) (sqrt x)) (* 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 (* x (exp (* 1/2 (* y y)))) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) (fma (fma 1/2 (* y y) 1) (* y y) 1) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 9.902 * * * [progress]: adding candidates to table 10.061 * * [progress]: iteration 4 / 4 10.061 * * * [progress]: picking best candidate 10.065 * * * * [pick]: Picked # 10.065 * * * [progress]: localizing error 10.081 * * * [progress]: generating rewritten candidates 10.082 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.156 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 10.160 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 10.164 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 10.173 * * * [progress]: generating series expansions 10.173 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.173 * [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)) 10.173 * [approximate]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in (x y) around 0 10.173 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in y 10.173 * [taylor]: Taking taylor expansion of x in y 10.173 * [backup-simplify]: Simplify x into x 10.173 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 10.173 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 10.173 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 10.173 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 10.173 * [taylor]: Taking taylor expansion of y in y 10.173 * [backup-simplify]: Simplify 0 into 0 10.174 * [backup-simplify]: Simplify 1 into 1 10.174 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.174 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.174 * [taylor]: Taking taylor expansion of (exp y) in y 10.174 * [taylor]: Taking taylor expansion of y in y 10.174 * [backup-simplify]: Simplify 0 into 0 10.174 * [backup-simplify]: Simplify 1 into 1 10.174 * [backup-simplify]: Simplify (exp 0) into 1 10.174 * [backup-simplify]: Simplify (sqrt 1) into 1 10.175 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.176 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.176 * [backup-simplify]: Simplify (log 1) into 0 10.177 * [backup-simplify]: Simplify (* 0 0) into 0 10.178 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 10.179 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 10.180 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.181 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 10.183 * [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 10.184 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 10.184 * [backup-simplify]: Simplify (exp 0) into 1 10.184 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in x 10.184 * [taylor]: Taking taylor expansion of x in x 10.184 * [backup-simplify]: Simplify 0 into 0 10.184 * [backup-simplify]: Simplify 1 into 1 10.184 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 10.184 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 10.184 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 10.184 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 10.184 * [taylor]: Taking taylor expansion of y in x 10.184 * [backup-simplify]: Simplify y into y 10.184 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 10.184 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 10.184 * [taylor]: Taking taylor expansion of (exp y) in x 10.184 * [taylor]: Taking taylor expansion of y in x 10.184 * [backup-simplify]: Simplify y into y 10.184 * [backup-simplify]: Simplify (exp y) into (exp y) 10.185 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 10.185 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 10.185 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 10.185 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 10.185 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 10.185 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 10.185 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in x 10.185 * [taylor]: Taking taylor expansion of x in x 10.185 * [backup-simplify]: Simplify 0 into 0 10.185 * [backup-simplify]: Simplify 1 into 1 10.185 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 10.185 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 10.185 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 10.185 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 10.185 * [taylor]: Taking taylor expansion of y in x 10.185 * [backup-simplify]: Simplify y into y 10.185 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 10.185 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 10.185 * [taylor]: Taking taylor expansion of (exp y) in x 10.185 * [taylor]: Taking taylor expansion of y in x 10.185 * [backup-simplify]: Simplify y into y 10.186 * [backup-simplify]: Simplify (exp y) into (exp y) 10.186 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 10.186 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 10.186 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 10.186 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 10.186 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 10.186 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 10.186 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))) into (pow (exp (* (log (sqrt (exp y))) y)) 2) 10.187 * [backup-simplify]: Simplify (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) into 0 10.187 * [taylor]: Taking taylor expansion of 0 in y 10.187 * [backup-simplify]: Simplify 0 into 0 10.187 * [backup-simplify]: Simplify 0 into 0 10.187 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp y)) 1)))) 1) into 0 10.187 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log (sqrt (exp y))))) into 0 10.188 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 10.188 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (* 0 (exp (* (log (sqrt (exp y))) y)))) into 0 10.188 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (exp (* (log (sqrt (exp y))) y)) 2))) into (pow (exp (* (log (sqrt (exp y))) y)) 2) 10.188 * [taylor]: Taking taylor expansion of (pow (exp (* (log (sqrt (exp y))) y)) 2) in y 10.188 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 10.188 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 10.188 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.188 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.188 * [taylor]: Taking taylor expansion of (exp y) in y 10.188 * [taylor]: Taking taylor expansion of y in y 10.188 * [backup-simplify]: Simplify 0 into 0 10.188 * [backup-simplify]: Simplify 1 into 1 10.188 * [backup-simplify]: Simplify (exp 0) into 1 10.189 * [backup-simplify]: Simplify (sqrt 1) into 1 10.189 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.190 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.190 * [backup-simplify]: Simplify (log 1) into 0 10.190 * [taylor]: Taking taylor expansion of y in y 10.190 * [backup-simplify]: Simplify 0 into 0 10.190 * [backup-simplify]: Simplify 1 into 1 10.190 * [backup-simplify]: Simplify (* 0 0) into 0 10.194 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 10.194 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 10.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.196 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 10.197 * [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 10.198 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 10.198 * [backup-simplify]: Simplify (exp 0) into 1 10.198 * [backup-simplify]: Simplify (* 1 1) into 1 10.198 * [backup-simplify]: Simplify 1 into 1 10.198 * [backup-simplify]: Simplify 0 into 0 10.199 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.200 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp y)))) into 0 10.201 * [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 10.201 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (log (sqrt (exp y)))))) into 0 10.202 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.202 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (* 0 (exp (* (log (sqrt (exp y))) y))))) into 0 10.203 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2)))) into 0 10.203 * [taylor]: Taking taylor expansion of 0 in y 10.203 * [backup-simplify]: Simplify 0 into 0 10.203 * [backup-simplify]: Simplify 0 into 0 10.203 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 10.204 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.204 * [backup-simplify]: Simplify 0 into 0 10.204 * [backup-simplify]: Simplify 0 into 0 10.205 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.205 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp y)))) into 0 10.207 * [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 10.208 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp y))))))) into 0 10.209 * [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 10.210 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* (log (sqrt (exp y))) y)))))) into 0 10.211 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2))))) into 0 10.211 * [taylor]: Taking taylor expansion of 0 in y 10.211 * [backup-simplify]: Simplify 0 into 0 10.211 * [backup-simplify]: Simplify 0 into 0 10.211 * [backup-simplify]: Simplify 0 into 0 10.211 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 10.211 * [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) 10.211 * [approximate]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in (x y) around 0 10.211 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in y 10.211 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 10.211 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 10.211 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 10.211 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 10.211 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.211 * [taylor]: Taking taylor expansion of y in y 10.211 * [backup-simplify]: Simplify 0 into 0 10.211 * [backup-simplify]: Simplify 1 into 1 10.211 * [backup-simplify]: Simplify (/ 1 1) into 1 10.211 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.211 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.211 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.211 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.212 * [taylor]: Taking taylor expansion of y in y 10.212 * [backup-simplify]: Simplify 0 into 0 10.212 * [backup-simplify]: Simplify 1 into 1 10.212 * [backup-simplify]: Simplify (/ 1 1) into 1 10.212 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.212 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.212 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.212 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 10.212 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 10.212 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.212 * [taylor]: Taking taylor expansion of x in y 10.212 * [backup-simplify]: Simplify x into x 10.212 * [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) 10.212 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) x) into (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) x) 10.212 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 10.212 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 10.212 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 10.213 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 10.213 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 10.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.213 * [taylor]: Taking taylor expansion of y in x 10.213 * [backup-simplify]: Simplify y into y 10.213 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.213 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 10.213 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 10.213 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 10.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.213 * [taylor]: Taking taylor expansion of y in x 10.213 * [backup-simplify]: Simplify y into y 10.213 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.213 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.213 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.213 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 10.213 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.213 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 10.214 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 10.214 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.214 * [taylor]: Taking taylor expansion of x in x 10.214 * [backup-simplify]: Simplify 0 into 0 10.214 * [backup-simplify]: Simplify 1 into 1 10.214 * [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) 10.214 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 1) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 10.214 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 10.214 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 10.214 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 10.214 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 10.214 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 10.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.214 * [taylor]: Taking taylor expansion of y in x 10.214 * [backup-simplify]: Simplify y into y 10.214 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.214 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 10.214 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 10.214 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 10.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.214 * [taylor]: Taking taylor expansion of y in x 10.214 * [backup-simplify]: Simplify y into y 10.214 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.214 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.214 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.214 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.215 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 10.215 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.215 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 10.215 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 10.215 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.215 * [taylor]: Taking taylor expansion of x in x 10.215 * [backup-simplify]: Simplify 0 into 0 10.215 * [backup-simplify]: Simplify 1 into 1 10.215 * [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) 10.215 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 1) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 10.216 * [taylor]: Taking taylor expansion of (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) in y 10.216 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 10.216 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 10.216 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.216 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.216 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.216 * [taylor]: Taking taylor expansion of y in y 10.216 * [backup-simplify]: Simplify 0 into 0 10.216 * [backup-simplify]: Simplify 1 into 1 10.216 * [backup-simplify]: Simplify (/ 1 1) into 1 10.216 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.216 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.216 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.216 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 10.216 * [taylor]: Taking taylor expansion of y in y 10.216 * [backup-simplify]: Simplify 0 into 0 10.216 * [backup-simplify]: Simplify 1 into 1 10.216 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ 1 y)))) 1) into (log (sqrt (exp (/ 1 y)))) 10.216 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.216 * [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) 10.217 * [backup-simplify]: Simplify (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 10.217 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 1) into 0 10.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.217 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (log (sqrt (exp (/ 1 y)))))) into 0 10.218 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 10.218 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 10.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)))) into 0 10.219 * [taylor]: Taking taylor expansion of 0 in y 10.219 * [backup-simplify]: Simplify 0 into 0 10.219 * [backup-simplify]: Simplify 0 into 0 10.219 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 10.219 * [backup-simplify]: Simplify 0 into 0 10.219 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.220 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.220 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.221 * [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 10.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.222 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y))))))) into 0 10.222 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.223 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 10.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.224 * [taylor]: Taking taylor expansion of 0 in y 10.224 * [backup-simplify]: Simplify 0 into 0 10.224 * [backup-simplify]: Simplify 0 into 0 10.224 * [backup-simplify]: Simplify 0 into 0 10.224 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 10.224 * [backup-simplify]: Simplify 0 into 0 10.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.225 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.226 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.228 * [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 10.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.228 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y)))))))) into 0 10.229 * [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 10.230 * [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 10.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.231 * [taylor]: Taking taylor expansion of 0 in y 10.231 * [backup-simplify]: Simplify 0 into 0 10.231 * [backup-simplify]: Simplify 0 into 0 10.231 * [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)) 10.232 * [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)) 10.232 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in (x y) around 0 10.232 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in y 10.232 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 10.232 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 10.232 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 10.232 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 10.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.232 * [taylor]: Taking taylor expansion of -1 in y 10.232 * [backup-simplify]: Simplify -1 into -1 10.232 * [taylor]: Taking taylor expansion of y in y 10.232 * [backup-simplify]: Simplify 0 into 0 10.232 * [backup-simplify]: Simplify 1 into 1 10.232 * [backup-simplify]: Simplify (/ -1 1) into -1 10.232 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.232 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.232 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.232 * [taylor]: Taking taylor expansion of -1 in y 10.232 * [backup-simplify]: Simplify -1 into -1 10.232 * [taylor]: Taking taylor expansion of y in y 10.232 * [backup-simplify]: Simplify 0 into 0 10.232 * [backup-simplify]: Simplify 1 into 1 10.232 * [backup-simplify]: Simplify (/ -1 1) into -1 10.232 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.233 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.233 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.233 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.233 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 10.233 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.233 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 10.233 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 10.233 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.233 * [taylor]: Taking taylor expansion of -1 in y 10.233 * [backup-simplify]: Simplify -1 into -1 10.233 * [taylor]: Taking taylor expansion of x in y 10.233 * [backup-simplify]: Simplify x into x 10.233 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.233 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x)) 10.233 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.233 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0 10.233 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in x 10.233 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 10.233 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 10.233 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 10.233 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 10.233 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.233 * [taylor]: Taking taylor expansion of -1 in x 10.233 * [backup-simplify]: Simplify -1 into -1 10.233 * [taylor]: Taking taylor expansion of y in x 10.233 * [backup-simplify]: Simplify y into y 10.233 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.233 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 10.233 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 10.233 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 10.233 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.233 * [taylor]: Taking taylor expansion of -1 in x 10.233 * [backup-simplify]: Simplify -1 into -1 10.233 * [taylor]: Taking taylor expansion of y in x 10.233 * [backup-simplify]: Simplify y into y 10.233 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.233 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.234 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.234 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 10.234 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 10.234 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.234 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.234 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 10.234 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.234 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 10.234 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 10.234 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.234 * [taylor]: Taking taylor expansion of -1 in x 10.234 * [backup-simplify]: Simplify -1 into -1 10.234 * [taylor]: Taking taylor expansion of x in x 10.234 * [backup-simplify]: Simplify 0 into 0 10.235 * [backup-simplify]: Simplify 1 into 1 10.235 * [backup-simplify]: Simplify (/ -1 1) into -1 10.235 * [backup-simplify]: Simplify (sqrt 0) into 0 10.236 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.236 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in x 10.236 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 10.236 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 10.236 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 10.236 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 10.236 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.236 * [taylor]: Taking taylor expansion of -1 in x 10.236 * [backup-simplify]: Simplify -1 into -1 10.236 * [taylor]: Taking taylor expansion of y in x 10.236 * [backup-simplify]: Simplify y into y 10.236 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.236 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 10.236 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 10.236 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 10.236 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.236 * [taylor]: Taking taylor expansion of -1 in x 10.236 * [backup-simplify]: Simplify -1 into -1 10.236 * [taylor]: Taking taylor expansion of y in x 10.236 * [backup-simplify]: Simplify y into y 10.236 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.236 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.236 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.237 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 10.237 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 10.237 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.237 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.237 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 10.237 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.237 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 10.237 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 10.237 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.237 * [taylor]: Taking taylor expansion of -1 in x 10.237 * [backup-simplify]: Simplify -1 into -1 10.237 * [taylor]: Taking taylor expansion of x in x 10.237 * [backup-simplify]: Simplify 0 into 0 10.237 * [backup-simplify]: Simplify 1 into 1 10.238 * [backup-simplify]: Simplify (/ -1 1) into -1 10.238 * [backup-simplify]: Simplify (sqrt 0) into 0 10.239 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.239 * [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) 10.239 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 10.239 * [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)) 10.239 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 10.239 * [taylor]: Taking taylor expansion of +nan.0 in y 10.239 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.239 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 10.240 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 10.240 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 10.240 * [taylor]: Taking taylor expansion of -1 in y 10.240 * [backup-simplify]: Simplify -1 into -1 10.240 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 10.240 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.240 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.240 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.240 * [taylor]: Taking taylor expansion of -1 in y 10.240 * [backup-simplify]: Simplify -1 into -1 10.240 * [taylor]: Taking taylor expansion of y in y 10.240 * [backup-simplify]: Simplify 0 into 0 10.240 * [backup-simplify]: Simplify 1 into 1 10.240 * [backup-simplify]: Simplify (/ -1 1) into -1 10.240 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.240 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.240 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.240 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.240 * [taylor]: Taking taylor expansion of y in y 10.240 * [backup-simplify]: Simplify 0 into 0 10.240 * [backup-simplify]: Simplify 1 into 1 10.240 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 10.240 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 10.240 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.241 * [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) 10.241 * [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)) 10.241 * [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)) 10.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.243 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.244 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 10.245 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 1) into 0 10.245 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 10.245 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (log (sqrt (exp (/ -1 y)))))) into 0 10.246 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 1) 1)))) into 0 10.246 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 10.246 * [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))) 10.246 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) in y 10.246 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 10.246 * [taylor]: Taking taylor expansion of +nan.0 in y 10.246 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.246 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 10.246 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 10.246 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 10.246 * [taylor]: Taking taylor expansion of -1 in y 10.247 * [backup-simplify]: Simplify -1 into -1 10.247 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 10.247 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.247 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.247 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.247 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.247 * [taylor]: Taking taylor expansion of -1 in y 10.247 * [backup-simplify]: Simplify -1 into -1 10.247 * [taylor]: Taking taylor expansion of y in y 10.247 * [backup-simplify]: Simplify 0 into 0 10.247 * [backup-simplify]: Simplify 1 into 1 10.247 * [backup-simplify]: Simplify (/ -1 1) into -1 10.247 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.247 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.247 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.247 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.247 * [taylor]: Taking taylor expansion of y in y 10.247 * [backup-simplify]: Simplify 0 into 0 10.247 * [backup-simplify]: Simplify 1 into 1 10.247 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 10.247 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 10.247 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.248 * [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) 10.248 * [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)) 10.248 * [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))) 10.248 * [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))) 10.248 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 10.249 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into 0 10.249 * [backup-simplify]: Simplify 0 into 0 10.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.252 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 10.253 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 10.253 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.254 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.255 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.256 * [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 10.256 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.256 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y))))))) into 0 10.257 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.257 * [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 10.258 * [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))) 10.258 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) in y 10.258 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 10.258 * [taylor]: Taking taylor expansion of +nan.0 in y 10.258 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.258 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 10.258 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 10.259 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 10.259 * [taylor]: Taking taylor expansion of -1 in y 10.259 * [backup-simplify]: Simplify -1 into -1 10.259 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 10.259 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.259 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.259 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.259 * [taylor]: Taking taylor expansion of -1 in y 10.259 * [backup-simplify]: Simplify -1 into -1 10.259 * [taylor]: Taking taylor expansion of y in y 10.259 * [backup-simplify]: Simplify 0 into 0 10.259 * [backup-simplify]: Simplify 1 into 1 10.259 * [backup-simplify]: Simplify (/ -1 1) into -1 10.259 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.259 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.259 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.259 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.259 * [taylor]: Taking taylor expansion of y in y 10.259 * [backup-simplify]: Simplify 0 into 0 10.259 * [backup-simplify]: Simplify 1 into 1 10.259 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 10.259 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 10.259 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.260 * [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) 10.260 * [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)) 10.260 * [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))) 10.260 * [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))) 10.261 * [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))))))) 10.261 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 10.261 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 10.261 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 10.261 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.261 * [taylor]: Taking taylor expansion of (exp y) in y 10.261 * [taylor]: Taking taylor expansion of y in y 10.261 * [backup-simplify]: Simplify 0 into 0 10.261 * [backup-simplify]: Simplify 1 into 1 10.261 * [backup-simplify]: Simplify (exp 0) into 1 10.261 * [backup-simplify]: Simplify (sqrt 1) into 1 10.262 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.262 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.262 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.262 * [taylor]: Taking taylor expansion of (exp y) in y 10.262 * [taylor]: Taking taylor expansion of y in y 10.262 * [backup-simplify]: Simplify 0 into 0 10.262 * [backup-simplify]: Simplify 1 into 1 10.262 * [backup-simplify]: Simplify (exp 0) into 1 10.263 * [backup-simplify]: Simplify (sqrt 1) into 1 10.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.264 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.264 * [backup-simplify]: Simplify 1 into 1 10.264 * [backup-simplify]: Simplify 1/2 into 1/2 10.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.265 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 10.265 * [backup-simplify]: Simplify 1/8 into 1/8 10.265 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) into (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) 10.265 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.266 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 10.266 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.266 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.266 * [taylor]: Taking taylor expansion of y in y 10.266 * [backup-simplify]: Simplify 0 into 0 10.266 * [backup-simplify]: Simplify 1 into 1 10.266 * [backup-simplify]: Simplify (/ 1 1) into 1 10.266 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.266 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.266 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.266 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.266 * [taylor]: Taking taylor expansion of y in y 10.266 * [backup-simplify]: Simplify 0 into 0 10.266 * [backup-simplify]: Simplify 1 into 1 10.266 * [backup-simplify]: Simplify (/ 1 1) into 1 10.266 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.266 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.267 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.267 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.267 * [backup-simplify]: Simplify 0 into 0 10.267 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.267 * [backup-simplify]: Simplify 0 into 0 10.268 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.268 * [backup-simplify]: Simplify 0 into 0 10.268 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.268 * [backup-simplify]: Simplify 0 into 0 10.269 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.269 * [backup-simplify]: Simplify 0 into 0 10.269 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.269 * [backup-simplify]: Simplify 0 into 0 10.270 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 y)))) into (sqrt (exp y)) 10.270 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- y)))) into (sqrt (exp (/ -1 y))) 10.270 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 10.270 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.270 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.270 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.270 * [taylor]: Taking taylor expansion of -1 in y 10.270 * [backup-simplify]: Simplify -1 into -1 10.270 * [taylor]: Taking taylor expansion of y in y 10.270 * [backup-simplify]: Simplify 0 into 0 10.270 * [backup-simplify]: Simplify 1 into 1 10.270 * [backup-simplify]: Simplify (/ -1 1) into -1 10.270 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.270 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.270 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.270 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.270 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.270 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.270 * [taylor]: Taking taylor expansion of -1 in y 10.270 * [backup-simplify]: Simplify -1 into -1 10.270 * [taylor]: Taking taylor expansion of y in y 10.270 * [backup-simplify]: Simplify 0 into 0 10.270 * [backup-simplify]: Simplify 1 into 1 10.271 * [backup-simplify]: Simplify (/ -1 1) into -1 10.271 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.271 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.271 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.271 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.271 * [backup-simplify]: Simplify 0 into 0 10.271 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.271 * [backup-simplify]: Simplify 0 into 0 10.272 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.272 * [backup-simplify]: Simplify 0 into 0 10.273 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.273 * [backup-simplify]: Simplify 0 into 0 10.273 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.273 * [backup-simplify]: Simplify 0 into 0 10.274 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.274 * [backup-simplify]: Simplify 0 into 0 10.274 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- y))))) into (sqrt (exp y)) 10.274 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 10.274 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 10.274 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 10.274 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.274 * [taylor]: Taking taylor expansion of (exp y) in y 10.274 * [taylor]: Taking taylor expansion of y in y 10.274 * [backup-simplify]: Simplify 0 into 0 10.274 * [backup-simplify]: Simplify 1 into 1 10.274 * [backup-simplify]: Simplify (exp 0) into 1 10.274 * [backup-simplify]: Simplify (sqrt 1) into 1 10.275 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.275 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.275 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.275 * [taylor]: Taking taylor expansion of (exp y) in y 10.275 * [taylor]: Taking taylor expansion of y in y 10.275 * [backup-simplify]: Simplify 0 into 0 10.275 * [backup-simplify]: Simplify 1 into 1 10.275 * [backup-simplify]: Simplify (exp 0) into 1 10.276 * [backup-simplify]: Simplify (sqrt 1) into 1 10.276 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.277 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.277 * [backup-simplify]: Simplify 1 into 1 10.277 * [backup-simplify]: Simplify 1/2 into 1/2 10.278 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.278 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 10.278 * [backup-simplify]: Simplify 1/8 into 1/8 10.278 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) into (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) 10.278 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.278 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 10.279 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.279 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.279 * [taylor]: Taking taylor expansion of y in y 10.279 * [backup-simplify]: Simplify 0 into 0 10.279 * [backup-simplify]: Simplify 1 into 1 10.279 * [backup-simplify]: Simplify (/ 1 1) into 1 10.279 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.279 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.279 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.279 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.279 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.279 * [taylor]: Taking taylor expansion of y in y 10.279 * [backup-simplify]: Simplify 0 into 0 10.279 * [backup-simplify]: Simplify 1 into 1 10.279 * [backup-simplify]: Simplify (/ 1 1) into 1 10.279 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.279 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.280 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.280 * [backup-simplify]: Simplify 0 into 0 10.280 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.280 * [backup-simplify]: Simplify 0 into 0 10.281 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.281 * [backup-simplify]: Simplify 0 into 0 10.281 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.281 * [backup-simplify]: Simplify 0 into 0 10.282 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.282 * [backup-simplify]: Simplify 0 into 0 10.286 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 10.286 * [backup-simplify]: Simplify 0 into 0 10.286 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 y)))) into (sqrt (exp y)) 10.286 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- y)))) into (sqrt (exp (/ -1 y))) 10.287 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 10.287 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.287 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.287 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.287 * [taylor]: Taking taylor expansion of -1 in y 10.287 * [backup-simplify]: Simplify -1 into -1 10.287 * [taylor]: Taking taylor expansion of y in y 10.287 * [backup-simplify]: Simplify 0 into 0 10.287 * [backup-simplify]: Simplify 1 into 1 10.287 * [backup-simplify]: Simplify (/ -1 1) into -1 10.287 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.287 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.287 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.287 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.287 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.287 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.287 * [taylor]: Taking taylor expansion of -1 in y 10.287 * [backup-simplify]: Simplify -1 into -1 10.287 * [taylor]: Taking taylor expansion of y in y 10.287 * [backup-simplify]: Simplify 0 into 0 10.287 * [backup-simplify]: Simplify 1 into 1 10.288 * [backup-simplify]: Simplify (/ -1 1) into -1 10.288 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.288 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.288 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.288 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.288 * [backup-simplify]: Simplify 0 into 0 10.288 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.288 * [backup-simplify]: Simplify 0 into 0 10.289 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.289 * [backup-simplify]: Simplify 0 into 0 10.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.290 * [backup-simplify]: Simplify 0 into 0 10.290 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.290 * [backup-simplify]: Simplify 0 into 0 10.291 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 10.291 * [backup-simplify]: Simplify 0 into 0 10.291 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- y))))) into (sqrt (exp y)) 10.291 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 10.291 * [backup-simplify]: Simplify (pow (sqrt (exp y)) y) into (pow (sqrt (exp y)) y) 10.291 * [approximate]: Taking taylor expansion of (pow (sqrt (exp y)) y) in (y) around 0 10.291 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 10.291 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 10.291 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 10.291 * [taylor]: Taking taylor expansion of y in y 10.291 * [backup-simplify]: Simplify 0 into 0 10.291 * [backup-simplify]: Simplify 1 into 1 10.291 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.291 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.291 * [taylor]: Taking taylor expansion of (exp y) in y 10.291 * [taylor]: Taking taylor expansion of y in y 10.291 * [backup-simplify]: Simplify 0 into 0 10.291 * [backup-simplify]: Simplify 1 into 1 10.291 * [backup-simplify]: Simplify (exp 0) into 1 10.291 * [backup-simplify]: Simplify (sqrt 1) into 1 10.292 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.292 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.293 * [backup-simplify]: Simplify (log 1) into 0 10.293 * [backup-simplify]: Simplify (* 0 0) into 0 10.294 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 10.294 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 10.295 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.296 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 10.297 * [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 10.298 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 10.298 * [backup-simplify]: Simplify (exp 0) into 1 10.298 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 10.298 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 10.298 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 10.298 * [taylor]: Taking taylor expansion of y in y 10.298 * [backup-simplify]: Simplify 0 into 0 10.298 * [backup-simplify]: Simplify 1 into 1 10.298 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.298 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.298 * [taylor]: Taking taylor expansion of (exp y) in y 10.298 * [taylor]: Taking taylor expansion of y in y 10.298 * [backup-simplify]: Simplify 0 into 0 10.298 * [backup-simplify]: Simplify 1 into 1 10.298 * [backup-simplify]: Simplify (exp 0) into 1 10.298 * [backup-simplify]: Simplify (sqrt 1) into 1 10.299 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.299 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 10.300 * [backup-simplify]: Simplify (log 1) into 0 10.300 * [backup-simplify]: Simplify (* 0 0) into 0 10.301 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 10.301 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 10.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.303 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 10.304 * [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 10.305 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 10.305 * [backup-simplify]: Simplify (exp 0) into 1 10.305 * [backup-simplify]: Simplify 1 into 1 10.306 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 10.306 * [backup-simplify]: Simplify 0 into 0 10.307 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1/2 10.307 * [backup-simplify]: Simplify 1/2 into 1/2 10.308 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.309 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 10.312 * [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 10.313 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/2) (* 0 0)))) into 0 10.314 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.314 * [backup-simplify]: Simplify 0 into 0 10.317 * [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 10.318 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 10.328 * [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 10.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0))))) into 0 10.333 * [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 10.333 * [backup-simplify]: Simplify 1/8 into 1/8 10.334 * [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)) 10.334 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 y))) (/ 1 y)) into (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 10.334 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in (y) around 0 10.334 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 10.334 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 10.334 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 10.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.334 * [taylor]: Taking taylor expansion of y in y 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 1 into 1 10.334 * [backup-simplify]: Simplify (/ 1 1) into 1 10.334 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.335 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.335 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.335 * [taylor]: Taking taylor expansion of y in y 10.335 * [backup-simplify]: Simplify 0 into 0 10.335 * [backup-simplify]: Simplify 1 into 1 10.335 * [backup-simplify]: Simplify (/ 1 1) into 1 10.335 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.335 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.336 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 10.336 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 10.336 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.336 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 10.336 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 10.336 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 10.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.336 * [taylor]: Taking taylor expansion of y in y 10.336 * [backup-simplify]: Simplify 0 into 0 10.336 * [backup-simplify]: Simplify 1 into 1 10.336 * [backup-simplify]: Simplify (/ 1 1) into 1 10.336 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.336 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.336 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.336 * [taylor]: Taking taylor expansion of y in y 10.336 * [backup-simplify]: Simplify 0 into 0 10.336 * [backup-simplify]: Simplify 1 into 1 10.337 * [backup-simplify]: Simplify (/ 1 1) into 1 10.337 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 10.337 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 10.337 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 10.337 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 10.337 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 10.337 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.338 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) into (exp (* (log (sqrt (exp y))) y)) 10.338 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y))) into (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 10.338 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in (y) around 0 10.338 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 10.338 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 10.338 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 10.338 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.338 * [taylor]: Taking taylor expansion of -1 in y 10.338 * [backup-simplify]: Simplify -1 into -1 10.338 * [taylor]: Taking taylor expansion of y in y 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 1 into 1 10.339 * [backup-simplify]: Simplify (/ -1 1) into -1 10.339 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.339 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.339 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.339 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.339 * [taylor]: Taking taylor expansion of -1 in y 10.339 * [backup-simplify]: Simplify -1 into -1 10.339 * [taylor]: Taking taylor expansion of y in y 10.339 * [backup-simplify]: Simplify 0 into 0 10.339 * [backup-simplify]: Simplify 1 into 1 10.339 * [backup-simplify]: Simplify (/ -1 1) into -1 10.339 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.340 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.340 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.340 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.340 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 10.340 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.340 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 10.340 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 10.340 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 10.340 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.340 * [taylor]: Taking taylor expansion of -1 in y 10.340 * [backup-simplify]: Simplify -1 into -1 10.340 * [taylor]: Taking taylor expansion of y in y 10.340 * [backup-simplify]: Simplify 0 into 0 10.340 * [backup-simplify]: Simplify 1 into 1 10.341 * [backup-simplify]: Simplify (/ -1 1) into -1 10.341 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.341 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.341 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.341 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.341 * [taylor]: Taking taylor expansion of -1 in y 10.341 * [backup-simplify]: Simplify -1 into -1 10.341 * [taylor]: Taking taylor expansion of y in y 10.341 * [backup-simplify]: Simplify 0 into 0 10.341 * [backup-simplify]: Simplify 1 into 1 10.341 * [backup-simplify]: Simplify (/ -1 1) into -1 10.341 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 10.341 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 10.341 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 10.342 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 10.342 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 10.342 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.342 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) into (exp (* (log (sqrt (exp y))) y)) 10.342 * * * [progress]: simplifying candidates 10.342 * * * * [progress]: [ 1 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 2 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 3 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 4 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 5 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 6 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 7 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 8 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 9 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 10 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 11 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 12 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 13 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 14 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 15 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 16 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 17 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 18 / 118 ] simplifiying candidate # 10.343 * * * * [progress]: [ 19 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 20 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 21 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 22 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 23 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 24 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 25 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 26 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 27 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 28 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 29 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 30 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 31 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 32 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 33 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 34 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 35 / 118 ] simplifiying candidate # 10.344 * * * * [progress]: [ 36 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 37 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 38 / 118 ] simplifiying candidate #real (real->posit16 (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))))> 10.345 * * * * [progress]: [ 39 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 40 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 41 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 42 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 43 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 44 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 45 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 46 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 47 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 48 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 49 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 50 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 51 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 52 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 53 / 118 ] simplifiying candidate # 10.345 * * * * [progress]: [ 54 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 55 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 56 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 57 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 58 / 118 ] simplifiying candidate #real (real->posit16 (sqrt (exp y)))) y))))> 10.346 * * * * [progress]: [ 59 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 60 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 61 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 62 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 63 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 64 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 65 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 66 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 67 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 68 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 69 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 70 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 71 / 118 ] simplifiying candidate # 10.346 * * * * [progress]: [ 72 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 73 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 74 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 75 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 76 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 77 / 118 ] simplifiying candidate #real (real->posit16 (sqrt (exp y)))) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))> 10.347 * * * * [progress]: [ 78 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 79 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 80 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 81 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 82 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 83 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 84 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 85 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 86 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 87 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 88 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 89 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 90 / 118 ] simplifiying candidate # 10.347 * * * * [progress]: [ 91 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 92 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 93 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 94 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 95 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 96 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 97 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 98 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 99 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 100 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 101 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 102 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 103 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 104 / 118 ] simplifiying candidate # 10.348 * * * * [progress]: [ 105 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 106 / 118 ] simplifiying candidate #real (real->posit16 (pow (sqrt (exp y)) y))))))> 10.349 * * * * [progress]: [ 107 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 108 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 109 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 110 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 111 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 112 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 113 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 114 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 115 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 116 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 117 / 118 ] simplifiying candidate # 10.349 * * * * [progress]: [ 118 / 118 ] simplifiying candidate # 10.350 * [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)) 10.353 * * [simplify]: iteration 0: 122 enodes 10.391 * * [simplify]: iteration 1: 327 enodes 10.466 * * [simplify]: iteration 2: 871 enodes 11.139 * * [simplify]: iteration 3: 3138 enodes 12.099 * * [simplify]: iteration complete: 5001 enodes 12.100 * * [simplify]: Extracting #0: cost 58 inf + 0 12.101 * * [simplify]: Extracting #1: cost 436 inf + 89 12.105 * * [simplify]: Extracting #2: cost 910 inf + 5740 12.112 * * [simplify]: Extracting #3: cost 989 inf + 25509 12.162 * * [simplify]: Extracting #4: cost 543 inf + 270888 12.261 * * [simplify]: Extracting #5: cost 67 inf + 524794 12.358 * * [simplify]: Extracting #6: cost 2 inf + 538606 12.451 * * [simplify]: Extracting #7: cost 0 inf + 526355 12.588 * * [simplify]: Extracting #8: cost 0 inf + 524381 12.698 * * [simplify]: Extracting #9: cost 0 inf + 524111 12.823 * [simplify]: Simplified to: (expm1 (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (log1p (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) 2 (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) 2 (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (fma (* 2 y) (log (sqrt (exp y))) (log x)) (exp (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (* (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (* (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (* (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (* (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (cbrt (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (cbrt (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)))) (cbrt (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (* (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x))) (fabs (* (sqrt x) (exp (* y (log (sqrt (exp y))))))) (fabs (* (sqrt x) (exp (* y (log (sqrt (exp y))))))) x (* (exp (* y (log (sqrt (exp y))))) (exp (* y (log (sqrt (exp y)))))) 2 (* (exp (* y (log (sqrt (exp y))))) x) (* (* (sqrt x) (exp (* y (log (sqrt (exp y)))))) (exp (* y (log (sqrt (exp y)))))) (real->posit16 (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp 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))) (* (sqrt (exp y)) (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))) (* (sqrt (exp y)) (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 (* y (log (sqrt (exp y)))))) (log1p (exp (* y (log (sqrt (exp y)))))) (* y (log (sqrt (exp y)))) (* y (log (sqrt (exp y)))) (/ y 2) y (/ y 2) (/ (* (cbrt y) y) 2) (* y (/ (sqrt y) 2)) (/ (* y y) 2) (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 (* y (log (sqrt (exp y))))) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) 1 (exp (* y (log (sqrt (exp y))))) (* y (log (sqrt (exp y)))) (exp (exp (* y (log (sqrt (exp y)))))) (* (cbrt (exp (* y (log (sqrt (exp y)))))) (cbrt (exp (* y (log (sqrt (exp y))))))) (cbrt (exp (* y (log (sqrt (exp y)))))) (exp (fma 2 (* y (log (sqrt (exp y)))) (* y (log (sqrt (exp y)))))) (/ y 2) (sqrt (exp (* y (log (sqrt (exp y)))))) (sqrt (exp (* y (log (sqrt (exp y)))))) (exp (* (/ y 2) (log (sqrt (exp y))))) (exp (* (/ y 2) (log (sqrt (exp y))))) (real->posit16 (exp (* y (log (sqrt (exp y)))))) x (* (exp (* y (log (sqrt (exp y))))) (* (exp (* y (log (sqrt (exp y))))) x)) (- (+ (/ (* (* +nan.0 (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) x) (- (* (* +nan.0 (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (/ (* (* +nan.0 (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* x x))))) (fma 1/2 y (fma (* 1/8 y) y 1)) (sqrt (exp y)) (sqrt (exp y)) (fma 1/2 y (fma (* 1/8 y) y 1)) (sqrt (exp y)) (sqrt (exp y)) (fma (* (* y y) (* y y)) 1/8 (fma (* y y) 1/2 1)) (exp (* y (log (sqrt (exp y))))) (exp (* y (log (sqrt (exp y))))) 12.829 * * * [progress]: adding candidates to table 13.415 * [progress]: [Phase 3 of 3] Extracting. 13.415 * * [regime]: Finding splitpoints for: (# # #) 13.416 * * * [regime-changes]: Trying 3 branch expressions: ((* y y) y x) 13.416 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 13.449 * * * * [regimes]: Trying to branch on y from (# # #) 13.474 * * * * [regimes]: Trying to branch on x from (# # #) 13.498 * * * [regime]: Found split indices: #