Details

analyze2.1s (14.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
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)

sample7.8s (54.6%)

Results

2.2s	1672×	body	1024	valid
1.9s	1405×	body	1024	invalid
1.2s	5148×	body	128	valid
731.0ms	814×	body	512	valid
600.0ms	664×	body	512	invalid
429.0ms	204×	body	2048	valid
210.0ms	412×	body	256	valid
209.0ms	373×	body	256	invalid
167.0ms	696×	body	128	invalid
34.0ms	6×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify130.0ms (0.9%)

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

19.1b

Counts

2 → 1

Alt Table

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

series31.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

22.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
4.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
3.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
3.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 72

Calls

4 calls:

5.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
3.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
1.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
1.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

600×	`fma-neg_binary64`
587×	`times-frac_binary64`
402×	`*-commutative_binary64`
321×	`fma-def_binary64`
249×	`cancel-sign-sub-inv_binary64`

Counts

132 → 110

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	196	2107
1	448	2003
2	1447	1981
3	3580	1967
4	4922	1967
5	4939	1967

prune355.0ms (2.5%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	126	26	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	26	153

Error

17.9b

Counts

153 → 26

Alt Table

Status	Error	Program
	19.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.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) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.8b	(+.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)) (log.f64 (/.f64 angle 180)))))) 2))
	34.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	19.1b	(+.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))
▶	18.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.1b	(+.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))
	19.3b	(+.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 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.1b	(+.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))
	19.4b	(+.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))
	19.1b	(+.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))
	19.1b	(+.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))
	54.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (exp.f64 (.f64 (+.f64 (log.f64 b) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2)))
	19.4b	(+.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))
	19.4b	(+.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 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	26.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	32.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	37.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.1b	(+.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))
	42.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	19.5b	(+.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))
	42.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 5896 to 4297 computations (27.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	0.3b	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
	24.3b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series14.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

14.0ms

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

3.0ms

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

simplify63.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

911×	`distribute-rgt-neg-in_binary64`
646×	`fma-neg_binary64`
509×	`associate-l_binary64`
452×	`associate-r_binary64`
412×	`distribute-lft-neg-in_binary64`

Counts

44 → 31

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	72	785
1	178	727
2	569	722
3	2006	713
4	3858	712
5	5218	712

prune382.0ms (2.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	110	13	123
Fresh	12	13	25
Picked	1	0	1
Done	0	0	0
Total	123	26	149

Error

17.8b

Counts

149 → 26

Alt Table

Status	Error	Program
	28.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	32.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.1b	(+.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))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.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) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	34.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	19.5b	(+.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))
	37.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 b (.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))
	19.1b	(+.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))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 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))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.1b	(+.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))
	19.1b	(+.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))
	25.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) b))) 2))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	54.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (exp.f64 (+.f64 (log.f64 b) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	42.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))))) 2))
	19.1b	(+.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))
▶	18.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))

Compiler

Compiled 4435 to 3338 computations (24.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series30.0ms (0.2%)

Counts

4 → 28

Calls

4 calls:

22.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2)
3.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
3.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
2.0ms	(*.f64 angle (PI.f64))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64`
14×	`pow1_binary64`
11×	`add-cbrt-cube_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`

Counts

4 → 69

Calls

4 calls:

4.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
3.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2)
3.0ms	(*.f64 angle (PI.f64))
1.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

simplify81.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

686×	`fma-neg_binary64`
565×	`cancel-sign-sub-inv_binary64`
420×	`*-commutative_binary64`
417×	`distribute-rgt-neg-in_binary64`
395×	`distribute-lft-neg-in_binary64`

Counts

97 → 89

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	1583
1	338	1420
2	1095	1396
3	2556	1385
4	4649	1385
5	4959	1385

prune254.0ms (1.8%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	81	8	89
Fresh	3	22	25
Picked	1	0	1
Done	0	0	0
Total	85	30	115

Error

17.8b

Counts

115 → 30

Alt Table

Status	Error	Program
	28.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	32.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.1b	(+.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))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.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) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	34.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	19.5b	(+.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))
	37.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	19.1b	(+.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))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 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))
▶	19.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	19.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (.f64 angle (PI.f64)))))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (PI.f64)))))) 2))
	19.1b	(+.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))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (.f64 (cbrt.f64 (.f64 angle (PI.f64))) (cbrt.f64 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 angle (PI.f64))))))) 2))
	19.1b	(+.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))
	19.1b	(+.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))
	25.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) b))) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (expm1.f64 (log1p.f64 (.f64 angle (PI.f64))))))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 3807 to 2808 computations (26.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series74.0ms (0.5%)

Counts

4 → 60

Calls

4 calls:

51.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))) 2)
11.0ms	(.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64))))
6.0ms	(.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))
6.0ms	(sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-exp-log_binary64`
21×	`pow1_binary64`
18×	`add-cbrt-cube_binary64`
12×	`associate-l_binary64`
10×	`prod-exp_binary64`

Counts

4 → 78

Calls

4 calls:

8.0ms	(.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64))))
5.0ms	(.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))
4.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))) 2)
2.0ms	(sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))

simplify102.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

498×	`fma-neg_binary64`
379×	`cancel-sign-sub-inv_binary64`
317×	`fma-def_binary64`
311×	`associate-r_binary64`
238×	`associate-l_binary64`

Counts

138 → 134

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	179	2201
1	442	1964
2	1504	1941
3	3299	1927
4	4922	1927
5	4937	1927

prune494.0ms (3.4%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	127	7	134
Fresh	1	28	29
Picked	1	0	1
Done	0	0	0
Total	129	35	164

Error

17.7b

Counts

164 → 35

Alt Table

Status	Error	Program
	19.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (.f64 (cbrt.f64 (.f64 angle (.f64 (PI.f64) (sqrt.f64 1/180)))) (cbrt.f64 (.f64 angle (.f64 (PI.f64) (sqrt.f64 1/180))))) (cbrt.f64 (.f64 angle (*.f64 (PI.f64) (sqrt.f64 1/180)))))))) 2))
	32.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.1b	(+.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))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.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) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	34.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	28.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180))) 2)))
	30.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))) 2)) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))))
	19.5b	(+.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))
	37.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	37.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (.f64 (log.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64))))))) 2)))
	42.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.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 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))))) 2))
	19.1b	(+.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))
	42.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 1/180)) (log.f64 (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))))) 2))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 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))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (.f64 angle (PI.f64)))))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (PI.f64)))))) 2))
	19.1b	(+.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))
	19.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (.f64 (cbrt.f64 (.f64 angle (PI.f64))) (cbrt.f64 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 angle (PI.f64))))))) 2))
	19.1b	(+.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))
	19.1b	(+.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))
	25.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) b))) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	23.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (expm1.f64 (log1p.f64 (.f64 angle (PI.f64))))))) 2))
	19.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))))
	19.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))) (cbrt.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))))) 2))
	19.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))))) 2))

Compiler

Compiled 4661 to 3620 computations (22.3% saved)

regimes1.6s (10.9%)

Accuracy

Total 1.4b remaining (6.7%)

Threshold costs 0b (0%)

Counts

187 → 1

Compiler

Compiled 34481 to 27808 computations (19.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	25	26
2	24	26

end653.0ms (4.6%)

Compiler: Compiled 1097 to 874 computations (20.3% saved)

Details

analyze2.1s (14.4%)

sample7.8s (54.6%)

simplify130.0ms (0.9%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series31.0ms (0.2%)

rewrite13.0ms (0.1%)

simplify104.0ms (0.7%)

prune355.0ms (2.5%)

localize11.0ms (0.1%)

series14.0ms (0.1%)

rewrite4.0ms (0%)

simplify63.0ms (0.4%)

prune382.0ms (2.7%)

localize12.0ms (0.1%)

series30.0ms (0.2%)

rewrite14.0ms (0.1%)

simplify81.0ms (0.6%)

prune254.0ms (1.8%)

localize14.0ms (0.1%)

series74.0ms (0.5%)

rewrite23.0ms (0.2%)

simplify102.0ms (0.7%)

prune494.0ms (3.4%)

regimes1.6s (10.9%)

simplify2.0ms (0%)

end653.0ms (4.6%)

Profiling