Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

315×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	3
1	37	3
2	67	3
3	79	3
4	79	3

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

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

11.3b

(/ (* a1 a2) (* b1 b2))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log` `add-cbrt-cube`
4×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `frac-2neg` `-un-lft-identity` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ (* a1 a2) (* b1 b2))

series31.0ms

Counts

1 → 3

Calls

1 calls:

31.0ms

(/ (* a1 a2) (* b1 b2))

simplify26.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	160	124
1	936	89
2	5001	89

prune39.0ms

Filtered

24 candidates to 13 candidates (54.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	18	6	24
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	19	6	25

Merged error: 0.0b

Counts

25 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

4.3b	(/ (/ (* a1 a2) b1) b2)
5.9b	(/ (* a1 a2) b1)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*` `div-inv`
2×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 69

Calls

2 calls:

6.0ms	(/ (/ (* a1 a2) b1) b2)
4.0ms	(/ (* a1 a2) b1)

series49.0ms

Counts

2 → 6

Calls

2 calls:

29.0ms	(/ (/ (* a1 a2) b1) b2)
19.0ms	(/ (* a1 a2) b1)

simplify35.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	301	392
1	1329	347
2	5001	347

prune131.0ms

Filtered

75 candidates to 55 candidates (73.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	72	9	81

Merged error: 0.0b

Counts

81 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt b1)
0.6b	(cbrt b1)
4.3b	(/ (* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (cbrt b1))) b2)
5.0b	(* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (cbrt b1)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-exp-log`
40×	`add-cbrt-cube`
39×	`add-sqr-sqrt`
31×	`times-frac`
23×	`add-cube-cbrt` `*-un-lft-identity`
22×	`associate-r`
21×	`cbrt-undiv` `div-exp`
17×	`cbrt-prod`
16×	`prod-exp` `cbrt-unprod`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`associate-/r*` `div-inv` `associate-/l/`
2×	`frac-times` `pow1/3` `associate-r/` `associate-l/`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `associate-/l`

Counts

4 → 115

Calls

4 calls:

1.0ms	(cbrt b1)
1.0ms	(cbrt b1)
11.0ms	(/ (* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (cbrt b1))) b2)
14.0ms	(* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (cbrt b1)))

series466.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(cbrt b1)
176.0ms	(cbrt b1)
60.0ms	(/ (* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (cbrt b1))) b2)
53.0ms	(* (/ a1 (* (cbrt b1) (cbrt b1))) (/ a2 (cbrt b1)))

simplify75.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	571	1079
1	3208	826
2	5001	760

prune256.0ms

Filtered

127 candidates to 89 candidates (70.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	127	9	136

Merged error: 0.0b

Counts

136 → 9

localize6.0ms

Local error

Found 2 expressions with local error:

5.3b	(/ (/ a2 b1) b2)
6.6b	(* a1 (/ (/ a2 b1) b2))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

144×	`times-frac`
89×	`add-sqr-sqrt`
80×	`add-cube-cbrt` `*-un-lft-identity`
43×	`associate-r`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`div-inv`
6×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`associate-l` `prod-exp` `associate-/r*` `cbrt-unprod` `unswap-sqr`
2×	`add-log-exp`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `associate-/l/`

Counts

2 → 135

Calls

2 calls:

6.0ms	(/ (/ a2 b1) b2)
14.0ms	(* a1 (/ (/ a2 b1) b2))

series50.0ms

Counts

2 → 6

Calls

2 calls:

21.0ms	(/ (/ a2 b1) b2)
29.0ms	(* a1 (/ (/ a2 b1) b2))

simplify60.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	546	833
1	2545	781
2	5001	781

prune273.0ms

Filtered

141 candidates to 113 candidates (80.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	141	9	150

Merged error: 0b

Counts

150 → 9

regimes340.0ms

Accuracy

48.7% (5.2b remaining)

Error of 5.3b against oracle of 0.0b and baseline of 10.2b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	29
1	31	29

end0.0ms

sample549.0ms

Algorithm

intervals

Results

306.0ms

9944×

body

valid