Details

analyze18.2s (14.1%)

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)

sample1.1s (0.8%)

Algorithm

1×

intervals

Results

765.0ms	177×	body	1024	valid
91.0ms	15×	body	2048	valid
82.0ms	30×	body	512	valid
37.0ms	12×	body	256	valid
17.0ms	22×	body	128	valid

Compiler

Compiled 131 to 98 computations (25.2% saved)

simplify563.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (180.0ms)

Iter	Nodes	Cost
0	4778	103
1	4778	103

prune11.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: 24.5b

Counts

2 → 1

Compiler

Compiled 130 to 92 computations (29.2% saved)

localize73.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite58.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `sin-diff_binary64_1237` `div-sub_binary64_1106`

Counts

4 → 32

Calls

4 calls:

13.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
11.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
10.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
10.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series180.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

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

simplify548.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (511.0ms)

Iter	Nodes	Cost
0	4752	612
1	4752	612

prune568.0ms (0.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	30	14	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	15	45

Merged error: 24.1b

Counts

45 → 15

Compiler

Compiled 4110 to 2505 computations (39.1% saved)

localize137.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.0b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite102.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1132`
7×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
4×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `sin-diff_binary64_1237` `div-sub_binary64_1106`
1×	`cube-mult_binary64_1131` `pow1/3_binary64_1183` `unpow3_binary64_1167` `sqr-pow_binary64_1073` `rem-cbrt-cube_binary64_1125`

Counts

4 → 45

Calls

4 calls:

54.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
11.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
10.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
9.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series136.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

35.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
34.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
34.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
33.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify154.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4780	809
1	4780	809

prune1.4s (1.1%)

Pruning

35 alts after pruning (33 fresh and 2 done)

	Pruned	Kept	Total
New	35	22	57
Fresh	2	11	13
Picked	0	1	1
Done	0	1	1
Total	37	35	72

Merged error: 24.1b

Counts

72 → 35

Compiler

Compiled 6576 to 4190 computations (36.3% saved)

localize95.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))
7.0b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite91.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`cbrt-prod_binary64_1132`
24×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180`
16×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
4×	`cube-mult_binary64_1131` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `unpow3_binary64_1167` `add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073`
2×	`pow1/3_binary64_1183` `sin-diff_binary64_1237` `div-sub_binary64_1106` `rem-cbrt-cube_binary64_1125`

Counts

4 → 82

Calls

4 calls:

21.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))
13.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
11.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
11.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series210.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

59.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
54.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
50.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))
46.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify213.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (133.0ms)

Iter	Nodes	Cost
0	4895	1576
1	4895	1576

prune1.6s (1.2%)

Pruning

48 alts after pruning (45 fresh and 3 done)

	Pruned	Kept	Total
New	78	16	94
Fresh	3	29	32
Picked	0	1	1
Done	0	2	2
Total	81	48	129

Merged error: 24.0b

Counts

129 → 48

Compiler

Compiled 10364 to 6585 computations (36.5% saved)

localize165.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
2.4b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.0b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))
7.0b	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite171.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`cbrt-prod_binary64_1132`
24×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180`
16×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
4×	`cube-mult_binary64_1131` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `unpow3_binary64_1167` `add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073`
2×	`pow1/3_binary64_1183` `sin-diff_binary64_1237` `div-sub_binary64_1106` `rem-cbrt-cube_binary64_1125`

Counts

4 → 82

Calls

4 calls:

42.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))
31.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
21.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
18.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series292.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

87.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))
87.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
73.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
45.0ms	(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

simplify179.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4895	1576
1	4895	1576

prune1.8s (1.4%)

Pruning

71 alts after pruning (67 fresh and 4 done)

	Pruned	Kept	Total
New	70	24	94
Fresh	1	43	44
Picked	0	1	1
Done	0	3	3
Total	71	71	142

Merged error: 24.0b

Counts

142 → 71

Compiler

Compiled 7144 to 4290 computations (39.9% saved)

regimes22.2s (17.2%)

Compiler: Compiled 127144 to 92872 computations (27% saved)

bsearch16.9s (13.1%)

simplify56.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	184	113
1	184	113

end0.0ms (0%)

sample1.0min (48%)

Algorithm

1×

intervals

Results

24.5s	5296×	body	1024	valid
3.7s	1273×	body	512	valid
3.1s	421×	body	2048	valid
666.0ms	353×	body	256	valid
543.0ms	657×	body	128	valid
17.0ms	3×	body	1024	invalid

Compiler

Compiled 11072 to 8089 computations (26.9% saved)

Pareto

0.7142857142857142

Details

analyze18.2s (14.1%)

sample1.1s (0.8%)

simplify563.0ms (0.4%)

prune11.0ms (0%)

localize73.0ms (0.1%)

rewrite58.0ms (0%)

series180.0ms (0.1%)

simplify548.0ms (0.4%)

prune568.0ms (0.4%)

localize137.0ms (0.1%)

rewrite102.0ms (0.1%)

series136.0ms (0.1%)

simplify154.0ms (0.1%)

prune1.4s (1.1%)

localize95.0ms (0.1%)

rewrite91.0ms (0.1%)

series210.0ms (0.2%)

simplify213.0ms (0.2%)

prune1.6s (1.2%)

localize165.0ms (0.1%)

rewrite171.0ms (0.1%)

series292.0ms (0.2%)

simplify179.0ms (0.1%)

prune1.8s (1.4%)

regimes22.2s (17.2%)

bsearch16.9s (13.1%)

simplify56.0ms (0%)

end0.0ms (0%)

sample1.0min (48%)

Profiling