Details

sample21.0ms

Algorithm

intervals

Results

9.0ms

282×

body

valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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

prune2.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: 0.9b

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))
1.4b	(* 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)))

series182.0ms

Counts

3 → 9

Calls

3 calls:

75.0ms	(+ x (* y (/ (- z t) (- z a))))
44.0ms	(/ (- z t) (- z a))
64.0ms	(* y (/ (- z t) (- z a)))

simplify46.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (10.0ms)

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

prune239.0ms

Filtered

122 candidates to 83 candidates (68.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

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.6b	(/ 1 (/ (- z a) (- z t)))
1.4b	(* y (/ 1 (/ (- z a) (- z t))))

rewrite78.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)))))
7.0ms	(/ (- z a) (- z t))
11.0ms	(/ 1 (/ (- z a) (- z t)))
31.0ms	(* y (/ 1 (/ (- z a) (- z t))))

series333.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(+ x (* y (/ 1 (/ (- z a) (- z t)))))
47.0ms	(/ (- z a) (- z t))
94.0ms	(/ 1 (/ (- z a) (- z t)))
113.0ms	(* y (/ 1 (/ (- z a) (- z t))))

simplify110.0ms

Algorithm

egg-herbie

Counts

350 → 350

Iterations

Useful iterations: 2 (80.0ms)

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

prune542.0ms

Filtered

350 candidates to 183 candidates (52.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	349	1	350
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	352	5	357

Merged error: 0b

Counts

357 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

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

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

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

series174.0ms

Counts

3 → 9

Calls

3 calls:

74.0ms	(+ x (/ (* y (- z t)) (- z a)))
39.0ms	(* y (- z t))
61.0ms	(/ (* y (- z t)) (- z a))

simplify42.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (11.0ms)

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

prune126.0ms

Filtered

76 candidates to 51 candidates (67.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Merged error: 0b

Counts

81 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ 1 (/ (- z a) (* y (- z t)))))
0.0b	(* y (- z t))
0.4b	(/ 1 (/ (- z a) (* y (- z t))))
12.8b	(/ (- z a) (* y (- z t)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

58×	`times-frac`
45×	`*-un-lft-identity`
44×	`add-sqr-sqrt`
32×	`add-exp-log`
28×	`add-cube-cbrt`
20×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-r/` `associate-/r`
11×	`associate-/r/`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `flip3--` `flip--` `div-inv` `distribute-lft-out--` `difference-of-squares`
6×	`add-log-exp`
5×	`associate-r` `prod-exp`
3×	`rec-exp` `1-exp` `associate-l` `cbrt-unprod`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/l/` `distribute-lft-out`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `inv-pow` `unswap-sqr`

Counts

4 → 141

Calls

4 calls:

15.0ms	(+ x (/ 1 (/ (- z a) (* y (- z t)))))
6.0ms	(* y (- z t))
11.0ms	(/ 1 (/ (- z a) (* y (- z t))))
8.0ms	(/ (- z a) (* y (- z t)))

series357.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(+ x (/ 1 (/ (- z a) (* y (- z t)))))
40.0ms	(* y (- z t))
194.0ms	(/ 1 (/ (- z a) (* y (- z t))))
52.0ms	(/ (- z a) (* y (- z t)))

simplify67.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	535	1031
1	2535	861
2	5001	853

prune208.0ms

Filtered

153 candidates to 85 candidates (55.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Merged error: 0b

Counts

158 → 5

regimes197.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	5
1	12	5

end0.0ms

sample568.0ms

Algorithm

intervals

Results

316.0ms	8718×	body	80	valid
0.0ms	1×	body	160	valid

Details

sample21.0ms

simplify57.0ms

prune2.0ms

localize8.0ms

rewrite28.0ms

series182.0ms

simplify46.0ms

prune239.0ms

localize10.0ms

rewrite78.0ms

series333.0ms

simplify110.0ms

prune542.0ms

localize8.0ms

rewrite27.0ms

series174.0ms

simplify42.0ms

prune126.0ms

localize9.0ms

rewrite46.0ms

series357.0ms

simplify67.0ms

prune208.0ms

regimes197.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample568.0ms

Profiling