Details

analyze1.8s (12%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4958	136
1	4958	136
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	62.4%	12.6%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
42.9%	44.5%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
52.6%	34.8%	12.6%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample182.0ms (1.2%)

Algorithm

1×

intervals

Results

45.0ms	51×	body	1024	invalid
44.0ms	47×	body	1024	valid
20.0ms	167×	body	128	valid
16.0ms	28×	body	512	invalid
11.0ms	21×	body	512	valid
8.0ms	6×	body	2048	valid
6.0ms	1×	body	4096	valid
5.0ms	14×	body	256	invalid
4.0ms	14×	body	256	valid
3.0ms	23×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify159.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (153.0ms)

Iter	Nodes	Cost
0	5252	34

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

19.1b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 (/.f64 angle 180))
0.3b	(*.f64 PI.f64 (/.f64 angle 180))
23.1b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
23.2b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite168.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

18.4b

Rules

30×	`add-sqr-sqrt_binary64_100`
26×	`associate-r_binary64_18`
20×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78` `times-frac_binary64_84`
14×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
8×	`pow1_binary64_139`
6×	`associate-l_binary64_19`
4×	`add-log-exp_binary64_117` `prod-exp_binary64_127` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46`
2×	`pow-prod-down_binary64_149` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-r/_binary64_20` `div-inv_binary64_75` `-commutative_binary64_9`

Counts

4 → 78

Calls

4 calls:

7.0ms	(*.f64 PI.f64 (/.f64 angle 180))
7.0ms	(*.f64 PI.f64 (/.f64 angle 180))
2.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2162 to 1535 computations (29% saved)

series145.0ms (1%)

Error

18.6b

Counts

4 → 17

Calls

4 calls:

33.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
31.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
27.0ms	(*.f64 PI.f64 (/.f64 angle 180))
26.0ms	(*.f64 PI.f64 (/.f64 angle 180))

Compiler

Compiled 1112 to 917 computations (17.5% saved)

simplify67.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4954	1178
1	4954	1178

prune214.0ms (1.5%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	69	26	95
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	26	96

Error

18.2b

Counts

96 → 26

Compiler

Compiled 3188 to 2367 computations (25.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2)
0.3b	(*.f64 PI.f64 (/.f64 angle 180))
23.1b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
23.2b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite125.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

18.1b

Rules

18×	`add-sqr-sqrt_binary64_100`
13×	`add-cube-cbrt_binary64_113` `-un-lft-identity_binary64_78` `associate-r*_binary64_18`
12×	`add-exp-log_binary64_116`
10×	`times-frac_binary64_84`
9×	`pow1_binary64_139` `add-cbrt-cube_binary64_114`
4×	`add-log-exp_binary64_117`
3×	`prod-exp_binary64_127` `associate-l_binary64_19` `pow-unpow_binary64_155`
2×	`pow-prod-down_binary64_149` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46` `pow-pow_binary64_150` `pow-exp_binary64_146`
1×	`div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-r/_binary64_20` `div-inv_binary64_75` `-commutative_binary64_9` `unpow-prod-down_binary64_157` `pow-to-exp_binary64_147` `unpow2_binary64_143` `sqr-pow_binary64_50`

Counts

4 → 64

Calls

4 calls:

7.0ms	(*.f64 PI.f64 (/.f64 angle 180))
5.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2)
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1772 to 1211 computations (31.7% saved)

series300.0ms (2.1%)

Error

18.1b

Counts

4 → 23

Calls

4 calls:

168.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2)
36.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
29.0ms	(*.f64 PI.f64 (/.f64 angle 180))
29.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1628 to 1325 computations (18.6% saved)

simplify84.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4930	1352
1	4930	1352

prune332.0ms (2.3%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	73	14	87
Fresh	6	19	25
Picked	1	0	1
Done	0	0	0
Total	80	33	113

Error

18.1b

Counts

113 → 33

Compiler

Compiled 3240 to 2355 computations (27.3% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
23.2b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))

rewrite73.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

18.1b

Rules

8×	`add-sqr-sqrt_binary64_100`
6×	`pow1_binary64_139` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78` `sqrt-prod_binary64_94`
4×	`add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
2×	`pow1/2_binary64_158` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_91`

Counts

4 → 40

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1218 to 728 computations (40.2% saved)

series79.0ms (0.5%)

Error

18.1b

Counts

4 → 11

Calls

4 calls:

32.0ms	(cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))
32.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 790 to 619 computations (21.6% saved)

simplify105.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4914	563
1	4914	563

prune136.0ms (0.9%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	3	29	32
Picked	1	0	1
Done	0	0	0
Total	51	33	84

Error

18.1b

Counts

84 → 33

Compiler

Compiled 2417 to 1715 computations (29% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b	(cbrt.f64 PI.f64)
1.0b	(cbrt.f64 PI.f64)
23.2b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.2b	(cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))

rewrite72.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

18.1b

Rules

6×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78` `cbrt-prod_binary64_109`
4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
2×	`pow1/3_binary64_160`

Counts

4 → 36

Calls

4 calls:

4.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(cbrt.f64 PI.f64)
1.0ms	(cbrt.f64 PI.f64)

Compiler

Compiled 1233 to 670 computations (45.7% saved)

series84.0ms (0.6%)

Error

18.1b

Counts

4 → 11

Calls

4 calls:

36.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
32.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))
0.0ms	(cbrt.f64 PI.f64)
0.0ms	(cbrt.f64 PI.f64)

Compiler

Compiled 832 to 628 computations (24.5% saved)

simplify56.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4999	568
1	4999	568

prune72.0ms (0.5%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	2	30	32
Picked	0	1	1
Done	0	0	0
Total	47	33	80

Error

18.1b

Counts

80 → 33

Compiler

Compiled 1461 to 854 computations (41.5% saved)

regimes1.7s (11.9%)

Accuracy

Total 1.3b remaining (6.5%)

Threshold costs 0b (0%)

Compiler

Compiled 21750 to 18342 computations (15.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	42
1	28	42

end0.0ms (0%)

sample8.6s (58.8%)

Algorithm

1×

intervals

Results

1.4s	1591×	body	1024	valid
1.3s	1452×	body	1024	invalid
647.0ms	5030×	body	128	valid
461.0ms	795×	body	512	valid
414.0ms	697×	body	512	invalid
250.0ms	186×	body	2048	valid
125.0ms	394×	body	256	valid
124.0ms	355×	body	256	invalid
83.0ms	672×	body	128	invalid
18.0ms	4×	body	4096	valid

Compiler

Compiled 3363 to 2828 computations (15.9% saved)

Details

analyze1.8s (12%)

sample182.0ms (1.2%)

simplify159.0ms (1.1%)

prune7.0ms (0%)

localize14.0ms (0.1%)

rewrite168.0ms (1.2%)

series145.0ms (1%)

simplify67.0ms (0.5%)

prune214.0ms (1.5%)

localize15.0ms (0.1%)

rewrite125.0ms (0.9%)

series300.0ms (2.1%)

simplify84.0ms (0.6%)

prune332.0ms (2.3%)

localize18.0ms (0.1%)

rewrite73.0ms (0.5%)

series79.0ms (0.5%)

simplify105.0ms (0.7%)

prune136.0ms (0.9%)

localize20.0ms (0.1%)

rewrite72.0ms (0.5%)

series84.0ms (0.6%)

simplify56.0ms (0.4%)

prune72.0ms (0.5%)

regimes1.7s (11.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.6s (58.8%)

Profiling