Details

analyze2.3s (14.4%)

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)

sample207.0ms (1.3%)

Algorithm

1×

intervals

Results

61.0ms	51×	body	1024	valid
47.0ms	38×	body	1024	invalid
27.0ms	159×	body	128	valid
20.0ms	27×	body	512	valid
12.0ms	7×	body	2048	valid
9.0ms	12×	body	512	invalid
5.0ms	1×	body	4096	valid
4.0ms	11×	body	256	valid
4.0ms	22×	body	128	invalid
3.0ms	6×	body	256	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify140.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	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.0b

Counts

1 → 1

Alt Table

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

localize14.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)
26.1b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite144.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

19.9b

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:

6.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)

series43.0ms (0.3%)

Error

20.5b

Counts

4 → 16

Calls

4 calls:

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

Compiler

Compiled 981 to 768 computations (21.7% saved)

simplify127.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

439×	`associate-l_binary64`
409×	`associate-r_binary64`
370×	`unswap-sqr_binary64`
360×	`cancel-sign-sub-inv_binary64`
316×	`distribute-rgt-neg-in_binary64`

Counts

94 → 70

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	119	1245
1	255	1107
2	646	1107
3	2190	1101
4	4781	1098
5	4978	1098
6	5000	1098
7	4928	1098

prune148.0ms (0.9%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	44	26	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	26	71

Error

20.0b

Counts

71 → 26

Alt Table

Status	Error	Program
	21.0b	(+.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))
	42.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.3b	(+.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 (.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))
	31.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 3)))) 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 (.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))
	43.1b	(+.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))
	20.9b	(+.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))
▶	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 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.0b	(+.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)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
	42.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)))))) 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 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	21.0b	(+.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))
	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 (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.1b	(+.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.0b	(+.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))
	42.8b	(+.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))
	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) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	42.9b	(+.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))
	21.1b	(+.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))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 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.0b	(+.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))
	21.2b	(+.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 3419 to 2493 computations (27.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.4b	(.f64 1/180 (.f64 angle PI.f64))
26.1b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.5b	(sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))

rewrite188.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

19.9b

Rules

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

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 1765 to 1236 computations (30% saved)

series55.0ms (0.3%)

Error

19.9b

Counts

4 → 16

Calls

4 calls:

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

Compiler

Compiled 1039 to 812 computations (21.8% saved)

simplify93.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

639×	`associate-/l*_binary64`
533×	`associate-*l/_binary64`
334×	`*-commutative_binary64`
294×	`unswap-sqr_binary64`
263×	`associate-/l/_binary64`

Counts

80 → 51

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	145	1051
1	320	925
2	914	925
3	1992	925
4	4818	925
5	4961	925
6	4929	925

prune152.0ms (0.9%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	25	25
Picked	0	1	1
Done	0	0	0
Total	50	27	77

Error

19.9b

Counts

77 → 27

Alt Table

Status	Error	Program
	21.0b	(+.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))
	42.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.3b	(+.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.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (.f64 angle PI.f64) (cbrt.f64 1/180))) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.9b	(+.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))
	21.0b	(+.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))
	31.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 3)))) 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 (.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))
	43.1b	(+.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))
	20.9b	(+.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))
✓	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 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.0b	(+.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)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
	42.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 PI.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)))))) 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 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	21.0b	(+.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))
	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 (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.1b	(+.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.0b	(+.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))
	42.8b	(+.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))
	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) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	21.1b	(+.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))
▶	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 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.0b	(+.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))
	21.2b	(+.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 2986 to 2200 computations (26.3% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
26.1b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.5b	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))

rewrite301.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

19.8b

Rules

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

Counts

4 → 88

Calls

4 calls:

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

Compiler

Compiled 2791 to 2133 computations (23.6% saved)

series77.0ms (0.5%)

Error

19.9b

Counts

4 → 16

Calls

4 calls:

17.0ms	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))
12.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
11.0ms	(*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)

Compiler

Compiled 1233 to 1013 computations (17.8% saved)

simplify85.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

547×	`associate-/l*_binary64`
508×	`times-frac_binary64`
436×	`associate-*l/_binary64`
435×	`unswap-sqr_binary64`
396×	`associate-*r/_binary64`

Counts

104 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	191	1600
1	434	1406
2	1390	1334
3	4024	1328
4	5025	1328

prune211.0ms (1.3%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	6	19	25
Picked	1	0	1
Done	0	1	1
Total	74	28	102

Error

19.8b

Counts

102 → 28

Alt Table

Status	Error	Program
	21.0b	(+.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))
	42.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	28.3b	(+.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 (cos.f64 (.f64 (.f64 (.f64 1/180 angle) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 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 angle 180)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (.f64 angle PI.f64) (cbrt.f64 1/180))) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.9b	(+.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))
	21.2b	(+.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))
	43.1b	(+.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))
▶	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (*.f64 angle PI.f64) 180)) 3))) 2))
	20.9b	(+.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))
✓	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 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 1 (sqrt.f64 180)) (.f64 (/.f64 PI.f64 (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180)))) (/.f64 angle (cbrt.f64 (sqrt.f64 180))))))) 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 (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180)))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180))))) 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 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (fabs.f64 (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (sqrt.f64 (cbrt.f64 180))))))) 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 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle (sqrt.f64 180)) (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 (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180))) (cbrt.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180)))) (cbrt.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180))))))) 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 (.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.0b	(+.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.0b	(+.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))
	43.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (exp.f64 (log.f64 (/.f64 (.f64 angle PI.f64) (sqrt.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 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 3689 to 2805 computations (24% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (*.f64 angle PI.f64) 180)
0.4b	(pow.f64 (cos.f64 (/.f64 (*.f64 angle PI.f64) 180)) 3)
25.9b	(cos.f64 (/.f64 (*.f64 angle PI.f64) 180))
26.5b	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))

rewrite221.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

19.8b

Rules

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

Counts

4 → 58

Calls

4 calls:

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

Compiler

Compiled 1945 to 1500 computations (22.9% saved)

series97.0ms (0.6%)

Error

19.8b

Counts

4 → 18

Calls

4 calls:

17.0ms	(pow.f64 (cos.f64 (/.f64 (*.f64 angle PI.f64) 180)) 3)
17.0ms	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))
11.0ms	(cos.f64 (/.f64 (*.f64 angle PI.f64) 180))
10.0ms	(/.f64 (*.f64 angle PI.f64) 180)

Compiler

Compiled 1511 to 1254 computations (17% saved)

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

427×	`times-frac_binary64`
397×	`associate-/l*_binary64`
284×	`log-prod_binary64`
262×	`*-commutative_binary64`
234×	`unswap-sqr_binary64`

Counts

76 → 50

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	144	1334
1	328	1059
2	1011	1027
3	3669	1027
4	4781	1027
5	4987	1027

prune159.0ms (1%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	44	6	50
Fresh	2	24	26
Picked	1	0	1
Done	0	1	1
Total	47	31	78

Error

19.8b

Counts

78 → 31

Alt Table

Status	Error	Program
	20.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (*.f64 angle (/.f64 PI.f64 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 (.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))
	42.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 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 (.f64 (.f64 1/180 angle) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 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 angle 180)))))) 2))
	21.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (.f64 angle PI.f64) (cbrt.f64 1/180))) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.9b	(+.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))
	28.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (.f64 angle PI.f64) 180)) 3))) 2))
	21.0b	(+.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))
	21.2b	(+.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))
	43.1b	(+.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))
	20.9b	(+.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))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	42.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 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 1 (sqrt.f64 180)) (.f64 (/.f64 PI.f64 (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180)))) (/.f64 angle (cbrt.f64 (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180)))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle PI.f64) 180))))) 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 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 PI.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (fabs.f64 (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (sqrt.f64 (cbrt.f64 180))))))) 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 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
	21.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle (sqrt.f64 180)) (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 (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180))) (cbrt.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180)))) (cbrt.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180))))))) 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 (.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.0b	(+.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))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (.f64 PI.f64 (/.f64 angle (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (cbrt.f64 180))) 3))) 2))
	43.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (exp.f64 (log.f64 (/.f64 (.f64 angle PI.f64) (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 angle PI.f64) 1/180)) 3))) 2))
	21.2b	(+.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))
	20.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (*.f64 angle PI.f64) 180)) 3)) 3))) 2))
	21.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180))) (sqrt.f64 180))) 3))) 2))

Compiler

Compiled 2007 to 1550 computations (22.8% saved)

regimes2.8s (17.3%)

Accuracy

Total 1.0b remaining (4.9%)

Threshold costs 1.0b (4.9%)

Compiler

Compiled 49057 to 39348 computations (19.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	34
1	29	34
2	28	34

end1.0ms (0%)

Compiler: Compiled 24 to 19 computations (20.8% saved)

sample8.3s (52%)

Algorithm

1×

intervals

Results

2.0s	1606×	body	1024	valid
1.6s	1360×	body	1024	invalid
1.2s	771×	body	512	valid
882.0ms	5048×	body	128	valid
574.0ms	691×	body	512	invalid
315.0ms	175×	body	2048	valid
203.0ms	394×	body	256	valid
177.0ms	352×	body	256	invalid
103.0ms	563×	body	128	invalid
37.0ms	6×	body	4096	valid

Compiler

Compiled 1123 to 889 computations (20.8% saved)

Details

analyze2.3s (14.4%)

sample207.0ms (1.3%)

simplify140.0ms (0.9%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite144.0ms (0.9%)

series43.0ms (0.3%)

simplify127.0ms (0.8%)

prune148.0ms (0.9%)

localize20.0ms (0.1%)

rewrite188.0ms (1.2%)

series55.0ms (0.3%)

simplify93.0ms (0.6%)

prune152.0ms (0.9%)

localize20.0ms (0.1%)

rewrite301.0ms (1.9%)

series77.0ms (0.5%)

simplify85.0ms (0.5%)

prune211.0ms (1.3%)

localize24.0ms (0.2%)

rewrite221.0ms (1.4%)

series97.0ms (0.6%)

simplify86.0ms (0.5%)

prune159.0ms (1%)

regimes2.8s (17.3%)

simplify3.0ms (0%)

end1.0ms (0%)

sample8.3s (52%)

Profiling