Details

analyze2.1s (13.9%)

Algorithm

1×

Search

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

Compiler

Compiled 25 to 20 computations (20% saved)

sample7.6s (51.5%)

Results

2.2s	1636×	body	1024	valid
1.8s	1382×	body	1024	invalid
1.2s	5189×	body	128	valid
716.0ms	804×	body	512	valid
656.0ms	719×	body	512	invalid
413.0ms	216×	body	2048	valid
203.0ms	408×	body	256	valid
187.0ms	335×	body	256	invalid
148.0ms	655×	body	128	invalid
17.0ms	3×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify128.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1078×	`sqr-pow_binary64`
786×	`cube-prod_binary64`
770×	`fabs-mul_binary64`
484×	`unswap-sqr_binary64`
392×	`pow-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	30	34
2	66	34
3	124	34
4	217	34
5	465	34
6	669	34
7	1130	34
8	1177	34
9	1369	34
10	1574	34
11	1868	34
12	2152	34
13	2573	34
14	3206	34
15	3520	34
16	3872	34
17	4026	34
18	4094	34
19	4136	34
20	4933	34
21	4905	34

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

19.8b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 72 to 57 computations (20.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series31.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

21.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
5.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)))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

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

Counts

132 → 110

Iterations

Useful iterations: 3 (0.0ms)

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

prune388.0ms (2.6%)

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

18.5b

Counts

153 → 31

Alt Table

Status	Error	Program
	20.0b	(+.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))))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.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))
	33.8b	(+.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))))
	20.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
▶	19.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.2b	(+.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)))
	28.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	19.9b	(+.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))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	43.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.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))
	20.0b	(+.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))
	20.1b	(+.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))
	34.9b	(+.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))))
	33.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	23.5b	(+.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))
	28.4b	(+.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)))
	20.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))

Compiler

Compiled 6172 to 4526 computations (26.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.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.4b	(*.f64 (PI.f64) (/.f64 angle 180))
	23.4b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series14.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

14.0ms

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 20

Calls

1 calls:

3.0ms

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

simplify59.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Counts

44 → 31

Iterations

Useful iterations: 4 (0.0ms)

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

prune427.0ms (2.9%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	110	13	123
Fresh	12	18	30
Picked	1	0	1
Done	0	0	0
Total	123	31	154

Error

18.5b

Counts

154 → 31

Alt Table

Status	Error	Program
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 (/.f64 angle 180) (cbrt.f64 (PI.f64)))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	28.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))
	33.8b	(+.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))))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.2b	(+.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)))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a 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))
	43.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.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))
	20.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.9b	(+.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))
▶	19.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	28.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	19.7b	(+.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))
	34.9b	(+.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))))
	33.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	23.5b	(+.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))
	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 4727 to 3575 computations (24.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series107.0ms (0.7%)

Counts

4 → 48

Calls

4 calls:

64.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2)
29.0ms	(.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180)))
8.0ms	(/.f64 angle (sqrt.f64 180))
6.0ms	(sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-exp-log_binary64`
36×	`times-frac_binary64`
33×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`
33×	`add-cube-cbrt_binary64`

Counts

4 → 126

Calls

4 calls:

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

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

561×	`associate-/r*_binary64`
489×	`fma-def_binary64`
325×	`fma-neg_binary64`
281×	`associate-l_binary64`
251×	`associate-/l/_binary64`

Counts

174 → 185

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	247	3321
1	593	3030
2	2229	2522
3	4443	2520
4	5061	2520

prune721.0ms (4.9%)

Pruning

40 alts after pruning (40 fresh and 0 done)

	Pruned	Kept	Total
New	170	15	185
Fresh	5	25	30
Picked	1	0	1
Done	0	0	0
Total	176	40	216

Error

18.4b

Counts

216 → 40

Alt Table

Status	Error	Program
	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (/.f64 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2))) (pow.f64 (sqrt.f64 180) 4)))
	28.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180)))) (cbrt.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
▶	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))
	23.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (expm1.f64 (log1p.f64 (/.f64 angle (sqrt.f64 180))))))) 2))
	33.8b	(+.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))))
	44.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (PI.f64)) (neg.f64 (log.f64 (sqrt.f64 180)))) (log.f64 (/.f64 angle (sqrt.f64 180))))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 (sin.f64 (/.f64 (*.f64 angle (PI.f64)) (pow.f64 (sqrt.f64 180) 2))) 2) (pow.f64 b 2)))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.2b	(+.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)))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a 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))
	43.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) b) 2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) b) 2))) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180)) b) 2))))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180)))) (/.f64 angle (cbrt.f64 (sqrt.f64 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))))
	20.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180))))) (/.f64 (cbrt.f64 angle) (cbrt.f64 (sqrt.f64 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.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))
	20.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180)) b) 2))))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (*.f64 (cbrt.f64 (/.f64 angle (sqrt.f64 180))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (/.f64 angle (sqrt.f64 180)))))) 2))
	19.7b	(+.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))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (.f64 (cbrt.f64 (/.f64 angle (sqrt.f64 180))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (/.f64 angle (sqrt.f64 180)))))) 2))
	34.9b	(+.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))))
	33.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	23.5b	(+.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	38.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) b) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	43.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180))))) (/.f64 (sqrt.f64 angle) (cbrt.f64 (sqrt.f64 180)))))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))))

Compiler

Compiled 7860 to 6268 computations (20.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series30.0ms (0.2%)

Counts

4 → 28

Calls

4 calls:

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

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

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

simplify82.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

97 → 89

Iterations

Useful iterations: 3 (0.0ms)

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

prune338.0ms (2.3%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	10	29	39
Picked	1	0	1
Done	0	0	0
Total	90	39	129

Error

18.3b

Counts

129 → 39

Alt Table

Status	Error	Program
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2))))
	33.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (/.f64 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2))) (pow.f64 (sqrt.f64 180) 4)))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180)))) (cbrt.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))))) 2))
	19.8b	(+.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))
	28.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 6)))
	19.7b	(+.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))
	33.8b	(+.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))))
	44.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (PI.f64)) (neg.f64 (log.f64 (sqrt.f64 180)))) (log.f64 (/.f64 angle (sqrt.f64 180))))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.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))
	23.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (expm1.f64 (log1p.f64 (/.f64 angle (sqrt.f64 180))))))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 (sin.f64 (/.f64 (*.f64 angle (PI.f64)) (pow.f64 (sqrt.f64 180) 2))) 2) (pow.f64 b 2)))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	19.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (*.f64 angle (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))))) 2))
	38.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) b) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	19.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	43.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sqrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) b) 2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)) b) 2))) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180)) b) 2))))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180))))) (/.f64 (cbrt.f64 angle) (cbrt.f64 (sqrt.f64 180)))))) 2))
	19.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (PI.f64)))))) 2))
	19.8b	(+.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))
	29.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180)) b) 2))))
	19.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (.f64 (cbrt.f64 (/.f64 angle (sqrt.f64 180))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (/.f64 angle (sqrt.f64 180)))))) 2))
	34.9b	(+.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))))
	33.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	19.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (.f64 (.f64 (cbrt.f64 (.f64 angle (PI.f64))) (cbrt.f64 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 angle (PI.f64))))))) 2))
	23.5b	(+.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))
	20.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (.f64 angle (PI.f64)))))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))))
	44.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 1/180 (exp.f64 (+.f64 (log.f64 angle) (log.f64 (PI.f64))))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	23.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (expm1.f64 (log1p.f64 (.f64 angle (PI.f64))))))) 2))

Compiler

Compiled 3234 to 2384 computations (26.3% saved)

regimes1.7s (11.8%)

Accuracy

Total 1.4b remaining (6.9%)

Threshold costs 0b (0%)

Counts

212 → 1

Compiler

Compiled 38860 to 31630 computations (18.6% 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	21	36
1	28	36
2	27	36

end729.0ms (4.9%)

Compiler: Compiled 1209 to 984 computations (18.6% saved)

Details

analyze2.1s (13.9%)

sample7.6s (51.5%)

simplify128.0ms (0.9%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series31.0ms (0.2%)

rewrite13.0ms (0.1%)

simplify100.0ms (0.7%)

prune388.0ms (2.6%)

localize10.0ms (0.1%)

series14.0ms (0.1%)

rewrite4.0ms (0%)

simplify59.0ms (0.4%)

prune427.0ms (2.9%)

localize15.0ms (0.1%)

series107.0ms (0.7%)

rewrite28.0ms (0.2%)

simplify104.0ms (0.7%)

prune721.0ms (4.9%)

localize10.0ms (0.1%)

series30.0ms (0.2%)

rewrite13.0ms (0.1%)

simplify82.0ms (0.6%)

prune338.0ms (2.3%)

regimes1.7s (11.8%)

simplify2.0ms (0%)

end729.0ms (4.9%)

Profiling