Details

sample56.0ms

Algorithm

intervals

Results

18.0ms	55×	body	1280	valid
11.0ms	55×	body	640	valid
10.0ms	237×	body	80	valid
3.0ms	24×	body	320	valid
1.0ms	7×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	6	3
1	6	3

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`add-exp-log`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (exp re) (sin im))

series15.0ms

Counts

1 → 3

Calls

1 calls:

15.0ms

(* (exp re) (sin im))

simplify168.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	87	100
1	289	86
2	1099	86
3	4640	86
4	5001	86

prune26.0ms

Filtered

21 candidates to 14 candidates (33.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	4	22

Merged error: 0b

Counts

22 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (exp re)) (sin im))
0.0b	(sqrt (exp re))
0.0b	(sqrt (exp re))
0.0b	(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
12×	`associate-l`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
6×	`exp-prod`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

6.0ms	(* (sqrt (exp re)) (sin im))
2.0ms	(sqrt (exp re))
2.0ms	(sqrt (exp re))
9.0ms	(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))

series27.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (sqrt (exp re)) (sin im))
3.0ms	(sqrt (exp re))
5.0ms	(sqrt (exp re))
8.0ms	(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))

simplify61.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 3 (56.0ms)

Iter	Nodes	Cost
0	173	430
1	628	372
2	2245	370
3	5002	359

prune69.0ms

Filtered

87 candidates to 59 candidates (32.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	87	4	91

Merged error: 0b

Counts

91 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp re) (sqrt (sin im)))
0.0b	(sqrt (sin im))
0.0b	(sqrt (sin im))
0.2b	(* (* (exp re) (sqrt (sin im))) (sqrt (sin im)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`pow1` `sqrt-prod`
12×	`associate-r`
11×	`add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`add-exp-log`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

6.0ms	(* (exp re) (sqrt (sin im)))
1.0ms	(sqrt (sin im))
1.0ms	(sqrt (sin im))
8.0ms	(* (* (exp re) (sqrt (sin im))) (sqrt (sin im)))

series26.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (exp re) (sqrt (sin im)))
3.0ms	(sqrt (sin im))
4.0ms	(sqrt (sin im))
9.0ms	(* (* (exp re) (sqrt (sin im))) (sqrt (sin im)))

simplify96.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	220	438
1	913	382
2	3671	369
3	5002	369

prune56.0ms

Filtered

81 candidates to 50 candidates (38.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	81	4	85

Merged error: 0b

Counts

85 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (log (sin im)) re)
0.3b	(log (sin im))
0.8b	(exp (+ (log (sin im)) re))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
6×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `log-prod` `add-log-exp`
5×	`exp-prod`
4×	`add-exp-log` `distribute-lft-out`
3×	`associate-+l+` `log-pow` `add-cbrt-cube`
2×	`sum-log` `rem-exp-log`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `flip-+`

Counts

3 → 43

Calls

3 calls:

4.0ms	(+ (log (sin im)) re)
2.0ms	(log (sin im))
5.0ms	(exp (+ (log (sin im)) re))

series30.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(+ (log (sin im)) re)
10.0ms	(log (sin im))
10.0ms	(exp (+ (log (sin im)) re))

simplify45.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 3 (41.0ms)

Iter	Nodes	Cost
0	162	238
1	453	210
2	1501	203
3	5001	202

prune45.0ms

Filtered

52 candidates to 35 candidates (32.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	52	4	56

Merged error: 0b

Counts

56 → 4

regimes208.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 (1.0ms)

Iter	Nodes	Cost
0	6	3
1	6	3

end0.0ms

sample1.4s

Algorithm

intervals

Results

483.0ms	1469×	body	1280	valid
297.0ms	6983×	body	80	valid
247.0ms	1254×	body	640	valid
82.0ms	612×	body	320	valid
32.0ms	321×	body	160	valid

Details

sample56.0ms

simplify4.0ms

prune3.0ms

localize6.0ms

rewrite5.0ms

series15.0ms

simplify168.0ms

prune26.0ms

localize7.0ms

rewrite21.0ms

series27.0ms

simplify61.0ms

prune69.0ms

localize8.0ms

rewrite20.0ms

series26.0ms

simplify96.0ms

prune56.0ms

localize9.0ms

rewrite11.0ms

series30.0ms

simplify45.0ms

prune45.0ms

regimes208.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling