Details

analyze223.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
9.4%	65.5%	25.1%	6
14%	60.8%	25.1%	7
14%	56.2%	29.8%	8
14%	36.7%	49.3%	9
14.8%	30.4%	54.8%	10
15.5%	28.3%	56.2%	11
16.4%	18.3%	65.2%	12
17.2%	15.2%	67.6%	13
17.7%	14.2%	68.1%	14

sample25.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
2.0ms	75×	body	80	nan
2.0ms	47×	body	80	invalid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5208	12

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

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (log y)))
0.0b	(exp (- (+ x (* y (log y))) z))
0.2b	(* y (log y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`log-prod` `*-un-lft-identity`
11×	`add-log-exp`
10×	`add-cube-cbrt`
6×	`pow1` `distribute-rgt-in` `associate-+r+` `distribute-lft-in`
5×	`add-exp-log` `exp-prod` `add-cbrt-cube`
4×	`associate-r`
3×	`associate-l` `rem-exp-log`
2×	`diff-log` `exp-sum` `sum-log`
1×	`+-commutative` `sub-neg` `flip3-+` `exp-diff` `pow-prod-down` `prod-exp` `associate--l+` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 60

Calls

3 calls:

6.0ms	(+ x (* y (log y)))
6.0ms	(exp (- (+ x (* y (log y))) z))
5.0ms	(* y (log y))

series37.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(+ x (* y (log y)))
11.0ms	(exp (- (+ x (* y (log y))) z))
17.0ms	(* y (log y))

simplify118.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4868	760
1	4868	760

prune61.0ms

Filtered

46 candidates to 69 candidates (-50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

71 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (- x z))
0.7b	(* (pow y y) (exp (- x z)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
8×	`*-un-lft-identity`
7×	`associate-l`
6×	`add-cube-cbrt`
5×	`exp-prod` `add-log-exp`
4×	`add-exp-log` `unpow-prod-down` `associate-r` `add-cbrt-cube`
3×	`prod-exp` `unswap-sqr`
2×	`pow1` `sub-neg` `exp-diff` `exp-sum` `rem-exp-log` `sqr-pow`
1×	`pow-to-exp` `diff-log` `associate-r/` `pow-exp` `-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 43

Calls

2 calls:

4.0ms	(exp (- x z))
9.0ms	(* (pow y y) (exp (- x z)))

series21.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(exp (- x z))
17.0ms	(* (pow y y) (exp (- x z)))

simplify70.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4969	592
1	4969	592

prune38.0ms

Filtered

35 candidates to 49 candidates (-40.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

51 → 2

regimes279.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	14
1	21	14

end0.0ms

sample713.0ms

Algorithm

intervals

Results

322.0ms	8000×	body	80	valid
75.0ms	1816×	body	80	invalid
71.0ms	2448×	body	80	nan

Details

analyze223.0ms

sample25.0ms

simplify69.0ms

prune10.0ms

localize7.0ms

rewrite19.0ms

series37.0ms

simplify118.0ms

prune61.0ms

localize6.0ms

rewrite14.0ms

series21.0ms

simplify70.0ms

prune38.0ms

regimes279.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample713.0ms

Profiling