Details

analyze2.3s (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
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample230.0ms (1.4%)

Algorithm

1×

intervals

Results

61.0ms	53×	body	1024	valid
46.0ms	40×	body	1024	invalid
32.0ms	38×	body	512	valid
24.0ms	143×	body	128	valid
17.0ms	20×	body	512	invalid
11.0ms	7×	body	2048	valid
8.0ms	14×	body	256	invalid
6.0ms	1×	body	4096	valid
6.0ms	14×	body	256	valid
3.0ms	19×	body	128	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify141.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 → 0

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

1 alts after pruning (1 fresh and 0 done)

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

Error

24.3b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	24.3b	(+.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 48 to 38 computations (20.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
27.8b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.0b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite258.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

23.4b

Rules

23×	`pow1_binary64`
19×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
16×	`add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`

Counts

4 → 139

Calls

4 calls:

15.0ms	(*.f64 (/.f64 angle 180) PI.f64)
14.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
11.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
10.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 2844 to 2089 computations (26.5% saved)

series56.0ms (0.3%)

Error

23.7b

Counts

4 → 16

Calls

4 calls:

23.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
11.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
6.0ms	(*.f64 (/.f64 angle 180) PI.f64)
5.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 969 to 762 computations (21.4% saved)

simplify115.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

735×	`associate-l_binary64`
628×	`fma-def_binary64`
625×	`associate-r_binary64`
180×	`log-prod_binary64`
179×	`prod-exp_binary64`

Counts

155 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	139	1628
1	267	1531
2	709	1516
3	3144	1510
4	4884	1510
5	5239	1510

prune157.0ms (1%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	54	31	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	31	86

Error

23.4b

Counts

86 → 31

Alt Table

Status	Error	Program
	45.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.8b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle 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 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.7b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) 1)) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.8b	(+.f64 (.f64 a (.f64 a (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))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	36.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (.f64 a a) (pow.f64 PI.f64 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.4b	(+.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 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))) 1)) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (fma.f64 (pow.f64 (.f64 angle PI.f64) 3) -1/34992000 (.f64 1/180 (.f64 angle 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 (.f64 (.f64 (.f64 1/180 angle) (.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))
	31.8b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 6)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))))) 2))
	38.0b	(+.f64 (exp.f64 (.f64 2 (log.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a)))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (neg.f64 (.f64 angle PI.f64)) -180))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	38.5b	(+.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 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	31.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (cbrt.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
▶	24.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	31.6b	(+.f64 (.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a)) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 4)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))

Compiler

Compiled 3552 to 2612 computations (26.5% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

27.8b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.0b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite313.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

23.4b

Rules

20×	`add-cube-cbrt_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 112

Calls

4 calls:

14.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
11.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
11.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3501 to 2449 computations (30% saved)

series316.0ms (1.9%)

Error

23.3b

Counts

4 → 13

Calls

4 calls:

10.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
8.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
7.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
7.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1352 to 1003 computations (25.8% saved)

simplify152.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
688×	`distribute-rgt-neg-in_binary64`
671×	`distribute-lft-neg-in_binary64`
458×	`fma-neg_binary64`
404×	`unswap-sqr_binary64`

Counts

125 → 35

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	1287
1	114	1201
2	207	1201
3	640	1201
4	1256	1201
5	1987	1201
6	3386	1201
7	4361	1201
8	4765	1201
9	4998	1201
10	4745	1201

prune264.0ms (1.6%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	33	2	35
Fresh	0	30	30
Picked	1	0	1
Done	0	0	0
Total	34	32	66

Error

23.4b

Counts

66 → 32

Alt Table

Status	Error	Program
	45.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.8b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle 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 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.7b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) 1)) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.8b	(+.f64 (.f64 a (.f64 a (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))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	36.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (.f64 a a) (pow.f64 PI.f64 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.4b	(+.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 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))) 1)) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (fma.f64 (pow.f64 (.f64 angle PI.f64) 3) -1/34992000 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (.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))
	31.8b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 6)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))))) 2))
	38.0b	(+.f64 (exp.f64 (.f64 2 (log.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a)))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
▶	24.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (neg.f64 (.f64 angle PI.f64)) -180))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	38.5b	(+.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 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	31.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (cbrt.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	31.6b	(+.f64 (.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a)) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 4)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))

Compiler

Compiled 3445 to 2574 computations (25.3% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

27.8b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.0b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite420.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

23.4b

Rules

20×	`add-cube-cbrt_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 112

Calls

4 calls:

13.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
13.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
13.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
12.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3655 to 2603 computations (28.8% saved)

series86.0ms (0.5%)

Error

23.3b

Counts

4 → 13

Calls

4 calls:

11.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
10.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
7.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
7.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 1418 to 1069 computations (24.6% saved)

simplify156.0ms (1%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
688×	`distribute-rgt-neg-in_binary64`
671×	`distribute-lft-neg-in_binary64`
458×	`fma-neg_binary64`
404×	`unswap-sqr_binary64`

Counts

125 → 24

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	67	1287
1	114	1201
2	207	1201
3	640	1201
4	1256	1201
5	1987	1201
6	3386	1201
7	4361	1201
8	4765	1201
9	4998	1201
10	4745	1201

prune139.0ms (0.9%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	1	30	31
Picked	1	0	1
Done	0	0	0
Total	25	31	56

Error

23.4b

Counts

56 → 31

Alt Table

Status	Error	Program
	45.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.8b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle 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 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.7b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) 1)) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
▶	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	27.8b	(+.f64 (.f64 a (.f64 a (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))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	33.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	36.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (.f64 a a) (pow.f64 PI.f64 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.4b	(+.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 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))) 1)) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (fma.f64 (pow.f64 (.f64 angle PI.f64) 3) -1/34992000 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (.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))
	31.8b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 6)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))))) 2))
	38.0b	(+.f64 (exp.f64 (.f64 2 (log.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a)))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (neg.f64 (.f64 angle PI.f64)) -180))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	38.5b	(+.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 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	31.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (cbrt.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	31.6b	(+.f64 (.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a)) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 4)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))

Compiler

Compiled 3027 to 2288 computations (24.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
27.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.0b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite417.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

23.4b

Rules

20×	`add-cube-cbrt_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 112

Calls

4 calls:

16.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
14.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
13.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
11.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 3424 to 2282 computations (33.4% saved)

series54.0ms (0.3%)

Error

23.3b

Counts

4 → 13

Calls

4 calls:

10.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
8.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
8.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
7.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 1282 to 921 computations (28.2% saved)

simplify184.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
688×	`distribute-rgt-neg-in_binary64`
671×	`distribute-lft-neg-in_binary64`
458×	`fma-neg_binary64`
386×	`unswap-sqr_binary64`

Counts

125 → 24

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	1287
1	94	1201
2	184	1201
3	609	1201
4	1216	1201
5	1932	1201
6	3298	1201
7	4333	1201
8	4675	1201
9	4988	1201
10	4715	1201

prune116.0ms (0.7%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	30	30
Picked	1	0	1
Done	0	0	0
Total	22	33	55

Error

23.4b

Counts

55 → 33

Alt Table

Status	Error	Program
	45.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.8b	(+.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) 1) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.9b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle 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 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.7b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	29.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	33.6b	(+.f64 (pow.f64 (.f64 a (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) 1)) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	28.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (.f64 (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.8b	(+.f64 (.f64 a (.f64 a (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))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	33.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (log1p.f64 (expm1.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	36.3b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (.f64 a a) (pow.f64 PI.f64 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	29.4b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 4)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)) (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.4b	(+.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 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))) 1)) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (fma.f64 (pow.f64 (.f64 angle PI.f64) 3) -1/34992000 (.f64 1/180 (.f64 angle PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (.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))
	31.8b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a) 6)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))))))) 2))
	38.0b	(+.f64 (exp.f64 (.f64 2 (log.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) a)))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (neg.f64 (.f64 angle PI.f64)) -180))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	38.5b	(+.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 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	31.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (cbrt.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))) (cbrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	31.6b	(+.f64 (.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) (.f64 a a)) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))

Compiler

Compiled 2052 to 1490 computations (27.4% saved)

regimes2.2s (13.6%)

Accuracy

Total 0.7b remaining (3.5%)

Threshold costs 0.7b (3.5%)

Compiler

Compiled 48124 to 37214 computations (22.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-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	22	22
2	21	22

end1.0ms (0%)

Compiler: Compiled 17 to 14 computations (17.6% saved)

sample8.1s (49.8%)

Algorithm

1×

intervals

Results

1.8s	1595×	body	1024	valid
1.7s	1445×	body	1024	invalid
1.2s	734×	body	512	invalid
814.0ms	5005×	body	128	valid
598.0ms	810×	body	512	valid
340.0ms	194×	body	2048	valid
171.0ms	394×	body	256	valid
147.0ms	326×	body	256	invalid
93.0ms	562×	body	128	invalid
10.0ms	2×	body	4096	valid

Compiler

Compiled 1144 to 886 computations (22.6% saved)

Details

analyze2.3s (13.9%)

sample230.0ms (1.4%)

simplify141.0ms (0.9%)

prune2.0ms (0%)

localize15.0ms (0.1%)

rewrite258.0ms (1.6%)

series56.0ms (0.3%)

simplify115.0ms (0.7%)

prune157.0ms (1%)

localize28.0ms (0.2%)

rewrite313.0ms (1.9%)

series316.0ms (1.9%)

simplify152.0ms (0.9%)

prune264.0ms (1.6%)

localize32.0ms (0.2%)

rewrite420.0ms (2.6%)

series86.0ms (0.5%)

simplify156.0ms (1%)

prune139.0ms (0.9%)

localize26.0ms (0.2%)

rewrite417.0ms (2.6%)

series54.0ms (0.3%)

simplify184.0ms (1.1%)

prune116.0ms (0.7%)

regimes2.2s (13.6%)

simplify3.0ms (0%)

end1.0ms (0%)

sample8.1s (49.8%)

Profiling