Details

analyze2.3s (16.5%)

Algorithm

1×

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 25 to 20 computations (20% saved)

sample205.0ms (1.5%)

Algorithm

1×

intervals

Results

51.0ms	44×	body	1024	valid
45.0ms	39×	body	1024	invalid
32.0ms	177×	body	128	valid
24.0ms	31×	body	512	invalid
14.0ms	19×	body	512	valid
9.0ms	9×	body	256	invalid
7.0ms	4×	body	2048	valid
5.0ms	12×	body	256	valid
3.0ms	18×	body	128	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify154.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1078×	`sqr-pow_binary64`
786×	`cube-prod_binary64`
770×	`fabs-mul_binary64`
484×	`unswap-sqr_binary64`
392×	`pow-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	30	34
2	66	34
3	122	34
4	216	34
5	465	34
6	669	34
7	1130	34
8	1177	34
9	1369	34
10	1574	34
11	1868	34
12	2152	34
13	2573	34
14	3206	34
15	3520	34
16	3872	34
17	4026	34
18	4094	34
19	4136	34
20	4933	34
21	4905	34

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

16.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	16.5b	(+.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))

Compiler

Compiled 72 to 57 computations (20.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (/.f64 angle 180) PI.f64)
✓	0.3b	(*.f64 (/.f64 angle 180) PI.f64)
✓	19.4b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
✓	19.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`times-frac_binary64`

Counts

3 → 52

Calls

3 calls:

5.0ms	(*.f64 (/.f64 angle 180) PI.f64)
1.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
1.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

series17.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

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

simplify79.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

777×	`fma-neg_binary64`
633×	`distribute-rgt-neg-in_binary64`
594×	`associate-l_binary64`
589×	`associate-r_binary64`
187×	`fma-def_binary64`

Counts

88 → 135

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	141	1177
1	313	1083
2	869	1077
3	3295	1068
4	5027	1068

prune374.0ms (2.7%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	180	28	208
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	181	28	209

Error

15.5b

Counts

209 → 28

Alt Table

Status	Error	Program
	28.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 (/.f64 angle 180)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 PI.f64))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b 1) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (/.f64 angle (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	16.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
▶	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))

Compiler

Compiled 6129 to 4491 computations (26.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
✓	0.7b	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
	19.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
✓	19.5b	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`
2×	`add-exp-log_binary64`

Counts

2 → 21

Calls

2 calls:

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

series325.0ms (2.3%)

Counts

2 → 24

Calls

2 calls:

315.0ms	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

simplify75.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

747×	`cancel-sign-sub-inv_binary64`
674×	`fma-def_binary64`
434×	`fma-neg_binary64`
371×	`distribute-rgt-neg-in_binary64`
330×	`unswap-sqr_binary64`

Counts

45 → 77

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	97	719
1	215	687
2	487	651
3	1853	593
4	4723	589
5	5035	589

prune413.0ms (2.9%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	137	9	146
Fresh	3	24	27
Picked	1	0	1
Done	0	0	0
Total	141	33	174

Error

15.4b

Counts

174 → 33

Alt Table

Status	Error	Program
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 angle) (log.f64 PI.f64)))) (cbrt.f64 1/180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 -1 (.f64 (pow.f64 (cbrt.f64 -1/180) 3) (.f64 angle PI.f64))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 (/.f64 angle 180)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 PI.f64))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b 1) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (/.f64 angle (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (cbrt.f64 (.f64 PI.f64 angle)) (cbrt.f64 180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
▶	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 angle))))) (cbrt.f64 -1/180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	16.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))

Compiler

Compiled 5874 to 4412 computations (24.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
	0.7b	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
	19.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
✓	19.5b	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 9

Calls

1 calls:

7.0ms

(cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

series14.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

14.0ms

(cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

743×	`cancel-sign-sub-inv_binary64`
642×	`fma-def_binary64`
630×	`fma-neg_binary64`
367×	`distribute-rgt-neg-in_binary64`
353×	`distribute-lft-neg-in_binary64`

Counts

21 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	341
1	159	309
2	407	301
3	1643	299
4	4268	299
5	4986	299

prune483.0ms (3.4%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	325	4	329
Fresh	3	29	32
Picked	1	0	1
Done	0	0	0
Total	329	33	362

Error

15.4b

Counts

362 → 33

Alt Table

Status	Error	Program
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 angle) (log.f64 PI.f64)))) (cbrt.f64 1/180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 -1 (.f64 (pow.f64 (cbrt.f64 -1/180) 3) (.f64 angle PI.f64))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
▶	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 (/.f64 angle 180)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (pow.f64 (.f64 PI.f64 (/.f64 angle 180)) 1/3)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 PI.f64))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b 1) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (expm1.f64 (log1p.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (/.f64 angle (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	44.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 angle) (log.f64 PI.f64)))) (cbrt.f64 1/180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 angle))))) (cbrt.f64 -1/180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))

Compiler

Compiled 7159 to 5357 computations (25.2% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
	0.7b	(cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))
	19.5b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
✓	19.5b	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 9

Calls

1 calls:

19.0ms

(cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

series12.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

12.0ms

(cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

743×	`cancel-sign-sub-inv_binary64`
642×	`fma-def_binary64`
546×	`fma-neg_binary64`
367×	`distribute-rgt-neg-in_binary64`
353×	`distribute-lft-neg-in_binary64`

Counts

21 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	965
1	171	309
2	436	301
3	1683	299
4	4254	299
5	4939	299

prune508.0ms (3.6%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	1072	3	1075
Fresh	2	30	32
Picked	1	0	1
Done	0	0	0
Total	1075	33	1108

Error

15.4b

Counts

1108 → 33

Alt Table

Status	Error	Program
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 angle) (log.f64 PI.f64)))) (cbrt.f64 1/180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 -1 (.f64 (pow.f64 (cbrt.f64 -1/180) 3) (.f64 angle PI.f64))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 (/.f64 angle 180)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (pow.f64 (.f64 PI.f64 (/.f64 angle 180)) 1/3)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 PI.f64))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b 1) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (expm1.f64 (log1p.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (/.f64 angle (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	16.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))))) 2))
	16.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 angle))))) (cbrt.f64 -1/180)) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	16.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	16.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))
	16.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2))
	44.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 angle) (log.f64 PI.f64)))) (cbrt.f64 1/180)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2))

Compiler

Compiled 7290 to 5439 computations (25.4% saved)

regimes707.0ms (5%)

Accuracy

Total 1.3b remaining (6.4%)

Threshold costs 0b (0%)

Compiler

Compiled 19487 to 15120 computations (22.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	120
1	36	120
2	36	120

end1.0ms (0%)

Compiler: Compiled 73 to 56 computations (23.3% saved)

sample8.1s (57.8%)

Algorithm

1×

intervals

Results

2.0s	1412×	body	1024	invalid
1.9s	1585×	body	1024	valid
836.0ms	4990×	body	128	valid
783.0ms	844×	body	512	valid
537.0ms	679×	body	512	invalid
338.0ms	192×	body	2048	valid
174.0ms	352×	body	256	invalid
163.0ms	386×	body	256	valid
93.0ms	555×	body	128	invalid
16.0ms	3×	body	4096	valid

Compiler

Compiled 1475 to 1146 computations (22.3% saved)

Details

analyze2.3s (16.5%)

sample205.0ms (1.5%)

simplify154.0ms (1.1%)

prune3.0ms (0%)

localize12.0ms (0.1%)

rewrite10.0ms (0.1%)

series17.0ms (0.1%)

simplify79.0ms (0.6%)

prune374.0ms (2.7%)

localize18.0ms (0.1%)

rewrite7.0ms (0%)

series325.0ms (2.3%)

simplify75.0ms (0.5%)

prune413.0ms (2.9%)

localize25.0ms (0.2%)

rewrite8.0ms (0.1%)

series14.0ms (0.1%)

simplify60.0ms (0.4%)

prune483.0ms (3.4%)

localize26.0ms (0.2%)

rewrite20.0ms (0.1%)

series12.0ms (0.1%)

simplify68.0ms (0.5%)

prune508.0ms (3.6%)

regimes707.0ms (5%)

simplify5.0ms (0%)

end1.0ms (0%)

sample8.1s (57.8%)

Profiling