Details

analyze14.2s (31.6%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4763	1069
1	4763	1069
0	5	5
1	5	5

Search

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

Symmetry

(sort lambda1 lambda2)

(sort phi1 phi2)

Compiler

Compiled 132 to 94 computations (28.8% saved)

sample1.8s (4%)

Algorithm

2×

intervals

Results

618.0ms	338×	body	1024	valid
94.0ms	74×	body	512	valid
80.0ms	24×	body	2048	valid
31.0ms	36×	body	256	valid
13.0ms	40×	body	128	valid

Compiler

Compiled 17093 to 13462 computations (21.2% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4778	103
1	4778	103

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

Error

27.3b

Counts

2 → 1

Compiler

Compiled 130 to 92 computations (29.2% saved)

localize38.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite157.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

26.9b

Rules

4×	`div-sub_binary64_2470` `sin-diff_binary64_2601` `pow1_binary64_2526` `add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`

Counts

4 → 32

Calls

4 calls:

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

Compiler

Compiled 2328 to 1346 computations (42.2% saved)

series667.0ms (1.5%)

Error

26.6b

Counts

4 → 46

Calls

4 calls:

125.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
122.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
118.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
115.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

Compiler

Compiled 7924 to 5337 computations (32.6% saved)

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4940	1330
1	4940	1330

prune403.0ms (0.9%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	59	19	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	19	79

Error

26.4b

Counts

79 → 19

Compiler

Compiled 6947 to 4236 computations (39% saved)

localize41.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.6b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.6b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.6b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.5b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite216.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

26.4b

Rules

12×	`cbrt-prod_binary64_2496`
7×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
4×	`pow1_binary64_2526` `add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
3×	`unpow-prod-down_binary64_2544` `cube-prod_binary64_2493` `div-sub_binary64_2470` `sin-diff_binary64_2601`
1×	`pow1/3_binary64_2547` `unpow3_binary64_2531` `cube-mult_binary64_2495` `sqr-pow_binary64_2437` `rem-cbrt-cube_binary64_2489`

Counts

4 → 45

Calls

4 calls:

7.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
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))

Compiler

Compiled 3459 to 2059 computations (40.5% saved)

series662.0ms (1.5%)

Error

26.4b

Counts

4 → 45

Calls

4 calls:

125.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
125.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
122.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
118.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

Compiler

Compiled 8076 to 5522 computations (31.6% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4935	1486
1	4935	1486

prune475.0ms (1.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	84	6	90
Fresh	3	15	18
Picked	1	0	1
Done	0	0	0
Total	88	21	109

Error

26.4b

Counts

109 → 21

Compiler

Compiled 8130 to 5028 computations (38.2% saved)

localize41.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.6b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.6b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.5b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
6.5b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite278.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

26.4b

Rules

24×	`cbrt-prod_binary64_2496`
10×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
6×	`unpow-prod-down_binary64_2544` `cube-prod_binary64_2493`
4×	`pow1_binary64_2526` `add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
2×	`pow1/3_binary64_2547` `unpow3_binary64_2531` `cube-mult_binary64_2495` `sqr-pow_binary64_2437` `rem-cbrt-cube_binary64_2489` `div-sub_binary64_2470` `sin-diff_binary64_2601`

Counts

4 → 58

Calls

4 calls:

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

Compiler

Compiled 4668 to 2850 computations (38.9% saved)

series668.0ms (1.5%)

Error

26.4b

Counts

4 → 44

Calls

4 calls:

126.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
124.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
123.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
118.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

Compiler

Compiled 8222 to 5701 computations (30.7% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4904	1682
1	4904	1682

prune550.0ms (1.2%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	1	19	20
Picked	0	1	1
Done	0	0	0
Total	101	22	123

Error

26.4b

Counts

123 → 22

Compiler

Compiled 9248 to 5772 computations (37.6% saved)

localize43.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite494.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

26.4b

Rules

4×	`div-sub_binary64_2470` `sin-diff_binary64_2601` `pow1_binary64_2526` `add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`

Counts

4 → 32

Calls

4 calls:

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

Compiler

Compiled 2872 to 1698 computations (40.9% saved)

series743.0ms (1.7%)

Error

26.4b

Counts

4 → 46

Calls

4 calls:

136.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
131.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
130.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
129.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

Compiler

Compiled 9794 to 6547 computations (33.2% saved)

simplify95.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4940	1330
1	4940	1330

prune395.0ms (0.9%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	69	9	78
Fresh	3	17	20
Picked	1	0	1
Done	0	1	1
Total	73	27	100

Error

26.4b

Counts

100 → 27

Compiler

Compiled 6882 to 4086 computations (40.6% saved)

regimes4.6s (10.2%)

Accuracy

Total 1.0b remaining (4.1%)

Threshold costs 1.0b (4.1%)

Compiler

Compiled 69064 to 50152 computations (27.4% saved)

bsearch0.0ms (0%)

simplify39.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	117	103
1	117	103

Remove

(sort phi1 phi2)

(sort lambda1 lambda2)

Compiler

Compiled 260 to 184 computations (29.2% saved)

end0.0ms (0%)

sample17.9s (39.9%)

Algorithm

1×

intervals

Results

9.8s	5326×	body	1024	valid
1.5s	1239×	body	512	valid
1.4s	429×	body	2048	valid
283.0ms	373×	body	256	valid
213.0ms	633×	body	128	valid

Compiler

Compiled 5847 to 4243 computations (27.4% saved)

Details

analyze14.2s (31.6%)

sample1.8s (4%)

simplify101.0ms (0.2%)

prune8.0ms (0%)

localize38.0ms (0.1%)

rewrite157.0ms (0.4%)

series667.0ms (1.5%)

simplify88.0ms (0.2%)

prune403.0ms (0.9%)

localize41.0ms (0.1%)

rewrite216.0ms (0.5%)

series662.0ms (1.5%)

simplify78.0ms (0.2%)

prune475.0ms (1.1%)

localize41.0ms (0.1%)

rewrite278.0ms (0.6%)

series668.0ms (1.5%)

simplify92.0ms (0.2%)

prune550.0ms (1.2%)

localize43.0ms (0.1%)

rewrite494.0ms (1.1%)

series743.0ms (1.7%)

simplify95.0ms (0.2%)

prune395.0ms (0.9%)

regimes4.6s (10.2%)

bsearch0.0ms (0%)

simplify39.0ms (0.1%)

end0.0ms (0%)

sample17.9s (39.9%)

Profiling