Details

analyze353.0ms

Algorithm: search

sample100.0ms

Algorithm

intervals

Results

29.0ms	55×	body	1280	valid
14.0ms	42×	body	1280	invalid
14.0ms	41×	body	640	valid
8.0ms	136×	body	80	valid
7.0ms	31×	body	640	invalid
5.0ms	81×	body	80	invalid
4.0ms	19×	body	320	valid
3.0ms	16×	body	320	invalid
1.0ms	9×	body	160	invalid
1.0ms	5×	body	160	valid

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

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)))

rewrite18.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:

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

series19.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ (exp (- 0.0 im)) (exp im))
15.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

simplify36.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (32.0ms)

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

prune68.0ms

Filtered

28 candidates to 41 candidates (-46.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Merged error: 0b

Counts

42 → 5

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 51

Calls

3 calls:

10.0ms	(+ (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)))
6.0ms	(* (* 0.5 (sin re)) (exp im))
9.0ms	(* (* 0.5 (sin re)) (exp (- 0.0 im)))

series37.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(+ (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)))
9.0ms	(* (* 0.5 (sin re)) (exp im))
10.0ms	(* (* 0.5 (sin re)) (exp (- 0.0 im)))

simplify54.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	327	481
1	1562	398
2	5001	393

prune77.0ms

Filtered

40 candidates to 60 candidates (-50.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

65 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 51

Calls

3 calls:

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

series39.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))
9.0ms	(* (* 0.5 (sin re)) (exp im))
10.0ms	(/ (* 0.5 (sin re)) (exp im))

simplify53.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	300	456
1	1659	397
2	5002	390

prune60.0ms

Filtered

43 candidates to 60 candidates (-39.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	60	3	63

Merged error: 0b

Counts

63 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1.0 re) (* 0.5 (* re (pow im 2))))
0.0b	(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
0.1b	(* 0.16666666666666666 (pow re 3))
7.7b	(* re (pow im 2))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`associate-r`
14×	`add-exp-log`
11×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`unpow-prod-down` `add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`pow1` `cube-prod` `sqr-pow`
2×	`pow-to-exp` `diff-log` `pow-exp` `sum-log` `*-commutative` `cbrt-unprod` `unpow2`
1×	`+-commutative` `cube-mult` `sub-neg` `flip3--` `flip3-+` `unpow3` `associate--l+` `flip--` `flip-+`

Counts

4 → 83

Calls

4 calls:

3.0ms	(+ (* 1.0 re) (* 0.5 (* re (pow im 2))))
5.0ms	(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
6.0ms	(* 0.16666666666666666 (pow re 3))
5.0ms	(* re (pow im 2))

series34.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* 1.0 re) (* 0.5 (* re (pow im 2))))
11.0ms	(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
4.0ms	(* 0.16666666666666666 (pow re 3))
7.0ms	(* re (pow im 2))

simplify62.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	357	515
1	1588	473
2	5001	462

prune124.0ms

Filtered

61 candidates to 95 candidates (-55.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	95	3	98

Merged error: 0b

Counts

98 → 3

regimes159.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	12	9
1	12	9

end0.0ms

analyze352.0ms

Algorithm: search

sample3.1s

Algorithm

intervals

Results

831.0ms	1503×	body	1280	valid
515.0ms	1427×	body	1280	invalid
376.0ms	1258×	body	640	valid
303.0ms	1220×	body	640	invalid
275.0ms	4321×	body	80	valid
148.0ms	2309×	body	80	invalid
120.0ms	607×	body	320	valid
103.0ms	572×	body	320	invalid
44.0ms	311×	body	160	valid
36.0ms	298×	body	160	invalid

Details

analyze353.0ms

sample100.0ms

simplify106.0ms

prune3.0ms

localize10.0ms

rewrite18.0ms

series19.0ms

simplify36.0ms

prune68.0ms

localize14.0ms

rewrite26.0ms

series37.0ms

simplify54.0ms

prune77.0ms

localize9.0ms

rewrite20.0ms

series39.0ms

simplify53.0ms

prune60.0ms

localize12.0ms

rewrite22.0ms

series34.0ms

simplify62.0ms

prune124.0ms

regimes159.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze352.0ms

sample3.1s

Profiling