Details

analyze2.1s (13.4%)

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)

sample8.1s (52.4%)

Results

2.4s	1672×	body	1024	valid
1.9s	1400×	body	1024	invalid
1.3s	5085×	body	128	valid
805.0ms	852×	body	512	valid
559.0ms	633×	body	512	invalid
422.0ms	207×	body	2048	valid
223.0ms	437×	body	256	valid
197.0ms	354×	body	256	invalid
139.0ms	610×	body	128	invalid
18.0ms	3×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify129.0ms (0.8%)

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

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

21.4b

Counts

2 → 1

Alt Table

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

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
✓	0.4b	(*.f64 (/.f64 angle 180) (PI.f64))
✓	26.5b	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	26.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series29.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

21.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
3.0ms	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
3.0ms	(*.f64 (/.f64 angle 180) (PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

rewrite59.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

557×	`log-prod_binary64`
298×	`prod-diff_binary64`
213×	`expm1-udef_binary64`
213×	`log1p-udef_binary64`
189×	`log-pow_binary64`

Counts

4 → 100

Calls

4 calls:

57.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
57.0ms	(*.f64 (/.f64 angle 180) (PI.f64))
57.0ms	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
57.0ms	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	252	44
2	2760	44
3	5062	44
0	0	0
1	0	0

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

633×	`fma-neg_binary64`
472×	`sub-neg_binary64`
422×	`distribute-rgt-neg-in_binary64`
411×	`distribute-lft-neg-in_binary64`
329×	`*-commutative_binary64`

Counts

160 → 126

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	1058
1	248	1050
2	865	1028
3	2218	1012
4	4369	1012
5	4974	1012
6	4945	1012

prune377.0ms (2.4%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	116	36	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	117	36	153

Error

20.1b

Counts

153 → 36

Alt Table

Status	Error	Program
	41.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3) 1/3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) 2))
	36.4b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3) 1/3))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 1)) 2))
	28.0b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a)) 2) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 4))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2))
	22.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
	32.2b	(+.f64 (pow.f64 (.f64 a (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))))) (log.f64 (cbrt.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))
	22.4b	(+.f64 (.f64 a (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2))
	24.3b	(+.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 a (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	38.7b	(+.f64 (-.f64 (+.f64 (.f64 1/765275040000000 (.f64 (pow.f64 angle 6) (.f64 (pow.f64 (PI.f64) 6) (pow.f64 a 2)))) (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 (PI.f64) 2) (pow.f64 a 2))))) (+.f64 (.f64 1/3149280000 (.f64 (pow.f64 angle 4) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 4)))) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (.f64 (pow.f64 (PI.f64) 8) (pow.f64 a 2)))))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	37.2b	(+.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	36.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 1))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	30.2b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	32.2b	(+.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))
	21.4b	(+.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))
	25.5b	(+.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))
▶	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	38.5b	(+.f64 (exp.f64 (.f64 2 (log.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.6b	(+.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 (/.f64 angle 180) (PI.f64)))))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	21.4b	(+.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))
	22.0b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 angle 180) 3) (pow.f64 (PI.f64) 3))))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	30.6b	(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2) 3)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	35.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	28.0b	(+.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 4)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 3)) 2))
	21.5b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 6475 to 4911 computations (24.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))
	0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
	0.4b	(*.f64 (/.f64 angle 180) (PI.f64))
	26.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series14.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

14.0ms

(*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))

rewrite43.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

832×	`log1p-expm1-u_binary64`
832×	`expm1-log1p-u_binary64`
298×	`prod-diff_binary64`
94×	`add-sqr-sqrt_binary64`
87×	`add-log-exp_binary64`

Counts

1 → 16

Calls

1 calls:

41.0ms

(*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	187	13
2	2195	13
3	5617	13
0	0	0
1	0	0

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

985×	`distribute-rgt-neg-in_binary64`
664×	`fma-neg_binary64`
428×	`distribute-lft-neg-in_binary64`
344×	`associate-l_binary64`
329×	`associate-r_binary64`

Counts

40 → 25

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	412
1	121	408
2	391	404
3	1664	392
4	3622	392
5	5005	392

prune419.0ms (2.7%)

Pruning

37 alts after pruning (37 fresh and 0 done)

	Pruned	Kept	Total
New	99	21	120
Fresh	19	16	35
Picked	1	0	1
Done	0	0	0
Total	119	37	156

Error

20.1b

Counts

156 → 37

Alt Table

Status	Error	Program
	41.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3) 1/3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 1))) 2) (pow.f64 (*.f64 b 1) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b 1) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3) 1/3))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 1)) 2))
	31.3b	(+.f64 (pow.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 1) 2) (pow.f64 (*.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2))
	22.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
▶	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	27.9b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	25.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2))
	37.1b	(+.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (pow.f64 (.f64 b 1) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	21.4b	(+.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))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2) (pow.f64 (*.f64 b 1) 2))
	25.6b	(+.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 (/.f64 angle 180) (PI.f64)))))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	24.0b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (.f64 b 1) 2))
	25.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	27.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 angle 180) 3) (pow.f64 (PI.f64) 3))))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	42.1b	(+.f64 (pow.f64 (log.f64 (pow.f64 (exp.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	35.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.6b	(+.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 4)) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 3)) 2))
	29.9b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	30.5b	(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2) 3)) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	36.5b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	21.6b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (pow.f64 (*.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))))) 2) (pow.f64 (.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 3) 2) (pow.f64 (*.f64 b 1) 2))
	31.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	27.7b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 4)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a)) 2)) (pow.f64 (.f64 b 1) 2))
	22.0b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) a) (pow.f64 (.f64 b 1) 2))

Compiler

Compiled 4813 to 3781 computations (21.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 180 (*.f64 angle (PI.f64)))
✓	0.3b	(/.f64 1 (/.f64 180 (*.f64 angle (PI.f64))))
✓	0.3b	(pow.f64 (.f64 a (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2)
✓	26.7b	(sin.f64 (/.f64 1 (/.f64 180 (*.f64 angle (PI.f64)))))

series35.0ms (0.2%)

Counts

4 → 48

Calls

4 calls:

20.0ms	(pow.f64 (.f64 a (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2)
7.0ms	(/.f64 180 (*.f64 angle (PI.f64)))
5.0ms	(sin.f64 (/.f64 1 (/.f64 180 (*.f64 angle (PI.f64)))))
3.0ms	(/.f64 1 (/.f64 180 (*.f64 angle (PI.f64))))

rewrite66.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

584×	`log-prod_binary64`
298×	`prod-diff_binary64`
219×	`expm1-udef_binary64`
219×	`log1p-udef_binary64`
196×	`log-pow_binary64`

Counts

4 → 114

Calls

4 calls:

64.0ms	(/.f64 180 (*.f64 angle (PI.f64)))
64.0ms	(/.f64 1 (/.f64 180 (*.f64 angle (PI.f64))))
64.0ms	(pow.f64 (.f64 a (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2)
64.0ms	(sin.f64 (/.f64 1 (/.f64 180 (*.f64 angle (PI.f64)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	274	42
2	2959	42
3	5337	42
0	0	0
1	0	0

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

956×	`fma-neg_binary64`
849×	`associate-l_binary64`
607×	`distribute-rgt-neg-in_binary64`
605×	`distribute-lft-neg-in_binary64`
271×	`*-commutative_binary64`

Counts

162 → 131

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	884
1	203	876
2	720	858
3	2763	850
4	4951	850
5	5030	850

prune463.0ms (3%)

Pruning

42 alts after pruning (42 fresh and 0 done)

	Pruned	Kept	Total
New	117	14	131
Fresh	8	28	36
Picked	1	0	1
Done	0	0	0
Total	126	42	168

Error

19.9b

Counts

168 → 42

Alt Table

Status	Error	Program
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) (pow.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) 2)))) 2) (pow.f64 (*.f64 b 1) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b 1) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3) 1/3))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 1)) 2))
	31.3b	(+.f64 (pow.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 1) 2) (pow.f64 (*.f64 b 1) 2))
	39.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (exp.f64 (log.f64 (/.f64 180 (.f64 angle (PI.f64)))))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a))) (pow.f64 (*.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (pow.f64 (sqrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 2)))) 2) (pow.f64 (*.f64 b 1) 2))
	22.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 3)))) 2) (pow.f64 (*.f64 b 1) 2))
	25.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2))
	37.1b	(+.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (pow.f64 (.f64 b 1) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (.f64 (/.f64 180 angle) (/.f64 1 (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	27.7b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) 2) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a) 4))) (pow.f64 (.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 2))))) 2) (pow.f64 (*.f64 b 1) 2))
	27.7b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 4)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a)) 2)) (pow.f64 (.f64 b 1) 2))
	21.4b	(+.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))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2) (pow.f64 (*.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	22.0b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) a) (pow.f64 (.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 1/180 (pow.f64 (cbrt.f64 (.f64 angle (PI.f64))) 2)) (cbrt.f64 (.f64 angle (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	25.6b	(+.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 (/.f64 angle 180) (PI.f64)))))) 2))
	24.0b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (.f64 b 1) 2))
	25.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 1/180 (PI.f64)) angle))) 2) (pow.f64 (.f64 b 1) 2))
	27.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 angle 180) 3) (pow.f64 (PI.f64) 3))))) 2))
	42.1b	(+.f64 (pow.f64 (log.f64 (pow.f64 (exp.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	35.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
▶	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))) 2) (pow.f64 (.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 3)) 2))
	30.5b	(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2) 3)) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 2) -1) (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) -1)))) 2) (pow.f64 (*.f64 b 1) 2))
	36.5b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	21.6b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (pow.f64 (*.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 3) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) 2) (.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a))) (pow.f64 (*.f64 b 1) 2))

Compiler

Compiled 5378 to 4086 computations (24% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 a (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64))))
✓	0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64)))) 2)
✓	0.4b	(.f64 (.f64 1/180 angle) (PI.f64))
✓	26.9b	(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))

series41.0ms (0.3%)

Counts

4 → 72

Calls

4 calls:

20.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64)))) 2)
13.0ms	(.f64 a (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64))))
5.0ms	(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
3.0ms	(.f64 (.f64 1/180 angle) (PI.f64))

rewrite54.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

907×	`log1p-expm1-u_binary64`
907×	`expm1-log1p-u_binary64`
361×	`prod-diff_binary64`
107×	`add-sqr-sqrt_binary64`
101×	`add-cube-cbrt_binary64`

Counts

4 → 78

Calls

4 calls:

53.0ms	(.f64 a (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64))))
53.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64)))) 2)
53.0ms	(.f64 (.f64 1/180 angle) (PI.f64))
53.0ms	(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	47
1	225	47
2	2393	47
3	6120	47
0	0	0
1	0	0

simplify74.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

804×	`fma-neg_binary64`
464×	`distribute-rgt-neg-in_binary64`
452×	`distribute-lft-neg-in_binary64`
425×	`fma-def_binary64`
411×	`*-commutative_binary64`

Counts

150 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	1296
1	268	1284
2	959	1254
3	2538	1230
4	4974	1230
5	4952	1230

prune388.0ms (2.5%)

Pruning

42 alts after pruning (42 fresh and 0 done)

	Pruned	Kept	Total
New	100	5	105
Fresh	4	37	41
Picked	1	0	1
Done	0	0	0
Total	105	42	147

Error

19.9b

Counts

147 → 42

Alt Table

Status	Error	Program
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) (pow.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) 2)))) 2) (pow.f64 (*.f64 b 1) 2))
	27.1b	(+.f64 (pow.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) a))) 2) (pow.f64 (.f64 b 1) 2))
	36.0b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b 1) 2))
	33.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3) 1/3))) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 1)) 2))
	21.6b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) a) 2))) (pow.f64 (.f64 b 1) 2))
	39.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (exp.f64 (log.f64 (/.f64 180 (.f64 angle (PI.f64)))))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a))) (pow.f64 (*.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (pow.f64 (sqrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 2)))) 2) (pow.f64 (*.f64 b 1) 2))
	27.6b	(+.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) a) 4)) (pow.f64 (.f64 b 1) 2))
	22.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 3)))) 2) (pow.f64 (*.f64 b 1) 2))
	25.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (sin.f64 1)))) 2))
	37.1b	(+.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2))))) (pow.f64 (.f64 b 1) 2))
	27.7b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) a)) 2) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) a) 4))) (pow.f64 (.f64 b 1) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (.f64 (/.f64 180 angle) (/.f64 1 (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.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))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2) (pow.f64 (*.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	22.0b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) a) (pow.f64 (.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 1/180 (pow.f64 (cbrt.f64 (.f64 angle (PI.f64))) 2)) (cbrt.f64 (.f64 angle (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	25.6b	(+.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 (/.f64 angle 180) (PI.f64)))))) 2))
	24.0b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (pow.f64 (.f64 b 1) 2))
	25.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 1/180 (PI.f64)) angle))) 2) (pow.f64 (.f64 b 1) 2))
	27.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 angle 180) 3) (pow.f64 (PI.f64) 3))))) 2))
	42.1b	(+.f64 (pow.f64 (log.f64 (pow.f64 (exp.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	31.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (pow.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 3)) 2))
	30.5b	(+.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) a) 2) 3)) (pow.f64 (*.f64 b 1) 2))
	21.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) 3))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 2) -1) (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) -1)))) 2) (pow.f64 (*.f64 b 1) 2))
	36.5b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 3) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) 2) (.f64 (cbrt.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a)) (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) a))) (pow.f64 (*.f64 b 1) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) (pow.f64 (cbrt.f64 (/.f64 180 (.f64 angle (PI.f64)))) 2))))) 2) (pow.f64 (*.f64 b 1) 2))
	35.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 angle 180) (PI.f64)) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 3570 to 2770 computations (22.4% saved)

regimes2.2s (14%)

Accuracy

Total 1.4b remaining (6.6%)

Threshold costs 0b (0%)

Counts

174 → 1

Compiler

Compiled 33969 to 27654 computations (18.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	25
1	23	25
2	22	25

end702.0ms (4.5%)

Compiler: Compiled 1187 to 971 computations (18.2% saved)

Details

analyze2.1s (13.4%)

sample8.1s (52.4%)

simplify129.0ms (0.8%)

prune2.0ms (0%)

localize13.0ms (0.1%)

series29.0ms (0.2%)

rewrite59.0ms (0.4%)

simplify84.0ms (0.5%)

prune377.0ms (2.4%)

localize10.0ms (0.1%)

series14.0ms (0.1%)

rewrite43.0ms (0.3%)

simplify46.0ms (0.3%)

prune419.0ms (2.7%)

localize11.0ms (0.1%)

series35.0ms (0.2%)

rewrite66.0ms (0.4%)

simplify66.0ms (0.4%)

prune463.0ms (3%)

localize10.0ms (0.1%)

series41.0ms (0.3%)

rewrite54.0ms (0.4%)

simplify74.0ms (0.5%)

prune388.0ms (2.5%)

regimes2.2s (14%)

simplify3.0ms (0%)

end702.0ms (4.5%)

Profiling