Details

sample30.0ms

Algorithm

intervals

Results

9.0ms

276×

body

valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	5
1	35	5
2	56	5
3	94	5
4	150	5
5	185	5
6	203	5
7	230	5
8	280	5
9	368	5
10	457	5
11	723	5
12	922	5
13	1038	5
14	1060	5
15	1060	5

prune9.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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.6b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.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) (- z a))))
8.0ms	(/ (- z t) (- z a))
14.0ms	(* y (/ (- z t) (- z a)))

series182.0ms

Counts

3 → 9

Calls

3 calls:

74.0ms	(+ x (* y (/ (- z t) (- z a))))
43.0ms	(/ (- z t) (- z a))
64.0ms	(* y (/ (- z t) (- z a)))

simplify48.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	423	747
1	1655	704
2	5001	704

prune473.0ms

Filtered

122 candidates to 83 candidates (68.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	117	5	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	6	123

Merged error: 0.0b

Counts

123 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

392×	`times-frac`
336×	`add-sqr-sqrt`
324×	`*-un-lft-identity`
158×	`add-cube-cbrt`
98×	`associate-r`
82×	`distribute-lft-out--` `difference-of-squares`
36×	`add-exp-log` `associate-/r*`
20×	`add-cbrt-cube`
18×	`associate-/r/`
15×	`div-exp`
10×	`div-inv`
9×	`flip3--` `flip--`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`add-log-exp`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`associate-l` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

4 → 338

Calls

4 calls:

2.0ms	(+ x (* y (/ 1 (/ (- z a) (- z t)))))
11.0ms	(/ (- z a) (- z t))
13.0ms	(/ 1 (/ (- z a) (- z t)))
33.0ms	(* y (/ 1 (/ (- z a) (- z t))))

series325.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(+ x (* y (/ 1 (/ (- z a) (- z t)))))
45.0ms	(/ (- z a) (- z t))
89.0ms	(/ 1 (/ (- z a) (- z t)))
113.0ms	(* y (/ 1 (/ (- z a) (- z t))))

simplify116.0ms

Algorithm

egg-herbie

Counts

350 → 350

Iterations

Useful iterations: 2 (86.0ms)

Iter	Nodes	Cost
0	954	2831
1	4775	2542
2	5002	2256

prune986.0ms

Filtered

350 candidates to 183 candidates (52.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	349	1	350
Fresh	3	1	4
Picked	0	1	1
Done	0	1	1
Total	352	4	356

Merged error: 0b

Counts

356 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 206

Calls

3 calls:

28.0ms	(+ x (/ y (/ (- z a) (- z t))))
8.0ms	(/ (- z a) (- z t))
12.0ms	(/ y (/ (- z a) (- z t)))

series234.0ms

Counts

3 → 9

Calls

3 calls:

82.0ms	(+ x (/ y (/ (- z a) (- z t))))
41.0ms	(/ (- z a) (- z t))
110.0ms	(/ y (/ (- z a) (- z t)))

simplify89.0ms

Algorithm

egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	702	1885
1	3069	1832
2	5002	1829

prune781.0ms

Filtered

215 candidates to 144 candidates (67.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	215	4	219

Merged error: 0b

Counts

219 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.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:

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

series175.0ms

Counts

3 → 9

Calls

3 calls:

74.0ms	(+ x (/ (* y (- z t)) (- z a)))
35.0ms	(* y (- z t))
66.0ms	(/ (* y (- z t)) (- z a))

simplify40.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	337	381
1	1443	342
2	5002	342

prune245.0ms

Filtered

76 candidates to 50 candidates (65.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	76	4	80

Merged error: 0b

Counts

80 → 4

regimes556.0ms

Accuracy

63.9% (0.5b remaining)

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

bsearch39.0ms

Steps

Iters	Range		Point
6	3.4776745905103514e-78	3.0296348298123718e-77	7.196941475540132e-78
1	-1.0790616066878237e-36	-1.0206543043430083e-36	-1.0352561299292123e-36

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	15
1	27	15

end0.0ms

sample740.0ms

Algorithm

intervals

Results

291.0ms	8713×	body	80	valid
0.0ms	3×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample30.0ms

simplify54.0ms

prune9.0ms

localize9.0ms

rewrite29.0ms

series182.0ms

simplify48.0ms

prune473.0ms

localize10.0ms

rewrite82.0ms

series325.0ms

simplify116.0ms

prune986.0ms

localize8.0ms

rewrite62.0ms

series234.0ms

simplify89.0ms

prune781.0ms

localize8.0ms

rewrite25.0ms

series175.0ms

simplify40.0ms

prune245.0ms

regimes556.0ms

bsearch39.0ms

simplify1.0ms

end0.0ms

sample740.0ms

Profiling