Details

analyze2.1s (15.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
31.2%	56.2%	12.6%	10
35.9%	51.5%	12.6%	11
44.9%	42.5%	12.6%	12
45.8%	41.5%	12.6%	13
48.8%	38%	13.2%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample7.1s (52.6%)

Results

2.1s	1664×	body	1024	valid
1.7s	1338×	body	1024	invalid
1.1s	5178×	body	128	valid
708.0ms	837×	body	512	valid
588.0ms	685×	body	512	invalid
364.0ms	190×	body	2048	valid
189.0ms	343×	body	256	invalid
184.0ms	386×	body	256	valid
133.0ms	601×	body	128	invalid
5.0ms	1×	body	4096	valid

Compiler

Compiled 50 to 40 computations (20% saved)

preprocess68.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

717×	`sqr-pow_binary64`
400×	`cube-prod_binary64`
336×	`unswap-sqr_binary64`
336×	`fabs-mul_binary64`
209×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	136
1	86	136
2	222	136
3	484	136
4	930	136
5	1297	136
6	1957	136
7	2270	136
8	2601	136
9	3083	136
10	3770	136
11	4709	136
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 24 to 19 computations (20.8% saved)

simplify49.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

696×	`sqr-pow_binary64`
484×	`unswap-sqr_binary64`
389×	`fabs-mul_binary64`
362×	`cube-prod_binary64`
264×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	30	34
2	71	34
3	139	34
4	258	34
5	644	34
6	1016	34
7	1839	34
8	2056	34
9	2294	34
10	2604	34
11	3054	34
12	3648	34
13	4357	34

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

22.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	22.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
▶	22.2b	(+.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))

Status

Error

Program

22.3b

(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2))

▶

22.2b

(+.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 141 to 110 computations (22% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series29.0ms (0.2%)

Counts

4 → 60

Calls

15 calls:

5.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)	a	-inf
4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)	angle	0
4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)	a	0
3.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)	a	inf
2.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)	angle	inf

rewrite56.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	252	44
2	2927	44

Stop Event

1×	node limit

Counts

4 → 96

simplify50.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

633×	`fma-neg_binary64`
422×	`distribute-rgt-neg-in_binary64`
411×	`distribute-lft-neg-in_binary64`
308×	`fma-def_binary64`
297×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	1058
1	276	1050
2	946	1028
3	2836	1012

Stop Event

1×	node limit

Counts

156 → 125

prune380.0ms (2.8%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	121	29	150
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	123	29	152

Error

20.9b

Counts

152 → 29

Alt Table

Status	Error	Program
	23.8b	(+.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) (.f64 a (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
▶	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	25.6b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64)))))) 1)) 2))
	22.5b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	23.2b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))) 2))
	33.7b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	26.7b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2))
	26.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	28.2b	(+.f64 (.f64 (pow.f64 (PI.f64) 2) (.f64 1/32400 (.f64 (.f64 angle a) (.f64 angle a)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.3b	(+.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))
	33.5b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.8b	(+.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 1/180) 3) (pow.f64 (PI.f64) 3))))) 2))
	22.1b	(+.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))
	29.3b	(+.f64 (pow.f64 (.f64 a (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	24.8b	(+.f64 (.f64 a (.f64 a (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))
	31.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.4b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	42.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (sqrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 2))) 2))
	39.9b	(+.f64 (.f64 (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a)) (.f64 (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a)) (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	26.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 1))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64))))) 3)) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))))))) 2))
	27.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 angle (*.f64 1/180 (PI.f64))) 3)))) 2))
	42.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (sqrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.3b	(+.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 angle (*.f64 1/180 (PI.f64)))) 3))) 2))

Compiler

Compiled 5934 to 4471 computations (24.7% 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.2b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
	0.3b	(*.f64 (/.f64 angle 180) (PI.f64))
	26.4b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series14.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

4.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))	a	inf
3.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))	a	-inf
3.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))	a	0
2.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))	angle	0
1.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))	angle	inf

rewrite36.0ms (0.3%)

Algorithm

1×	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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	187	13
2	2273	13

Stop Event

1×	node limit

Counts

1 → 15

simplify41.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

664×	`fma-neg_binary64`
435×	`distribute-rgt-neg-in_binary64`
424×	`distribute-lft-neg-in_binary64`
341×	`associate-l_binary64`
326×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	412
1	147	408
2	440	404
3	2178	392
4	4333	392

Stop Event

1×	node limit

Counts

39 → 24

prune358.0ms (2.6%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	104	14	118
Fresh	12	16	28
Picked	1	0	1
Done	0	0	0
Total	117	30	147

Error

20.7b

Counts

147 → 30

Alt Table

Status	Error	Program
	22.0b	(+.f64 (pow.f64 (.f64 a (pow.f64 (cbrt.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3)) 2) (pow.f64 (.f64 b 1) 2))
	22.0b	(+.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) 3) 2) (pow.f64 (.f64 b 1) 2))
	25.6b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64)))))) 1)) 2))
	24.4b	(+.f64 (.f64 a (.f64 a (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	26.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) 2) (pow.f64 (.f64 b 1) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))))))) 2))
	34.9b	(+.f64 (.f64 (.f64 a a) (fma.f64 (pow.f64 (PI.f64) 2) (.f64 angle (.f64 angle 1/32400)) (.f64 (pow.f64 (PI.f64) 4) (.f64 (pow.f64 angle 4) -1/3149280000)))) (pow.f64 (*.f64 b 1) 2))
▶	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2) (pow.f64 (.f64 b 1) 2))
	28.2b	(+.f64 (.f64 (pow.f64 (PI.f64) 2) (.f64 1/32400 (.f64 (.f64 angle a) (.f64 angle a)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.0b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	33.5b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.8b	(+.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 1/180) 3) (pow.f64 (PI.f64) 3))))) 2))
	22.1b	(+.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))
	39.6b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b 1) 2))
	33.5b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b 1) 2))
	23.3b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) a) (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))) (pow.f64 (.f64 b 1) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) 2) (pow.f64 (.f64 b 1) 2))
	26.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 1))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64))))) 3)) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2))
	21.9b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b 1) 2))
	42.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (sqrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2))) 2) (pow.f64 (.f64 b 1) 2))
	22.3b	(+.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 angle (*.f64 1/180 (PI.f64)))) 3))) 2))
	23.2b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))) 2))
	26.7b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2))
	31.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 angle (*.f64 1/180 (PI.f64))) 3)))) 2))
	42.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (sqrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 2))) 2))

Compiler

Compiled 4442 to 3461 computations (22.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series39.0ms (0.3%)

Counts

4 → 72

Calls

18 calls:

4.0ms	(pow.f64 (*.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2)	angle	0
4.0ms	(pow.f64 (*.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2)	a	-inf
3.0ms	(pow.f64 (*.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2)	angle	-inf
3.0ms	(pow.f64 (*.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2)	a	0
3.0ms	(pow.f64 (*.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2)	a	inf

rewrite51.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

756×	`prod-diff_binary64`
202×	`expm1-udef_binary64`
202×	`log1p-udef_binary64`
115×	`add-sqr-sqrt_binary64`
111×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	47
1	238	47
2	2939	47

Stop Event

1×	node limit

Counts

4 → 102

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

804×	`fma-neg_binary64`
462×	`distribute-rgt-neg-in_binary64`
452×	`distribute-lft-neg-in_binary64`
382×	`*-commutative_binary64`
372×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	1296
1	318	1284
2	1075	1254
3	3220	1244

Stop Event

1×	node limit

Counts

174 → 132

prune432.0ms (3.2%)

Pruning

35 alts after pruning (34 fresh and 1 done)

	Pruned	Kept	Total
New	123	9	132
Fresh	4	25	29
Picked	0	1	1
Done	0	0	0
Total	127	35	162

Error

20.5b

Counts

162 → 35

Alt Table

Status	Error	Program
	22.0b	(+.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) 3) 2) (pow.f64 (.f64 b 1) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 180) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 1 angle))))) 2) (pow.f64 (*.f64 b 1) 2))
	25.6b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64)))))) 1)) 2))
	28.1b	(+.f64 (pow.f64 (.f64 (PI.f64) (.f64 1/180 (.f64 angle a))) 2) (pow.f64 (.f64 b 1) 2))
	24.4b	(+.f64 (.f64 a (.f64 a (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	26.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) 2) (pow.f64 (.f64 b 1) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))))))) 2))
	26.7b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (.f64 (cbrt.f64 (PI.f64)) (.f64 angle 1/180))))) 2) (pow.f64 (*.f64 b 1) 2))
	34.9b	(+.f64 (.f64 (.f64 a a) (fma.f64 (pow.f64 (PI.f64) 2) (.f64 angle (.f64 angle 1/32400)) (.f64 (pow.f64 (PI.f64) 4) (.f64 (pow.f64 angle 4) -1/3149280000)))) (pow.f64 (*.f64 b 1) 2))
✓	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 2) (pow.f64 (.f64 b 1) 2))
	28.2b	(+.f64 (.f64 (pow.f64 (PI.f64) 2) (.f64 1/32400 (.f64 (.f64 angle a) (.f64 angle a)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.8b	(+.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 1/180) 3) (pow.f64 (PI.f64) 3))))) 2))
	22.1b	(+.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))
	31.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	39.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3) 1/3))) 2) (pow.f64 (.f64 b 1) 2))
	28.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) 2) (pow.f64 (.f64 b 1) 2))
	27.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 angle (*.f64 1/180 (PI.f64))) 3)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 (PI.f64) 1/180) (pow.f64 (cbrt.f64 angle) 2)) (cbrt.f64 angle)))) 2) (pow.f64 (*.f64 b 1) 2))
	39.6b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b 1) 2))
	33.5b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b 1) 2))
	42.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (sqrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 2))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) 2) (pow.f64 (.f64 b 1) 2))
	23.3b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) a) (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))) (pow.f64 (.f64 b 1) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) 2) (pow.f64 (.f64 b 1) 2))
	26.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 1))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64))))) 3)) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2))
	21.9b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b 1) 2))
	22.3b	(+.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 angle (*.f64 1/180 (PI.f64)))) 3))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 (PI.f64)) 180) (/.f64 (sqrt.f64 (PI.f64)) (/.f64 1 angle))))) 2) (pow.f64 (*.f64 b 1) 2))
▶	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2) (pow.f64 (*.f64 b 1) 2))
	23.2b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))) 2))
	25.0b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b 1) 2))

Compiler

Compiled 4895 to 3802 computations (22.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series29.0ms (0.2%)

Counts

4 → 60

Calls

15 calls:

4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2)	angle	0
4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2)	a	-inf
4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2)	a	0
3.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2)	a	inf
3.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2)	angle	inf

rewrite50.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

313×	`prod-diff_binary64`
219×	`expm1-udef_binary64`
219×	`log1p-udef_binary64`
197×	`log-pow_binary64`
127×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	51
1	272	39
2	3192	39

Stop Event

1×	node limit

Counts

4 → 101

simplify42.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

848×	`associate-l_binary64`
807×	`fma-neg_binary64`
603×	`distribute-rgt-neg-in_binary64`
249×	`*-commutative_binary64`
248×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	944
1	230	936
2	793	918
3	3636	910

Stop Event

1×	node limit

Counts

161 → 119

prune436.0ms (3.2%)

Pruning

35 alts after pruning (34 fresh and 1 done)

	Pruned	Kept	Total
New	114	5	119
Fresh	4	29	33
Picked	0	1	1
Done	1	0	1
Total	119	35	154

Error

20.4b

Counts

154 → 35

Alt Table

Status	Error	Program
	25.6b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64)))))) 1)) 2))
	28.1b	(+.f64 (pow.f64 (.f64 (PI.f64) (.f64 1/180 (.f64 angle a))) 2) (pow.f64 (.f64 b 1) 2))
	26.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) 2) (pow.f64 (.f64 b 1) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))))))) 2))
	26.7b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (.f64 (cbrt.f64 (PI.f64)) (.f64 angle 1/180))))) 2) (pow.f64 (*.f64 b 1) 2))
	34.9b	(+.f64 (.f64 (.f64 a a) (fma.f64 (pow.f64 (PI.f64) 2) (.f64 angle (.f64 angle 1/32400)) (.f64 (pow.f64 (PI.f64) 4) (.f64 (pow.f64 angle 4) -1/3149280000)))) (pow.f64 (*.f64 b 1) 2))
	28.2b	(+.f64 (.f64 (pow.f64 (PI.f64) 2) (.f64 1/32400 (.f64 (.f64 angle a) (.f64 angle a)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.2b	(+.f64 (.f64 a (.f64 (sin.f64 (.f64 1/180 (.f64 (PI.f64) angle))) (.f64 (sin.f64 (.f64 1/180 (.f64 (PI.f64) angle))) a))) (pow.f64 (.f64 b 1) 2))
	27.8b	(+.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 1/180) 3) (pow.f64 (PI.f64) 3))))) 2))
	22.1b	(+.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))
	31.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 3)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	26.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (expm1.f64 (log1p.f64 (.f64 (PI.f64) angle)))))) 2) (pow.f64 (.f64 b 1) 2))
	39.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3) 1/3))) 2) (pow.f64 (.f64 b 1) 2))
	27.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 angle (*.f64 1/180 (PI.f64))) 3)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 (PI.f64) 1/180) (pow.f64 (cbrt.f64 angle) 2)) (cbrt.f64 angle)))) 2) (pow.f64 (*.f64 b 1) 2))
	39.6b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (sqrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b 1) 2))
	33.5b	(+.f64 (pow.f64 (.f64 a (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 angle (.f64 1/180 (PI.f64)))))) (sin.f64 1)))) 2) (pow.f64 (.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (pow.f64 (cbrt.f64 (.f64 (PI.f64) angle)) 3)))) 2) (pow.f64 (.f64 b 1) 2))
	42.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (pow.f64 (sqrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 2))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) 2) (pow.f64 (.f64 b 1) 2))
	23.3b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) a) (sin.f64 (.f64 angle (.f64 1/180 (PI.f64))))) (pow.f64 (.f64 b 1) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) 2) (pow.f64 (.f64 b 1) 2))
	26.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 1))) 2))
	22.2b	(+.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 angle (*.f64 1/180 (PI.f64))))) 3)) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 (.f64 (PI.f64) (pow.f64 (cbrt.f64 angle) 2)) (cbrt.f64 angle))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.9b	(+.f64 (.f64 (.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a)) 2)) (cbrt.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a))) (pow.f64 (.f64 b 1) 2))
	22.3b	(+.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 angle (*.f64 1/180 (PI.f64)))) 3))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 (PI.f64)) 180) (/.f64 (sqrt.f64 (PI.f64)) (/.f64 1 angle))))) 2) (pow.f64 (*.f64 b 1) 2))
✓	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (/.f64 (PI.f64) (/.f64 1 angle))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (.f64 (cbrt.f64 (PI.f64)) angle))))) 2) (pow.f64 (*.f64 b 1) 2))
	23.2b	(+.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 angle (.f64 1/180 (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))) 2))
	25.0b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) a) 2))) 1) (pow.f64 (.f64 b 1) 2))

Compiler

Compiled 3660 to 2716 computations (25.8% saved)

regimes1.5s (11%)

Accuracy

Total 1.5b remaining (7.4%)

Threshold costs 0b (0%)

Counts

202 → 1

Compiler

Compiled 30442 to 25008 computations (17.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	30
1	27	30

Stop Event

1×

saturated

end589.0ms (4.3%)

Stop Event

1×

fuel

Compiler

Compiled 1004 to 813 computations (19% saved)

Details

analyze2.1s (15.5%)

sample7.1s (52.6%)

preprocess68.0ms (0.5%)

simplify49.0ms (0.4%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series29.0ms (0.2%)

rewrite56.0ms (0.4%)

simplify50.0ms (0.4%)

prune380.0ms (2.8%)

localize10.0ms (0.1%)

series14.0ms (0.1%)

rewrite36.0ms (0.3%)

simplify41.0ms (0.3%)

prune358.0ms (2.6%)

localize10.0ms (0.1%)

series39.0ms (0.3%)

rewrite51.0ms (0.4%)

simplify48.0ms (0.4%)

prune432.0ms (3.2%)

localize11.0ms (0.1%)

series29.0ms (0.2%)

rewrite50.0ms (0.4%)

simplify42.0ms (0.3%)

prune436.0ms (3.2%)

regimes1.5s (11%)

simplify2.0ms (0%)

end589.0ms (4.3%)

Profiling