Details

sample21.0ms

Algorithm

intervals

Results

7.0ms

303×

body

valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	3
1	22	3
2	33	3
3	36	3
4	42	3
5	46	3
6	54	3
7	282	3
8	2072	3
9	5002	3

prune7.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: 10.9b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
10.4b	(/ (* x (+ y z)) z)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt`
4×	`pow1` `associate-r/` `associate-r*`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `associate-/l/` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `-commutative` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

2 → 46

Calls

2 calls:

6.0ms	(* x (+ y z))
6.0ms	(/ (* x (+ y z)) z)

series15.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* x (+ y z))
9.0ms	(/ (* x (+ y z)) z)

simplify35.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	226	206
1	1099	177
2	5001	177

prune65.0ms

Filtered

52 candidates to 35 candidates (32.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	46	6	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	6	53

Merged error: 0.0b

Counts

53 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ y z))
3.1b	(/ x (/ z (+ y z)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
94×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 123

Calls

2 calls:

5.0ms	(/ z (+ y z))
8.0ms	(/ x (/ z (+ y z)))

series17.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ z (+ y z))
12.0ms	(/ x (/ z (+ y z)))

simplify52.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	413	869
1	1890	835
2	5001	832

prune105.0ms

Filtered

129 candidates to 92 candidates (28.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	129	6	135

Merged error: 0b

Counts

135 → 6

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ z (+ y z))
0.2b	(/ 1 (/ (/ z (+ y z)) x))
3.1b	(/ (/ z (+ y z)) x)

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

648×	`times-frac`
398×	`*-un-lft-identity`
294×	`add-sqr-sqrt` `add-cube-cbrt`
65×	`associate-/r*`
52×	`distribute-lft-out`
35×	`associate-/r/`
31×	`add-exp-log`
24×	`associate-/l*`
23×	`div-inv`
19×	`div-exp` `add-cbrt-cube`
17×	`flip3-+` `flip-+`
10×	`cbrt-undiv`
4×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

3 → 383

Calls

3 calls:

5.0ms	(/ z (+ y z))
17.0ms	(/ 1 (/ (/ z (+ y z)) x))
8.0ms	(/ (/ z (+ y z)) x)

series24.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ z (+ y z))
8.0ms	(/ 1 (/ (/ z (+ y z)) x))
10.0ms	(/ (/ z (+ y z)) x)

simplify67.0ms

Algorithm

egg-herbie

Counts

392 → 392

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1206	3744
1	5001	3334

prune504.0ms

Filtered

392 candidates to 239 candidates (39.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	392	0	392
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	392	6	398

Merged error: 0b

Counts

398 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
10.5b	(* (* x (+ y z)) (/ 1 z))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log`
17×	`associate-r`
16×	`add-cbrt-cube`
13×	`add-sqr-sqrt` `*-un-lft-identity` `prod-exp`
11×	`add-cube-cbrt`
9×	`pow1` `times-frac`
7×	`associate-*r/` `cbrt-unprod`
4×	`div-exp` `associate-l` `pow-prod-down`
3×	`flip3-+` `flip-+`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `associate-l/` `-commutative` `add-log-exp`
1×	`distribute-rgt-in` `distribute-lft-in` `un-div-inv` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

2 → 65

Calls

2 calls:

6.0ms	(* x (+ y z))
10.0ms	(* (* x (+ y z)) (/ 1 z))

series15.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* x (+ y z))
9.0ms	(* (* x (+ y z)) (/ 1 z))

simplify50.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	368	342
1	2051	282
2	5001	270

prune51.0ms

Filtered

71 candidates to 42 candidates (40.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	71	6	77

Merged error: 0b

Counts

77 → 6

regimes166.0ms

Accuracy

-0.7% (2.9b remaining)

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

bsearch35.0ms

Steps

Iters	Range		Point
7	1.0872428295434213e-61	2.5037769201719777e-59	2.3203626109391805e-59
8	-2.1929691410169515e-253	-1.4916109629040347e-256	-6.7841265343619054e-254

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	7
1	24	7

end0.0ms

sample586.0ms

Algorithm

intervals

Results

238.0ms

9742×

body

valid

Details

sample21.0ms

simplify50.0ms

prune7.0ms

localize6.0ms

rewrite13.0ms

series15.0ms

simplify35.0ms

prune65.0ms

localize5.0ms

rewrite19.0ms

series17.0ms

simplify52.0ms

prune105.0ms

localize6.0ms

rewrite60.0ms

series24.0ms

simplify67.0ms

prune504.0ms

localize6.0ms

rewrite17.0ms

series15.0ms

simplify50.0ms

prune51.0ms

regimes166.0ms

bsearch35.0ms

simplify1.0ms

end0.0ms

sample586.0ms

Profiling