Details

analyze6.3s

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

sample555.0ms

Algorithm

intervals

Results

405.0ms	158×	body	1280	valid
102.0ms	59×	body	640	valid
17.0ms	16×	body	320	valid
5.0ms	16×	body	80	valid
5.0ms	7×	body	160	valid

simplify136.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (126.0ms)

Iter	Nodes	Cost
0	4833	103
1	4833	103

prune6.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: 24.8b

Counts

2 → 1

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.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))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series90.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
22.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
22.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
23.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify181.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	4752	612
1	4752	612

prune167.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	32	12	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	12	45

Merged error: 24.1b

Counts

45 → 12

localize44.0ms

Local error

Found 4 expressions with local error:

3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.7b	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`pow1_binary64`
4×	`sin-diff_binary64` `add-log-exp_binary64` `log-pow_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64`
3×	`log-prod_binary64` `exp-prod_binary64`
1×	`rem-log-exp_binary64` `exp-diff_binary64` `log-div_binary64`

Counts

4 → 40

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.0ms	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))

series84.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
19.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
22.0ms	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))

simplify138.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (122.0ms)

Iter	Nodes	Cost
0	4996	732
1	4996	732

prune176.0ms

Filtered

39 candidates to 52 candidates (-33.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	47	5	52
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	50	14	64

Merged error: 24.1b

Counts

64 → 14

localize45.0ms

Local error

Found 4 expressions with local error:

3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.0b	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
4.0b	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod_binary64` `log-pow_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
8×	`pow1_binary64` `sqrt-pow1_binary64`
6×	`add-exp-log_binary64` `sqrt-prod_binary64` `exp-prod_binary64`
4×	`sin-diff_binary64` `add-log-exp_binary64` `add-cbrt-cube_binary64` `div-sub_binary64`
2×	`pow1/2_binary64` `rem-log-exp_binary64` `exp-diff_binary64` `log-div_binary64` `sqrt-div_binary64`

Counts

4 → 58

Calls

4 calls:

8.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
8.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
8.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))

series245.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
103.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
100.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))

simplify127.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	4846	1236
1	4846	1236

prune286.0ms

Filtered

55 candidates to 70 candidates (-27.3%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	2	11	13
Picked	0	1	1
Done	0	0	0
Total	68	16	84

Merged error: 24.1b

Counts

84 → 16

localize44.0ms

Local error

Found 4 expressions with local error:

3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.1b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite22.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))
5.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))

series85.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
24.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
20.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
21.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify95.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4785	809
1	4785	809

prune131.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	14	14
Picked	1	0	1
Done	0	1	1
Total	56	17	73

Merged error: 24.0b

Counts

73 → 17

regimes666.0ms

Accuracy

0% (0.6b remaining)

Error of 23.8b against oracle of 23.2b and baseline of 23.8b

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	142	126
1	142	126

end0.0ms

sample16.9s

Algorithm

intervals

Results

12.4s	4767×	body	1280	valid
3.2s	1982×	body	640	valid
556.0ms	505×	body	320	valid
169.0ms	552×	body	80	valid
140.0ms	194×	body	160	valid
2.0ms	1×	body	1280	invalid

Details

analyze6.3s

sample555.0ms

simplify136.0ms

prune6.0ms

localize37.0ms

rewrite22.0ms

series90.0ms

simplify181.0ms

prune167.0ms

localize44.0ms

rewrite23.0ms

series84.0ms

simplify138.0ms

prune176.0ms

localize45.0ms

rewrite30.0ms

series245.0ms

simplify127.0ms

prune286.0ms

localize44.0ms

rewrite22.0ms

series85.0ms

simplify95.0ms

prune131.0ms

regimes666.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample16.9s

Profiling