Details

analyze1.1s

Algorithm: search

sample24.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
1.0ms	28×	body	80	invalid

simplify46.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 1.1b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- a t))))
0.0b	(/ (- z t) (- a t))
2.0b	(* y (/ (- z t) (- a t)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* y (/ (- z t) (- a t))))
7.0ms	(/ (- z t) (- a t))
19.0ms	(* y (/ (- z t) (- a t)))

series50.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(+ x (* y (/ (- z t) (- a t))))
9.0ms	(/ (- z t) (- a t))
15.0ms	(* y (/ (- z t) (- a t)))

simplify54.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	421	747
1	1657	704
2	5001	704

prune130.0ms

Filtered

83 candidates to 122 candidates (-47.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	118	5	123

Merged error: 0.0b

Counts

123 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (* (- z t) (/ 1 (- a t)))))
0.0b	(/ 1 (- a t))
0.2b	(* (- z t) (/ 1 (- a t)))
2.0b	(* y (* (- z t) (/ 1 (- a t))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`add-exp-log` `times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
20×	`add-cbrt-cube`
13×	`prod-exp`
12×	`pow1`
8×	`associate-r/` `associate-l*` `distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`flip3--` `div-exp` `flip--` `add-log-exp`
5×	`associate-/r*`
4×	`frac-times` `pow-prod-down` `associate-*l/` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`un-div-inv` `*-commutative` `div-inv`
1×	`+-commutative` `pow-flip` `frac-2neg` `flip3-+` `clear-num` `sum-log` `flip-+` `inv-pow`

Counts

4 → 130

Calls

4 calls:

3.0ms	(+ x (* y (* (- z t) (/ 1 (- a t)))))
5.0ms	(/ 1 (- a t))
12.0ms	(* (- z t) (/ 1 (- a t)))
12.0ms	(* y (* (- z t) (/ 1 (- a t))))

series58.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(+ x (* y (* (- z t) (/ 1 (- a t)))))
5.0ms	(/ 1 (- a t))
10.0ms	(* (- z t) (/ 1 (- a t)))
18.0ms	(* y (* (- z t) (/ 1 (- a t))))

simplify57.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	453	786
1	2003	677
2	5001	632

prune122.0ms

Filtered

85 candidates to 142 candidates (-67.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	142	5	147

Merged error: 0.0b

Counts

147 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
8.0b	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
50×	`times-frac`
46×	`associate-r`
42×	`cbrt-prod`
28×	`add-cube-cbrt`
25×	`add-exp-log`
20×	`cbrt-div`
18×	`add-cbrt-cube`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `unswap-sqr`
5×	`frac-times`
4×	`add-log-exp`
3×	`pow1/3` `associate-r/` `associate-l/`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 136

Calls

4 calls:

3.0ms	(cbrt (- a t))
3.0ms	(cbrt (- a t))
3.0ms	(cbrt (- a t))
31.0ms	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

series106.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a t))
26.0ms	(cbrt (- a t))
25.0ms	(cbrt (- a t))
29.0ms	(* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (cbrt (- a t))))

simplify86.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	658	1608
1	3132	1455
2	5001	1384

prune153.0ms

Filtered

114 candidates to 148 candidates (-29.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	148	5	153

Merged error: 0.0b

Counts

153 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (- z t))
0.0b	(+ x (/ (* y (- z t)) (- a t)))
8.8b	(/ (* y (- z t)) (- a t))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-/r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

6.0ms	(* y (- z t))
9.0ms	(+ x (/ (* y (- z t)) (- a t)))
8.0ms	(/ (* y (- z t)) (- a t))

series47.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* y (- z t))
26.0ms	(+ x (/ (* y (- z t)) (- a t)))
15.0ms	(/ (* y (- z t)) (- a t))

simplify43.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	334	381
1	1437	342
2	5001	342

prune62.0ms

Filtered

50 candidates to 76 candidates (-52.0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	1	0	1
Picked	0	1	1
Done	0	3	3
Total	76	5	81

Merged error: 0b

Counts

81 → 5

regimes597.0ms

Accuracy

54.7% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 1.2b

bsearch2.1s

Steps

Iters	Range		Point
9	216430.77535101378	21330051249.24344	641089.5791271834
9	-7.596823080589243e-137	-1.1118804259973856e-144	-7.487525640861456e-137

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	10
1	26	10

end0.0ms

analyze867.0ms

Algorithm: search

sample571.0ms

Algorithm

intervals

Results

294.0ms	7999×	body	80	valid
27.0ms	684×	body	80	invalid
0.0ms	1×	body	640	valid

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Details

analyze1.1s

sample24.0ms

simplify46.0ms

prune4.0ms

localize8.0ms

rewrite34.0ms

series50.0ms

simplify54.0ms

prune130.0ms

localize9.0ms

rewrite37.0ms

series58.0ms

simplify57.0ms

prune122.0ms

localize14.0ms

rewrite46.0ms

series106.0ms

simplify86.0ms

prune153.0ms

localize8.0ms

rewrite24.0ms

series47.0ms

simplify43.0ms

prune62.0ms

regimes597.0ms

bsearch2.1s

simplify2.0ms

end0.0ms

analyze867.0ms

sample571.0ms

Profiling

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5