Details

sample22.0ms

Algorithm

intervals

Results

9.0ms	282×	body	80	valid
0.0ms	2×	body	2560	valid
0.0ms	1×	body	160	valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 60.0 (- x y))
0.0b	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
0.7b	(/ (* 60.0 (- x y)) (- z t))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`*-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` `associate-/l` `unswap-sqr`

Counts

3 → 66

Calls

3 calls:

6.0ms	(* 60.0 (- x y))
13.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
9.0ms	(/ (* 60.0 (- x y)) (- z t))

series194.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(* 60.0 (- x y))
112.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
54.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify55.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	367	404
1	1595	361
2	5002	361

prune177.0ms

Filtered

75 candidates to 52 candidates (69.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	9	76

Merged error: 0.0b

Counts

76 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- z t))
0.0b	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
0.3b	(* 60.0 (/ (- x y) (- z t)))

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

8.0ms	(/ (- x y) (- z t))
13.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
13.0ms	(* 60.0 (/ (- x y) (- z t)))

series229.0ms

Counts

3 → 9

Calls

3 calls:

51.0ms	(/ (- x y) (- z t))
124.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
54.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify51.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	448	775
1	1788	728
2	5002	728

prune245.0ms

Filtered

122 candidates to 82 candidates (67.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	122	9	131

Merged error: 0.0b

Counts

131 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t)) (* a 120.0))
0.2b	(* (sqrt 60.0) (- x y))
0.3b	(* (sqrt 60.0) (* (sqrt 60.0) (- x y)))
0.7b	(/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 103

Calls

4 calls:

13.0ms	(+ (/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t)) (* a 120.0))
8.0ms	(* (sqrt 60.0) (- x y))
10.0ms	(* (sqrt 60.0) (* (sqrt 60.0) (- x y)))
13.0ms	(/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t))

series691.0ms

Counts

4 → 12

Calls

4 calls:

343.0ms	(+ (/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t)) (* a 120.0))
55.0ms	(* (sqrt 60.0) (- x y))
90.0ms	(* (sqrt 60.0) (* (sqrt 60.0) (- x y)))
203.0ms	(/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t))

simplify70.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	454	760
1	2311	638
2	5002	626

prune213.0ms

Filtered

115 candidates to 71 candidates (61.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	5	6
Picked	0	1	1
Done	1	1	2
Total	116	8	124

Merged error: 0.0b

Counts

124 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

1183×	`times-frac`
806×	`add-sqr-sqrt` `*-un-lft-identity`
450×	`add-cube-cbrt`
178×	`distribute-lft-out--` `difference-of-squares`
109×	`associate-/r*`
33×	`div-inv`
32×	`add-exp-log`
27×	`associate-/l*`
20×	`add-cbrt-cube`
19×	`div-exp`
11×	`associate-/r/`
10×	`cbrt-undiv`
6×	`flip3--` `flip--` `add-log-exp`
5×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `div-sub` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `sum-log` `flip-+` `inv-pow`

Counts

4 → 618

Calls

4 calls:

6.0ms	(/ (- z t) 60.0)
75.0ms	(+ (/ 1 (/ (/ (- z t) 60.0) (- x y))) (* a 120.0))
11.0ms	(/ (/ (- z t) 60.0) (- x y))
28.0ms	(/ 1 (/ (/ (- z t) 60.0) (- x y)))

series510.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(/ (- z t) 60.0)
147.0ms	(+ (/ 1 (/ (/ (- z t) 60.0) (- x y))) (* a 120.0))
59.0ms	(/ (/ (- z t) 60.0) (- x y))
266.0ms	(/ 1 (/ (/ (- z t) 60.0) (- x y)))

simplify132.0ms

Algorithm

egg-herbie

Counts

630 → 630

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1793	7490
1	5001	6467

prune921.0ms

Filtered

630 candidates to 275 candidates (43.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	629	1	630
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	630	8	638

Merged error: 0.0b

Counts

638 → 8

regimes442.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	6
1	16	6

end0.0ms

sample561.0ms

Algorithm

intervals

Results

292.0ms	8591×	body	80	valid
7.0ms	46×	body	1280	valid
4.0ms	31×	body	640	valid
3.0ms	16×	body	2560	valid
1.0ms	11×	body	320	valid
0.0ms	8×	body	160	valid

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6

Details

sample22.0ms

simplify55.0ms

prune2.0ms

localize9.0ms

rewrite30.0ms

series194.0ms

simplify55.0ms

prune177.0ms

localize9.0ms

rewrite39.0ms

series229.0ms

simplify51.0ms

prune245.0ms

localize12.0ms

rewrite47.0ms

series691.0ms

simplify70.0ms

prune213.0ms

localize11.0ms

rewrite173.0ms

series510.0ms

simplify132.0ms

prune921.0ms

regimes442.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample561.0ms

Profiling

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6