Details

analyze2.1s (10.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	62.4%	12.6%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
42.9%	44.5%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
52.6%	34.8%	12.6%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample8.0s (39.9%)

Results

2.3s	1683×	body	1024	valid
2.0s	1423×	body	1024	invalid
1.2s	5158×	body	128	valid
713.0ms	796×	body	512	valid
711.0ms	761×	body	512	invalid
360.0ms	184×	body	2048	valid
237.0ms	435×	body	256	valid
185.0ms	327×	body	256	invalid
160.0ms	666×	body	128	invalid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify130.0ms (0.7%)

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

21.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	21.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))
✓	25.8b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	25.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series33.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

24.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
3.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
3.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
3.0ms	(cos.f64 (*.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:

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

simplify98.0ms (0.5%)

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

prune357.0ms (1.8%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	121	31	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	31	153

Error

19.3b

Counts

153 → 31

Alt Table

Status	Error	Program
	30.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	21.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))
	44.3b	(+.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))
	22.0b	(+.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))))
	21.3b	(+.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))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.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)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	40.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)))
	25.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	35.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1/3149280000))))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.3b	(+.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))
	21.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 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	21.2b	(+.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))
	28.0b	(+.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)))
	21.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))
	21.2b	(+.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))
	21.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 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	21.2b	(+.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))
▶	21.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.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))
	21.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))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.3b	(+.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))
	21.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))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	21.2b	(+.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))
	21.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))
	21.2b	(+.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))))
	35.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.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))

Compiler

Compiled 6266 to 4577 computations (27% 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))
	25.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series15.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

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

simplify59.0ms (0.3%)

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

prune353.0ms (1.8%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	106	17	123
Fresh	14	16	30
Picked	1	0	1
Done	0	0	0
Total	121	33	154

Error

19.3b

Counts

154 → 33

Alt Table

Status	Error	Program
	21.2b	(+.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))
	27.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	26.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	21.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))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	21.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))
	44.3b	(+.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))
	43.9b	(+.f64 (pow.f64 (.f64 a 1) 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))
	21.3b	(+.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))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	35.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1/3149280000))))
	40.6b	(+.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)))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	34.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.2b	(+.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))
	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	42.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2))
	21.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))
	21.2b	(+.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))
	30.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) 2))
	21.2b	(+.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))
	21.0b	(+.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))))
	21.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))
	25.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.3b	(+.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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 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))
▶	21.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2))
	21.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))

Compiler

Compiled 4947 to 3728 computations (24.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series46.0ms (0.2%)

Counts

4 → 72

Calls

4 calls:

25.0ms	(pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) 2)
15.0ms	(.f64 b (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)))
3.0ms	(sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))
3.0ms	(/.f64 (*.f64 angle (PI.f64)) 180)

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

simplify105.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

767×	`fma-neg_binary64`
509×	`*-commutative_binary64`
367×	`fma-def_binary64`
289×	`cancel-sign-sub-inv_binary64`
236×	`associate-/l*_binary64`

Counts

144 → 141

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	189	2406
1	440	2268
2	1527	2169
3	4135	2165
4	4966	2165
5	4938	2165

prune414.0ms (2.1%)

Pruning

37 alts after pruning (37 fresh and 0 done)

	Pruned	Kept	Total
New	130	11	141
Fresh	6	26	32
Picked	1	0	1
Done	0	0	0
Total	137	37	174

Error

19.3b

Counts

174 → 37

Alt Table

Status	Error	Program
	21.2b	(+.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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	21.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))
	21.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (cbrt.f64 (/.f64 (*.f64 angle (PI.f64)) 180))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	21.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))
	44.3b	(+.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))
	43.9b	(+.f64 (pow.f64 (.f64 a 1) 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))
	21.3b	(+.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))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (/.f64 (*.f64 angle (PI.f64)) 180))))) 2))
	35.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1/3149280000))))
	34.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2))))
	21.2b	(+.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))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 b (.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 (*.f64 angle (PI.f64)) 180)))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	42.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2))
	21.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))
	21.2b	(+.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))
	30.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) 2))
	21.2b	(+.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))
▶	21.0b	(+.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))))
	21.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))
	40.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.3b	(+.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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 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))
	21.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))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b)) (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b))) (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	25.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b) 3)) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b) 2))))
	44.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (-.f64 (log.f64 (*.f64 angle (PI.f64))) (log.f64 180))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2))))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 5531 to 4054 computations (26.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	0.4b	(.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)))
✓	23.2b	(cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.5s (7.3%)

Counts

2 → 48

Calls

2 calls:

743.0ms

(*.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)))

722.0ms

(cbrt.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`cbrt-prod_binary64`
27×	`add-sqr-sqrt_binary64`
16×	`unswap-sqr_binary64`
13×	`sqr-pow_binary64`
13×	`unpow2_binary64`

Counts

2 → 79

Calls

2 calls:

8.0ms

(*.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)))

2.0ms

(cbrt.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

simplify124.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

681×	`unswap-sqr_binary64`
467×	`fma-neg_binary64`
362×	`*-commutative_binary64`
308×	`fma-def_binary64`
213×	`cancel-sign-sub-inv_binary64`

Counts

127 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	186	5080
1	422	4816
2	1180	4199
3	2707	4041
4	4934	4041

prune1.8s (8.8%)

Pruning

47 alts after pruning (47 fresh and 0 done)

	Pruned	Kept	Total
New	359	17	376
Fresh	6	30	36
Picked	1	0	1
Done	0	0	0
Total	366	47	413

Error

19.2b

Counts

413 → 47

Alt Table

Status	Error	Program
	21.2b	(+.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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	21.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))
	21.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (cbrt.f64 (/.f64 (*.f64 angle (PI.f64)) 180))))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (-.f64 (log.f64 (*.f64 angle (PI.f64))) (log.f64 180))))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 4)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (.f64 (cbrt.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 (.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 (.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))))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	21.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))
	44.3b	(+.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))
	21.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (exp.f64 (.f64 2 (log.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))))
	43.9b	(+.f64 (pow.f64 (.f64 a 1) 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))
	21.3b	(+.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))
	44.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (/.f64 (*.f64 angle (PI.f64)) 180))))) 2))
	35.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (pow.f64 b 4))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.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 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 (/.f64 angle 180) (cbrt.f64 (PI.f64)))))) 2))))
	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2))))
	35.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 b b) (-.f64 (.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400) (.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1/3149280000))))
	34.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2))))
	21.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.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))))
	21.2b	(+.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))
	21.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) 2/3) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.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 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))))
	44.8b	(+.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))) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (*.f64 2 (log.f64 (/.f64 -1 b))))))))
	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.0b	(+.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 (.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))))
	21.2b	(+.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))
	21.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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 5) (cbrt.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))))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (.f64 (cbrt.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 (.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))))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.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))))
	44.3b	(+.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 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))))
	21.2b	(+.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))
	44.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (.f64 2 (log.f64 b)))))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	21.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 (.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))))
	21.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))
	28.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	40.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.3b	(+.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))
	21.2b	(+.f64 (pow.f64 (.f64 a 1) 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))
	21.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))
	21.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b)) (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b))) (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b) 2))))
	21.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))) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 6)) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))))
	21.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 21114 to 15932 computations (24.5% saved)

regimes3.8s (19.1%)

Accuracy

Total 1.6b remaining (7.5%)

Threshold costs 0b (0%)

Counts

356 → 1

Compiler

Compiled 94438 to 75500 computations (20.1% 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	16	22
1	23	22
2	22	22

end1.0s (5.2%)

Compiler: Compiled 1853 to 1459 computations (21.3% saved)

Details

analyze2.1s (10.6%)

sample8.0s (39.9%)

simplify130.0ms (0.7%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series33.0ms (0.2%)

rewrite14.0ms (0.1%)

simplify98.0ms (0.5%)

prune357.0ms (1.8%)

localize11.0ms (0.1%)

series15.0ms (0.1%)

rewrite4.0ms (0%)

simplify59.0ms (0.3%)

prune353.0ms (1.8%)

localize10.0ms (0.1%)

series46.0ms (0.2%)

rewrite13.0ms (0.1%)

simplify105.0ms (0.5%)

prune414.0ms (2.1%)

localize15.0ms (0.1%)

series1.5s (7.3%)

rewrite18.0ms (0.1%)

simplify124.0ms (0.6%)

prune1.8s (8.8%)

regimes3.8s (19.1%)

simplify2.0ms (0%)

end1.0s (5.2%)

Profiling