Details

sample380.0ms

Algorithm

intervals

Results

309.0ms	256×	body	80	valid
36.0ms	768×	body	80	nan

simplify900.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	5180	7

prune8.0ms

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.0b

Counts

2 → 1

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b	(log (- (/ 1.0 x) 1.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`log-prod`
4×	`*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `log-div` `difference-of-squares`
1×	`flip3--` `times-frac` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip--` `distribute-lft-out--` `add-log-exp`

Counts

1 → 17

Calls

1 calls:

18.0ms

(log (- (/ 1.0 x) 1.0))

series20.0ms

Counts

1 → 3

Calls

1 calls:

20.0ms

(log (- (/ 1.0 x) 1.0))

simplify101.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4979	227
1	4979	227

prune77.0ms

Filtered

16 candidates to 20 candidates (-25.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	18	2	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	3	21

Merged error: 0b

Counts

21 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (sqrt (- (/ 1.0 x) 1.0)))
0.0b	(log (sqrt (- (/ 1.0 x) 1.0)))
0.1b	(sqrt (- (/ 1.0 x) 1.0))
0.1b	(sqrt (- (/ 1.0 x) 1.0))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
24×	`sqrt-prod`
18×	`log-prod` `*-un-lft-identity`
10×	`pow1` `add-cube-cbrt`
8×	`sqrt-div` `difference-of-squares`
6×	`add-exp-log` `log-pow`
4×	`log-div` `flip3--` `sqrt-pow1` `times-frac` `pow1/2` `add-cbrt-cube` `flip--` `distribute-lft-out--` `add-log-exp`
2×	`rem-sqrt-square` `rem-log-exp`

Counts

4 → 80

Calls

4 calls:

13.0ms	(log (sqrt (- (/ 1.0 x) 1.0)))
18.0ms	(log (sqrt (- (/ 1.0 x) 1.0)))
12.0ms	(sqrt (- (/ 1.0 x) 1.0))
12.0ms	(sqrt (- (/ 1.0 x) 1.0))

series34.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(log (sqrt (- (/ 1.0 x) 1.0)))
10.0ms	(log (sqrt (- (/ 1.0 x) 1.0)))
6.0ms	(sqrt (- (/ 1.0 x) 1.0))
8.0ms	(sqrt (- (/ 1.0 x) 1.0))

simplify113.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4923	1140
1	4923	1140

prune393.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	92	3	95

Merged error: 0b

Counts

95 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (- (/ 1.0 x) 1.0))
0.1b	(sqrt (log (- (/ 1.0 x) 1.0)))
0.1b	(sqrt (log (- (/ 1.0 x) 1.0)))
0.5b	(* (sqrt (log (- (/ 1.0 x) 1.0))) (sqrt (log (- (/ 1.0 x) 1.0))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt` `sqrt-prod`
30×	`pow1`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
11×	`swap-sqr`
10×	`sqrt-pow1` `pow1/2`
9×	`log-pow`
7×	`add-exp-log` `associate-r` `associate-l`
6×	`log-prod` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `log-div` `difference-of-squares`
1×	`pow2` `flip3--` `times-frac` `pow-plus` `sqrt-unprod` `rem-log-exp` `prod-exp` `rem-square-sqrt` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--`

Counts

4 → 99

Calls

4 calls:

16.0ms	(log (- (/ 1.0 x) 1.0))
3.0ms	(sqrt (log (- (/ 1.0 x) 1.0)))
3.0ms	(sqrt (log (- (/ 1.0 x) 1.0)))
14.0ms	(* (sqrt (log (- (/ 1.0 x) 1.0))) (sqrt (log (- (/ 1.0 x) 1.0))))

series38.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(log (- (/ 1.0 x) 1.0))
12.0ms	(sqrt (log (- (/ 1.0 x) 1.0)))
13.0ms	(sqrt (log (- (/ 1.0 x) 1.0)))
7.0ms	(* (sqrt (log (- (/ 1.0 x) 1.0))) (sqrt (log (- (/ 1.0 x) 1.0))))

simplify124.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4996	1152
1	4996	1152

prune343.0ms

Filtered

64 candidates to 111 candidates (-73.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	111	3	114

Merged error: 0b

Counts

114 → 3

regimes413.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	16
1	31	16

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.2s	24281×	body	80	nan
495.0ms	8000×	body	80	valid

Details

sample380.0ms

simplify900.0ms

prune8.0ms

localize15.0ms

rewrite21.0ms

series20.0ms

simplify101.0ms

prune77.0ms

localize17.0ms

rewrite59.0ms

series34.0ms

simplify113.0ms

prune393.0ms

localize17.0ms

rewrite41.0ms

series38.0ms

simplify124.0ms

prune343.0ms

regimes413.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.5s

Profiling