Details

analyze4.0s (18.3%)

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)

sample419.0ms (1.9%)

Algorithm

1×

intervals

Results

110.0ms	49×	body	1024	valid
104.0ms	45×	body	1024	invalid
48.0ms	152×	body	128	valid
45.0ms	32×	body	512	invalid
43.0ms	32×	body	512	valid
16.0ms	5×	body	2048	valid
14.0ms	18×	body	256	valid
10.0ms	12×	body	256	invalid
4.0ms	14×	body	128	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify144.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

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

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

22.0b

Counts

2 → 1

Alt Table

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

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
✓	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	27.8b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	28.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series50.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

30.0ms	(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
7.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
7.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
6.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
16×	`associate-r_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
11×	`add-cbrt-cube_binary64`

Counts

4 → 72

Calls

4 calls:

9.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
6.0ms	(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
2.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
2.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

simplify184.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

587×	`times-frac_binary64`
540×	`fma-neg_binary64`
389×	`*-commutative_binary64`
315×	`unswap-sqr_binary64`
306×	`fma-def_binary64`

Counts

132 → 111

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	185	1974
1	430	1822
2	1414	1804
3	3148	1784
4	4770	1784
5	4995	1782
6	5000	1782

prune749.0ms (3.5%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	122	31	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	31	154

Error

20.8b

Counts

154 → 31

Alt Table

Status	Error	Program
	22.1b	(+.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))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	27.5b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
▶	21.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	22.0b	(+.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))
	22.0b	(+.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))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.3b	(+.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))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 b (.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))
	22.1b	(+.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))
	44.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) 2))
	22.1b	(+.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))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	22.3b	(+.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))
	44.5b	(+.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))
	37.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (exp.f64 (log.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	28.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 1/180 (.f64 angle (*.f64 (PI.f64) b))) 2))
	22.1b	(+.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))
	22.0b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.2b	(+.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))
	30.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))

Compiler

Compiled 6219 to 4514 computations (27.4% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series55.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

55.0ms

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-exp-log_binary64`
4×	`pow1_binary64`
3×	`pow-unpow_binary64`
2×	`pow-exp_binary64`
2×	`pow-pow_binary64`

Counts

1 → 20

Calls

1 calls:

6.0ms

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

simplify81.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

689×	`fma-neg_binary64`
583×	`associate-r_binary64`
573×	`associate-l_binary64`
524×	`distribute-rgt-neg-in_binary64`
510×	`distribute-lft-neg-in_binary64`

Counts

44 → 32

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	75	927
1	174	908
2	531	892
3	2723	881
4	5112	881

prune393.0ms (1.8%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	109	16	125
Fresh	12	18	30
Picked	1	0	1
Done	0	0	0
Total	122	34	156

Error

20.8b

Counts

156 → 34

Alt Table

Status	Error	Program
	44.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	21.9b	(+.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))))
	22.1b	(+.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))
▶	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	27.5b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	28.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) b))) 2))
	22.0b	(+.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))
	24.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (expm1.f64 (log1p.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	21.9b	(+.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))
	22.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.3b	(+.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))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	22.1b	(+.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))
	38.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	22.0b	(+.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 b (.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))
	22.1b	(+.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))
	44.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) 2))
	22.1b	(+.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))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	26.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 4981 to 3759 computations (24.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series49.0ms (0.2%)

Counts

4 → 52

Calls

4 calls:

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

rewrite16.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 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) b)
4.0ms	(pow.f64 (.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) b) 2)
4.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
1.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

simplify81.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-neg_binary64`
552×	`*-commutative_binary64`
502×	`distribute-rgt-neg-in_binary64`
370×	`fma-def_binary64`
286×	`cancel-sign-sub-inv_binary64`

Counts

121 → 113

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	2117
1	405	1991
2	1406	1952
3	3249	1942
4	4944	1942

prune453.0ms (2.1%)

Pruning

35 alts after pruning (34 fresh and 1 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	1	32	33
Picked	0	1	1
Done	0	0	0
Total	112	35	147

Error

20.7b

Counts

147 → 35

Alt Table

Status	Error	Program
	44.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
▶	21.9b	(+.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))))
	22.1b	(+.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))
✓	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	27.5b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	28.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) b))) 2))
	22.0b	(+.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))
	24.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (expm1.f64 (log1p.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	22.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.3b	(+.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))
	22.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (.f64 angle (PI.f64))))) b) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	22.1b	(+.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))
	38.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	22.0b	(+.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 b (.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))
	22.1b	(+.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))
	44.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) 2))
	22.1b	(+.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))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) b) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	26.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 4790 to 3537 computations (26.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.0s (9.1%)

Counts

2 → 48

Calls

2 calls:

1.0s

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

935.0ms

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

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 79

Calls

2 calls:

9.0ms

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

2.0ms

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

simplify135.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

127 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	186	5080
1	422	4816
2	1180	4159
3	2707	3967
4	4934	3967

prune1.8s (8.2%)

Pruning

44 alts after pruning (43 fresh and 1 done)

	Pruned	Kept	Total
New	360	16	376
Fresh	6	27	33
Picked	1	0	1
Done	0	1	1
Total	367	44	411

Error

20.5b

Counts

411 → 44

Alt Table

Status	Error	Program
	44.3b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	22.1b	(+.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))
✓	21.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) b) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	27.5b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))))))
	22.0b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))))
	28.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) b))) 2))
	22.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (exp.f64 (log.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	32.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 (.f64 (pow.f64 b 4) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)) 1/3) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	32.2b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (pow.f64 (/.f64 -1 b) -4))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.3b	(+.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))
	42.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)) (.f64 4 (log.f64 (/.f64 -1 b)))))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.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 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (.f64 angle (PI.f64))))) b) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.1b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	47.4b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (.f64 4 (log.f64 b)) (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4))))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.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))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (sqrt.f64 angle) (cbrt.f64 180))))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.1b	(+.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))
	22.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) 2/3) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) b) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))))
	21.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 (/.f64 angle 180) (cbrt.f64 (PI.f64)))))) 2))))
	21.9b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))))
	32.2b	(+.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 (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)) (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)))))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 6) 1) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	26.6b	(+.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 (expm1.f64 (log1p.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))))
	44.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.1b	(+.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))
	26.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))

Compiler

Compiled 20893 to 15819 computations (24.3% saved)

regimes3.1s (14.2%)

Accuracy

Total 1.5b remaining (7.2%)

Threshold costs 0b (0%)

Counts

226 → 1

Compiler

Compiled 54989 to 44033 computations (19.9% 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	19	32
1	26	32
2	25	32

end1.0ms (0%)

Compiler: Compiled 23 to 20 computations (13% saved)

sample7.9s (36.6%)

Algorithm

1×

intervals

Results

2.0s	1655×	body	1024	valid
1.6s	1343×	body	1024	invalid
836.0ms	4971×	body	128	valid
586.0ms	761×	body	512	valid
568.0ms	722×	body	512	invalid
301.0ms	168×	body	2048	valid
187.0ms	438×	body	256	valid
166.0ms	353×	body	256	invalid
105.0ms	621×	body	128	invalid
38.0ms	7×	body	4096	valid

Compiler

Compiled 1662 to 1321 computations (20.5% saved)

Details

analyze4.0s (18.3%)

sample419.0ms (1.9%)

simplify144.0ms (0.7%)

prune4.0ms (0%)

localize26.0ms (0.1%)

series50.0ms (0.2%)

rewrite27.0ms (0.1%)

simplify184.0ms (0.8%)

prune749.0ms (3.5%)

localize26.0ms (0.1%)

series55.0ms (0.3%)

rewrite8.0ms (0%)

simplify81.0ms (0.4%)

prune393.0ms (1.8%)

localize13.0ms (0.1%)

series49.0ms (0.2%)

rewrite16.0ms (0.1%)

simplify81.0ms (0.4%)

prune453.0ms (2.1%)

localize15.0ms (0.1%)

series2.0s (9.1%)

rewrite18.0ms (0.1%)

simplify135.0ms (0.6%)

prune1.8s (8.2%)

regimes3.1s (14.2%)

simplify2.0ms (0%)

end1.0ms (0%)

sample7.9s (36.6%)

Profiling