Details

analyze6.3s (21.7%)

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)

sample515.0ms (1.8%)

Algorithm

1×

intervals

Results

346.0ms	171×	body	1024	valid
89.0ms	23×	body	2048	valid
39.0ms	33×	body	512	valid
16.0ms	15×	body	256	valid
5.0ms	14×	body	128	valid

Compiler

Compiled 131 to 98 computations (25.2% saved)

simplify279.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4751	103
1	4751	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: 24.1b

Counts

2 → 1

Compiler

Compiled 130 to 92 computations (29.2% saved)

localize38.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-cbrt-cube_binary64_1147` `*-un-lft-identity_binary64_1111` `add-sqr-sqrt_binary64_1133` `add-cube-cbrt_binary64_1146` `add-log-exp_binary64_1150` `pow1_binary64_1172` `sin-diff_binary64_1247` `div-sub_binary64_1116` `add-exp-log_binary64_1149`

Counts

4 → 32

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

series162.0ms (0.6%)

Counts

4 → 12

Calls

4 calls:

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

simplify153.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	4776	612
1	4776	612

prune574.0ms (2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

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

Merged error: 23.7b

Counts

45 → 11

Compiler

Compiled 12311 to 8388 computations (31.9% saved)

localize39.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64_1111` `add-sqr-sqrt_binary64_1133` `add-cube-cbrt_binary64_1146`
5×	`pow1_binary64_1172`
4×	`add-cbrt-cube_binary64_1147` `log-pow_binary64_1200` `add-log-exp_binary64_1150` `sin-diff_binary64_1247` `div-sub_binary64_1116` `add-exp-log_binary64_1149`
3×	`log-prod_binary64_1197` `exp-prod_binary64_1163`
1×	`exp-diff_binary64_1159` `log-div_binary64_1198` `rem-log-exp_binary64_1152`

Counts

4 → 40

Calls

4 calls:

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

series244.0ms (0.8%)

Counts

4 → 12

Calls

4 calls:

130.0ms	(log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))
42.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
38.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
35.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify93.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4920	732
1	4920	732

prune326.0ms (1.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	49	3	52
Fresh	2	7	9
Picked	1	0	1
Done	0	1	1
Total	52	11	63

Merged error: 23.7b

Counts

63 → 11

Compiler

Compiled 7296 to 4736 computations (35.1% saved)

localize41.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64_1197` `log-pow_binary64_1200`
10×	`*-un-lft-identity_binary64_1111` `add-sqr-sqrt_binary64_1133` `add-cube-cbrt_binary64_1146`
8×	`sqrt-pow1_binary64_1129` `pow1_binary64_1172`
6×	`exp-prod_binary64_1163` `add-exp-log_binary64_1149` `sqrt-prod_binary64_1127`
4×	`add-cbrt-cube_binary64_1147` `add-log-exp_binary64_1150` `sin-diff_binary64_1247` `div-sub_binary64_1116`
2×	`pow1/2_binary64_1191` `sqrt-div_binary64_1128` `exp-diff_binary64_1159` `log-div_binary64_1198` `rem-log-exp_binary64_1152`

Counts

4 → 58

Calls

4 calls:

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

series512.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

215.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
212.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
44.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
41.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify145.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	4819	1236
1	4819	1236

prune655.0ms (2.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	2	7	9
Picked	1	0	1
Done	0	1	1
Total	69	12	81

Merged error: 23.7b

Counts

81 → 12

Compiler

Compiled 13798 to 9280 computations (32.7% saved)

localize61.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.7b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.7b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.2b	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
4.2b	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))))

rewrite45.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`log-prod_binary64_1197`
12×	`log-pow_binary64_1200`
10×	`*-un-lft-identity_binary64_1111` `add-sqr-sqrt_binary64_1133` `add-cube-cbrt_binary64_1146`
8×	`sqrt-pow1_binary64_1129` `pow1_binary64_1172` `sqrt-prod_binary64_1127`
6×	`exp-prod_binary64_1163` `add-exp-log_binary64_1149`
4×	`add-cbrt-cube_binary64_1147` `add-log-exp_binary64_1150`
3×	`sin-diff_binary64_1247` `div-sub_binary64_1116`
2×	`pow1/2_binary64_1191` `exp-sum_binary64_1157` `sqrt-div_binary64_1128` `exp-diff_binary64_1159` `log-div_binary64_1198` `rem-log-exp_binary64_1152`
1×	`cancel-sign-sub-inv_binary64_1077` `sub-neg_binary64_1104`

Counts

4 → 60

Calls

4 calls:

8.0ms	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))))
8.0ms	(log.f64 (sqrt.f64 (exp.f64 (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))

series753.0ms (2.6%)

Counts

4 → 12

Calls

4 calls:

465.0ms	(log.f64 (sqrt.f64 (exp.f64 (-.f64 (.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))))
200.0ms	(log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))
45.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
42.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify122.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4909	1844
1	4909	1844

prune756.0ms (2.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	71	13	84

Merged error: 23.6b

Counts

84 → 13

Compiler

Compiled 14805 to 10260 computations (30.7% saved)

regimes1.1s (3.9%)

Compiler: Compiled 13864 to 10228 computations (26.2% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	117	103
1	117	103

end0.0ms (0%)

sample16.0s (55.1%)

Algorithm

1×

intervals

Results

10.7s	5284×	body	1024	valid
1.9s	460×	body	2048	valid
1.5s	1191×	body	512	valid
299.0ms	392×	body	256	valid
232.0ms	673×	body	128	valid
2.0ms	1×	body	1024	invalid

Compiler

Compiled 1247 to 916 computations (26.5% saved)

Details

analyze6.3s (21.7%)

sample515.0ms (1.8%)

simplify279.0ms (1%)

prune6.0ms (0%)

localize38.0ms (0.1%)

rewrite28.0ms (0.1%)

series162.0ms (0.6%)

simplify153.0ms (0.5%)

prune574.0ms (2%)

localize39.0ms (0.1%)

rewrite31.0ms (0.1%)

series244.0ms (0.8%)

simplify93.0ms (0.3%)

prune326.0ms (1.1%)

localize41.0ms (0.1%)

rewrite42.0ms (0.1%)

series512.0ms (1.8%)

simplify145.0ms (0.5%)

prune655.0ms (2.3%)

localize61.0ms (0.2%)

rewrite45.0ms (0.2%)

series753.0ms (2.6%)

simplify122.0ms (0.4%)

prune756.0ms (2.6%)

regimes1.1s (3.9%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample16.0s (55.1%)

Profiling