Details

sample72.0ms

Algorithm

intervals

Results

40.0ms	87×	body	1280	valid
13.0ms	55×	body	640	valid
3.0ms	29×	body	320	valid
2.0ms	129×	body	80	nan
2.0ms	71×	body	80	valid
1.0ms	14×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	2
1	5	2

prune2.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: 43.9b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

3.9b	(log (+ 1.0 x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

4×	`log-prod` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
1×	`flip3-+` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

1 → 15

Calls

1 calls:

3.0ms

(log (+ 1.0 x))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(log (+ 1.0 x))

simplify41.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 3 (38.0ms)

Iter	Nodes	Cost
0	128	97
1	354	87
2	1280	81
3	5001	78

prune41.0ms

Filtered

18 candidates to 13 candidates (27.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	13	5	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	6	19

Merged error: 0.2b

Counts

19 → 6

localize10.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune12.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	4	4
Picked	1	1
Done	1	1
Total	6	6

Merged error: 0.2b

Counts

6 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (log (+ 1.0 x))) (cbrt (log (+ 1.0 x))))
3.9b	(log (+ 1.0 x))
3.9b	(log (+ 1.0 x))
3.9b	(log (+ 1.0 x))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

24×	`cbrt-prod`
23×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`pow1`
15×	`add-cube-cbrt`
12×	`log-prod`
9×	`add-exp-log` `swap-sqr` `log-pow`
7×	`associate-r` `associate-l`
6×	`log-div` `pow1/3`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`flip3-+` `rem-log-exp` `flip-+` `distribute-lft-out`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 90

Calls

4 calls:

6.0ms	(* (cbrt (log (+ 1.0 x))) (cbrt (log (+ 1.0 x))))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))

series36.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (cbrt (log (+ 1.0 x))) (cbrt (log (+ 1.0 x))))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))

simplify64.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	530	929
1	2119	842
2	5002	737

prune242.0ms

Filtered

102 candidates to 67 candidates (34.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	98	4	102
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	100	8	108

Merged error: 0.1b

Counts

108 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

3.9b	(log (+ 1.0 x))
3.9b	(log (+ 1.0 x))
3.9b	(log (+ 1.0 x))
3.9b	(log (+ 1.0 x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

16×	`log-prod` `*-un-lft-identity`
8×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
4×	`flip3-+` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))

series11.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))
3.0ms	(log (+ 1.0 x))

simplify45.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (40.0ms)

Iter	Nodes	Cost
0	128	388
1	354	348
2	1280	324
3	5001	312

prune213.0ms

Filtered

72 candidates to 52 candidates (27.8%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	3	1	4
Picked	0	1	1
Done	0	3	3
Total	72	8	80

Merged error: 0.1b

Counts

80 → 8

regimes236.0ms

Accuracy

98.1% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 16.2b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	11
1	21	11

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.1s	2535×	body	1280	valid
437.0ms	1933×	body	640	valid
107.0ms	924×	body	320	valid
69.0ms	3869×	body	80	nan
56.0ms	2148×	body	80	valid
32.0ms	460×	body	160	valid

Details

sample72.0ms

simplify4.0ms

prune2.0ms

localize3.0ms

rewrite7.0ms

series3.0ms

simplify41.0ms

prune41.0ms

localize10.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune12.0ms

localize7.0ms

rewrite17.0ms

series36.0ms

simplify64.0ms

prune242.0ms

localize12.0ms

rewrite14.0ms

series11.0ms

simplify45.0ms

prune213.0ms

regimes236.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling