Details

analyze2.8s (20.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
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)

sample213.0ms (1.5%)

Algorithm

1×

intervals

Results

53.0ms	47×	body	1024	valid
50.0ms	42×	body	1024	invalid
28.0ms	160×	body	128	valid
23.0ms	29×	body	512	valid
17.0ms	22×	body	512	invalid
15.0ms	9×	body	2048	valid
4.0ms	11×	body	256	valid
3.0ms	7×	body	256	invalid
2.0ms	15×	body	128	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify148.0ms (1.1%)

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	108	34
4	198	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

21.1b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	21.1b	(+.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	(*.f64 (/.f64 angle 180) PI.f64)
27.9b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
28.3b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite139.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

20.2b

Rules

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

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 2073 to 1469 computations (29.1% saved)

series32.0ms (0.2%)

Error

20.6b

Counts

4 → 13

Calls

4 calls:

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

Compiler

Compiled 730 to 574 computations (21.4% saved)

simplify117.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

550×	`associate-*l/_binary64`
541×	`unswap-sqr_binary64`
327×	`associate-*r/_binary64`
283×	`*-commutative_binary64`
245×	`associate-l_binary64`

Counts

91 → 67

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	96	1148
1	192	1010
2	452	1010
3	1258	1010
4	2942	1010
5	4775	1010
6	4986	1010
7	4949	1010

prune134.0ms (1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	43	24	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	24	68

Error

20.3b

Counts

68 → 24

Alt Table

Status	Error	Program
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (*.f64 1/180 angle)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (.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)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (sqrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	45.4b	(+.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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	45.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 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))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.4b	(+.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))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	21.2b	(+.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))
	21.4b	(+.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))
▶	21.0b	(+.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))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))

Compiler

Compiled 3187 to 2312 computations (27.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 1/180 (.f64 angle PI.f64))
0.4b	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
28.0b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.3b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite163.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

20.2b

Rules

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

Counts

4 → 55

Calls

4 calls:

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

Compiler

Compiled 1438 to 1032 computations (28.2% saved)

series54.0ms (0.4%)

Error

20.0b

Counts

4 → 14

Calls

4 calls:

14.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
9.0ms	(.f64 1/180 (.f64 angle PI.f64))
7.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
6.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 900 to 721 computations (19.9% saved)

simplify101.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

535×	`associate-+l+_binary64`
314×	`sqr-pow_binary64`
309×	`*-commutative_binary64`
255×	`log-prod_binary64`
235×	`exp-prod_binary64`

Counts

69 → 33

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	93	987
1	199	870
2	619	854
3	1289	854
4	2212	840
5	4752	840
6	4982	840
7	4866	840

prune99.0ms (0.7%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	27	6	33
Fresh	1	22	23
Picked	1	0	1
Done	0	0	0
Total	29	28	57

Error

20.2b

Counts

57 → 28

Alt Table

Status	Error	Program
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (*.f64 1/180 angle)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (.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)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (sqrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) 3))) 2))
	21.4b	(+.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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3)) 3))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	21.3b	(+.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 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	45.4b	(+.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))
	21.1b	(+.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 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180)))) 3))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2))
	21.2b	(+.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))
▶	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 9)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	45.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	27.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (exp.f64 (.f64 3 (log.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))))) 2))
	21.4b	(+.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))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))

Compiler

Compiled 2402 to 1835 computations (23.6% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9))
0.8b	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)
28.0b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.3b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite181.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

20.2b

Rules

8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`
7×	`cbrt-prod_binary64`
6×	`unpow-prod-down_binary64`

Counts

4 → 46

Calls

4 calls:

3.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
1.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1429 to 1048 computations (26.7% saved)

series66.0ms (0.5%)

Error

20.0b

Counts

4 → 15

Calls

4 calls:

16.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)
11.0ms	(cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9))
8.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
8.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1031 to 830 computations (19.5% saved)

simplify102.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

514×	`distribute-rgt-in_binary64`
498×	`distribute-lft-in_binary64`
354×	`*-commutative_binary64`
298×	`distribute-rgt-neg-in_binary64`
290×	`distribute-lft-neg-in_binary64`

Counts

61 → 26

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	78	1067
1	151	1034
2	339	1018
3	1011	1018
4	1864	990
5	3070	990
6	4853	990
7	4845	990

prune102.0ms (0.7%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	24	2	26
Fresh	1	26	27
Picked	1	0	1
Done	0	0	0
Total	26	28	54

Error

20.2b

Counts

54 → 28

Alt Table

Status	Error	Program
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (*.f64 1/180 angle)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (.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)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (sqrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) 3))) 2))
	21.4b	(+.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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3)) 3))) 2))
▶	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)) 2) (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)))))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	21.3b	(+.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 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	45.4b	(+.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))
	21.1b	(+.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 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180)))) 3))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	45.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.2b	(+.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))
	21.4b	(+.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))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))

Compiler

Compiled 2454 to 1881 computations (23.3% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)
28.0b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.0b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
28.3b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite142.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

20.2b

Rules

6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`add-cube-cbrt_binary64`
5×	`add-exp-log_binary64`
5×	`pow1_binary64`

Counts

4 → 38

Calls

4 calls:

3.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)
3.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 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1675 to 1250 computations (25.4% saved)

series74.0ms (0.5%)

Error

20.2b

Counts

4 → 15

Calls

4 calls:

19.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)
10.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
10.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
8.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1530 to 1237 computations (19.2% saved)

simplify85.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

510×	`unswap-sqr_binary64`
452×	`distribute-rgt-in_binary64`
434×	`distribute-lft-in_binary64`
322×	`*-commutative_binary64`
282×	`distribute-rgt-neg-in_binary64`

Counts

53 → 20

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	793
1	125	760
2	265	752
3	761	752
4	1442	752
5	2913	752
6	4884	752
7	4851	752

prune88.0ms (0.6%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	27	27
Picked	0	1	1
Done	0	0	0
Total	20	28	48

Error

20.2b

Counts

48 → 28

Alt Table

Status	Error	Program
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (*.f64 1/180 angle)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (.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)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 PI.f64 (sqrt.f64 (.f64 1/180 angle)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	29.9b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) 2) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) 3))) 2))
	21.4b	(+.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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3)) 3))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 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))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)) 2) (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 9)))))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
	21.3b	(+.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 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	45.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	45.4b	(+.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))
	21.1b	(+.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 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180)))) 3))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	45.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.2b	(+.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))
	21.4b	(+.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))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 1/180 PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))

Compiler

Compiled 1634 to 1254 computations (23.3% saved)

regimes1.7s (12.3%)

Accuracy

Total 0.9b remaining (4.5%)

Threshold costs 0.9b (4.5%)

Compiler

Compiled 39956 to 31692 computations (20.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	44
1	30	44
2	29	44

end1.0ms (0%)

Compiler: Compiled 30 to 25 computations (16.7% saved)

sample7.2s (52%)

Algorithm

1×

intervals

Results

1.8s	1522×	body	1024	valid
1.6s	1360×	body	1024	invalid
831.0ms	5066×	body	128	valid
610.0ms	802×	body	512	valid
521.0ms	664×	body	512	invalid
326.0ms	184×	body	2048	valid
175.0ms	420×	body	256	valid
161.0ms	355×	body	256	invalid
92.0ms	555×	body	128	invalid
31.0ms	6×	body	4096	valid

Compiler

Compiled 994 to 773 computations (22.2% saved)

Details

analyze2.8s (20.3%)

sample213.0ms (1.5%)

simplify148.0ms (1.1%)

prune2.0ms (0%)

localize15.0ms (0.1%)

rewrite139.0ms (1%)

series32.0ms (0.2%)

simplify117.0ms (0.8%)

prune134.0ms (1%)

localize19.0ms (0.1%)

rewrite163.0ms (1.2%)

series54.0ms (0.4%)

simplify101.0ms (0.7%)

prune99.0ms (0.7%)

localize21.0ms (0.1%)

rewrite181.0ms (1.3%)

series66.0ms (0.5%)

simplify102.0ms (0.7%)

prune102.0ms (0.7%)

localize28.0ms (0.2%)

rewrite142.0ms (1%)

series74.0ms (0.5%)

simplify85.0ms (0.6%)

prune88.0ms (0.6%)

regimes1.7s (12.3%)

simplify3.0ms (0%)

end1.0ms (0%)

sample7.2s (52%)

Profiling