Details

analyze15.3s (18.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5141	1925
0	5	5
1	5	5

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
6.2%	93.5%	0.2%	11
6.2%	93.5%	0.2%	12
7.8%	92%	0.2%	13
8.6%	91.2%	0.2%	14

Compiler

Compiled 110 to 84 computations (23.6% saved)

sample1.4s (1.7%)

Algorithm

1×

intervals

Results

343.0ms	40×	body	4096	valid
319.0ms	62×	body	2048	valid
171.0ms	30×	body	2048	invalid
104.0ms	14×	body	4096	invalid
94.0ms	30×	body	1024	valid
81.0ms	25×	body	1024	invalid
79.0ms	113×	body	128	valid
55.0ms	3×	body	8192	valid
19.0ms	9×	body	512	invalid
13.0ms	24×	body	128	invalid
13.0ms	1×	body	8192	invalid
8.0ms	5×	body	512	valid
6.0ms	4×	body	256	invalid
3.0ms	3×	body	256	valid

Compiler

Compiled 219 to 172 computations (21.5% saved)

simplify36.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5232	172

prune30.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

38.8b

Counts

2 → 2

Compiler

Compiled 323 to 229 computations (29.1% saved)

localize82.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite223.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

38.8b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
3.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3248 to 2318 computations (28.6% saved)

series274.0ms (0.3%)

Error

38.8b

Counts

4 → 12

Calls

4 calls:

65.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
35.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
34.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
34.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3904 to 2911 computations (25.4% saved)

simplify218.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (202.0ms)

Iter	Nodes	Cost
0	4741	480
1	4741	480

prune401.0ms (0.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	31	9	40
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	32	10	42

Error

38.7b

Counts

42 → 10

Compiler

Compiled 5625 to 4052 computations (28% saved)

localize95.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite288.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

38.7b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

5.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3248 to 2286 computations (29.6% saved)

series274.0ms (0.3%)

Error

38.7b

Counts

4 → 12

Calls

4 calls:

61.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
58.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
41.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
33.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3904 to 2890 computations (26% saved)

simplify269.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (255.0ms)

Iter	Nodes	Cost
0	5199	480

prune426.0ms (0.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	40	10	50

Error

38.7b

Counts

50 → 10

Compiler

Compiled 5625 to 4011 computations (28.7% saved)

localize109.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
29.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite259.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

38.7b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

6.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
5.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3248 to 2253 computations (30.6% saved)

series308.0ms (0.4%)

Error

38.7b

Counts

4 → 12

Calls

4 calls:

63.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
59.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
54.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
34.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 3904 to 2865 computations (26.6% saved)

simplify279.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (259.0ms)

Iter	Nodes	Cost
0	5199	480

prune371.0ms (0.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	40	10	50

Error

38.7b

Counts

50 → 10

Compiler

Compiled 5625 to 3969 computations (29.4% saved)

localize418.0ms (0.5%)

Local error

Found 4 expressions with local error:

29.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
29.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
29.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite252.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

38.7b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

11.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
6.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
5.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3248 to 2220 computations (31.7% saved)

series278.0ms (0.3%)

Error

38.7b

Counts

4 → 12

Calls

4 calls:

62.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
56.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
50.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
46.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3904 to 2838 computations (27.3% saved)

simplify293.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (274.0ms)

Iter	Nodes	Cost
0	5199	480

prune278.0ms (0.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	40	10	50

Error

38.7b

Counts

50 → 10

Compiler

Compiled 4488 to 3071 computations (31.6% saved)

regimes2.7s (3.3%)

Accuracy

Total 1.3b remaining (3.2%)

Threshold costs 0b (0%)

Compiler

Compiled 33755 to 25663 computations (24% saved)

bsearch0.0ms (0%)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	167	175
1	167	175

end0.0ms (0%)

sample56.6s (69.5%)

Algorithm

1×

intervals

Results

13.3s	1385×	body	4096	valid
10.2s	1718×	body	2048	valid
7.9s	819×	body	4096	invalid
6.5s	1139×	body	2048	invalid
3.2s	863×	body	1024	valid
2.7s	3420×	body	128	valid
2.5s	646×	body	1024	invalid
1.8s	89×	body	8192	valid
888.0ms	378×	body	512	valid
715.0ms	1016×	body	128	invalid
674.0ms	290×	body	512	invalid
612.0ms	28×	body	8192	invalid
229.0ms	147×	body	256	valid
193.0ms	121×	body	256	invalid

Compiler

Compiled 3873 to 2937 computations (24.2% saved)

Details

analyze15.3s (18.8%)

sample1.4s (1.7%)

simplify36.0ms (0%)

prune30.0ms (0%)

localize82.0ms (0.1%)

rewrite223.0ms (0.3%)

series274.0ms (0.3%)

simplify218.0ms (0.3%)

prune401.0ms (0.5%)

localize95.0ms (0.1%)

rewrite288.0ms (0.4%)

series274.0ms (0.3%)

simplify269.0ms (0.3%)

prune426.0ms (0.5%)

localize109.0ms (0.1%)

rewrite259.0ms (0.3%)

series308.0ms (0.4%)

simplify279.0ms (0.3%)

prune371.0ms (0.5%)

localize418.0ms (0.5%)

rewrite252.0ms (0.3%)

series278.0ms (0.3%)

simplify293.0ms (0.4%)

prune278.0ms (0.3%)

regimes2.7s (3.3%)

bsearch0.0ms (0%)

simplify10.0ms (0%)

end0.0ms (0%)

sample56.6s (69.5%)

Profiling