Details

analyze892.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.2%	66.5%	0.2%	14

sample24.0ms

Algorithm

intervals

Results

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

simplify89.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4952	11
1	4952	11

prune17.0ms

Filtered

1 candidates to 1 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: 0.0b

Counts

2 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.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))))
7.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))
15.0ms	(* y (/ (- z t) (- z a)))

simplify41.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4994	1366
1	4994	1366

prune134.0ms

Filtered

82 candidates to 122 candidates (-48.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Merged error: 0.0b

Counts

124 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 117

Calls

4 calls:

29.0ms	(- (/ z (- z a)) (/ t (- z a)))
6.0ms	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
5.0ms	(/ z (- z a))
33.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

series80.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(- (/ z (- z a)) (/ t (- z a)))
26.0ms	(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
6.0ms	(/ z (- z a))
29.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

simplify55.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4970	1554
1	4970	1554

prune127.0ms

Filtered

95 candidates to 129 candidates (-35.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	130	5	135

Merged error: 0b

Counts

135 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(* y (* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a)))))
4.8b	(cbrt (/ (- z t) (- z a)))
4.8b	(cbrt (/ (- z t) (- z a)))
4.8b	(cbrt (/ (- z t) (- z a)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt`
98×	`*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
38×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
9×	`pow1` `add-exp-log`
7×	`cbrt-div` `add-cbrt-cube`
6×	`associate-/r/`
4×	`associate-*r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod` `div-inv`
1×	`frac-times` `associate-r` `associate-l/` `-commutative` `unswap-sqr`

Counts

4 → 142

Calls

4 calls:

23.0ms	(* y (* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a)))))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* y (* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a)))))
33.0ms	(cbrt (/ (- z t) (- z a)))
30.0ms	(cbrt (/ (- z t) (- z a)))
30.0ms	(cbrt (/ (- z t) (- z a)))

simplify54.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5023	2243

prune146.0ms

Filtered

108 candidates to 154 candidates (-42.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	154	5	159

Merged error: 0b

Counts

159 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

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

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

5.0ms	(/ y (- z a))
3.0ms	(+ x (* (/ y (- z a)) (- z t)))
12.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))

simplify43.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5122	1103

prune90.0ms

Filtered

79 candidates to 107 candidates (-35.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	108	4	112

Merged error: 0b

Counts

112 → 4

regimes478.0ms

Accuracy

53.3% (0.6b remaining)

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

bsearch20.0ms

Steps

Iters	Range		Point
8	3.0144729761597366e-29	1.5761053952420654e-25	1.4477818662734736e-28
0	-2.8396995921716324e-193	-2.7942171002027016e-193	-2.816958346187167e-193

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	35
1	55	35

end0.0ms

sample595.0ms

Algorithm

intervals

Results

294.0ms	7998×	body	80	valid
29.0ms	722×	body	80	invalid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

analyze892.0ms

sample24.0ms

simplify89.0ms

prune17.0ms

localize8.0ms

rewrite28.0ms

series52.0ms

simplify41.0ms

prune134.0ms

localize9.0ms

rewrite78.0ms

series80.0ms

simplify55.0ms

prune127.0ms

localize13.0ms

rewrite50.0ms

series131.0ms

simplify54.0ms

prune146.0ms

localize8.0ms

rewrite24.0ms

series57.0ms

simplify43.0ms

prune90.0ms

regimes478.0ms

bsearch20.0ms

simplify2.0ms

end0.0ms

sample595.0ms

Profiling