Details

analyze656.0ms

Algorithm: search

sample303.0ms

Algorithm

intervals

Results

218.0ms	166×	body	5120	exit
30.0ms	61×	body	1280	nan
18.0ms	69×	body	640	nan
16.0ms	256×	body	80	valid
4.0ms	24×	body	320	nan
1.0ms	8×	body	160	nan
0.0ms	5×	body	80	overflowed
0.0ms	5×	body	80	nan
0.0ms	1×	body	80	invalid

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

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

prune10.0ms

Filtered

1 candidates to 1 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: 0.2b

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (pow l (exp w)) (exp w))
0.2b	(pow l (exp w))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

21×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`unpow-prod-down`
7×	`associate-/l*`
5×	`add-exp-log` `sqr-pow`
4×	`add-cbrt-cube`
3×	`pow1` `pow-unpow` `div-exp` `associate-/r*`
2×	`pow-to-exp` `pow-exp` `add-log-exp`
1×	`cbrt-undiv` `pow-pow` `frac-2neg` `clear-num` `div-inv`

Counts

2 → 62

Calls

2 calls:

5.0ms	(/ (pow l (exp w)) (exp w))
2.0ms	(pow l (exp w))

series41.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(/ (pow l (exp w)) (exp w))
17.0ms	(pow l (exp w))

simplify48.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	333	626
1	1482	578
2	5001	468

prune89.0ms

Filtered

49 candidates to 68 candidates (-38.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	62	6	68
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	64	6	70

Merged error: 0.1b

Counts

70 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

178×	`add-sqr-sqrt`
146×	`times-frac`
106×	`sqrt-prod`
70×	`associate-r`
66×	`cbrt-prod`
59×	`add-cube-cbrt` `*-un-lft-identity`
49×	`unswap-sqr`
46×	`unpow-prod-down`
29×	`add-exp-log`
28×	`sqr-pow`
20×	`associate-l`
18×	`add-cbrt-cube`
15×	`pow1`
9×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow-unpow` `pow1/3` `swap-sqr`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`pow-to-exp` `pow-pow` `pow-exp` `pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/`

Counts

4 → 221

Calls

4 calls:

6.0ms	(* (cbrt (exp w)) (cbrt (exp w)))
2.0ms	(pow l (exp w))
2.0ms	(pow l (exp w))
34.0ms	(* (/ (sqrt (pow l (exp w))) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (sqrt (pow l (exp w))) (cbrt (exp w))))

series81.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (cbrt (exp w)) (cbrt (exp w)))
19.0ms	(pow l (exp w))
16.0ms	(pow l (exp w))
25.0ms	(* (/ (sqrt (pow l (exp w))) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (sqrt (pow l (exp w))) (cbrt (exp w))))

simplify56.0ms

Algorithm

egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1047	3958
1	5001	3654

prune228.0ms

Filtered

148 candidates to 233 candidates (-57.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	230	3	233
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	232	7	239

Merged error: 0.1b

Counts

239 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (sqrt l) (exp w))
0.4b	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
0.4b	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
0.4b	(* (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))) (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))))

rewrite407.0ms

Algorithm

rewrite-expression-head

Rules

1485×	`add-sqr-sqrt`
1231×	`sqrt-prod`
1040×	`times-frac`
614×	`cbrt-prod`
446×	`unpow-prod-down`
352×	`unswap-sqr`
261×	`add-cube-cbrt` `*-un-lft-identity`
243×	`associate-r`
165×	`associate-l`
161×	`sqr-pow`
159×	`add-exp-log`
110×	`add-cbrt-cube`
73×	`prod-exp` `cbrt-unprod`
49×	`pow1`
48×	`cbrt-undiv` `div-exp`
19×	`frac-times` `pow-prod-down`
13×	`associate-r/` `associate-l/`
4×	`pow-sqr` `pow-prod-up` `div-inv` `add-log-exp`
3×	`pow-unpow` `pow-pow` `*-commutative`
2×	`pow-plus`
1×	`pow2` `pow-to-exp` `sqrt-pow1` `pow1/2` `swap-sqr` `pow-exp` `sqrt-pow2`

Counts

4 → 912

Calls

4 calls:

3.0ms	(pow (sqrt l) (exp w))
129.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
131.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
46.0ms	(* (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))) (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))))

series123.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(pow (sqrt l) (exp w))
31.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
36.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
36.0ms	(* (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))) (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))))

simplify201.0ms

Algorithm

egg-herbie

Counts

924 → 924

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1823	25707
1	5001	23504

prune635.0ms

Filtered

439 candidates to 924 candidates (-110.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	922	2	924
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	923	8	931

Merged error: 0.1b

Counts

931 → 8

localize25.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.4b	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))) (cbrt (sqrt (exp w)))))
0.4b	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
0.4b	(* (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))) (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))) (cbrt (sqrt (exp w))))))

rewrite461.0ms

Algorithm

rewrite-expression-head

Rules

1721×	`add-sqr-sqrt`
1427×	`sqrt-prod`
1202×	`times-frac`
715×	`cbrt-prod`
702×	`unpow-prod-down`
418×	`unswap-sqr`
284×	`add-cube-cbrt` `*-un-lft-identity`
279×	`associate-r`
216×	`sqr-pow`
165×	`associate-l`
160×	`add-exp-log`
110×	`add-cbrt-cube`
73×	`prod-exp` `cbrt-unprod`
48×	`cbrt-undiv` `div-exp`
20×	`pow1`
19×	`frac-times`
13×	`associate-r/` `associate-l/`
10×	`pow-prod-down`
6×	`pow-unpow`
4×	`pow-exp` `div-inv` `add-log-exp`
3×	`*-commutative`
2×	`pow-to-exp`
1×	`pow-pow`

Counts

4 → 1008

Calls

4 calls:

5.0ms	(pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
161.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))) (cbrt (sqrt (exp w)))))
132.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
49.0ms	(* (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))) (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))) (cbrt (sqrt (exp w))))))

series676.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
279.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))) (cbrt (sqrt (exp w)))))
32.0ms	(* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w)))))
301.0ms	(* (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (sqrt (exp w))))) (* (/ (sqrt (pow (sqrt l) (exp w))) (cbrt (exp w))) (/ (sqrt (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))) (cbrt (sqrt (exp w))))))

simplify294.0ms

Algorithm

egg-herbie

Counts

1020 → 1020

Iterations

Useful iterations: 1 (64.0ms)

Iter	Nodes	Cost
0	3833	36220
1	5001	35586

prune881.0ms

Filtered

516 candidates to 1020 candidates (-97.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	1019	1	1020
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	1020	8	1028

Merged error: 0.0b

Counts

1028 → 8

regimes134.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	11	16

end0.0ms

analyze856.0ms

Algorithm: search

sample8.4s

Algorithm

intervals

Results

5.8s	4557×	body	5120	exit
1000.0ms	2352×	body	1280	nan
525.0ms	1954×	body	640	nan
492.0ms	8000×	body	80	valid
176.0ms	1002×	body	320	nan
31.0ms	306×	body	160	nan
9.0ms	205×	body	80	nan
9.0ms	139×	body	80	overflowed
7.0ms	103×	body	80	invalid
7.0ms	3×	body	5120	nan

Details

analyze656.0ms

sample303.0ms

simplify35.0ms

prune10.0ms

localize6.0ms

rewrite10.0ms

series41.0ms

simplify48.0ms

prune89.0ms

localize12.0ms

rewrite57.0ms

series81.0ms

simplify56.0ms

prune228.0ms

localize16.0ms

rewrite407.0ms

series123.0ms

simplify201.0ms

prune635.0ms

localize25.0ms

rewrite461.0ms

series676.0ms

simplify294.0ms

prune881.0ms

regimes134.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze856.0ms

sample8.4s

Profiling