Details

analyze2.3s (15%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample7.4s (48.7%)

Results

2.1s	1602×	body	1024	valid
1.7s	1311×	body	1024	invalid
1.2s	5239×	body	128	valid
675.0ms	794×	body	512	valid
621.0ms	692×	body	512	invalid
349.0ms	182×	body	2048	valid
226.0ms	432×	body	256	valid
190.0ms	336×	body	256	invalid
129.0ms	556×	body	128	invalid
37.0ms	7×	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	122	34
4	216	34
5	465	34
6	669	34
7	1130	34
8	1177	34
9	1369	34
10	1574	34
11	1868	34
12	2152	34
13	2573	34
14	3206	34
15	3520	34
16	3872	34
17	4026	34
18	4094	34
19	4136	34
20	4933	34
21	4905	34

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

19.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 72 to 57 computations (20.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series33.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

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

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

simplify115.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

666×	`fma-neg_binary64`
430×	`distribute-rgt-neg-in_binary64`
421×	`*-commutative_binary64`
334×	`fma-def_binary64`
261×	`cancel-sign-sub-inv_binary64`

Counts

132 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	204	2095
1	444	1991
2	1333	1969
3	3381	1949
4	4817	1949
5	4993	1949
6	4934	1949

prune1.1s (7.5%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	164	34	198
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	165	34	199

Error

18.4b

Counts

199 → 34

Alt Table

Status	Error	Program
	20.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	19.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	43.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.5b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	43.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	33.6b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.5b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
▶	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	20.2b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	39.1b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))

Compiler

Compiled 7694 to 5664 computations (26.4% saved)

localize16.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 (/.f64 angle 180) (PI.f64))
	23.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	23.9b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series6.0ms (0%)

Counts

2 → 4

Calls

2 calls:

3.0ms	(cos.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:

3.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
1.0ms	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

simplify55.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

609×	`fma-def_binary64`
599×	`unswap-sqr_binary64`
548×	`associate-l_binary64`
531×	`cancel-sign-sub-inv_binary64`
459×	`associate-r_binary64`

Counts

33 → 38

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	470
1	165	410
2	485	403
3	1851	395
4	4718	395
5	4992	395

prune435.0ms (2.9%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	113	4	117
Fresh	2	31	33
Picked	1	0	1
Done	0	0	0
Total	116	35	151

Error

18.4b

Counts

151 → 35

Alt Table

Status	Error	Program
	43.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	20.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	19.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	27.5b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 1/180) (log.f64 (.f64 angle (PI.f64))))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	20.2b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 3))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
▶	19.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	43.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	33.6b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.5b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	39.1b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))

Compiler

Compiled 5396 to 3921 computations (27.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
	0.4b	(*.f64 (/.f64 angle 180) (PI.f64))
	23.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
	23.9b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-pow_binary64`
3×	`log-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 17

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

861×	`distribute-rgt-neg-in_binary64`
699×	`distribute-lft-neg-in_binary64`
488×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
373×	`*-commutative_binary64`

Counts

29 → 35

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	59	458
1	112	424
2	270	420
3	1004	418
4	2771	412
5	4444	412
6	4964	412
7	4948	412

prune512.0ms (3.4%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	127	4	131
Fresh	2	32	34
Picked	1	0	1
Done	0	0	0
Total	130	36	166

Error

18.4b

Counts

166 → 36

Alt Table

Status	Error	Program
	43.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	20.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	19.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	27.5b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 1/180) (log.f64 (.f64 angle (PI.f64))))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
▶	19.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 3))))) 2))
	39.1b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	20.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	33.6b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.5b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	20.2b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))

Compiler

Compiled 6181 to 4556 computations (26.3% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))))
	0.4b	(*.f64 (/.f64 angle 180) (PI.f64))
	23.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
	23.9b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series4.0ms (0%)

Counts

1 → 12

Calls

1 calls:

4.0ms

(log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3))))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`log-pow_binary64`
15×	`exp-prod_binary64`
12×	`cbrt-prod_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`

Counts

1 → 29

Calls

1 calls:

3.0ms

(log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3))))

simplify89.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

861×	`distribute-rgt-neg-in_binary64`
699×	`distribute-lft-neg-in_binary64`
488×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
430×	`*-commutative_binary64`

Counts

41 → 52

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	95	604
1	151	537
2	326	533
3	1177	531
4	3046	513
5	4614	513
6	5000	513
7	4949	513

prune591.0ms (3.9%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	143	5	148
Fresh	4	31	35
Picked	1	0	1
Done	0	0	0
Total	148	36	184

Error

18.4b

Counts

184 → 36

Alt Table

Status	Error	Program
	43.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	20.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	19.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	27.5b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 1/180) (log.f64 (.f64 angle (PI.f64))))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	43.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (.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) (pow.f64 (.f64 b (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 3))))) 2))
	43.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	23.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	33.6b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	27.5b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	20.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3)))) (cbrt.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3)))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	24.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))) (log.f64 (exp.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	25.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))) 3)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	20.2b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	39.1b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))

Compiler

Compiled 6086 to 4513 computations (25.8% saved)

regimes1.5s (9.9%)

Accuracy

Total 1.2b remaining (6%)

Threshold costs 0b (0%)

Counts

184 → 1

Compiler

Compiled 37411 to 29753 computations (20.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	28	43
2	28	43

end718.0ms (4.7%)

Compiler: Compiled 1236 to 979 computations (20.8% saved)

Details

analyze2.3s (15%)

sample7.4s (48.7%)

simplify130.0ms (0.9%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series33.0ms (0.2%)

rewrite12.0ms (0.1%)

simplify115.0ms (0.8%)

prune1.1s (7.5%)

localize16.0ms (0.1%)

series6.0ms (0%)

rewrite6.0ms (0%)

simplify55.0ms (0.4%)

prune435.0ms (2.9%)

localize17.0ms (0.1%)

series3.0ms (0%)

rewrite2.0ms (0%)

simplify83.0ms (0.5%)

prune512.0ms (3.4%)

localize21.0ms (0.1%)

series4.0ms (0%)

rewrite5.0ms (0%)

simplify89.0ms (0.6%)

prune591.0ms (3.9%)

regimes1.5s (9.9%)

simplify2.0ms (0%)

end718.0ms (4.7%)

Profiling