Details

analyze2.2s (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)

sample207.0ms (1.1%)

Algorithm

1×

intervals

Results

56.0ms	57×	body	1024	valid
51.0ms	50×	body	1024	invalid
21.0ms	155×	body	128	valid
16.0ms	9×	body	2048	valid
14.0ms	23×	body	512	invalid
14.0ms	24×	body	512	valid
5.0ms	12×	body	256	invalid
4.0ms	11×	body	256	valid
4.0ms	25×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify188.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	5252	34

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

21.4b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize23.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))
25.5b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
25.7b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite232.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

20.3b

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))
4.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
3.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2162 to 1535 computations (29% saved)

series126.0ms (0.7%)

Error

20.9b

Counts

4 → 13

Calls

4 calls:

36.0ms	(*.f64 PI.f64 (/.f64 angle 180))
33.0ms	(*.f64 PI.f64 (/.f64 angle 180))
22.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
18.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 820 to 686 computations (16.3% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4935	1034
1	4935	1034

prune226.0ms (1.2%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	64	27	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	27	92

Error

20.2b

Counts

92 → 27

Compiler

Compiled 3089 to 2246 computations (27.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
25.7b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
25.8b	(cos.f64 (.f64 (.f64 PI.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))

rewrite107.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

20.2b

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:

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

Compiler

Compiled 1397 to 874 computations (37.4% saved)

series279.0ms (1.5%)

Error

20.2b

Counts

4 → 13

Calls

4 calls:

86.0ms	(cbrt.f64 angle)
82.0ms	(cbrt.f64 angle)
66.0ms	(cos.f64 (.f64 (.f64 PI.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))
21.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1224 to 994 computations (18.8% saved)

simplify34.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5022	426

prune163.0ms (0.9%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	43	6	49
Fresh	2	24	26
Picked	1	0	1
Done	0	0	0
Total	46	30	76

Error

20.1b

Counts

76 → 30

Compiler

Compiled 2541 to 1793 computations (29.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
0.3b	(*.f64 PI.f64 (/.f64 angle 180))
25.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.7b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite136.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

20.1b

Rules

20×	`add-sqr-sqrt_binary64_100`
15×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
13×	`associate-r_binary64_18`
10×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `times-frac_binary64_84`
7×	`pow1_binary64_139`
4×	`add-log-exp_binary64_117`
3×	`associate-l_binary64_19` `unpow-prod-down_binary64_157` `pow-unpow_binary64_155` `cube-prod_binary64_106`
2×	`prod-exp_binary64_127` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46`
1×	`pow-prod-down_binary64_149` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-r/_binary64_20` `div-inv_binary64_75` `-commutative_binary64_9` `pow-pow_binary64_150` `pow-to-exp_binary64_147` `pow-exp_binary64_146` `unpow3_binary64_144` `cube-mult_binary64_108` `rem-cube-cbrt_binary64_101` `sqr-pow_binary64_50`

Counts

4 → 69

Calls

4 calls:

7.0ms	(*.f64 PI.f64 (/.f64 angle 180))
3.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2162 to 1540 computations (28.8% saved)

series165.0ms (0.9%)

Error

20.1b

Counts

4 → 14

Calls

4 calls:

56.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
36.0ms	(*.f64 PI.f64 (/.f64 angle 180))
28.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
24.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 987 to 830 computations (15.9% saved)

simplify76.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4926	1032
1	4926	1032

prune228.0ms (1.2%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	29	29
Picked	0	1	1
Done	0	0	0
Total	82	31	113

Error

20.1b

Counts

113 → 31

Compiler

Compiled 3254 to 2395 computations (26.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 3)
0.3b	(*.f64 PI.f64 (/.f64 angle 180))
25.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.7b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite276.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

20.1b

Rules

26×	`add-sqr-sqrt_binary64_100`
24×	`cbrt-prod_binary64_109`
21×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78` `unpow-prod-down_binary64_157` `cube-prod_binary64_106`
13×	`associate-r_binary64_18`
10×	`add-exp-log_binary64_116` `times-frac_binary64_84`
9×	`add-cbrt-cube_binary64_114`
7×	`pow1_binary64_139`
4×	`add-log-exp_binary64_117`
3×	`associate-l_binary64_19` `unpow3_binary64_144` `cube-mult_binary64_108` `sqr-pow_binary64_50` `pow-unpow_binary64_155`
2×	`prod-exp_binary64_127` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46` `pow-pow_binary64_150`
1×	`pow-prod-down_binary64_149` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-r/_binary64_20` `div-inv_binary64_75` `-commutative_binary64_9` `pow1/3_binary64_160` `pow-to-exp_binary64_147` `pow-exp_binary64_146` `rem-cube-cbrt_binary64_101`

Counts

4 → 94

Calls

4 calls:

15.0ms	(*.f64 PI.f64 (/.f64 angle 180))
6.0ms	(pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 3)
3.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 3428 to 2553 computations (25.5% saved)

series154.0ms (0.8%)

Error

20.1b

Counts

4 → 14

Calls

4 calls:

63.0ms	(pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) 3)
31.0ms	(*.f64 PI.f64 (/.f64 angle 180))
23.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
19.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1074 to 917 computations (14.6% saved)

simplify79.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4934	1563
1	4934	1563

prune188.0ms (1%)

Pruning

31 alts after pruning (29 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	29	29
Picked	0	1	1
Done	0	1	1
Total	108	31	139

Error

20.1b

Counts

139 → 31

Compiler

Compiled 3265 to 2347 computations (28.1% saved)

regimes2.3s (12.4%)

Accuracy

Total 1.3b remaining (6.7%)

Threshold costs 0b (0%)

Compiler

Compiled 24088 to 20282 computations (15.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	57
1	31	57

end0.0ms (0%)

sample10.8s (58.9%)

Algorithm

1×

intervals

Results

1.7s	1576×	body	1024	valid
1.4s	1346×	body	1024	invalid
754.0ms	5044×	body	128	valid
588.0ms	847×	body	512	valid
501.0ms	697×	body	512	invalid
290.0ms	169×	body	2048	valid
147.0ms	364×	body	256	valid
144.0ms	347×	body	256	invalid
96.0ms	616×	body	128	invalid

Compiler

Compiled 3802 to 3195 computations (16% saved)

Details

analyze2.2s (12%)

sample207.0ms (1.1%)

simplify188.0ms (1%)

prune6.0ms (0%)

localize23.0ms (0.1%)

rewrite232.0ms (1.3%)

series126.0ms (0.7%)

simplify91.0ms (0.5%)

prune226.0ms (1.2%)

localize22.0ms (0.1%)

rewrite107.0ms (0.6%)

series279.0ms (1.5%)

simplify34.0ms (0.2%)

prune163.0ms (0.9%)

localize21.0ms (0.1%)

rewrite136.0ms (0.7%)

series165.0ms (0.9%)

simplify76.0ms (0.4%)

prune228.0ms (1.2%)

localize20.0ms (0.1%)

rewrite276.0ms (1.5%)

series154.0ms (0.8%)

simplify79.0ms (0.4%)

prune188.0ms (1%)

regimes2.3s (12.4%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample10.8s (58.9%)

Profiling