Details

analyze3.5s (14.5%)

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
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample310.0ms (1.3%)

Algorithm

1×

intervals

Results

77.0ms	45×	body	1024	valid
70.0ms	41×	body	1024	invalid
40.0ms	167×	body	128	valid
35.0ms	27×	body	512	valid
31.0ms	28×	body	512	invalid
8.0ms	14×	body	256	valid
8.0ms	12×	body	256	invalid
7.0ms	3×	body	2048	valid
4.0ms	16×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify298.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (286.0ms)

Iter	Nodes	Cost
0	5252	34

prune13.0ms (0.1%)

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

18.9b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
23.6b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite51.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_441`
26×	`associate-l_binary64_360`
20×	`*-un-lft-identity_binary64_419` `times-frac_binary64_425` `add-cube-cbrt_binary64_454`
14×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
8×	`pow1_binary64_480`
6×	`associate-r_binary64_359`
4×	`add-log-exp_binary64_458` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
2×	`associate-l/_binary64_362` `pow-prod-down_binary64_490` `div-inv_binary64_416` `-commutative_binary64_350` `div-exp_binary64_470` `cbrt-undiv_binary64_453`

Counts

4 → 78

Calls

4 calls:

15.0ms	(*.f64 (/.f64 angle 180) PI.f64)
14.0ms	(*.f64 (/.f64 angle 180) PI.f64)
4.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

series208.0ms (0.9%)

Counts

4 → 15

Calls

4 calls:

60.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
55.0ms	(*.f64 (/.f64 angle 180) PI.f64)
50.0ms	(*.f64 (/.f64 angle 180) PI.f64)
42.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 638 to 572 computations (10.3% saved)

simplify123.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4936	1068
1	4936	1068

prune416.0ms (1.7%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	68	25	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	25	94

Error

17.8b

Counts

94 → 25

Compiler

Compiled 3110 to 2328 computations (25.1% saved)

localize45.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 angle 180))
0.6b	(cbrt.f64 (/.f64 angle 180))
23.4b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))
23.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite37.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`cbrt-prod_binary64_450`
18×	`*-un-lft-identity_binary64_419` `times-frac_binary64_425` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
2×	`pow1/3_binary64_501` `cbrt-div_binary64_451` `div-inv_binary64_416`

Counts

4 → 58

Calls

4 calls:

9.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))
5.0ms	(cbrt.f64 (/.f64 angle 180))
5.0ms	(cbrt.f64 (/.f64 angle 180))
4.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

series534.0ms (2.2%)

Counts

4 → 15

Calls

4 calls:

194.0ms	(cbrt.f64 (/.f64 angle 180))
180.0ms	(cbrt.f64 (/.f64 angle 180))
91.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))
69.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 921 to 815 computations (11.5% saved)

simplify142.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	5012	956

prune401.0ms (1.7%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	64	9	73
Fresh	2	22	24
Picked	1	0	1
Done	0	0	0
Total	67	31	98

Error

17.7b

Counts

98 → 31

Compiler

Compiled 3578 to 2810 computations (21.5% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
23.5b	(cos.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))
23.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_441`
6×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `sqrt-prod_binary64_435` `pow1_binary64_480`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
2×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `rem-sqrt-square_binary64_432`

Counts

4 → 40

Calls

4 calls:

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

series109.0ms (0.5%)

Counts

4 → 9

Calls

4 calls:

67.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
42.0ms	(cos.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 418 to 360 computations (13.9% saved)

simplify113.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4866	486
1	4866	486

prune243.0ms (1%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	3	27	30
Picked	0	1	1
Done	0	0	0
Total	50	30	80

Error

17.7b

Counts

80 → 30

Compiler

Compiled 2278 to 1681 computations (26.2% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
23.6b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.8b	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))

rewrite44.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_441`
13×	`-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `associate-l*_binary64_360`
12×	`add-exp-log_binary64_457`
10×	`times-frac_binary64_425`
9×	`add-cbrt-cube_binary64_455` `pow1_binary64_480`
4×	`add-log-exp_binary64_458`
3×	`associate-r_binary64_359` `prod-exp_binary64_468` `pow-unpow_binary64_496`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `cbrt-unprod_binary64_452` `pow-exp_binary64_487` `pow-pow_binary64_491`
1×	`associate-l/_binary64_362` `unpow-prod-down_binary64_498` `div-inv_binary64_416` `sqr-pow_binary64_391` `pow-to-exp_binary64_488` `-commutative_binary64_350` `unpow2_binary64_484` `div-exp_binary64_470` `cbrt-undiv_binary64_453`

Counts

4 → 64

Calls

4 calls:

14.0ms	(*.f64 (/.f64 angle 180) PI.f64)
10.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
5.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

series476.0ms (2%)

Counts

4 → 20

Calls

4 calls:

310.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
63.0ms	(*.f64 (/.f64 angle 180) PI.f64)
61.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
40.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 922 to 822 computations (10.8% saved)

simplify123.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5000	1174

prune245.0ms (1%)

Pruning

36 alts after pruning (35 fresh and 1 done)

	Pruned	Kept	Total
New	75	9	84
Fresh	2	26	28
Picked	1	0	1
Done	0	1	1
Total	78	36	114

Error

17.6b

Counts

114 → 36

Compiler

Compiled 2152 to 1547 computations (28.1% saved)

regimes2.4s (10%)

Accuracy

Total 1.4b remaining (6.8%)

Threshold costs 0b (0%)

Compiler

Compiled 16114 to 13997 computations (13.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	42
1	28	42

end0.0ms (0%)

sample14.2s (58.7%)

Algorithm

1×

intervals

Results

2.7s	1569×	body	1024	valid
2.2s	1299×	body	1024	invalid
1.3s	5024×	body	128	valid
908.0ms	810×	body	512	valid
791.0ms	673×	body	512	invalid
512.0ms	202×	body	2048	valid
233.0ms	390×	body	256	valid
221.0ms	328×	body	256	invalid
135.0ms	545×	body	128	invalid
44.0ms	5×	body	4096	valid

Compiler

Compiled 2449 to 2125 computations (13.2% saved)

Details

analyze3.5s (14.5%)

sample310.0ms (1.3%)

simplify298.0ms (1.2%)

prune13.0ms (0.1%)

localize28.0ms (0.1%)

rewrite51.0ms (0.2%)

series208.0ms (0.9%)

simplify123.0ms (0.5%)

prune416.0ms (1.7%)

localize45.0ms (0.2%)

rewrite37.0ms (0.2%)

series534.0ms (2.2%)

simplify142.0ms (0.6%)

prune401.0ms (1.7%)

localize37.0ms (0.2%)

rewrite23.0ms (0.1%)

series109.0ms (0.5%)

simplify113.0ms (0.5%)

prune243.0ms (1%)

localize38.0ms (0.2%)

rewrite44.0ms (0.2%)

series476.0ms (2%)

simplify123.0ms (0.5%)

prune245.0ms (1%)

regimes2.4s (10%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample14.2s (58.7%)

Profiling