Details

sample99.0ms

Algorithm

intervals

Results

37.0ms	88×	body	1280	valid
26.0ms	75×	body	640	valid
14.0ms	259×	body	80	valid
5.0ms	30×	body	320	valid
3.0ms	28×	body	160	valid

simplify110.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	7
1	62	7
2	108	7
3	177	7
4	279	7
5	770	7
6	1075	7
7	1599	7
8	3585	7
9	4712	7
10	5001	7

prune3.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

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp (- 0.0 im)) (exp im))
0.0b	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
4×	`associate-r` `add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `associate-l` `sum-log` `*-commutative`

Counts

2 → 35

Calls

2 calls:

7.0ms	(+ (exp (- 0.0 im)) (exp im))
11.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

series96.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(+ (exp (- 0.0 im)) (exp im))
72.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

simplify38.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	265	349
1	1200	295
2	5001	294

prune100.0ms

Filtered

41 candidates to 28 candidates (68.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	36	5	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	37	5	42

Merged error: 0b

Counts

42 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp (- 0.0 im)) (exp im))
0.0b	(* (sin re) (+ (exp (- 0.0 im)) (exp im)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

8×	`*-un-lft-identity`
6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-r` `add-cbrt-cube` `add-log-exp`
3×	`associate-l`
2×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 35

Calls

2 calls:

7.0ms	(+ (exp (- 0.0 im)) (exp im))
11.0ms	(* (sin re) (+ (exp (- 0.0 im)) (exp im)))

series78.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(+ (exp (- 0.0 im)) (exp im))
56.0ms	(* (sin re) (+ (exp (- 0.0 im)) (exp im)))

simplify104.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	211	313
1	807	277
2	3867	276
3	5002	276

prune97.0ms

Filtered

41 candidates to 30 candidates (73.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	41	5	46

Merged error: 0b

Counts

46 → 5

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)))
0.0b	(* (sin re) (exp im))
0.0b	(* (sin re) (exp (- 0.0 im)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
8×	`associate-r`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
6×	`associate-l`
5×	`add-exp-log` `add-log-exp`
2×	`exp-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `sub-neg` `flip3-+` `exp-diff` `associate-*r/` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 51

Calls

3 calls:

9.0ms	(+ (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)))
5.0ms	(* (sin re) (exp im))
11.0ms	(* (sin re) (exp (- 0.0 im)))

series133.0ms

Counts

3 → 9

Calls

3 calls:

71.0ms	(+ (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)))
27.0ms	(* (sin re) (exp im))
35.0ms	(* (sin re) (exp (- 0.0 im)))

simplify125.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	251	391
1	922	346
2	4589	340
3	5002	340

prune134.0ms

Filtered

60 candidates to 43 candidates (71.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	62	3	65

Merged error: 0b

Counts

65 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (sin re) (exp im))
0.0b	(+ (/ (sin re) (exp im)) (* (sin re) (exp im)))
0.0b	(* (sin re) (exp im))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
7×	`add-cbrt-cube`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`div-inv`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

3 → 57

Calls

3 calls:

5.0ms	(/ (sin re) (exp im))
7.0ms	(+ (/ (sin re) (exp im)) (* (sin re) (exp im)))
5.0ms	(* (sin re) (exp im))

series124.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(/ (sin re) (exp im))
61.0ms	(+ (/ (sin re) (exp im)) (* (sin re) (exp im)))
31.0ms	(* (sin re) (exp im))

simplify142.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	237	432
1	865	402
2	4336	401
3	5001	401

prune124.0ms

Filtered

66 candidates to 50 candidates (75.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0b

Counts

69 → 3

regimes136.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 (0.0ms)

Iter	Nodes	Cost
0	12	8
1	12	8

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.2s	2931×	body	1280	valid
615.0ms	2413×	body	640	valid
465.0ms	8493×	body	80	valid
206.0ms	1205×	body	320	valid
69.0ms	616×	body	160	valid

Details

sample99.0ms

simplify110.0ms

prune3.0ms

localize10.0ms

rewrite19.0ms

series96.0ms

simplify38.0ms

prune100.0ms

localize10.0ms

rewrite18.0ms

series78.0ms

simplify104.0ms

prune97.0ms

localize11.0ms

rewrite26.0ms

series133.0ms

simplify125.0ms

prune134.0ms

localize9.0ms

rewrite19.0ms

series124.0ms

simplify142.0ms

prune124.0ms

regimes136.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.9s

Profiling