Details

analyze901.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.3%	66.5%	0.2%	14

sample44.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify86.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4982	11
1	4982	11

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- z a))))
0.0b	(/ (- z t) (- z a))
2.4b	(* 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))
13.0ms	(* y (/ (- z t) (- z a)))

series52.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4994	1366
1	4994	1366

prune136.0ms

Filtered

83 candidates to 122 candidates (-47.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	116	6	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	7	123

Merged error: 0b

Counts

123 → 7

localize12.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.9b	(/ 1 (/ (- z a) (- z t)))
2.4b	(* y (/ 1 (/ (- z a) (- z t))))

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

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

series86.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(+ x (* y (/ 1 (/ (- z a) (- z t)))))
9.0ms	(/ (- z a) (- z t))
14.0ms	(/ 1 (/ (- z a) (- z t)))
34.0ms	(* y (/ 1 (/ (- z a) (- z t))))

simplify68.0ms

Algorithm

egg-herbie

Counts

350 → 350

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5121	4569

prune290.0ms

Filtered

204 candidates to 350 candidates (-71.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	348	2	350
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	351	6	357

Merged error: 0b

Counts

357 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 98

Calls

3 calls:

6.0ms	(/ y (- z a))
4.0ms	(+ x (* (/ y (- z a)) (- z t)))
13.0ms	(* (/ y (- z a)) (- z t))

series57.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5122	1103

prune108.0ms

Filtered

78 candidates to 107 candidates (-37.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	107	6	113

Merged error: 0b

Counts

113 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
231×	`add-sqr-sqrt`
196×	`*-un-lft-identity`
130×	`add-cube-cbrt`
106×	`add-exp-log`
68×	`associate-r`
57×	`div-exp`
32×	`add-cbrt-cube`
28×	`distribute-lft-out--` `difference-of-squares`
26×	`prod-exp` `associate-/r*`
22×	`rec-exp` `1-exp`
21×	`associate-l`
20×	`associate-/r/`
14×	`unswap-sqr`
13×	`cbrt-undiv`
11×	`div-inv`
9×	`pow1` `flip3--` `flip--`
6×	`cbrt-unprod` `associate-/l*` `add-log-exp`
5×	`pow-flip`
3×	`inv-pow`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `frac-times` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `un-div-inv` `*-commutative` `flip-+` `remove-double-div`

Counts

4 → 317

Calls

4 calls:

4.0ms	(+ x (* (/ y (- z a)) (/ 1 (/ 1 (- z t)))))
5.0ms	(/ 1 (- z t))
9.0ms	(/ 1 (/ 1 (- z t)))
42.0ms	(* (/ y (- z a)) (/ 1 (/ 1 (- z t))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ x (* (/ y (- z a)) (/ 1 (/ 1 (- z t)))))
4.0ms	(/ 1 (- z t))
3.0ms	(/ 1 (/ 1 (- z t)))
21.0ms	(* (/ y (- z a)) (/ 1 (/ 1 (- z t))))

simplify49.0ms

Algorithm

egg-herbie

Counts

329 → 329

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5053	3395

prune226.0ms

Filtered

160 candidates to 329 candidates (-105.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	328	1	329
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	330	5	335

Merged error: 0b

Counts

335 → 5

regimes588.0ms

Accuracy

51.9% (0.6b remaining)

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

bsearch40.0ms

Steps

Iters	Range		Point
7	5.8616245259678345e+20	1.0175471752940158e+22	6.291994294278049e+20
8	-3.1828098004561336e-133	-4.850884213702176e-137	-3.1391994516306873e-133

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	31
1	44	31

end0.0ms

sample1.2s

Algorithm

intervals

Results

242.0ms	7998×	body	80	valid
0.0ms	2×	body	640	valid

Details

analyze901.0ms

sample44.0ms

simplify86.0ms

prune4.0ms

localize8.0ms

rewrite29.0ms

series52.0ms

simplify39.0ms

prune136.0ms

localize12.0ms

rewrite77.0ms

series86.0ms

simplify68.0ms

prune290.0ms

localize8.0ms

rewrite25.0ms

series57.0ms

simplify40.0ms

prune108.0ms

localize14.0ms

rewrite77.0ms

series59.0ms

simplify49.0ms

prune226.0ms

regimes588.0ms

bsearch40.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling