Details

analyze9.9s (15.6%)

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

Algorithm

1×

intervals

Results

361.0ms	56×	body	4096	valid
198.0ms	52×	body	2048	valid
168.0ms	46×	body	2048	invalid
143.0ms	23×	body	4096	invalid
87.0ms	34×	body	1024	valid
71.0ms	5×	body	8192	valid
46.0ms	94×	body	128	valid
43.0ms	18×	body	1024	invalid
17.0ms	39×	body	128	invalid
17.0ms	11×	body	512	valid
16.0ms	11×	body	512	invalid
4.0ms	4×	body	256	valid
2.0ms	2×	body	256	invalid

Compiler

Compiled 219 to 172 computations (21.5% saved)

simplify26.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5232	172

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

43.8b

Counts

2 → 2

Compiler

Compiled 323 to 229 computations (29.1% saved)

localize47.0ms (0.1%)

Local error

Found 4 expressions with local error:

28.5b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.5b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.5b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
33.0b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)))

rewrite392.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

39.0b

Rules

15×	`associate-*r/_binary64_1725`
9×	`frac-sub_binary64_1792`
7×	`associate-*l/_binary64_1726`
6×	`add-log-exp_binary64_1822` `frac-times_binary64_1793`
4×	`pow1_binary64_1844` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
2×	`sub-div_binary64_1790`
1×	`diff-log_binary64_1875` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `cancel-sign-sub-inv_binary64_1749`

Counts

4 → 44

Calls

4 calls:

40.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 6110 to 4322 computations (29.3% saved)

series5.0s (8%)

Error

37.2b

Counts

4 → 25

Calls

4 calls:

4.8s	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)))
40.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 6803 to 5247 computations (22.9% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5086	6473

prune438.0ms (0.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	58	11	69
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	60	11	71

Error

35.9b

Counts

71 → 11

Compiler

Compiled 8656 to 5607 computations (35.2% saved)

localize36.0ms (0.1%)

Local error

Found 4 expressions with local error:

28.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite89.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

35.9b

Rules

4×	`pow1_binary64_1844` `add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 2100 to 1018 computations (51.5% saved)

series127.0ms (0.2%)

Error

35.9b

Counts

4 → 12

Calls

4 calls:

25.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
25.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
22.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2452 to 1480 computations (39.6% saved)

simplify166.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (154.0ms)

Iter	Nodes	Cost
0	5187	494

prune145.0ms (0.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	40	11	51

Error

35.9b

Counts

51 → 11

Compiler

Compiled 3798 to 2042 computations (46.2% saved)

localize42.0ms (0.1%)

Local error

Found 4 expressions with local error:

28.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite97.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

35.9b

Rules

4×	`pow1_binary64_1844` `add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 2212 to 1128 computations (49% saved)

series135.0ms (0.2%)

Error

35.9b

Counts

4 → 12

Calls

4 calls:

27.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
24.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2596 to 1574 computations (39.4% saved)

simplify164.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (154.0ms)

Iter	Nodes	Cost
0	5187	494

prune152.0ms (0.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	40	11	51

Error

35.9b

Counts

51 → 11

Compiler

Compiled 3961 to 2203 computations (44.4% saved)

localize42.0ms (0.1%)

Local error

Found 4 expressions with local error:

28.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.8b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite100.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

35.9b

Rules

4×	`pow1_binary64_1844` `add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 2296 to 1212 computations (47.2% saved)

series136.0ms (0.2%)

Error

35.9b

Counts

4 → 12

Calls

4 calls:

27.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2704 to 1682 computations (37.8% saved)

simplify164.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (154.0ms)

Iter	Nodes	Cost
0	5187	494

prune118.0ms (0.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	40	11	51

Error

35.9b

Counts

51 → 11

Compiler

Compiled 3136 to 1638 computations (47.8% saved)

regimes2.9s (4.5%)

Accuracy

Total 4.5b remaining (12.3%)

Threshold costs 0b (0%)

Compiler

Compiled 48700 to 35957 computations (26.2% saved)

bsearch2.9s (4.6%)

Steps

Iters	Range		Point
8	8.413825894568511e+200	4.0102572239716174e+204	8.76096232538358e+201
7	2.5338020776963553e+125	3.9435957345308e+127	3.6337643582651225e+127
9	7.9476843630667065e-171	2.7127578749608106e-161	3.5416718894034183e-162
9	-3.7487879210347027e-134	-7.757858422975347e-141	-1.7329648173606777e-137

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify15.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	585	755
1	585	755

end0.0ms (0%)

sample38.6s (61.1%)

Algorithm

1×

intervals

Results

9.2s	1434×	body	4096	valid
6.2s	1672×	body	2048	valid
5.5s	856×	body	4096	invalid
4.5s	1160×	body	2048	invalid
2.2s	895×	body	1024	valid
1.7s	3409×	body	128	valid
1.6s	669×	body	1024	invalid
969.0ms	68×	body	8192	valid
538.0ms	358×	body	512	valid
483.0ms	1050×	body	128	invalid
406.0ms	259×	body	512	invalid
330.0ms	24×	body	8192	invalid
151.0ms	164×	body	256	valid
136.0ms	135×	body	256	invalid

Compiler

Compiled 5720 to 4209 computations (26.4% saved)

Details

analyze9.9s (15.6%)

sample1.2s (1.9%)

simplify26.0ms (0%)

prune18.0ms (0%)

localize47.0ms (0.1%)

rewrite392.0ms (0.6%)

series5.0s (8%)

simplify84.0ms (0.1%)

prune438.0ms (0.7%)

localize36.0ms (0.1%)

rewrite89.0ms (0.1%)

series127.0ms (0.2%)

simplify166.0ms (0.3%)

prune145.0ms (0.2%)

localize42.0ms (0.1%)

rewrite97.0ms (0.2%)

series135.0ms (0.2%)

simplify164.0ms (0.3%)

prune152.0ms (0.2%)

localize42.0ms (0.1%)

rewrite100.0ms (0.2%)

series136.0ms (0.2%)

simplify164.0ms (0.3%)

prune118.0ms (0.2%)

regimes2.9s (4.5%)

bsearch2.9s (4.6%)

simplify15.0ms (0%)

end0.0ms (0%)

sample38.6s (61.1%)

Profiling