Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

335×

body

valid

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

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: 4.8b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 52

Calls

2 calls:

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

series81.0ms

Counts

2 → 6

Calls

2 calls:

35.0ms	(- (/ y z) (/ t (- 1.0 z)))
45.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify34.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	258	422
1	977	391
2	5002	389

prune129.0ms

Filtered

58 candidates to 41 candidates (70.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	45	13	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	14	59

Merged error: 0.8b

Counts

59 → 14

localize11.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))))))
7.3b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
7.3b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
7.3b	(cbrt (- (/ y z) (/ t (- 1.0 z))))

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

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

series533.0ms

Counts

4 → 12

Calls

4 calls:

132.0ms	(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
134.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
134.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
133.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify74.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 3 (61.0ms)

Iter	Nodes	Cost
0	419	1341
1	969	1257
2	2506	1243
3	5001	1222

prune323.0ms

Filtered

109 candidates to 84 candidates (77.1%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	1	11	12
Picked	0	1	1
Done	0	1	1
Total	108	15	123

Merged error: 0.8b

Counts

123 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

4.6b	(* x (* (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
7.3b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
7.3b	(cbrt (- (/ y z) (/ t (- 1.0 z))))
7.3b	(cbrt (- (/ y z) (/ t (- 1.0 z))))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

153×	`cbrt-div`
81×	`frac-times`
78×	`associate-*r/`
51×	`flip3--` `frac-sub` `flip--`
44×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
30×	`cbrt-prod`
27×	`associate-*l/`
24×	`times-frac`
13×	`pow1` `add-exp-log`
12×	`distribute-lft-out--` `difference-of-squares`
9×	`add-cbrt-cube`
8×	`add-cube-cbrt`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`pow1/3` `associate-l`
1×	`associate-r` `*-commutative`

Counts

4 → 147

Calls

4 calls:

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

series457.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* x (* (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
134.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
138.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))
133.0ms	(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify112.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 3 (88.0ms)

Iter	Nodes	Cost
0	680	2748
1	1460	2590
2	4243	2481
3	5003	2459

prune470.0ms

Filtered

159 candidates to 110 candidates (69.2%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	5	7	12
Picked	0	1	1
Done	0	2	2
Total	161	13	174

Merged error: 0.0b

Counts

174 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

4.6b	(* x (- (/ y z) (/ t (- 1.0 z))))
5.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.7b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

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

24.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
18.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
18.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
18.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series739.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
235.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
235.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
225.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify39.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	313	732
1	1132	671
2	5002	639

prune222.0ms

Filtered

80 candidates to 65 candidates (81.3%)

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	9	9
Picked	0	1	1
Done	0	3	3
Total	79	14	93

Merged error: 0.0b

Counts

93 → 14

regimes443.0ms

Accuracy

87.3% (0.5b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	40
1	38	40

end0.0ms

sample596.0ms

Algorithm

intervals

Results

347.0ms

10142×

body

valid

Details

sample23.0ms

simplify17.0ms

prune2.0ms

localize7.0ms

rewrite44.0ms

series81.0ms

simplify34.0ms

prune129.0ms

localize11.0ms

rewrite100.0ms

series533.0ms

simplify74.0ms

prune323.0ms

localize14.0ms

rewrite135.0ms

series457.0ms

simplify112.0ms

prune470.0ms

localize14.0ms

rewrite80.0ms

series739.0ms

simplify39.0ms

prune222.0ms

regimes443.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample596.0ms

Profiling