Details

analyze2.1s (13%)

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.6s (47.5%)

Results

2.1s	1565×	body	1024	valid
1.8s	1312×	body	1024	invalid
1.2s	5272×	body	128	valid
690.0ms	784×	body	512	valid
614.0ms	681×	body	512	invalid
375.0ms	192×	body	2048	valid
229.0ms	441×	body	256	valid
210.0ms	361×	body	256	invalid
153.0ms	642×	body	128	invalid
11.0ms	2×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify127.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	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.6b

Counts

2 → 1

Alt Table

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

series36.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

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

rewrite14.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)))

simplify98.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

600×	`fma-neg_binary64`
587×	`times-frac_binary64`
403×	`*-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

prune461.0ms (2.9%)

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

18.6b

Counts

153 → 36

Alt Table

Status	Error	Program
	19.7b	(+.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))
	34.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (fma.f64 (.f64 b b) (+.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) 1/765275040000000)) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (pow.f64 (PI.f64) 8)))))))
	26.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	19.6b	(+.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))
	27.4b	(+.f64 (pow.f64 (.f64 a (fma.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) -1/64800 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.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))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.8b	(+.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))
	20.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	26.6b	(+.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.6b	(+.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.5b	(+.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.6b	(+.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.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	24.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) (/.f64 angle 180)) (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.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.7b	(+.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.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	19.7b	(+.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))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (sqrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	37.8b	(+.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.8b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 6676 to 4904 computations (26.5% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 1/180 (.f64 angle (PI.f64)))
	0.4b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	24.0b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	24.3b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series6.0ms (0%)

Counts

2 → 4

Calls

2 calls:

3.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
3.0ms	(.f64 1/180 (.f64 angle (PI.f64)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

2 → 29

Calls

2 calls:

4.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
1.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

simplify51.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

732×	`fma-def_binary64`
727×	`distribute-rgt-neg-in_binary64`
545×	`associate-l_binary64`
436×	`fma-neg_binary64`
435×	`associate-r_binary64`

Counts

33 → 37

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	501
1	168	425
2	526	423
3	1833	423
4	3839	423
5	5167	423

prune470.0ms (2.9%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	91	6	97
Fresh	3	32	35
Picked	1	0	1
Done	0	0	0
Total	95	38	133

Error

18.5b

Counts

133 → 38

Alt Table

Status	Error	Program
	19.7b	(+.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))
	34.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (fma.f64 (.f64 b b) (+.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) 1/765275040000000)) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (pow.f64 (PI.f64) 8)))))))
	26.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	19.6b	(+.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))
	27.4b	(+.f64 (pow.f64 (.f64 a (fma.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) -1/64800 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.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))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	24.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	19.8b	(+.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))
	26.6b	(+.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.6b	(+.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.6b	(+.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.6b	(+.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.7b	(+.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 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.7b	(+.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.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	19.7b	(+.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))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 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))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (sqrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.3b	(+.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 1/180) (log.f64 (.f64 angle (PI.f64))))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	37.8b	(+.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.8b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 5202 to 3791 computations (27.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))
✓	1.0b	(sqrt.f64 (PI.f64))
	24.1b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.2b	(cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))

series9.0ms (0.1%)

Counts

3 → 24

Calls

3 calls:

5.0ms	(*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))
4.0ms	(cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))
0.0ms	(sqrt.f64 (PI.f64))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

8.0ms	(*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))
2.0ms	(cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))
1.0ms	(sqrt.f64 (PI.f64))

simplify96.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

698×	`times-frac_binary64`
540×	`cancel-sign-sub-inv_binary64`
528×	`fma-def_binary64`
411×	`associate-l_binary64`
379×	`associate-r_binary64`

Counts

87 → 90

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	125	1118
1	266	1057
2	771	1053
3	2288	1049
4	4652	1035
5	4946	1035
6	4966	1035

prune652.0ms (4.1%)

Pruning

43 alts after pruning (43 fresh and 0 done)

	Pruned	Kept	Total
New	115	10	125
Fresh	4	33	37
Picked	1	0	1
Done	0	0	0
Total	120	43	163

Error

18.5b

Counts

163 → 43

Alt Table

Status	Error	Program
	19.7b	(+.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.6b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (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))
	34.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (fma.f64 (.f64 b b) (+.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) 1/765275040000000)) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (pow.f64 (PI.f64) 8)))))))
	26.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 a (fma.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) -1/64800 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (sqrt.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.6b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (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.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	24.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	19.8b	(+.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))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 1/180 (.f64 angle (sqrt.f64 (PI.f64))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	26.6b	(+.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.6b	(+.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.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.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.6b	(+.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.7b	(+.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 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.7b	(+.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.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3/2)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 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))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (sqrt.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))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (sqrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	42.3b	(+.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 1/180) (log.f64 (.f64 angle (PI.f64))))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	37.8b	(+.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.8b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3/2)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 6681 to 4687 computations (29.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))
	1.0b	(sqrt.f64 (PI.f64))
	24.1b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.5b	(cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))

series4.0ms (0%)

Counts

1 → 12

Calls

1 calls:

4.0ms

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

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 9

Calls

1 calls:

3.0ms

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

simplify65.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

523×	`cancel-sign-sub-inv_binary64`
492×	`fma-def_binary64`
471×	`*-commutative_binary64`
293×	`sub-neg_binary64`
290×	`fma-neg_binary64`

Counts

21 → 24

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	49	414
1	112	297
2	309	293
3	1254	291
4	3493	285
5	4666	285
6	4951	285

prune1.1s (6.7%)

Pruning

44 alts after pruning (44 fresh and 0 done)

	Pruned	Kept	Total
New	151	8	159
Fresh	6	36	42
Picked	1	0	1
Done	0	0	0
Total	158	44	202

Error

18.4b

Counts

202 → 44

Alt Table

Status	Error	Program
	19.7b	(+.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.6b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (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))
	34.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (fma.f64 (.f64 b b) (+.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) 1/765275040000000)) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (pow.f64 (PI.f64) 8)))))))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	26.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (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.8b	(+.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))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 1/180 (.f64 angle (sqrt.f64 (PI.f64))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	26.6b	(+.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.7b	(+.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 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.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (.f64 (sqrt.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.7b	(+.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.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3/2)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 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))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 (sqrt.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))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (exp.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (.f64 (/.f64 angle 180) (pow.f64 (PI.f64) 1/4)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.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))
	42.3b	(+.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 1/180) (log.f64 (.f64 angle (PI.f64))))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	23.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.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))
	37.8b	(+.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.8b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 a (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (.f64 angle (PI.f64)) 4) 1))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180)))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.6b	(+.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.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3/2)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 7749 to 4354 computations (43.8% saved)

regimes2.1s (13.5%)

Accuracy

Total 1.3b remaining (6.3%)

Threshold costs 0b (0%)

Counts

230 → 1

Compiler

Compiled 56569 to 40602 computations (28.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	25	34
2	25	34

end894.0ms (5.6%)

Compiler: Compiled 1639 to 1195 computations (27.1% saved)

Details

analyze2.1s (13%)

sample7.6s (47.5%)

simplify127.0ms (0.8%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series36.0ms (0.2%)

rewrite14.0ms (0.1%)

simplify98.0ms (0.6%)

prune461.0ms (2.9%)

localize17.0ms (0.1%)

series6.0ms (0%)

rewrite6.0ms (0%)

simplify51.0ms (0.3%)

prune470.0ms (2.9%)

localize16.0ms (0.1%)

series9.0ms (0.1%)

rewrite13.0ms (0.1%)

simplify96.0ms (0.6%)

prune652.0ms (4.1%)

localize20.0ms (0.1%)

series4.0ms (0%)

rewrite3.0ms (0%)

simplify65.0ms (0.4%)

prune1.1s (6.7%)

regimes2.1s (13.5%)

simplify2.0ms (0%)

end894.0ms (5.6%)

Profiling