Details

sample27.0ms

Algorithm

intervals

Results

18.0ms

526×

body

valid

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	4
1	25	4
2	47	4
3	90	4
4	239	4
5	805	4
6	2934	4
7	5002	4

prune2.0ms

Filtered

1 candidates to 0 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 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(exp (neg (- 1.0 (* x x))))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

12×	`exp-prod`
6×	`add-sqr-sqrt`
5×	`add-log-exp`
4×	`distribute-lft-neg-in` `add-cube-cbrt` `distribute-rgt-neg-in` `*-un-lft-identity`
3×	`rem-exp-log`
2×	`distribute-neg-in` `exp-sum` `neg-log` `difference-of-squares`
1×	`pow1` `add-exp-log` `neg-sub0` `exp-neg` `neg-mul-1` `sub-neg` `exp-diff` `diff-log` `add-cbrt-cube`

Counts

1 → 26

Calls

1 calls:

5.0ms

(exp (neg (- 1.0 (* x x))))

series23.0ms

Counts

1 → 3

Calls

1 calls:

23.0ms

(exp (neg (- 1.0 (* x x))))

simplify44.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 3 (41.0ms)

Iter	Nodes	Cost
0	108	130
1	296	119
2	1343	116
3	5001	114

prune44.0ms

Filtered

29 candidates to 21 candidates (72.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	27	2	29
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	2	30

Merged error: 0.0b

Counts

30 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (exp (neg 1.0)) (exp (pow x 2)))
0.0b	(exp (pow x 2))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

12×	`exp-prod`
10×	`*-un-lft-identity`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
4×	`pow1` `add-cbrt-cube`
3×	`unpow-prod-down` `associate-r` `associate-l` `add-log-exp`
2×	`add-exp-log` `associate-*l/` `pow-prod-up`
1×	`neg-sub0` `exp-neg` `distribute-rgt-neg-in` `exp-diff` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `rem-exp-log` `unpow2` `unswap-sqr` `sqr-pow`

Counts

2 → 38

Calls

2 calls:

12.0ms	(* (exp (neg 1.0)) (exp (pow x 2)))
3.0ms	(exp (pow x 2))

series105.0ms

Counts

2 → 6

Calls

2 calls:

95.0ms	(* (exp (neg 1.0)) (exp (pow x 2)))
10.0ms	(exp (pow x 2))

simplify98.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	144	213
1	536	179
2	3064	168
3	5002	168

prune118.0ms

Filtered

44 candidates to 31 candidates (70.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	44	2	46

Merged error: 0.0b

Counts

46 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (exp (neg 1.0)) (pow (exp x) x))
0.0b	(pow (exp x) x)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 47

Calls

2 calls:

8.0ms	(* (exp (neg 1.0)) (pow (exp x) x))
3.0ms	(pow (exp x) x)

series150.0ms

Counts

2 → 6

Calls

2 calls:

119.0ms	(* (exp (neg 1.0)) (pow (exp x) x))
31.0ms	(pow (exp x) x)

simplify144.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 3 (139.0ms)

Iter	Nodes	Cost
0	175	281
1	724	250
2	4442	242
3	5002	241

prune75.0ms

Filtered

53 candidates to 35 candidates (66.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

55 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (neg (+ (sqrt 1.0) x)))
0.0b	(pow (exp (neg (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

24×	`exp-prod`
20×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
13×	`pow-pow`
10×	`add-cube-cbrt`
8×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
6×	`pow-unpow` `add-log-exp`
4×	`unpow-prod-down` `distribute-lft-out`
3×	`pow1` `rem-exp-log`
2×	`unpow-prod-up` `add-exp-log` `neg-mul-1` `distribute-neg-in` `exp-sum` `neg-log` `add-cbrt-cube` `difference-of-squares`
1×	`neg-sub0` `exp-neg` `pow-to-exp` `sub-neg` `exp-diff` `pow-exp` `sum-log` `sqrt-prod` `distribute-lft-out--` `pow-sub` `sqr-pow`

Counts

2 → 61

Calls

2 calls:

6.0ms	(exp (neg (+ (sqrt 1.0) x)))
10.0ms	(pow (exp (neg (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

series238.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(exp (neg (+ (sqrt 1.0) x)))
204.0ms	(pow (exp (neg (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

simplify29.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	224	465
1	881	440
2	5002	437

prune101.0ms

Filtered

67 candidates to 46 candidates (68.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	66	3	69

Merged error: 0.0b

Counts

69 → 3

regimes16.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
1	15	17
2	15	17

end0.0ms

sample590.0ms

Algorithm

intervals

Results

413.0ms

15975×

body

valid

Details

sample27.0ms

simplify61.0ms

prune2.0ms

localize5.0ms

rewrite5.0ms

series23.0ms

simplify44.0ms

prune44.0ms

localize7.0ms

rewrite16.0ms

series105.0ms

simplify98.0ms

prune118.0ms

localize10.0ms

rewrite12.0ms

series150.0ms

simplify144.0ms

prune75.0ms

localize8.0ms

rewrite18.0ms

series238.0ms

simplify29.0ms

prune101.0ms

regimes16.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample590.0ms

Profiling