0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.070 * * * [progress]: [2/2] Setting up program. 0.074 * [progress]: [Phase 2 of 3] Improving. 0.074 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.075 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 0.075 * * [simplify]: iteration 1: (11 enodes) 0.082 * * [simplify]: iteration 2: (51 enodes) 0.098 * * [simplify]: iteration 3: (112 enodes) 0.122 * * [simplify]: iteration 4: (254 enodes) 0.201 * * [simplify]: iteration 5: (514 enodes) 0.813 * * [simplify]: Extracting #0: cost 1 inf + 0 0.813 * * [simplify]: Extracting #1: cost 67 inf + 0 0.815 * * [simplify]: Extracting #2: cost 278 inf + 128 0.819 * * [simplify]: Extracting #3: cost 281 inf + 2826 0.833 * * [simplify]: Extracting #4: cost 137 inf + 25219 0.861 * * [simplify]: Extracting #5: cost 10 inf + 46407 0.888 * * [simplify]: Extracting #6: cost 0 inf + 46856 0.904 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 0.904 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.904 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 0.913 * * [progress]: iteration 1 / 4 0.914 * * * [progress]: picking best candidate 0.916 * * * * [pick]: Picked # 0.916 * * * [progress]: localizing error 0.931 * * * [progress]: generating rewritten candidates 0.931 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.974 * * * [progress]: generating series expansions 0.974 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.974 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 0.974 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.974 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.974 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.975 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.975 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.975 * [taylor]: Taking taylor expansion of t in t 0.975 * [backup-simplify]: Simplify 0 into 0 0.975 * [backup-simplify]: Simplify 1 into 1 0.975 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.975 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.975 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.975 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.975 * [taylor]: Taking taylor expansion of t in t 0.975 * [backup-simplify]: Simplify 0 into 0 0.975 * [backup-simplify]: Simplify 1 into 1 0.976 * [backup-simplify]: Simplify (* 1 1) into 1 0.976 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.976 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.977 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.978 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.979 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 0.979 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.982 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.982 * [backup-simplify]: Simplify 0 into 0 0.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.983 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.983 * [backup-simplify]: Simplify 0 into 0 0.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.985 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.985 * [backup-simplify]: Simplify 0 into 0 0.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.986 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.987 * [backup-simplify]: Simplify 0 into 0 0.987 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 0.987 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 0.987 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.987 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.987 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.987 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.987 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.987 * [taylor]: Taking taylor expansion of t in t 0.987 * [backup-simplify]: Simplify 0 into 0 0.987 * [backup-simplify]: Simplify 1 into 1 0.987 * [backup-simplify]: Simplify (* 1 1) into 1 0.987 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.987 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.987 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.987 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.988 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.988 * [taylor]: Taking taylor expansion of t in t 0.988 * [backup-simplify]: Simplify 0 into 0 0.988 * [backup-simplify]: Simplify 1 into 1 0.988 * [backup-simplify]: Simplify (* 1 1) into 1 0.988 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.988 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.989 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 0.989 * [backup-simplify]: Simplify 0 into 0 0.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.990 * [backup-simplify]: Simplify 0 into 0 0.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.991 * [backup-simplify]: Simplify 0 into 0 0.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.996 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 0.996 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 0.996 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.996 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.996 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.996 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.996 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.996 * [taylor]: Taking taylor expansion of t in t 0.996 * [backup-simplify]: Simplify 0 into 0 0.996 * [backup-simplify]: Simplify 1 into 1 0.996 * [backup-simplify]: Simplify (* 1 1) into 1 0.996 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.996 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.996 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.996 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.996 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.996 * [taylor]: Taking taylor expansion of t in t 0.996 * [backup-simplify]: Simplify 0 into 0 0.996 * [backup-simplify]: Simplify 1 into 1 0.997 * [backup-simplify]: Simplify (* 1 1) into 1 0.997 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.997 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 0.998 * [backup-simplify]: Simplify 0 into 0 0.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.999 * [backup-simplify]: Simplify 0 into 0 1.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.000 * [backup-simplify]: Simplify 0 into 0 1.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.002 * [backup-simplify]: Simplify 0 into 0 1.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.003 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.005 * [backup-simplify]: Simplify 0 into 0 1.005 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.005 * * * [progress]: simplifying candidates 1.005 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1.005 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 1.006 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 1.006 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 1.007 * [simplify]: Simplifying (+ 1 1), (+ 1 1), (+ 1 1), (+ 1 1), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (+ 1 1), (+ 1 1), (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))), (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (sqrt (* (* 2e-16 t) (* 2e-16 t))), (sqrt (* (* 2e-16 t) (* 2e-16 t))), (* 2e-16 2e-16), (* t t), (* 2 1), (* 2 1), (* 2 1), (* 2 1), (* (* 2e-16 t) 2e-16), (* t (* 2e-16 t)), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)) 1.007 * * [simplify]: iteration 1: (39 enodes) 1.019 * * [simplify]: iteration 2: (161 enodes) 1.095 * * [simplify]: iteration 3: (426 enodes) 1.468 * * [simplify]: Extracting #0: cost 14 inf + 0 1.468 * * [simplify]: Extracting #1: cost 97 inf + 1 1.470 * * [simplify]: Extracting #2: cost 188 inf + 1042 1.479 * * [simplify]: Extracting #3: cost 99 inf + 15494 1.498 * * [simplify]: Extracting #4: cost 7 inf + 31667 1.515 * * [simplify]: Extracting #5: cost 0 inf + 31500 1.525 * [simplify]: Simplified to 2, 2, 2, 2, (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), 2, 2, (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (fabs (* 2e-16 t)), (fabs (* 2e-16 t)), (* 2e-16 2e-16), (* t t), 2, 2, 2, 2, (* (* 2e-16 t) 2e-16), (* (* t t) 2e-16), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)) 1.525 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 1.525 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.525 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.526 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.526 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.526 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.526 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.526 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.526 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.526 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1.526 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.526 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.526 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1.526 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.526 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1.526 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.526 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.527 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.527 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.527 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * [simplify]: Simplified (2 2) to (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 1.527 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 1.527 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 1) to (λ (t) (* (fabs (* 2e-16 t)) (sqrt (* (* 2e-16 t) (* 2e-16 t))))) 1.528 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (* (* 2e-16 t) (* 2e-16 t))) (fabs (* 2e-16 t)))) 1.528 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 1.528 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 1.528 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 1.528 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.528 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.528 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.528 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.528 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 1) to (λ (t) (* (* (* 2e-16 t) 2e-16) t)) 1.528 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1.528 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 1.528 * [simplify]: Simplified (2 1) to (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t))))) 1.528 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 1.528 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2) to (λ (t) (* 3.9999999999999997e-32 (* t t))) 1.528 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 1.528 * [simplify]: Simplified (2) to (λ (t) (* 3.9999999999999997e-32 (* t t))) 1.528 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 1.529 * [simplify]: Simplified (2) to (λ (t) (* 3.9999999999999997e-32 (* t t))) 1.529 * * * [progress]: adding candidates to table 1.720 * * [progress]: iteration 2 / 4 1.720 * * * [progress]: picking best candidate 1.727 * * * * [pick]: Picked # 1.727 * * * [progress]: localizing error 1.735 * * * [progress]: generating rewritten candidates 1.735 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.754 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.821 * * * [progress]: generating series expansions 1.821 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.822 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 1.822 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 1.822 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1.822 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.822 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.822 * [taylor]: Taking taylor expansion of t in t 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 1 into 1 1.822 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1.822 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.822 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.822 * [taylor]: Taking taylor expansion of t in t 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 1 into 1 1.823 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0 1.823 * [backup-simplify]: Simplify 0 into 0 1.824 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 1.824 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.824 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 1.824 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.825 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.826 * [backup-simplify]: Simplify 0 into 0 1.827 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.827 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.828 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 1.829 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 1.829 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 1.829 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1.829 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.829 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.829 * [taylor]: Taking taylor expansion of t in t 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 1 into 1 1.830 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.830 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1.830 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.830 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.830 * [taylor]: Taking taylor expansion of t in t 1.830 * [backup-simplify]: Simplify 0 into 0 1.830 * [backup-simplify]: Simplify 1 into 1 1.830 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.830 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.832 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.832 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.833 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 1.834 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 1.834 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 1.834 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1.834 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 1.834 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1.834 * [taylor]: Taking taylor expansion of t in t 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 1 into 1 1.834 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1.834 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1.834 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 1.834 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1.834 * [taylor]: Taking taylor expansion of t in t 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 1 into 1 1.835 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1.835 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.836 * [backup-simplify]: Simplify 0 into 0 1.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.837 * [backup-simplify]: Simplify 0 into 0 1.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.837 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.838 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.839 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 1.839 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.839 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 1.839 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.839 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.839 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.839 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.839 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.839 * [taylor]: Taking taylor expansion of t in t 1.839 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify 1 into 1 1.840 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.840 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.840 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.840 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.840 * [taylor]: Taking taylor expansion of t in t 1.840 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify 1 into 1 1.840 * [backup-simplify]: Simplify (* 1 1) into 1 1.841 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.841 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.841 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.842 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1.842 * [backup-simplify]: Simplify 0 into 0 1.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.844 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1.844 * [backup-simplify]: Simplify 0 into 0 1.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.847 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.847 * [backup-simplify]: Simplify 0 into 0 1.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.849 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.850 * [backup-simplify]: Simplify 0 into 0 1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.852 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.852 * [backup-simplify]: Simplify 0 into 0 1.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.856 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.856 * [backup-simplify]: Simplify 0 into 0 1.856 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.856 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1.856 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.856 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.856 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.856 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.856 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.856 * [taylor]: Taking taylor expansion of t in t 1.856 * [backup-simplify]: Simplify 0 into 0 1.856 * [backup-simplify]: Simplify 1 into 1 1.857 * [backup-simplify]: Simplify (* 1 1) into 1 1.857 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.857 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.857 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.857 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.857 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.857 * [taylor]: Taking taylor expansion of t in t 1.857 * [backup-simplify]: Simplify 0 into 0 1.857 * [backup-simplify]: Simplify 1 into 1 1.858 * [backup-simplify]: Simplify (* 1 1) into 1 1.858 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.858 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.859 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.859 * [backup-simplify]: Simplify 0 into 0 1.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.861 * [backup-simplify]: Simplify 0 into 0 1.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.863 * [backup-simplify]: Simplify 0 into 0 1.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.866 * [backup-simplify]: Simplify 0 into 0 1.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.868 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.870 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.870 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.870 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.871 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.871 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.871 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.871 * [taylor]: Taking taylor expansion of t in t 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 1 into 1 1.871 * [backup-simplify]: Simplify (* 1 1) into 1 1.871 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.871 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.871 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.871 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.871 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.871 * [taylor]: Taking taylor expansion of t in t 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 1 into 1 1.871 * [backup-simplify]: Simplify (* 1 1) into 1 1.872 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.872 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.872 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.875 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.879 * [backup-simplify]: Simplify 0 into 0 1.879 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.879 * * * [progress]: simplifying candidates 1.879 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 1.879 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 1.879 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 1.879 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 1.880 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 1.880 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 1.881 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 1.881 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 1.882 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16), (* (* 2e-16 t) 2e-16), (+ (+ (log 2e-16) (log t)) (log 2e-16)), (+ (log (* 2e-16 t)) (log 2e-16)), (log (* (* 2e-16 t) 2e-16)), (exp (* (* 2e-16 t) 2e-16)), (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)), (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16))), (cbrt (* (* 2e-16 t) 2e-16)), (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)), (sqrt (* (* 2e-16 t) 2e-16)), (sqrt (* (* 2e-16 t) 2e-16)), (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))), (* (* 2e-16 t) (sqrt 2e-16)), (* (* 2e-16 t) 1), (* t 2e-16), (real->posit16 (* (* 2e-16 t) 2e-16)), (* (* (* 2e-16 t) 2e-16) t), (* (* (* 2e-16 t) 2e-16) t), (* (* (* 2e-16 t) 2e-16) t), (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t)), (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t)), (+ (log (* (* 2e-16 t) 2e-16)) (log t)), (log (* (* (* 2e-16 t) 2e-16) t)), (exp (* (* (* 2e-16 t) 2e-16) t)), (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)), (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)), (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t)), (* (cbrt (* (* (* 2e-16 t) 2e-16) t)) (cbrt (* (* (* 2e-16 t) 2e-16) t))), (cbrt (* (* (* 2e-16 t) 2e-16) t)), (* (* (* (* (* 2e-16 t) 2e-16) t) (* (* (* 2e-16 t) 2e-16) t)) (* (* (* 2e-16 t) 2e-16) t)), (sqrt (* (* (* 2e-16 t) 2e-16) t)), (sqrt (* (* (* 2e-16 t) 2e-16) t)), (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))), (* (* (* 2e-16 t) 2e-16) (sqrt t)), (* (* (* 2e-16 t) 2e-16) 1), (* 2e-16 t), (real->posit16 (* (* (* 2e-16 t) 2e-16) t)), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)) 1.882 * * [simplify]: iteration 1: (61 enodes) 1.905 * * [simplify]: iteration 2: (261 enodes) 2.004 * * [simplify]: iteration 3: (681 enodes) 3.111 * * [simplify]: Extracting #0: cost 23 inf + 0 3.112 * * [simplify]: Extracting #1: cost 194 inf + 0 3.116 * * [simplify]: Extracting #2: cost 270 inf + 6020 3.135 * * [simplify]: Extracting #3: cost 90 inf + 33430 3.165 * * [simplify]: Extracting #4: cost 15 inf + 44663 3.200 * * [simplify]: Extracting #5: cost 1 inf + 47618 3.219 * * [simplify]: Extracting #6: cost 0 inf + 48061 3.234 * [simplify]: Simplified to (* t (* 2e-16 2e-16)), (* t (* 2e-16 2e-16)), (log (* t (* 2e-16 2e-16))), (log (* t (* 2e-16 2e-16))), (log (* t (* 2e-16 2e-16))), (exp (* t (* 2e-16 2e-16))), (* (* (* t (* 2e-16 2e-16)) (* t (* 2e-16 2e-16))) (* t (* 2e-16 2e-16))), (* (* (* t (* 2e-16 2e-16)) (* t (* 2e-16 2e-16))) (* t (* 2e-16 2e-16))), (* (cbrt (* t (* 2e-16 2e-16))) (cbrt (* t (* 2e-16 2e-16)))), (cbrt (* t (* 2e-16 2e-16))), (* (* (* t (* 2e-16 2e-16)) (* t (* 2e-16 2e-16))) (* t (* 2e-16 2e-16))), (sqrt (* t (* 2e-16 2e-16))), (sqrt (* t (* 2e-16 2e-16))), (* (* (cbrt 2e-16) (cbrt 2e-16)) (* 2e-16 t)), (* (sqrt 2e-16) (* 2e-16 t)), (* 2e-16 t), (* 2e-16 t), (real->posit16 (* t (* 2e-16 2e-16))), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (log (* (* 2e-16 t) (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (fabs (* 2e-16 t)), (fabs (* 2e-16 t)), (* (* 2e-16 t) (* (cbrt t) (* (cbrt t) 2e-16))), (* (* t (* 2e-16 2e-16)) (sqrt t)), (* t (* 2e-16 2e-16)), (* 2e-16 t), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t), (* t (* 3.9999999999999997e-32 t)), (* t (* 3.9999999999999997e-32 t)), (* t (* 3.9999999999999997e-32 t)) 3.234 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* t (* 2e-16 2e-16)) 1) t)) 3.235 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* t (* 2e-16 2e-16)) 1) t)) 3.235 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 3.235 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (log (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (log (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (log (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (log (exp (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* (* (* t (* 2e-16 2e-16)) (* t (* 2e-16 2e-16))) (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* (* (* t (* 2e-16 2e-16)) (* t (* 2e-16 2e-16))) (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 3.235 * [simplify]: Simplified (2 1 1) to (λ (t) (* (* (* (cbrt (* t (* 2e-16 2e-16))) (cbrt (* t (* 2e-16 2e-16)))) (cbrt (* (* 2e-16 t) 2e-16))) t)) 3.235 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16))) (cbrt (* t (* 2e-16 2e-16)))) t)) 3.235 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* (* (* t (* 2e-16 2e-16)) (* t (* 2e-16 2e-16))) (* t (* 2e-16 2e-16)))) t)) 3.236 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1 1) to (λ (t) (* (* (sqrt (* t (* 2e-16 2e-16))) (sqrt (* (* 2e-16 t) 2e-16))) t)) 3.236 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (sqrt (* (* 2e-16 t) 2e-16)) (sqrt (* t (* 2e-16 2e-16)))) t)) 3.236 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 3.236 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1 1) to (λ (t) (* (* (* (* (cbrt 2e-16) (cbrt 2e-16)) (* 2e-16 t)) (cbrt 2e-16)) t)) 3.236 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1 1) to (λ (t) (* (* (* (sqrt 2e-16) (* 2e-16 t)) (sqrt 2e-16)) t)) 3.236 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1 1) to (λ (t) (* (* (* 2e-16 t) 2e-16) t)) 3.236 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* 2e-16 (* 2e-16 t)) t)) 3.236 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 3.236 * [simplify]: Simplified (2 1 1) to (λ (t) (* (posit16->real (real->posit16 (* t (* 2e-16 2e-16)))) t)) 3.236 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 3.236 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 3.236 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 3.236 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 3.236 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 3.236 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 3.237 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* (* (* 2e-16 t) 2e-16) t)))) 3.237 * [simplify]: Simplified (2 2) to (λ (t) (* (* (cbrt (* (* (* 2e-16 t) 2e-16) t)) (cbrt (* (* (* 2e-16 t) 2e-16) t))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))) 3.237 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 3.237 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))) 3.238 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (fabs (* 2e-16 t)) (sqrt (* (* (* 2e-16 t) 2e-16) t)))) 3.238 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (* (* (* 2e-16 t) 2e-16) t)) (fabs (* 2e-16 t)))) 3.238 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 3.238 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (* (* 2e-16 t) (* (cbrt t) (* (cbrt t) 2e-16))) (cbrt t))) 3.238 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (* (* t (* 2e-16 2e-16)) (sqrt t)) (sqrt t))) 3.238 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (* t (* 2e-16 2e-16)) t)) 3.238 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 3.238 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 3.238 * [simplify]: Simplified (2 1) to (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t))))) 3.238 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 3.238 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 3.238 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 3.238 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 3.238 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 3.238 * [simplify]: Simplified (2) to (λ (t) (* t (* 3.9999999999999997e-32 t))) 3.238 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 3.239 * [simplify]: Simplified (2) to (λ (t) (* t (* 3.9999999999999997e-32 t))) 3.239 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 3.239 * [simplify]: Simplified (2) to (λ (t) (* t (* 3.9999999999999997e-32 t))) 3.239 * * * [progress]: adding candidates to table 3.491 * * [progress]: iteration 3 / 4 3.491 * * * [progress]: picking best candidate 3.504 * * * * [pick]: Picked # 3.504 * * * [progress]: localizing error 3.511 * * * [progress]: generating rewritten candidates 3.511 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.545 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.558 * * * [progress]: generating series expansions 3.558 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.558 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 3.558 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.558 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.558 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.558 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.558 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.558 * [taylor]: Taking taylor expansion of t in t 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 1 into 1 3.558 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.558 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.558 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.558 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.558 * [taylor]: Taking taylor expansion of t in t 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 1 into 1 3.559 * [backup-simplify]: Simplify (* 1 1) into 1 3.559 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.559 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.559 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.560 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.561 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 3.561 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.562 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.564 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.565 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.565 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.568 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.568 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.569 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 3.569 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.569 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.569 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.569 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.569 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.569 * [taylor]: Taking taylor expansion of t in t 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 1 into 1 3.569 * [backup-simplify]: Simplify (* 1 1) into 1 3.570 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.570 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.570 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.570 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.570 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.570 * [taylor]: Taking taylor expansion of t in t 3.570 * [backup-simplify]: Simplify 0 into 0 3.570 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (* 1 1) into 1 3.571 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.571 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.572 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.573 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.575 * [backup-simplify]: Simplify 0 into 0 3.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.577 * [backup-simplify]: Simplify 0 into 0 3.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.579 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.582 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.584 * [backup-simplify]: Simplify 0 into 0 3.585 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.585 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 3.585 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.585 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.585 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.585 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.585 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.585 * [taylor]: Taking taylor expansion of t in t 3.585 * [backup-simplify]: Simplify 0 into 0 3.585 * [backup-simplify]: Simplify 1 into 1 3.586 * [backup-simplify]: Simplify (* 1 1) into 1 3.586 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.586 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.586 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.587 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.587 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.587 * [taylor]: Taking taylor expansion of t in t 3.587 * [backup-simplify]: Simplify 0 into 0 3.587 * [backup-simplify]: Simplify 1 into 1 3.587 * [backup-simplify]: Simplify (* 1 1) into 1 3.587 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.588 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.589 * [backup-simplify]: Simplify 0 into 0 3.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.591 * [backup-simplify]: Simplify 0 into 0 3.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.593 * [backup-simplify]: Simplify 0 into 0 3.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.596 * [backup-simplify]: Simplify 0 into 0 3.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.598 * [backup-simplify]: Simplify 0 into 0 3.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.604 * [backup-simplify]: Simplify 0 into 0 3.604 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.604 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.605 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 3.605 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 3.605 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 3.605 * [taylor]: Taking taylor expansion of 2e-16 in t 3.605 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.605 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.605 * [taylor]: Taking taylor expansion of t in t 3.605 * [backup-simplify]: Simplify 0 into 0 3.605 * [backup-simplify]: Simplify 1 into 1 3.605 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 3.605 * [taylor]: Taking taylor expansion of 2e-16 in t 3.605 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.605 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.605 * [taylor]: Taking taylor expansion of t in t 3.605 * [backup-simplify]: Simplify 0 into 0 3.605 * [backup-simplify]: Simplify 1 into 1 3.605 * [backup-simplify]: Simplify (* 1 1) into 1 3.606 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 3.606 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.607 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.607 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 3.607 * [backup-simplify]: Simplify 0 into 0 3.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.609 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 3.609 * [backup-simplify]: Simplify 0 into 0 3.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.612 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.612 * [backup-simplify]: Simplify 0 into 0 3.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.614 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.614 * [backup-simplify]: Simplify 0 into 0 3.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.617 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.617 * [backup-simplify]: Simplify 0 into 0 3.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.620 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.620 * [backup-simplify]: Simplify 0 into 0 3.620 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 3.620 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 3.620 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 3.620 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.620 * [taylor]: Taking taylor expansion of 2e-16 in t 3.620 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.621 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.621 * [taylor]: Taking taylor expansion of t in t 3.621 * [backup-simplify]: Simplify 0 into 0 3.621 * [backup-simplify]: Simplify 1 into 1 3.621 * [backup-simplify]: Simplify (* 1 1) into 1 3.621 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.621 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.622 * [taylor]: Taking taylor expansion of 2e-16 in t 3.622 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.622 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.622 * [taylor]: Taking taylor expansion of t in t 3.622 * [backup-simplify]: Simplify 0 into 0 3.622 * [backup-simplify]: Simplify 1 into 1 3.622 * [backup-simplify]: Simplify (* 1 1) into 1 3.622 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.622 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.623 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 3.623 * [backup-simplify]: Simplify 0 into 0 3.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.624 * [backup-simplify]: Simplify 0 into 0 3.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.625 * [backup-simplify]: Simplify 0 into 0 3.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.627 * [backup-simplify]: Simplify 0 into 0 3.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.628 * [backup-simplify]: Simplify 0 into 0 3.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.630 * [backup-simplify]: Simplify 0 into 0 3.630 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 3.630 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 3.630 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 3.630 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.630 * [taylor]: Taking taylor expansion of 2e-16 in t 3.630 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.630 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.630 * [taylor]: Taking taylor expansion of t in t 3.630 * [backup-simplify]: Simplify 0 into 0 3.630 * [backup-simplify]: Simplify 1 into 1 3.630 * [backup-simplify]: Simplify (* 1 1) into 1 3.631 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.631 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.631 * [taylor]: Taking taylor expansion of 2e-16 in t 3.631 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.631 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.631 * [taylor]: Taking taylor expansion of t in t 3.631 * [backup-simplify]: Simplify 0 into 0 3.631 * [backup-simplify]: Simplify 1 into 1 3.631 * [backup-simplify]: Simplify (* 1 1) into 1 3.631 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.631 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.632 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 3.632 * [backup-simplify]: Simplify 0 into 0 3.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.634 * [backup-simplify]: Simplify 0 into 0 3.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.635 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.636 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.638 * [backup-simplify]: Simplify 0 into 0 3.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.639 * [backup-simplify]: Simplify 0 into 0 3.639 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 3.639 * * * [progress]: simplifying candidates 3.639 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 3.639 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 3.639 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 3.639 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 3.639 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 3.639 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 3.640 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 3.640 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 3.641 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 3.641 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 3.641 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t)))), (+ (log 2e-16) (+ (log t) (log (* 2e-16 t)))), (+ (log 2e-16) (log (* t (* 2e-16 t)))), (log (* 2e-16 (* t (* 2e-16 t)))), (exp (* 2e-16 (* t (* 2e-16 t)))), (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))), (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))), (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))), (* (cbrt (* 2e-16 (* t (* 2e-16 t)))) (cbrt (* 2e-16 (* t (* 2e-16 t))))), (cbrt (* 2e-16 (* t (* 2e-16 t)))), (* (* (* 2e-16 (* t (* 2e-16 t))) (* 2e-16 (* t (* 2e-16 t)))) (* 2e-16 (* t (* 2e-16 t)))), (sqrt (* 2e-16 (* t (* 2e-16 t)))), (sqrt (* 2e-16 (* t (* 2e-16 t)))), (* 2e-16 t), (* (cbrt 2e-16) (* t (* 2e-16 t))), (* (sqrt 2e-16) (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (real->posit16 (* 2e-16 (* t (* 2e-16 t)))), (* t (* 2e-16 t)), (* t (* 2e-16 t)), (+ (log t) (+ (log 2e-16) (log t))), (+ (log t) (log (* 2e-16 t))), (log (* t (* 2e-16 t))), (exp (* t (* 2e-16 t))), (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))), (cbrt (* t (* 2e-16 t))), (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (* t 2e-16), (* (cbrt t) (* 2e-16 t)), (* (sqrt t) (* 2e-16 t)), (* t (* 2e-16 t)), (real->posit16 (* t (* 2e-16 t))), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 2e-16 (pow t 2)), (* 2e-16 (pow t 2)), (* 2e-16 (pow t 2)) 3.642 * * [simplify]: iteration 1: (56 enodes) 3.661 * * [simplify]: iteration 2: (231 enodes) 3.765 * * [simplify]: iteration 3: (601 enodes) 4.265 * * [simplify]: Extracting #0: cost 22 inf + 0 4.265 * * [simplify]: Extracting #1: cost 147 inf + 0 4.268 * * [simplify]: Extracting #2: cost 203 inf + 5101 4.276 * * [simplify]: Extracting #3: cost 54 inf + 28880 4.292 * * [simplify]: Extracting #4: cost 8 inf + 34847 4.313 * * [simplify]: Extracting #5: cost 1 inf + 36708 4.337 * * [simplify]: Extracting #6: cost 0 inf + 37151 4.360 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (fabs (* 2e-16 t)), (fabs (* 2e-16 t)), (* 2e-16 t), (* (* (* 2e-16 t) t) (cbrt 2e-16)), (* (sqrt 2e-16) (* (* 2e-16 t) t)), (* (* 2e-16 t) (* 2e-16 t)), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* (* 2e-16 t) t), (* (* 2e-16 t) t), (log (* (* 2e-16 t) t)), (log (* (* 2e-16 t) t)), (log (* (* 2e-16 t) t)), (exp (* (* 2e-16 t) t)), (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)), (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)), (* (cbrt (* (* 2e-16 t) t)) (cbrt (* (* 2e-16 t) t))), (cbrt (* (* 2e-16 t) t)), (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)), (sqrt (* (* 2e-16 t) t)), (sqrt (* (* 2e-16 t) t)), (* 2e-16 t), (* (* 2e-16 t) (cbrt t)), (* (* (sqrt t) 2e-16) t), (* (* 2e-16 t) t), (real->posit16 (* (* 2e-16 t) t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* (* 2e-16 t) t), (* (* 2e-16 t) t), (* (* 2e-16 t) t) 4.360 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 4.360 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.360 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.361 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.361 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 4.361 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.361 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.361 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.361 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.361 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t))))) 4.361 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 4.361 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 4.361 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 4.361 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 4.361 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* 2e-16 (* t (* 2e-16 t)))))) 4.362 * [simplify]: Simplified (2 2) to (λ (t) (* (* (cbrt (* 2e-16 (* t (* 2e-16 t)))) (cbrt (* 2e-16 (* t (* 2e-16 t))))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))) 4.362 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 4.362 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 1) to (λ (t) (* (fabs (* 2e-16 t)) (sqrt (* 2e-16 (* t (* 2e-16 t)))))) 4.362 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (* 2e-16 (* t (* 2e-16 t)))) (fabs (* 2e-16 t)))) 4.362 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 4.362 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 4.362 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 2) to (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (* (* 2e-16 t) t) (cbrt 2e-16)))) 4.362 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* 2e-16 t) t)))) 4.362 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 2) to (λ (t) (* 1 (* (* 2e-16 t) (* 2e-16 t)))) 4.362 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 4.362 * [simplify]: Simplified (2 1) to (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t))))) 4.362 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 4.362 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* (* 2e-16 t) t) 1))) 4.362 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* (* 2e-16 t) t) 1))) 4.363 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 4.363 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (log (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (log (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (log (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (log (exp (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (* (cbrt (* (* 2e-16 t) t)) (cbrt (* (* 2e-16 t) t))) (cbrt (* t (* 2e-16 t)))))) 4.363 * [simplify]: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 4.363 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 4.363 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (sqrt (* (* 2e-16 t) t)) (sqrt (* t (* 2e-16 t)))))) 4.364 * [simplify]: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* (* 2e-16 t) t))))) 4.364 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 4.364 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (* 2e-16 t) t))) 4.364 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (* 2e-16 t) (cbrt t))))) 4.364 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (sqrt t) (* (* (sqrt t) 2e-16) t)))) 4.364 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2 2) to (λ (t) (* 2e-16 (* 1 (* (* 2e-16 t) t)))) 4.364 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 4.364 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (posit16->real (real->posit16 (* (* 2e-16 t) t))))) 4.364 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 4.364 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2) to (λ (t) (* 3.9999999999999997e-32 (* t t))) 4.364 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2) to (λ (t) (* 3.9999999999999997e-32 (* t t))) 4.364 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2) to (λ (t) (* 3.9999999999999997e-32 (* t t))) 4.364 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* 2e-16 t) t))) 4.364 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 4.364 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* 2e-16 t) t))) 4.365 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 4.365 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* 2e-16 t) t))) 4.365 * * * [progress]: adding candidates to table 4.640 * * [progress]: iteration 4 / 4 4.640 * * * [progress]: picking best candidate 4.653 * * * * [pick]: Picked # 4.653 * * * [progress]: localizing error 4.669 * * * [progress]: generating rewritten candidates 4.669 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 4.709 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 4.826 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 4.840 * * * [progress]: generating series expansions 4.840 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 4.840 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* t (* 2e-16 t))) into (* 2e-16 (* (pow t 2) (sqrt 2e-16))) 4.840 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in (t) around 0 4.840 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t 4.841 * [taylor]: Taking taylor expansion of 2e-16 in t 4.841 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.841 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t 4.841 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.841 * [taylor]: Taking taylor expansion of t in t 4.841 * [backup-simplify]: Simplify 0 into 0 4.841 * [backup-simplify]: Simplify 1 into 1 4.841 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.841 * [taylor]: Taking taylor expansion of 2e-16 in t 4.841 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.841 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.842 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.842 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t 4.842 * [taylor]: Taking taylor expansion of 2e-16 in t 4.842 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.842 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t 4.842 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.842 * [taylor]: Taking taylor expansion of t in t 4.842 * [backup-simplify]: Simplify 0 into 0 4.842 * [backup-simplify]: Simplify 1 into 1 4.842 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.842 * [taylor]: Taking taylor expansion of 2e-16 in t 4.842 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.842 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.843 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.843 * [backup-simplify]: Simplify (* 1 1) into 1 4.844 * [backup-simplify]: Simplify (* 1 (sqrt 2e-16)) into (sqrt 2e-16) 4.845 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16)) 4.846 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16)) 4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 2e-16))) into 0 4.848 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0 4.848 * [backup-simplify]: Simplify 0 into 0 4.850 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0 4.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.853 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.853 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.858 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.858 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.861 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 4.864 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 4.864 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 4.869 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 4.869 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow t 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16))) 4.870 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) 4.870 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0 4.870 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t 4.870 * [taylor]: Taking taylor expansion of 2e-16 in t 4.870 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.870 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t 4.870 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.870 * [taylor]: Taking taylor expansion of 2e-16 in t 4.870 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.871 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.871 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.871 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.871 * [taylor]: Taking taylor expansion of t in t 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 1 into 1 4.871 * [backup-simplify]: Simplify (* 1 1) into 1 4.872 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16) 4.872 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t 4.872 * [taylor]: Taking taylor expansion of 2e-16 in t 4.872 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.872 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t 4.872 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.872 * [taylor]: Taking taylor expansion of 2e-16 in t 4.872 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.872 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.873 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.873 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.873 * [taylor]: Taking taylor expansion of t in t 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 1 into 1 4.873 * [backup-simplify]: Simplify (* 1 1) into 1 4.873 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16) 4.874 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16)) 4.874 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16)) 4.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0 4.876 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0 4.876 * [backup-simplify]: Simplify 0 into 0 4.876 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0 4.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.878 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.878 * [backup-simplify]: Simplify 0 into 0 4.879 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.881 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.884 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.884 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.887 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 4.887 * [backup-simplify]: Simplify 0 into 0 4.887 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.890 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 4.890 * [backup-simplify]: Simplify 0 into 0 4.890 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16))) 4.891 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) 4.891 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0 4.891 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t 4.891 * [taylor]: Taking taylor expansion of 2e-16 in t 4.891 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.891 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t 4.891 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.891 * [taylor]: Taking taylor expansion of 2e-16 in t 4.891 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.891 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.892 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.892 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.892 * [taylor]: Taking taylor expansion of t in t 4.892 * [backup-simplify]: Simplify 0 into 0 4.892 * [backup-simplify]: Simplify 1 into 1 4.892 * [backup-simplify]: Simplify (* 1 1) into 1 4.892 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16) 4.892 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t 4.892 * [taylor]: Taking taylor expansion of 2e-16 in t 4.893 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.893 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t 4.893 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.893 * [taylor]: Taking taylor expansion of 2e-16 in t 4.893 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.893 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.893 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.893 * [taylor]: Taking taylor expansion of t in t 4.893 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify 1 into 1 4.894 * [backup-simplify]: Simplify (* 1 1) into 1 4.894 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16) 4.895 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16)) 4.895 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16)) 4.895 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0 4.896 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0 4.896 * [backup-simplify]: Simplify 0 into 0 4.897 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0 4.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.899 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.899 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.901 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.901 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.906 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.907 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.907 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.910 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 4.910 * [backup-simplify]: Simplify 0 into 0 4.911 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.914 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 4.914 * [backup-simplify]: Simplify 0 into 0 4.915 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16))) 4.915 * * * * [progress]: [ 2 / 3 ] generating series at (2) 4.915 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) 4.915 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in (t) around 0 4.915 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t 4.915 * [taylor]: Taking taylor expansion of 2e-16 in t 4.915 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.915 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t 4.915 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.915 * [taylor]: Taking taylor expansion of t in t 4.915 * [backup-simplify]: Simplify 0 into 0 4.915 * [backup-simplify]: Simplify 1 into 1 4.915 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t 4.915 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.915 * [taylor]: Taking taylor expansion of 2e-16 in t 4.915 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.916 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.916 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.916 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t 4.916 * [taylor]: Taking taylor expansion of 2e-16 in t 4.916 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.916 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t 4.916 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.916 * [taylor]: Taking taylor expansion of t in t 4.916 * [backup-simplify]: Simplify 0 into 0 4.916 * [backup-simplify]: Simplify 1 into 1 4.916 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t 4.916 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.916 * [taylor]: Taking taylor expansion of 2e-16 in t 4.916 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.916 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.917 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.917 * [backup-simplify]: Simplify (* 1 1) into 1 4.918 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2) 4.919 * [backup-simplify]: Simplify (* 1 (pow (sqrt 2e-16) 2)) into (pow (sqrt 2e-16) 2) 4.920 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2)) 4.921 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2)) 4.921 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0 4.922 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.922 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 2e-16) 2))) into 0 4.923 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0 4.923 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0 4.924 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0 4.926 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0 4.926 * [backup-simplify]: Simplify 0 into 0 4.927 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.927 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0 4.930 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0 4.930 * [backup-simplify]: Simplify 0 into 0 4.931 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.931 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0 4.934 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0 4.934 * [backup-simplify]: Simplify 0 into 0 4.935 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.936 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 4.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0 4.939 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0 4.939 * [backup-simplify]: Simplify 0 into 0 4.940 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.941 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 4.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0 4.944 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow t 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) 4.946 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 t) (* 2e-16 (/ 1 t))))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) 4.946 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0 4.946 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t 4.946 * [taylor]: Taking taylor expansion of 2e-16 in t 4.946 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.946 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t 4.946 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t 4.946 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.946 * [taylor]: Taking taylor expansion of 2e-16 in t 4.946 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.946 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.946 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.947 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.947 * [taylor]: Taking taylor expansion of t in t 4.947 * [backup-simplify]: Simplify 0 into 0 4.947 * [backup-simplify]: Simplify 1 into 1 4.947 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2) 4.948 * [backup-simplify]: Simplify (* 1 1) into 1 4.948 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2) 4.948 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t 4.949 * [taylor]: Taking taylor expansion of 2e-16 in t 4.949 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.949 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t 4.949 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t 4.949 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.949 * [taylor]: Taking taylor expansion of 2e-16 in t 4.949 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.949 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.949 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.949 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.949 * [taylor]: Taking taylor expansion of t in t 4.949 * [backup-simplify]: Simplify 0 into 0 4.949 * [backup-simplify]: Simplify 1 into 1 4.950 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2) 4.950 * [backup-simplify]: Simplify (* 1 1) into 1 4.951 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2) 4.952 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2)) 4.953 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2)) 4.953 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0 4.954 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0 4.955 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0 4.955 * [backup-simplify]: Simplify 0 into 0 4.956 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0 4.956 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.958 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0 4.958 * [backup-simplify]: Simplify 0 into 0 4.959 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.960 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.962 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0 4.962 * [backup-simplify]: Simplify 0 into 0 4.963 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.964 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.966 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0 4.966 * [backup-simplify]: Simplify 0 into 0 4.967 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.968 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 4.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.970 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0 4.970 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.972 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 4.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.973 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.975 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0 4.975 * [backup-simplify]: Simplify 0 into 0 4.976 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) 4.976 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) 4.976 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0 4.976 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t 4.976 * [taylor]: Taking taylor expansion of 2e-16 in t 4.976 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.976 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t 4.976 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t 4.976 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.976 * [taylor]: Taking taylor expansion of 2e-16 in t 4.976 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.977 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.977 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.977 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.977 * [taylor]: Taking taylor expansion of t in t 4.977 * [backup-simplify]: Simplify 0 into 0 4.977 * [backup-simplify]: Simplify 1 into 1 4.978 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2) 4.978 * [backup-simplify]: Simplify (* 1 1) into 1 4.979 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2) 4.979 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t 4.979 * [taylor]: Taking taylor expansion of 2e-16 in t 4.979 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.979 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t 4.979 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t 4.979 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t 4.979 * [taylor]: Taking taylor expansion of 2e-16 in t 4.979 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.979 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16) 4.980 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0 4.980 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.980 * [taylor]: Taking taylor expansion of t in t 4.980 * [backup-simplify]: Simplify 0 into 0 4.980 * [backup-simplify]: Simplify 1 into 1 4.981 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2) 4.981 * [backup-simplify]: Simplify (* 1 1) into 1 4.982 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2) 4.983 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2)) 4.984 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2)) 4.984 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0 4.985 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0 4.986 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0 4.986 * [backup-simplify]: Simplify 0 into 0 4.986 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0 4.987 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0 4.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.993 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0 4.993 * [backup-simplify]: Simplify 0 into 0 4.993 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.994 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0 4.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.996 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0 4.996 * [backup-simplify]: Simplify 0 into 0 4.997 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 4.998 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0 4.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.000 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0 5.000 * [backup-simplify]: Simplify 0 into 0 5.001 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 5.002 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0 5.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.004 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0 5.004 * [backup-simplify]: Simplify 0 into 0 5.005 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0 5.006 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0 5.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.009 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0 5.009 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) 5.010 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 5.010 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 5.010 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 5.010 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 5.010 * [taylor]: Taking taylor expansion of 2e-16 in t 5.010 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.010 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.010 * [taylor]: Taking taylor expansion of t in t 5.010 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify 1 into 1 5.010 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 5.010 * [taylor]: Taking taylor expansion of 2e-16 in t 5.010 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.010 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.010 * [taylor]: Taking taylor expansion of t in t 5.010 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify 1 into 1 5.011 * [backup-simplify]: Simplify (* 1 1) into 1 5.011 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 5.011 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.012 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 5.012 * [backup-simplify]: Simplify 0 into 0 5.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.013 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 5.013 * [backup-simplify]: Simplify 0 into 0 5.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.014 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.014 * [backup-simplify]: Simplify 0 into 0 5.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.016 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.016 * [backup-simplify]: Simplify 0 into 0 5.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.017 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.017 * [backup-simplify]: Simplify 0 into 0 5.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.019 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.019 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 5.019 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 5.019 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 5.019 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 5.019 * [taylor]: Taking taylor expansion of 2e-16 in t 5.019 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.019 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.019 * [taylor]: Taking taylor expansion of t in t 5.019 * [backup-simplify]: Simplify 0 into 0 5.020 * [backup-simplify]: Simplify 1 into 1 5.020 * [backup-simplify]: Simplify (* 1 1) into 1 5.020 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 5.020 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 5.020 * [taylor]: Taking taylor expansion of 2e-16 in t 5.020 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.020 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.020 * [taylor]: Taking taylor expansion of t in t 5.020 * [backup-simplify]: Simplify 0 into 0 5.020 * [backup-simplify]: Simplify 1 into 1 5.020 * [backup-simplify]: Simplify (* 1 1) into 1 5.021 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 5.021 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 5.022 * [backup-simplify]: Simplify 0 into 0 5.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.023 * [backup-simplify]: Simplify 0 into 0 5.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.024 * [backup-simplify]: Simplify 0 into 0 5.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.025 * [backup-simplify]: Simplify 0 into 0 5.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.027 * [backup-simplify]: Simplify 0 into 0 5.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.029 * [backup-simplify]: Simplify 0 into 0 5.029 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 5.030 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 5.030 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 5.030 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 5.030 * [taylor]: Taking taylor expansion of 2e-16 in t 5.030 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.030 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.030 * [taylor]: Taking taylor expansion of t in t 5.030 * [backup-simplify]: Simplify 0 into 0 5.030 * [backup-simplify]: Simplify 1 into 1 5.030 * [backup-simplify]: Simplify (* 1 1) into 1 5.030 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 5.030 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 5.030 * [taylor]: Taking taylor expansion of 2e-16 in t 5.030 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.030 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.030 * [taylor]: Taking taylor expansion of t in t 5.030 * [backup-simplify]: Simplify 0 into 0 5.030 * [backup-simplify]: Simplify 1 into 1 5.031 * [backup-simplify]: Simplify (* 1 1) into 1 5.031 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 5.031 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.031 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 5.032 * [backup-simplify]: Simplify 0 into 0 5.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.033 * [backup-simplify]: Simplify 0 into 0 5.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.034 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.035 * [backup-simplify]: Simplify 0 into 0 5.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.037 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.038 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 5.038 * * * [progress]: simplifying candidates 5.038 * * * * [progress]: [ 1 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 2 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 3 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 4 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 5 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 6 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 7 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 8 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 9 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 10 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 11 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 12 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 13 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 14 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 15 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 16 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 17 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 18 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 19 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 20 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 21 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 22 / 81 ] simplifiying candidate # 5.039 * * * * [progress]: [ 23 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 24 / 81 ] simplifiying candidate #real (real->posit16 (* (sqrt 2e-16) (* t (* 2e-16 t)))))))> 5.040 * * * * [progress]: [ 25 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 26 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 27 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 28 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 29 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 30 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 31 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 32 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 33 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 34 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 35 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 36 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 37 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 38 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 39 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 40 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 41 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 42 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 43 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 44 / 81 ] simplifiying candidate # 5.040 * * * * [progress]: [ 45 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 46 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 47 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 48 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 49 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 50 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 51 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 52 / 81 ] simplifiying candidate #real (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))> 5.041 * * * * [progress]: [ 53 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 54 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 55 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 56 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 57 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 58 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 59 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 60 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 61 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 62 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 63 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 64 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 65 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 66 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 67 / 81 ] simplifiying candidate # 5.041 * * * * [progress]: [ 68 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 69 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 70 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 71 / 81 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t)))))))> 5.042 * * * * [progress]: [ 72 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 73 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 74 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 75 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 76 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 77 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 78 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 79 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 80 / 81 ] simplifiying candidate # 5.042 * * * * [progress]: [ 81 / 81 ] simplifiying candidate # 5.043 * [simplify]: Simplifying (* (sqrt 2e-16) (* t (* 2e-16 t))), (* (sqrt 2e-16) (* t (* 2e-16 t))), (* (sqrt 2e-16) (* t (* 2e-16 t))), (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t)))), (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t)))), (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t)))), (log (* (sqrt 2e-16) (* t (* 2e-16 t)))), (exp (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))), (* (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t))))), (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))), (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) t), (* (cbrt (sqrt 2e-16)) (* t (* 2e-16 t))), (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t))), (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t))), (* (sqrt 2e-16) (* t (* 2e-16 t))), (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t))), (* (sqrt 2e-16) (* t (* 2e-16 t))), (real->posit16 (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t))))), (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t))))), (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t))))), (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t (* 2e-16 t))))), (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (exp (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))), (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (* (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))), (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (* (sqrt 2e-16) (sqrt 2e-16)), (* (cbrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))), (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))), (* t (* 2e-16 t)), (* t (* 2e-16 t)), (+ (log t) (+ (log 2e-16) (log t))), (+ (log t) (log (* 2e-16 t))), (log (* t (* 2e-16 t))), (exp (* t (* 2e-16 t))), (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))), (cbrt (* t (* 2e-16 t))), (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (* t 2e-16), (* (cbrt t) (* 2e-16 t)), (* (sqrt t) (* 2e-16 t)), (* t (* 2e-16 t)), (real->posit16 (* t (* 2e-16 t))), (* 2e-16 (* (pow t 2) (sqrt 2e-16))), (* 2e-16 (* (pow t 2) (sqrt 2e-16))), (* 2e-16 (* (pow t 2) (sqrt 2e-16))), (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))), (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))), (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))), (* 2e-16 (pow t 2)), (* 2e-16 (pow t 2)), (* 2e-16 (pow t 2)) 5.045 * * [simplify]: iteration 1: (87 enodes) 5.071 * * [simplify]: iteration 2: (359 enodes) 5.194 * * [simplify]: Extracting #0: cost 35 inf + 0 5.195 * * [simplify]: Extracting #1: cost 224 inf + 1 5.196 * * [simplify]: Extracting #2: cost 279 inf + 5737 5.204 * * [simplify]: Extracting #3: cost 64 inf + 42294 5.215 * * [simplify]: Extracting #4: cost 3 inf + 55566 5.229 * * [simplify]: Extracting #5: cost 0 inf + 56131 5.246 * [simplify]: Simplified to (* t (* (* 2e-16 t) (sqrt 2e-16))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (log (* t (* (* 2e-16 t) (sqrt 2e-16)))), (log (* t (* (* 2e-16 t) (sqrt 2e-16)))), (log (* t (* (* 2e-16 t) (sqrt 2e-16)))), (log (* t (* (* 2e-16 t) (sqrt 2e-16)))), (exp (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* (cbrt (* t (* (* 2e-16 t) (sqrt 2e-16)))) (cbrt (* t (* (* 2e-16 t) (sqrt 2e-16))))), (cbrt (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16)))), (sqrt (* t (* (* 2e-16 t) (sqrt 2e-16)))), (sqrt (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* t (sqrt 2e-16)), (* (* (cbrt (sqrt 2e-16)) t) (* 2e-16 t)), (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t))), (* (* 2e-16 t) (* t (sqrt (sqrt 2e-16)))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (* (* 2e-16 t) (* t (sqrt (sqrt 2e-16)))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (real->posit16 (* t (* (* 2e-16 t) (sqrt 2e-16)))), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (fabs (* 2e-16 t)), (fabs (* 2e-16 t)), 2e-16, (* (* (cbrt (sqrt 2e-16)) (sqrt 2e-16)) (* t (* 2e-16 t))), (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (sqrt (cbrt 2e-16))), (* (* (sqrt (sqrt 2e-16)) (* t (sqrt 2e-16))) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* (sqrt (sqrt 2e-16)) (* t (sqrt 2e-16))) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* t (* 2e-16 t)), (* t (* 2e-16 t)), (log (* t (* 2e-16 t))), (log (* t (* 2e-16 t))), (log (* t (* 2e-16 t))), (exp (* t (* 2e-16 t))), (* (* t (* 2e-16 t)) (* (* t (* 2e-16 t)) (* t (* 2e-16 t)))), (* (* t (* 2e-16 t)) (* (* t (* 2e-16 t)) (* t (* 2e-16 t)))), (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))), (cbrt (* t (* 2e-16 t))), (* (* t (* 2e-16 t)) (* (* t (* 2e-16 t)) (* t (* 2e-16 t)))), (sqrt (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (* 2e-16 t), (* (* 2e-16 t) (cbrt t)), (* (sqrt t) (* 2e-16 t)), (* t (* 2e-16 t)), (real->posit16 (* t (* 2e-16 t))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (* t (* (* 2e-16 t) (sqrt 2e-16))), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* t (* 2e-16 t)), (* t (* 2e-16 t)), (* t (* 2e-16 t)) 5.246 * * * * [progress]: [ 1 / 81 ] simplifiying candidate # 5.246 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (pow (* t (* (* 2e-16 t) (sqrt 2e-16))) 1))) 5.246 * * * * [progress]: [ 2 / 81 ] simplifiying candidate # 5.246 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (pow (* t (* (* 2e-16 t) (sqrt 2e-16))) 1))) 5.246 * * * * [progress]: [ 3 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (pow (* t (* (* 2e-16 t) (sqrt 2e-16))) 1))) 5.247 * * * * [progress]: [ 4 / 81 ] simplifiying candidate # 5.247 * * * * [progress]: [ 5 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (exp (log (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 6 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (exp (log (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 7 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (exp (log (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 8 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (exp (log (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 9 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (log (exp (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 10 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 11 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.247 * * * * [progress]: [ 12 / 81 ] simplifiying candidate # 5.247 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.248 * * * * [progress]: [ 13 / 81 ] simplifiying candidate # 5.248 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (* (* (cbrt (* t (* (* 2e-16 t) (sqrt 2e-16)))) (cbrt (* t (* (* 2e-16 t) (sqrt 2e-16))))) (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t))))))) 5.248 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (* (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t))))) (cbrt (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.248 * * * * [progress]: [ 14 / 81 ] simplifiying candidate # 5.248 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (* t (* (* 2e-16 t) (sqrt 2e-16)))) (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.248 * * * * [progress]: [ 15 / 81 ] simplifiying candidate # 5.248 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt (* t (* (* 2e-16 t) (sqrt 2e-16)))) (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t))))))) 5.248 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (sqrt (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.248 * * * * [progress]: [ 16 / 81 ] simplifiying candidate # 5.248 * * * * [progress]: [ 17 / 81 ] simplifiying candidate # 5.248 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (* (* t (sqrt 2e-16)) (* 2e-16 t)))) 5.248 * * * * [progress]: [ 18 / 81 ] simplifiying candidate # 5.249 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (* (cbrt (sqrt 2e-16)) t) (* 2e-16 t))))) 5.249 * * * * [progress]: [ 19 / 81 ] simplifiying candidate # 5.249 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t)))))) 5.249 * * * * [progress]: [ 20 / 81 ] simplifiying candidate # 5.249 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (* 2e-16 t) (* t (sqrt (sqrt 2e-16))))))) 5.249 * * * * [progress]: [ 21 / 81 ] simplifiying candidate # 5.249 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 1) (* t (* (* 2e-16 t) (sqrt 2e-16)))))) 5.249 * * * * [progress]: [ 22 / 81 ] simplifiying candidate # 5.249 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (* 2e-16 t) (* t (sqrt (sqrt 2e-16))))))) 5.249 * * * * [progress]: [ 23 / 81 ] simplifiying candidate # 5.249 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* 1 (* t (* (* 2e-16 t) (sqrt 2e-16)))))) 5.250 * * * * [progress]: [ 24 / 81 ] simplifiying candidate #real (real->posit16 (* (sqrt 2e-16) (* t (* 2e-16 t)))))))> 5.250 * [simplify]: Simplified (2 2 1) to (λ (t) (* (sqrt 2e-16) (posit16->real (real->posit16 (* t (* (* 2e-16 t) (sqrt 2e-16))))))) 5.250 * * * * [progress]: [ 25 / 81 ] simplifiying candidate # 5.250 * * * * [progress]: [ 26 / 81 ] simplifiying candidate # 5.250 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 5.250 * * * * [progress]: [ 27 / 81 ] simplifiying candidate # 5.250 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 5.250 * * * * [progress]: [ 28 / 81 ] simplifiying candidate # 5.250 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 5.250 * * * * [progress]: [ 29 / 81 ] simplifiying candidate # 5.250 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 5.250 * * * * [progress]: [ 30 / 81 ] simplifiying candidate # 5.250 * * * * [progress]: [ 31 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 5.251 * * * * [progress]: [ 32 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 5.251 * * * * [progress]: [ 33 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 5.251 * * * * [progress]: [ 34 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 5.251 * * * * [progress]: [ 35 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 5.251 * * * * [progress]: [ 36 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t))))) 5.251 * * * * [progress]: [ 37 / 81 ] simplifiying candidate # 5.251 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 5.252 * * * * [progress]: [ 38 / 81 ] simplifiying candidate # 5.252 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 5.252 * * * * [progress]: [ 39 / 81 ] simplifiying candidate # 5.252 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 5.252 * * * * [progress]: [ 40 / 81 ] simplifiying candidate # 5.252 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 5.252 * * * * [progress]: [ 41 / 81 ] simplifiying candidate # 5.252 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))) 5.252 * [simplify]: Simplified (2 2) to (λ (t) (* (* (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))) 5.253 * * * * [progress]: [ 42 / 81 ] simplifiying candidate # 5.253 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))))) 5.253 * * * * [progress]: [ 43 / 81 ] simplifiying candidate # 5.253 * [simplify]: Simplified (2 1) to (λ (t) (* (fabs (* 2e-16 t)) (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))) 5.253 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (fabs (* 2e-16 t)))) 5.253 * * * * [progress]: [ 44 / 81 ] simplifiying candidate # 5.253 * * * * [progress]: [ 45 / 81 ] simplifiying candidate # 5.253 * [simplify]: Simplified (2 1) to (λ (t) (* 2e-16 (* t (* 2e-16 t)))) 5.253 * * * * [progress]: [ 46 / 81 ] simplifiying candidate # 5.253 * [simplify]: Simplified (2 2) to (λ (t) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (* (cbrt (sqrt 2e-16)) (sqrt 2e-16)) (* t (* 2e-16 t))))) 5.253 * * * * [progress]: [ 47 / 81 ] simplifiying candidate # 5.254 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (* t (* (* 2e-16 t) (sqrt 2e-16))) (sqrt (cbrt 2e-16))))) 5.254 * * * * [progress]: [ 48 / 81 ] simplifiying candidate # 5.254 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (sqrt 2e-16)) (* (* (sqrt (sqrt 2e-16)) (* t (sqrt 2e-16))) (* 2e-16 t)))) 5.254 * * * * [progress]: [ 49 / 81 ] simplifiying candidate # 5.254 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt 1) (* (* 2e-16 t) (* 2e-16 t)))) 5.254 * * * * [progress]: [ 50 / 81 ] simplifiying candidate # 5.254 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt (sqrt 2e-16)) (* (* (sqrt (sqrt 2e-16)) (* t (sqrt 2e-16))) (* 2e-16 t)))) 5.254 * * * * [progress]: [ 51 / 81 ] simplifiying candidate # 5.254 * [simplify]: Simplified (2 2) to (λ (t) (* 1 (* (* 2e-16 t) (* 2e-16 t)))) 5.254 * * * * [progress]: [ 52 / 81 ] simplifiying candidate #real (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))> 5.254 * [simplify]: Simplified (2 1) to (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t))))) 5.254 * * * * [progress]: [ 53 / 81 ] simplifiying candidate # 5.255 * * * * [progress]: [ 54 / 81 ] simplifiying candidate # 5.255 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1)))) 5.255 * * * * [progress]: [ 55 / 81 ] simplifiying candidate # 5.255 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1)))) 5.255 * * * * [progress]: [ 56 / 81 ] simplifiying candidate # 5.255 * * * * [progress]: [ 57 / 81 ] simplifiying candidate # 5.255 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (log (* t (* 2e-16 t))))))) 5.255 * * * * [progress]: [ 58 / 81 ] simplifiying candidate # 5.255 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (log (* t (* 2e-16 t))))))) 5.255 * * * * [progress]: [ 59 / 81 ] simplifiying candidate # 5.255 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (log (* t (* 2e-16 t))))))) 5.255 * * * * [progress]: [ 60 / 81 ] simplifiying candidate # 5.256 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (log (exp (* t (* 2e-16 t))))))) 5.256 * * * * [progress]: [ 61 / 81 ] simplifiying candidate # 5.256 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* t (* 2e-16 t)) (* (* t (* 2e-16 t)) (* t (* 2e-16 t)))))))) 5.256 * * * * [progress]: [ 62 / 81 ] simplifiying candidate # 5.256 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* t (* 2e-16 t)) (* (* t (* 2e-16 t)) (* t (* 2e-16 t)))))))) 5.256 * * * * [progress]: [ 63 / 81 ] simplifiying candidate # 5.256 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* t (* 2e-16 t))))))) 5.256 * [simplify]: Simplified (2 2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* t (* 2e-16 t))))))) 5.256 * * * * [progress]: [ 64 / 81 ] simplifiying candidate # 5.256 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* t (* 2e-16 t)) (* (* t (* 2e-16 t)) (* t (* 2e-16 t)))))))) 5.257 * * * * [progress]: [ 65 / 81 ] simplifiying candidate # 5.257 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))) 5.257 * [simplify]: Simplified (2 2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))) 5.257 * * * * [progress]: [ 66 / 81 ] simplifiying candidate # 5.257 * * * * [progress]: [ 67 / 81 ] simplifiying candidate # 5.257 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* 2e-16 t) t)))) 5.257 * * * * [progress]: [ 68 / 81 ] simplifiying candidate # 5.257 * [simplify]: Simplified (2 2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* (cbrt t) (cbrt t)) (* (* 2e-16 t) (cbrt t)))))) 5.257 * * * * [progress]: [ 69 / 81 ] simplifiying candidate # 5.257 * [simplify]: Simplified (2 2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt t) (* (sqrt t) (* 2e-16 t)))))) 5.257 * * * * [progress]: [ 70 / 81 ] simplifiying candidate # 5.258 * [simplify]: Simplified (2 2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 1 (* t (* 2e-16 t)))))) 5.258 * * * * [progress]: [ 71 / 81 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t)))))))> 5.258 * [simplify]: Simplified (2 2 2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (posit16->real (real->posit16 (* t (* 2e-16 t))))))) 5.258 * * * * [progress]: [ 72 / 81 ] simplifiying candidate # 5.258 * * * * [progress]: [ 73 / 81 ] simplifiying candidate # 5.258 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt 2e-16) (* t (* (* 2e-16 t) (sqrt 2e-16))))) 5.258 * * * * [progress]: [ 74 / 81 ] simplifiying candidate # 5.258 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt 2e-16) (* t (* (* 2e-16 t) (sqrt 2e-16))))) 5.258 * * * * [progress]: [ 75 / 81 ] simplifiying candidate # 5.258 * [simplify]: Simplified (2 2) to (λ (t) (* (sqrt 2e-16) (* t (* (* 2e-16 t) (sqrt 2e-16))))) 5.258 * * * * [progress]: [ 76 / 81 ] simplifiying candidate # 5.258 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 5.258 * * * * [progress]: [ 77 / 81 ] simplifiying candidate # 5.258 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 5.259 * * * * [progress]: [ 78 / 81 ] simplifiying candidate # 5.259 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 5.259 * * * * [progress]: [ 79 / 81 ] simplifiying candidate # 5.259 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 5.259 * * * * [progress]: [ 80 / 81 ] simplifiying candidate # 5.259 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 5.259 * * * * [progress]: [ 81 / 81 ] simplifiying candidate # 5.259 * [simplify]: Simplified (2 2 2) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 5.259 * * * [progress]: adding candidates to table 5.674 * [progress]: [Phase 3 of 3] Extracting. 5.674 * * [regime]: Finding splitpoints for: (# # # # # #) 5.674 * * * [regime-changes]: Trying 1 branch expressions: (t) 5.674 * * * * [regimes]: Trying to branch on t from (# # # # # #) 5.698 * * * [regime]: Found split indices: #