Details

analyze2.3s (16.7%)

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)

sample226.0ms (1.7%)

Algorithm

1×

intervals

Results

74.0ms	55×	body	1024	valid
49.0ms	42×	body	1024	invalid
27.0ms	165×	body	128	valid
17.0ms	9×	body	2048	valid
16.0ms	20×	body	512	valid
15.0ms	16×	body	512	invalid
5.0ms	10×	body	256	invalid
4.0ms	21×	body	128	invalid
3.0ms	7×	body	256	valid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify158.0ms (1.2%)

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	64	34
3	110	34
4	199	34
5	439	34
6	627	34
7	1082	34
8	1109	34
9	1301	34
10	1506	34
11	1804	34
12	2096	34
13	2519	34
14	3154	34
15	3470	34
16	3822	34
17	3976	34
18	4044	34
19	4086	34
20	4883	34
21	4855	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

19.6b

Counts

1 → 1

Alt Table

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

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 PI.f64 (/.f64 angle 180))
0.4b	(*.f64 PI.f64 (/.f64 angle 180))
22.6b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite153.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

18.5b

Rules

30×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
20×	`times-frac_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 2073 to 1467 computations (29.2% saved)

series33.0ms (0.2%)

Error

19.2b

Counts

4 → 13

Calls

4 calls:

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

Compiler

Compiled 738 to 577 computations (21.8% saved)

simplify96.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

616×	`times-frac_binary64`
439×	`unswap-sqr_binary64`
380×	`distribute-rgt-neg-in_binary64`
347×	`associate-l_binary64`
344×	`distribute-lft-neg-in_binary64`

Counts

91 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	98	1185
1	203	1041
2	630	1041
3	1761	1038
4	3236	1038
5	4208	1038
6	4920	1038

prune102.0ms (0.7%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	33	20	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	20	54

Error

18.7b

Counts

54 → 20

Alt Table

Status	Error	Program
	44.4b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
▶	19.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.7b	(+.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.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1 (.f64 1/180 (.f64 angle PI.f64))))) 2))
	19.6b	(+.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 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 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 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 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 (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))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 3)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	44.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	30.9b	(+.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 1/180 (*.f64 angle PI.f64)))))) 2))
	19.7b	(+.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 2306 to 1664 computations (27.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

22.6b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
22.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
22.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite79.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

18.7b

Rules

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

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1263 to 846 computations (33% saved)

series74.0ms (0.5%)

Error

18.7b

Counts

4 → 13

Calls

4 calls:

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

Compiler

Compiled 1314 to 953 computations (27.5% saved)

simplify101.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

900×	`distribute-rgt-neg-in_binary64`
875×	`distribute-lft-neg-in_binary64`
479×	`neg-mul-1_binary64`
471×	`neg-sub0_binary64`
412×	`sub-neg_binary64`

Counts

41 → 4

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	34	595
1	67	511
2	147	511
3	546	511
4	1045	511
5	1556	511
6	2632	511
7	3622	511
8	4523	511
9	4779	511

prune44.0ms (0.3%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	4	20	24

Error

18.7b

Counts

24 → 20

Alt Table

Status	Error	Program
	44.4b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
✓	19.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.7b	(+.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.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1 (.f64 1/180 (.f64 angle PI.f64))))) 2))
	19.6b	(+.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 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 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 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 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 (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))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 3)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	44.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	30.9b	(+.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 1/180 (*.f64 angle PI.f64)))))) 2))
	19.7b	(+.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 1336 to 1005 computations (24.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 1/180 (.f64 angle PI.f64))
0.4b	(*.f64 PI.f64 (/.f64 angle 180))
22.6b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.8b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite160.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

18.6b

Rules

18×	`add-sqr-sqrt_binary64`
14×	`associate-r_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
13×	`*-un-lft-identity_binary64`

Counts

4 → 64

Calls

4 calls:

6.0ms	(*.f64 PI.f64 (/.f64 angle 180))
6.0ms	(.f64 1/180 (.f64 angle PI.f64))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1814 to 1285 computations (29.2% saved)

series81.0ms (0.6%)

Error

18.6b

Counts

4 → 13

Calls

4 calls:

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

Compiler

Compiled 828 to 651 computations (21.4% saved)

simplify124.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

455×	`times-frac_binary64`
380×	`*-commutative_binary64`
322×	`associate-/l/_binary64`
297×	`distribute-rgt-neg-in_binary64`
260×	`distribute-lft-neg-in_binary64`

Counts

77 → 39

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	123	997
1	263	850
2	870	850
3	1801	850
4	3077	850
5	3654	850
6	4578	850
7	4953	850
8	4895	850

prune103.0ms (0.8%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	34	5	39
Fresh	2	16	18
Picked	1	0	1
Done	0	1	1
Total	37	22	59

Error

18.6b

Counts

59 → 22

Alt Table

Status	Error	Program
	44.4b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
✓	19.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (sqrt.f64 1/180) (.f64 (.f64 angle PI.f64) (sqrt.f64 1/180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1 (.f64 1/180 (.f64 angle PI.f64))))) 2))
	19.6b	(+.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.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (.f64 angle PI.f64) (cbrt.f64 1/180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.7b	(+.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 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (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))))) 3))) 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 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	19.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.7b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 3))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
▶	19.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 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 (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))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	44.8b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	30.9b	(+.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 1/180 (*.f64 angle PI.f64)))))) 2))
	19.7b	(+.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	19.7b	(+.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))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 2243 to 1667 computations (25.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (*.f64 angle PI.f64) 180)
0.4b	(*.f64 PI.f64 (/.f64 angle 180))
22.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.8b	(sin.f64 (/.f64 (*.f64 angle PI.f64) 180))

rewrite189.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

18.5b

Rules

19×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`

Counts

4 → 67

Calls

4 calls:

6.0ms	(*.f64 PI.f64 (/.f64 angle 180))
3.0ms	(/.f64 (*.f64 angle PI.f64) 180)
2.0ms	(sin.f64 (/.f64 (*.f64 angle PI.f64) 180))
1.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1784 to 1216 computations (31.8% saved)

series37.0ms (0.3%)

Error

18.6b

Counts

4 → 13

Calls

4 calls:

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

Compiler

Compiled 738 to 565 computations (23.4% saved)

simplify108.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

502×	`div-sub_binary64`
413×	`*-commutative_binary64`
373×	`associate-/l*_binary64`
283×	`distribute-rgt-neg-in_binary64`
277×	`distribute-rgt-in_binary64`

Counts

80 → 50

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	130	1038
1	268	891
2	902	891
3	2271	891
4	2962	891
5	3763	891
6	4331	891
7	4846	891

prune145.0ms (1.1%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	44	6	50
Fresh	4	16	20
Picked	1	0	1
Done	0	1	1
Total	49	23	72

Error

18.6b

Counts

72 → 23

Alt Table

Status	Error	Program
	19.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (.f64 (cbrt.f64 (.f64 1/180 angle)) (cbrt.f64 (.f64 1/180 angle)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	30.9b	(+.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 1/180 (*.f64 angle PI.f64)))))) 2))
	19.7b	(+.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle (/.f64 PI.f64 (sqrt.f64 180))) (sqrt.f64 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	44.4b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	19.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (.f64 1/180 angle) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle PI.f64) 180))) 2))
	19.7b	(+.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.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (sqrt.f64 1/180) (.f64 (.f64 angle PI.f64) (sqrt.f64 1/180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	19.6b	(+.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.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (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))))) 3))) 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 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 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 (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))
	19.6b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	44.8b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))
	44.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (sqrt.f64 (.f64 1/180 angle))) (sqrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	19.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (.f64 angle PI.f64) (cbrt.f64 1/180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.7b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 3))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 1784 to 1270 computations (28.8% saved)

regimes2.1s (15.5%)

Accuracy

Total 0.9b remaining (4.5%)

Threshold costs 0.9b (4.5%)

Compiler

Compiled 45659 to 35582 computations (22.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	34
1	27	34
2	25	34

end1.0ms (0%)

Compiler: Compiled 24 to 18 computations (25% saved)

sample7.2s (52.6%)

Algorithm

1×

intervals

Results

2.0s	1646×	body	1024	valid
1.6s	1305×	body	1024	invalid
833.0ms	4994×	body	128	valid
615.0ms	800×	body	512	valid
543.0ms	697×	body	512	invalid
290.0ms	162×	body	2048	valid
159.0ms	390×	body	256	valid
146.0ms	309×	body	256	invalid
105.0ms	649×	body	128	invalid
48.0ms	8×	body	4096	valid

Compiler

Compiled 782 to 604 computations (22.8% saved)

Details

analyze2.3s (16.7%)

sample226.0ms (1.7%)

simplify158.0ms (1.2%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite153.0ms (1.1%)

series33.0ms (0.2%)

simplify96.0ms (0.7%)

prune102.0ms (0.7%)

localize24.0ms (0.2%)

rewrite79.0ms (0.6%)

series74.0ms (0.5%)

simplify101.0ms (0.7%)

prune44.0ms (0.3%)

localize21.0ms (0.2%)

rewrite160.0ms (1.2%)

series81.0ms (0.6%)

simplify124.0ms (0.9%)

prune103.0ms (0.8%)

localize18.0ms (0.1%)

rewrite189.0ms (1.4%)

series37.0ms (0.3%)

simplify108.0ms (0.8%)

prune145.0ms (1.1%)

regimes2.1s (15.5%)

simplify4.0ms (0%)

end1.0ms (0%)

sample7.2s (52.6%)

Profiling