Details

analyze4.4s (12.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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.9%	0.1%	11
2.3%	97.5%	0.1%	12
2.7%	97.1%	0.1%	13
3.5%	96.3%	0.1%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample24.9s (70.6%)

Results

19.4s	4802×	body	8192	exit
2.7s	1725×	body	1024	valid
1.3s	5094×	body	128	valid
773.0ms	836×	body	512	valid
400.0ms	205×	body	2048	valid
214.0ms	393×	body	256	valid
16.0ms	3×	body	4096	valid

Compiler

Compiled 49 to 39 computations (20.4% saved)

simplify131.0ms (0.4%)

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

18.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	18.9b	(+.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%)

Local error

Found 4 expressions with local error:

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

series38.0ms (0.1%)

Counts

4 → 60

Calls

4 calls:

27.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
4.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))

rewrite13.0ms (0%)

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:

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

simplify129.0ms (0.4%)

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

prune524.0ms (1.5%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	163	35	198
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	164	35	199

Error

17.4b

Counts

199 → 35

Alt Table

Status	Error	Program
	18.9b	(+.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))
▶	18.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	19.0b	(+.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))
	18.9b	(+.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 (PI.f64) (/.f64 angle 180))) 3))) 2))
	19.1b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	42.2b	(+.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))
	18.9b	(+.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))
	41.7b	(+.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 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	18.9b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64))) (.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.1b	(+.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))
	34.3b	(+.f64 (.f64 (.f64 a a) (fma.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))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	18.9b	(+.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)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	41.7b	(+.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))
	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))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	26.3b	(+.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))
	18.9b	(+.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)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	19.0b	(+.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))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2))
	19.0b	(+.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))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.2b	(+.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.2b	(+.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.2b	(+.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))
	25.2b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.7b	(+.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))
	41.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (sqrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	18.9b	(+.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))
	38.3b	(+.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.2b	(+.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))
	19.0b	(+.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))
	19.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 7794 to 5726 computations (26.5% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

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

series15.0ms (0%)

Counts

1 → 24

Calls

1 calls:

15.0ms

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

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 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))

simplify81.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

753×	`fma-neg_binary64`
551×	`associate-l_binary64`
489×	`distribute-rgt-neg-in_binary64`
475×	`associate-r_binary64`
451×	`distribute-lft-neg-in_binary64`

Counts

44 → 42

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	785
1	186	727
2	605	723
3	2124	711
4	4135	711
5	4910	711
6	5085	711

prune570.0ms (1.6%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	143	18	161
Fresh	17	17	34
Picked	1	0	1
Done	0	0	0
Total	161	35	196

Error

17.4b

Counts

196 → 35

Alt Table

Status	Error	Program
▶	18.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b 1) 2))
	19.0b	(+.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))
	18.9b	(+.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))
	18.9b	(+.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 (PI.f64) (/.f64 angle 180))) 3))) 2))
	18.8b	(+.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 1) 2))
	18.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.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))
	42.0b	(+.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 1) 2))
	41.7b	(+.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 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	19.1b	(+.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))
	34.3b	(+.f64 (.f64 (.f64 a a) (fma.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))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	18.9b	(+.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)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	41.7b	(+.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))
	37.8b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	42.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	18.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	19.0b	(+.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))
	18.8b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2))
	19.3b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	37.6b	(+.f64 (pow.f64 (exp.f64 (log.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	26.8b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b 1) 2))
	41.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.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))
	25.9b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	19.2b	(+.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))
	33.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	42.0b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (*.f64 b 1) 2))
	19.0b	(+.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))
	18.9b	(+.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)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	18.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))

Compiler

Compiled 5884 to 4456 computations (24.3% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 angle (.f64 (PI.f64) 1/180))
✓	0.2b	(.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
✓	0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180)))) 2)
✓	25.1b	(sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))

series50.0ms (0.1%)

Counts

4 → 72

Calls

4 calls:

27.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180)))) 2)
15.0ms	(.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
4.0ms	(sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
3.0ms	(.f64 angle (.f64 (PI.f64) 1/180))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

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

simplify110.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

700×	`fma-neg_binary64`
432×	`fma-def_binary64`
431×	`distribute-rgt-neg-in_binary64`
294×	`cancel-sign-sub-inv_binary64`
281×	`associate-r_binary64`

Counts

141 → 133

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	2294
1	432	2186
2	1565	2153
3	3324	2131
4	4952	2131
5	4962	2131

prune523.0ms (1.5%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	121	12	133
Fresh	7	27	34
Picked	1	0	1
Done	0	0	0
Total	129	39	168

Error

17.4b

Counts

168 → 39

Alt Table

Status	Error	Program
	18.9b	(+.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.0b	(+.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))
	18.9b	(+.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 (PI.f64) (/.f64 angle 180))) 3))) 2))
	18.8b	(+.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 1) 2))
▶	18.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.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))
	42.0b	(+.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 1) 2))
	41.7b	(+.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 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	18.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (cbrt.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cbrt.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	19.1b	(+.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))
	34.3b	(+.f64 (.f64 (.f64 a a) (fma.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))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle (PI.f64))) 3)))) 2) (pow.f64 (.f64 b 1) 2))
	35.1b	(+.f64 (fma.f64 (.f64 a a) (+.f64 (.f64 angle (.f64 angle (.f64 1/32400 (pow.f64 (PI.f64) 2)))) (.f64 1/765275040000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)))) (.f64 (.f64 a a) (-.f64 (.f64 -1/3149280000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (pow.f64 (PI.f64) 8)))))) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.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)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	41.7b	(+.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))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 angle (.f64 (PI.f64) 1/180)) (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	37.8b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	42.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2))
	19.0b	(+.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))
	24.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	26.9b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 6)) (pow.f64 (.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	37.6b	(+.f64 (pow.f64 (exp.f64 (log.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.8b	(+.f64 (pow.f64 (.f64 (.f64 a (.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 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	19.3b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2))) (pow.f64 (.f64 b 1) 2))
	41.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.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))
	37.7b	(+.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b 1) 2))
	19.2b	(+.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))
	33.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	42.0b	(+.f64 (pow.f64 (.f64 a (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) (pow.f64 (*.f64 b 1) 2))
	19.0b	(+.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))
	18.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.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)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))

Compiler

Compiled 5521 to 4144 computations (24.9% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))
✓	0.4b	(.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
✓	1.0b	(sqrt.f64 (PI.f64))
✓	25.2b	(sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))

series13.0ms (0%)

Counts

4 → 36

Calls

4 calls:

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

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

7.0ms	(.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
6.0ms	(*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))
2.0ms	(sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))
1.0ms	(sqrt.f64 (PI.f64))

simplify111.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

530×	`fma-neg_binary64`
322×	`associate-*l/_binary64`
321×	`fma-def_binary64`
280×	`*-commutative_binary64`
239×	`associate-/l/_binary64`

Counts

125 → 139

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	143	1581
1	324	1448
2	929	1446
3	2348	1437
4	4215	1437
5	4790	1437
6	4930	1437

prune630.0ms (1.8%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	145	10	155
Fresh	9	29	38
Picked	1	0	1
Done	0	0	0
Total	155	39	194

Error

17.2b

Counts

194 → 39

Alt Table

Status	Error	Program
	18.9b	(+.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))
	42.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle (sqrt.f64 (PI.f64)))))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	19.0b	(+.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))
	18.9b	(+.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 (PI.f64) (/.f64 angle 180))) 3))) 2))
	42.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.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))
	41.7b	(+.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 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	18.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (cbrt.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cbrt.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 (.f64 angle (sqrt.f64 (PI.f64)))) (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 (sqrt.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	34.3b	(+.f64 (.f64 (.f64 a a) (fma.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))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	18.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))))) 2) (pow.f64 (.f64 b 1) 2))
	35.1b	(+.f64 (fma.f64 (.f64 a a) (+.f64 (.f64 angle (.f64 angle (.f64 1/32400 (pow.f64 (PI.f64) 2)))) (.f64 1/765275040000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)))) (.f64 (.f64 a a) (-.f64 (.f64 -1/3149280000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) (.f64 1/347128758144000000000 (.f64 (pow.f64 angle 8) (pow.f64 (PI.f64) 8)))))) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 (.f64 angle (sqrt.f64 (PI.f64)))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (cbrt.f64 (sqrt.f64 (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.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)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	41.7b	(+.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))
	18.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 angle (.f64 (PI.f64) 1/180)) (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))))) 2) (pow.f64 (.f64 b 1) 2))
	19.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))) (cbrt.f64 (sqrt.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	37.8b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	42.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	18.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2))
	19.0b	(+.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))
	24.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	26.9b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 6)) (pow.f64 (.f64 b 1) 2))
	31.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	18.8b	(+.f64 (pow.f64 (.f64 (.f64 a (.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 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	19.3b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2))) (pow.f64 (.f64 b 1) 2))
	18.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.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))
	33.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	19.0b	(+.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))
	18.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	18.9b	(+.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)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	18.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))))) (cbrt.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))

Compiler

Compiled 5204 to 3469 computations (33.3% saved)

regimes2.1s (6.1%)

Accuracy

Total 1.4b remaining (6.9%)

Threshold costs 0b (0%)

Counts

253 → 1

Compiler

Compiled 46947 to 37431 computations (20.3% saved)

simplify4.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

end735.0ms (2.1%)

Compiler: Compiled 1268 to 972 computations (23.3% saved)

Details

analyze4.4s (12.6%)

sample24.9s (70.6%)

simplify131.0ms (0.4%)

prune2.0ms (0%)

localize12.0ms (0%)

series38.0ms (0.1%)

rewrite13.0ms (0%)

simplify129.0ms (0.4%)

prune524.0ms (1.5%)

localize11.0ms (0%)

series15.0ms (0%)

rewrite4.0ms (0%)

simplify81.0ms (0.2%)

prune570.0ms (1.6%)

localize11.0ms (0%)

series50.0ms (0.1%)

rewrite15.0ms (0%)

simplify110.0ms (0.3%)

prune523.0ms (1.5%)

localize13.0ms (0%)

series13.0ms (0%)

rewrite20.0ms (0.1%)

simplify111.0ms (0.3%)

prune630.0ms (1.8%)

regimes2.1s (6.1%)

simplify4.0ms (0%)

end735.0ms (2.1%)

Profiling