Details

analyze678.0ms

Algorithm: search

sample277.0ms

Algorithm

intervals

Results

186.0ms	141×	body	5120	exit
36.0ms	81×	body	1280	nan
16.0ms	256×	body	80	valid
16.0ms	59×	body	640	nan
5.0ms	26×	body	320	nan
1.0ms	7×	body	160	nan
0.0ms	10×	body	80	nan
0.0ms	5×	body	80	invalid
0.0ms	3×	body	80	overflowed

simplify32.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	14	5
1	29	5
2	69	4
3	243	4
4	925	4
5	5001	4

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.3b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (exp (neg w)) (pow l (exp w)))
0.3b	(pow l (exp w))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `unpow-prod-down` `-un-lft-identity` `associate-r*`
5×	`add-exp-log`
4×	`add-cbrt-cube`
3×	`pow1` `pow-unpow` `associate-l` `prod-exp` `unswap-sqr` `sqr-pow`
2×	`pow-to-exp` `associate-*l/` `pow-exp` `add-log-exp`
1×	`neg-sub0` `exp-neg` `pow-pow` `exp-diff` `*-commutative` `cbrt-unprod`

Counts

2 → 44

Calls

2 calls:

7.0ms	(* (exp (neg w)) (pow l (exp w)))
2.0ms	(pow l (exp w))

series40.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(* (exp (neg w)) (pow l (exp w)))
16.0ms	(pow l (exp w))

simplify50.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	358	408
1	1656	373
2	5002	275

prune61.0ms

Filtered

34 candidates to 50 candidates (-47.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	47	3	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	3	51

Merged error: 0.0b

Counts

51 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (exp (neg w)))
0.0b	(cbrt (exp (neg w)))
0.0b	(cbrt (exp (neg w)))
0.3b	(pow l (exp w))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-div`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`neg-sub0` `exp-neg` `unpow-prod-down` `pow-unpow` `exp-diff` `pow1/3`
1×	`pow-to-exp` `pow-pow` `pow-exp` `sqr-pow`

Counts

4 → 56

Calls

4 calls:

3.0ms	(cbrt (exp (neg w)))
3.0ms	(cbrt (exp (neg w)))
3.0ms	(cbrt (exp (neg w)))
2.0ms	(pow l (exp w))

series62.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(cbrt (exp (neg w)))
17.0ms	(cbrt (exp (neg w)))
15.0ms	(cbrt (exp (neg w)))
15.0ms	(pow l (exp w))

simplify263.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 3 (258.0ms)

Iter	Nodes	Cost
0	221	381
1	831	354
2	4384	282
3	5001	279

prune70.0ms

Filtered

52 candidates to 68 candidates (-30.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	67	4	71

Merged error: 0.0b

Counts

71 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (exp (neg w)))
0.2b	(pow (sqrt l) (exp w))
0.2b	(pow (sqrt l) (exp w))
0.4b	(* (pow (sqrt l) (exp w)) (pow (sqrt l) (exp w)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

56×	`unpow-prod-down`
51×	`add-sqr-sqrt`
28×	`sqrt-prod`
23×	`add-cube-cbrt` `*-un-lft-identity`
18×	`add-exp-log`
16×	`unswap-sqr`
14×	`sqr-pow`
12×	`swap-sqr`
10×	`associate-r` `associate-l`
9×	`prod-exp`
8×	`pow1` `pow-to-exp` `pow-exp`
6×	`pow-unpow` `pow-pow` `add-cbrt-cube`
4×	`add-log-exp`
3×	`cbrt-prod`
2×	`cbrt-div` `sqrt-pow1` `pow1/2` `sqrt-pow2`
1×	`pow2` `neg-sub0` `exp-neg` `exp-diff` `pow1/3` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod`

Counts

4 → 129

Calls

4 calls:

3.0ms	(cbrt (exp (neg w)))
3.0ms	(pow (sqrt l) (exp w))
3.0ms	(pow (sqrt l) (exp w))
9.0ms	(* (pow (sqrt l) (exp w)) (pow (sqrt l) (exp w)))

series78.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(cbrt (exp (neg w)))
18.0ms	(pow (sqrt l) (exp w))
18.0ms	(pow (sqrt l) (exp w))
27.0ms	(* (pow (sqrt l) (exp w)) (pow (sqrt l) (exp w)))

simplify66.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	408	1220
1	2057	1142
2	5002	1130

prune124.0ms

Filtered

80 candidates to 141 candidates (-76.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	141	4	145

Merged error: 0.0b

Counts

145 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
0.2b	(pow (sqrt l) (exp w))
0.2b	(pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w))))
0.4b	(* (pow (sqrt l) (exp w)) (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

86×	`unpow-prod-down`
55×	`add-sqr-sqrt`
27×	`add-exp-log`
25×	`sqrt-prod`
24×	`unswap-sqr`
23×	`pow-exp`
21×	`add-cube-cbrt` `*-un-lft-identity` `sqr-pow`
15×	`pow-to-exp` `prod-exp`
14×	`associate-r`
10×	`pow-unpow` `associate-l`
8×	`pow1`
7×	`pow-pow`
6×	`add-cbrt-cube`
4×	`add-log-exp`
3×	`cbrt-prod`
2×	`sqrt-pow1` `pow1/2` `sqrt-pow2`
1×	`*-commutative` `cbrt-unprod`

Counts

4 → 145

Calls

4 calls:

5.0ms	(pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
3.0ms	(pow (sqrt l) (exp w))
3.0ms	(pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w))))
12.0ms	(* (pow (sqrt l) (exp w)) (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))))

series250.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
18.0ms	(pow (sqrt l) (exp w))
35.0ms	(pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w))))
136.0ms	(* (pow (sqrt l) (exp w)) (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))))

simplify120.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (98.0ms)

Iter	Nodes	Cost
0	926	3036
1	4547	2771
2	5001	2757

prune204.0ms

Filtered

100 candidates to 157 candidates (-57.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	157	4	161

Merged error: 0.0b

Counts

161 → 4

regimes87.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	14
1	12	14

end0.0ms

analyze677.0ms

Algorithm: search

sample8.9s

Algorithm

intervals

Results

6.2s	4732×	body	5120	exit
1.1s	2427×	body	1280	nan
559.0ms	1996×	body	640	nan
502.0ms	8000×	body	80	valid
183.0ms	1027×	body	320	nan
33.0ms	317×	body	160	nan
9.0ms	212×	body	80	nan
9.0ms	145×	body	80	overflowed
7.0ms	120×	body	80	invalid
2.0ms	1×	body	5120	nan

Details

analyze678.0ms

sample277.0ms

simplify32.0ms

prune7.0ms

localize7.0ms

rewrite11.0ms

series40.0ms

simplify50.0ms

prune61.0ms

localize11.0ms

rewrite11.0ms

series62.0ms

simplify263.0ms

prune70.0ms

localize13.0ms

rewrite24.0ms

series78.0ms

simplify66.0ms

prune124.0ms

localize20.0ms

rewrite27.0ms

series250.0ms

simplify120.0ms

prune204.0ms

regimes87.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze677.0ms

sample8.9s

Profiling