Details

sample30.0ms

Algorithm

intervals

Results

11.0ms

324×

body

valid

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	5
1	25	5
2	39	5
3	58	5
4	73	5
5	87	5
6	102	5
7	108	5
8	110	5
9	110	5

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 4.3b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ y z) (/ t (- 1.0 z)))
0.0b	(/ t (- 1.0 z))
4.1b	(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
31×	`times-frac`
15×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-r`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r*` `add-log-exp`
3×	`sub-neg` `flip3--` `associate-r/` `associate-l` `flip--` `associate-/l`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/` `frac-sub`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 89

Calls

3 calls:

18.0ms	(- (/ y z) (/ t (- 1.0 z)))
5.0ms	(/ t (- 1.0 z))
23.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series34.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(- (/ y z) (/ t (- 1.0 z)))
9.0ms	(/ t (- 1.0 z))
17.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify46.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	387	632
1	1452	595
2	5002	593

prune153.0ms

Filtered

98 candidates to 71 candidates (27.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	90	8	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	9	99

Merged error: 0.5b

Counts

99 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

4.1b	(* x (- (/ y z) (/ t (- 1.0 z))))
6.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

22.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
21.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
19.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
19.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series193.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
60.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
57.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
60.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify43.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	321	744
1	1175	683
2	5001	648

prune220.0ms

Filtered

80 candidates to 65 candidates (18.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	78	11	89

Merged error: 0.5b

Counts

89 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

4.1b	(* x (- (/ y z) (/ t (- 1.0 z))))
6.5b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
6.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
29×	`*-un-lft-identity`
16×	`times-frac`
12×	`cbrt-prod`
10×	`associate-r`
9×	`cbrt-div` `associate-*r/`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`add-cube-cbrt`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`flip3--` `frac-sub` `flip--` `add-log-exp`
3×	`pow1/3` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

24.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
17.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
19.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
21.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series173.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
37.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
61.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
58.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify47.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	410	840
1	1359	781
2	5001	753

prune240.0ms

Filtered

89 candidates to 71 candidates (20.2%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	87	2	89
Fresh	1	7	8
Picked	0	1	1
Done	0	2	2
Total	88	12	100

Merged error: 0.5b

Counts

100 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.7b	(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
6.5b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
6.5b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
6.5b	(cbrt (- (/ y z) (/ t (- 1.0 z))))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
33×	`cbrt-div`
30×	`cbrt-prod`
24×	`times-frac`
18×	`associate-*r/`
12×	`distribute-lft-out--` `difference-of-squares`
11×	`flip3--` `frac-sub` `flip--`
9×	`pow1` `add-exp-log` `frac-times`
8×	`add-cube-cbrt`
7×	`add-cbrt-cube`
4×	`add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 97

Calls

4 calls:

46.0ms	(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
19.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
20.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
17.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))

series160.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
39.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
37.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
37.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify84.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 3 (68.0ms)

Iter	Nodes	Cost
0	433	1357
1	1030	1273
2	2810	1253
3	5001	1220

prune247.0ms

Filtered

109 candidates to 84 candidates (22.9%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	8	8
Picked	0	1	1
Done	0	3	3
Total	109	12	121

Merged error: 0.5b

Counts

121 → 12

regimes752.0ms

Accuracy

89.8% (0.4b remaining)

Error of 1.2b against oracle of 0.8b and baseline of 4.9b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	21
1	30	21

end0.0ms

sample822.0ms

Algorithm

intervals

Results

360.0ms

10052×

body

valid

Details

sample30.0ms

simplify15.0ms

prune4.0ms

localize13.0ms

rewrite50.0ms

series34.0ms

simplify46.0ms

prune153.0ms

localize12.0ms

rewrite84.0ms

series193.0ms

simplify43.0ms

prune220.0ms

localize16.0ms

rewrite85.0ms

series173.0ms

simplify47.0ms

prune240.0ms

localize12.0ms

rewrite106.0ms

series160.0ms

simplify84.0ms

prune247.0ms

regimes752.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample822.0ms

Profiling