Details

analyze6.4s (20.9%)

Algorithm

1×

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

Compiler

Compiled 66 to 47 computations (28.8% saved)

sample552.0ms (1.8%)

Algorithm

1×

intervals

Results

416.0ms	160×	body	1280	valid
82.0ms	52×	body	640	valid
22.0ms	21×	body	320	valid
6.0ms	18×	body	80	valid
3.0ms	5×	body	160	valid
1.0ms	1×	body	640	invalid

Compiler

Compiled 131 to 98 computations (25.2% saved)

simplify230.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (213.0ms)

Iter	Nodes	Cost
0	4729	103
1	4729	103

prune6.0ms (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: 22.2b

Counts

2 → 1

Compiler

Compiled 130 to 92 computations (29.2% saved)

localize39.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.5b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.5b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.9b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
2.9b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite26.0ms (0.1%)

Algorithm

1×	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` `insert-posit16`

Counts

4 → 36

Calls

4 calls:

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

series157.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

41.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
41.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
38.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
37.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify245.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (224.0ms)

Iter	Nodes	Cost
0	4781	656
1	4781	656

prune217.0ms (0.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	31	17	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	17	49

Merged error: 20.7b

Counts

49 → 17

Compiler

Compiled 4588 to 2813 computations (38.7% saved)

localize49.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.5b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.5b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.5b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.9b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite26.0ms (0.1%)

Algorithm

1×	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` `insert-posit16`

Counts

4 → 36

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 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))

series160.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

43.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
40.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
39.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
38.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify246.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (223.0ms)

Iter	Nodes	Cost
0	4781	656
1	4781	656

prune268.0ms (0.9%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	39	9	48
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	43	22	65

Merged error: 11.7b

Counts

65 → 22

Compiler

Compiled 5694 to 3758 computations (34% saved)

localize42.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite28.0ms (0.1%)

Algorithm

1×	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` `insert-posit16`

Counts

4 → 36

Calls

4 calls:

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

series153.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

39.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
39.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
38.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
37.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify251.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (227.0ms)

Iter	Nodes	Cost
0	4736	656
1	4736	656

prune323.0ms (1.1%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	42	6	48
Fresh	2	19	21
Picked	1	0	1
Done	0	0	0
Total	45	25	70

Merged error: 11.7b

Counts

70 → 25

Compiler

Compiled 6670 to 4612 computations (30.9% saved)

localize49.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite31.0ms (0.1%)

Algorithm

1×	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` `insert-posit16`

Counts

4 → 36

Calls

4 calls:

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

series154.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

39.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
39.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
38.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
38.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify248.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (224.0ms)

Iter	Nodes	Cost
0	4736	656
1	4736	656

prune277.0ms (0.9%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	44	4	48
Fresh	1	23	24
Picked	1	0	1
Done	0	0	0
Total	46	27	73

Merged error: 11.6b

Counts

73 → 27

Compiler

Compiled 5412 to 3601 computations (33.5% saved)

regimes1.1s (3.7%)

Compiler: Compiled 18838 to 14056 computations (25.4% saved)

bsearch0.0ms (0%)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	170	201
1	170	201

end0.0ms (0%)

sample19.2s (62.9%)

Algorithm

1×

intervals

Results

12.6s	4746×	body	1280	valid
3.2s	1944×	body	640	valid
618.0ms	560×	body	320	valid
176.0ms	556×	body	80	valid
139.0ms	194×	body	160	valid
2.0ms	1×	body	1280	invalid
2.0ms	1×	body	640	invalid

Compiler

Compiled 2541 to 1888 computations (25.7% saved)

Details

analyze6.4s (20.9%)

sample552.0ms (1.8%)

simplify230.0ms (0.8%)

prune6.0ms (0%)

localize39.0ms (0.1%)

rewrite26.0ms (0.1%)

series157.0ms (0.5%)

simplify245.0ms (0.8%)

prune217.0ms (0.7%)

localize49.0ms (0.2%)

rewrite26.0ms (0.1%)

series160.0ms (0.5%)

simplify246.0ms (0.8%)

prune268.0ms (0.9%)

localize42.0ms (0.1%)

rewrite28.0ms (0.1%)

series153.0ms (0.5%)

simplify251.0ms (0.8%)

prune323.0ms (1.1%)

localize49.0ms (0.2%)

rewrite31.0ms (0.1%)

series154.0ms (0.5%)

simplify248.0ms (0.8%)

prune277.0ms (0.9%)

regimes1.1s (3.7%)

bsearch0.0ms (0%)

simplify11.0ms (0%)

end0.0ms (0%)

sample19.2s (62.9%)

Profiling