Details

analyze2.3s (15.6%)

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

sample224.0ms (1.5%)

Algorithm

1×

intervals

Results

67.0ms	57×	body	1024	valid
47.0ms	38×	body	1024	invalid
26.0ms	145×	body	128	valid
23.0ms	29×	body	512	valid
23.0ms	12×	body	2048	valid
12.0ms	16×	body	512	invalid
6.0ms	13×	body	256	valid
3.0ms	17×	body	128	invalid
3.0ms	6×	body	256	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify148.0ms (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	124	34
4	217	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

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

23.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 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 PI.f64 (/.f64 angle 180))
✓	0.3b	(*.f64 PI.f64 (/.f64 angle 180))
✓	27.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
✓	28.0b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 52

Calls

3 calls:

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

series17.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

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

simplify90.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

587×	`times-frac_binary64`
572×	`fma-def_binary64`
341×	`cancel-sign-sub-inv_binary64`
309×	`unswap-sqr_binary64`
288×	`fma-neg_binary64`

Counts

88 → 111

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	143	1189
1	323	1095
2	1016	1089
3	2414	1078
4	4730	1078
5	4943	1078

prune256.0ms (1.8%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	143	29	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	144	29	173

Error

22.3b

Counts

173 → 29

Alt Table

Status	Error	Program
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	35.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 PI.f64 PI.f64) PI.f64) (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
▶	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (cbrt.f64 PI.f64) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))

Compiler

Compiled 5126 to 3741 computations (27% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (/.f64 angle 180))
✓	0.6b	(cbrt.f64 (/.f64 angle 180))
	27.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
✓	28.2b	(cos.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cbrt-prod_binary64`
9×	`times-frac_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`

Counts

2 → 33

Calls

2 calls:

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

series239.0ms (1.7%)

Counts

2 → 24

Calls

2 calls:

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

simplify74.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

744×	`cancel-sign-sub-inv_binary64`
642×	`fma-def_binary64`
378×	`fma-neg_binary64`
354×	`unswap-sqr_binary64`
331×	`associate-r_binary64`

Counts

57 → 95

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	757
1	241	713
2	563	705
3	1986	703
4	4873	703
5	4920	703

prune437.0ms (3%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	164	12	176
Fresh	1	27	28
Picked	1	0	1
Done	0	0	0
Total	166	39	205

Error

22.2b

Counts

205 → 39

Alt Table

Status	Error	Program
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 angle 2/3) (sqrt.f64 180))) (cbrt.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (pow.f64 angle 1/3) (cbrt.f64 1/180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	35.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 PI.f64 PI.f64) PI.f64) (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 -1 (.f64 (pow.f64 (cbrt.f64 -1/180) 3) (.f64 angle PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 angle (.f64 PI.f64 (pow.f64 (cbrt.f64 1/180) 3))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (/.f64 angle 180))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (pow.f64 (/.f64 angle 180) 1/3) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	28.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (cbrt.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (cbrt.f64 PI.f64) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1/180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
▶	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))

Compiler

Compiled 6906 to 5293 computations (23.4% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (/.f64 angle 180))
	0.6b	(cbrt.f64 (/.f64 angle 180))
	27.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
✓	28.3b	(cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))

rewrite7.0ms (0%)

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:

6.0ms

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

series13.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

13.0ms

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

simplify94.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

743×	`cancel-sign-sub-inv_binary64`
642×	`fma-def_binary64`
549×	`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	70	797
1	170	689
2	440	681
3	1751	679
4	4292	679
5	4999	679
6	4922	679

prune665.0ms (4.6%)

Pruning

43 alts after pruning (43 fresh and 0 done)

	Pruned	Kept	Total
New	419	6	425
Fresh	1	37	38
Picked	1	0	1
Done	0	0	0
Total	421	43	464

Error

22.1b

Counts

464 → 43

Alt Table

Status	Error	Program
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 angle 2/3) (sqrt.f64 180))) (cbrt.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (pow.f64 angle 1/3) (cbrt.f64 1/180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	35.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 PI.f64 PI.f64) PI.f64) (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 -1 (.f64 (pow.f64 (cbrt.f64 -1/180) 3) (.f64 angle PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1/180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 angle (.f64 PI.f64 (pow.f64 (cbrt.f64 1/180) 3))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (pow.f64 angle 1/3) (cbrt.f64 1/180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (/.f64 angle 180))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
▶	23.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (pow.f64 (/.f64 angle 180) 1/3) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (cbrt.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (cbrt.f64 PI.f64) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1/180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	28.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (expm1.f64 (log1p.f64 (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))

Compiler

Compiled 8872 to 6921 computations (22% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (/.f64 angle 180))
	0.6b	(cbrt.f64 (/.f64 angle 180))
	27.8b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
	28.3b	(cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune718.0ms (5%)

Pruning

43 alts after pruning (43 fresh and 0 done)

	Pruned	Kept	Total
New	1477	6	1483
Fresh	5	37	42
Picked	1	0	1
Done	0	0	0
Total	1483	43	1526

Error

22.1b

Counts

1526 → 43

Alt Table

Status	Error	Program
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 angle 2/3) (sqrt.f64 180))) (cbrt.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (pow.f64 angle 1/3) (cbrt.f64 1/180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	35.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 PI.f64 PI.f64) PI.f64) (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 PI.f64 1/180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 -1 (.f64 (pow.f64 (cbrt.f64 -1/180) 3) (.f64 angle PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 angle (.f64 PI.f64 (pow.f64 (cbrt.f64 1/180) 3))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (pow.f64 angle 1/3) (cbrt.f64 1/180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (/.f64 angle 180))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (pow.f64 (/.f64 angle 180) 1/3) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	28.1b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (expm1.f64 (log1p.f64 (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1/180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))))))) 3))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (/.f64 (cbrt.f64 angle) 180))))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180))))))))) (cbrt.f64 (cos.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))))))))) (cbrt.f64 (cos.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180))))))))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 PI.f64) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (cbrt.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (cbrt.f64 PI.f64) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1/180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	28.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (expm1.f64 (log1p.f64 (cbrt.f64 (/.f64 angle 180)))))) (cbrt.f64 (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))

Compiler

Compiled 7495 to 5881 computations (21.5% saved)

regimes1.2s (8.4%)

Accuracy

Total 1.4b remaining (6.6%)

Threshold costs 0b (0%)

Compiler

Compiled 31696 to 25427 computations (19.8% 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	29	182
1	38	182
2	38	182

end2.0ms (0%)

Compiler: Compiled 112 to 91 computations (18.8% saved)

sample7.9s (54.5%)

Algorithm

1×

intervals

Results

1.9s	1606×	body	1024	valid
1.6s	1385×	body	1024	invalid
825.0ms	4983×	body	128	valid
639.0ms	829×	body	512	valid
563.0ms	706×	body	512	invalid
325.0ms	186×	body	2048	valid
175.0ms	373×	body	256	invalid
172.0ms	391×	body	256	valid
106.0ms	643×	body	128	invalid
28.0ms	5×	body	4096	valid

Compiler

Compiled 1801 to 1432 computations (20.5% saved)

Details

analyze2.3s (15.6%)

sample224.0ms (1.5%)

simplify148.0ms (1%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite9.0ms (0.1%)

series17.0ms (0.1%)

simplify90.0ms (0.6%)

prune256.0ms (1.8%)

localize17.0ms (0.1%)

rewrite6.0ms (0%)

series239.0ms (1.7%)

simplify74.0ms (0.5%)

prune437.0ms (3%)

localize22.0ms (0.2%)

rewrite7.0ms (0%)

series13.0ms (0.1%)

simplify94.0ms (0.6%)

prune665.0ms (4.6%)

localize26.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify29.0ms (0.2%)

prune718.0ms (5%)

regimes1.2s (8.4%)

simplify5.0ms (0%)

end2.0ms (0%)

sample7.9s (54.5%)

Profiling