Details

analyze6.4s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0.6%	99.2%	0.2%	13
1.8%	98%	0.2%	14

sample549.0ms

Algorithm

intervals

Results

400.0ms	152×	body	1280	valid
98.0ms	63×	body	640	valid
16.0ms	15×	body	320	valid
9.0ms	12×	body	160	valid
4.0ms	14×	body	80	valid

simplify99.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4808	65
1	4808	65

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 25.5b

Counts

2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

8.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify130.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	4736	396
1	4736	396

prune137.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	33	11	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	11	45

Merged error: 25.1b

Counts

45 → 11

localize39.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series25.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
8.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify130.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	4736	396
1	4736	396

prune140.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	42	13	55

Merged error: 25.1b

Counts

55 → 13

localize41.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.4b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sin-diff_binary64` `div-sub_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
1×	`rem-cbrt-cube_binary64` `pow1/3_binary64` `sqr-pow_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 45

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify80.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4782	524
1	4782	524

prune158.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	53	4	57
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	57	13	70

Merged error: 25.1b

Counts

70 → 13

localize38.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.4b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sin-diff_binary64` `div-sub_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
1×	`rem-cbrt-cube_binary64` `pow1/3_binary64` `sqr-pow_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 45

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

series25.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
8.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify76.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4782	524
1	4782	524

prune88.0ms

Filtered

38 candidates to 57 candidates (-50.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	56	14	70

Merged error: 25.1b

Counts

70 → 14

regimes893.0ms

Accuracy

0% (0.6b remaining)

Error of 24.1b against oracle of 23.5b and baseline of 24.1b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	124	69
1	124	69

end0.0ms

sample17.2s

Algorithm

intervals

Results

12.6s	4781×	body	1280	valid
3.1s	1881×	body	640	valid
630.0ms	554×	body	320	valid
176.0ms	244×	body	160	valid
167.0ms	540×	body	80	valid
8.0ms	3×	body	1280	invalid
4.0ms	2×	body	640	invalid
1.0ms	1×	body	160	invalid
0.0ms	1×	body	80	invalid

Details

analyze6.4s

sample549.0ms

simplify99.0ms

prune9.0ms

localize33.0ms

rewrite26.0ms

series23.0ms

simplify130.0ms

prune137.0ms

localize39.0ms

rewrite23.0ms

series25.0ms

simplify130.0ms

prune140.0ms

localize41.0ms

rewrite24.0ms

series23.0ms

simplify80.0ms

prune158.0ms

localize38.0ms

rewrite24.0ms

series25.0ms

simplify76.0ms

prune88.0ms

regimes893.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample17.2s

Profiling