Details

analyze4.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 25 to 20 computations (20% saved)

sample8.2s (29%)

Results

4.2s	1941×	body	1024	valid
1.7s	4789×	body	128	valid
1.3s	945×	body	512	valid
410.0ms	471×	body	256	valid
351.0ms	109×	body	2048	valid
18.0ms	1×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify194.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

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

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

11.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 72 to 57 computations (20.8% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))
✓	0.3b	(*.f64 (/.f64 angle 180) (PI.f64))
✓	26.3b	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	26.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series42.0ms (0.1%)

Counts

4 → 60

Calls

4 calls:

22.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))
9.0ms	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
7.0ms	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
4.0ms	(*.f64 (/.f64 angle 180) (PI.f64))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

simplify147.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

520×	`fma-neg_binary64`
410×	`*-commutative_binary64`
370×	`distribute-rgt-neg-in_binary64`
351×	`fma-def_binary64`
343×	`distribute-lft-neg-in_binary64`

Counts

132 → 145

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	1962
1	429	1810
2	1310	1792
3	2974	1766
4	4941	1766

prune1.4s (4.8%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	178	22	200
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	179	22	201

Error

10.6b

Counts

201 → 22

Alt Table

Status	Error	Program
	20.2b	(+.f64 (pow.f64 (expm1.f64 (log1p.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))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	34.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.6b	(+.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 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	11.3b	(+.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 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
▶	11.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.4b	(+.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 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.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))
	18.7b	(+.f64 (pow.f64 (log.f64 (exp.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))
	11.3b	(+.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 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.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))
	15.3b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 7043 to 5102 computations (27.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series135.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

134.0ms

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

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 20

Calls

1 calls:

7.0ms

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

simplify139.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

833×	`fma-neg_binary64`
639×	`associate-l_binary64`
629×	`associate-r_binary64`
549×	`distribute-rgt-neg-in_binary64`
195×	`*-commutative_binary64`

Counts

44 → 40

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	927
1	180	908
2	567	892
3	2920	881
4	4885	881
5	4993	881

prune1.2s (4.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	147	14	161
Fresh	11	10	21
Picked	1	0	1
Done	0	0	0
Total	159	24	183

Error

10.6b

Counts

183 → 24

Alt Table

Status	Error	Program
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.2b	(+.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 1) 2))
	11.4b	(+.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 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	11.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 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	17.2b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b 1) 2))
	11.2b	(+.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 1) 2))
	18.2b	(+.f64 (pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) a)) 2) (pow.f64 (.f64 b 1) 2))
	15.3b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.2b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	11.6b	(+.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 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	11.3b	(+.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 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (log.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
▶	11.1b	(+.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 1) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))
	35.1b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	15.9b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	11.3b	(+.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 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))

Compiler

Compiled 5265 to 3963 computations (24.7% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 angle (sqrt.f64 180))
✓	0.3b	(.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))
✓	0.4b	(*.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))
✓	26.8b	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))

series92.0ms (0.3%)

Counts

4 → 36

Calls

4 calls:

55.0ms	(.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))
14.0ms	(*.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))
13.0ms	(/.f64 angle (sqrt.f64 180))
9.0ms	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))

rewrite53.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`times-frac_binary64`
54×	`add-sqr-sqrt_binary64`
50×	`add-exp-log_binary64`
46×	`*-un-lft-identity_binary64`
46×	`add-cube-cbrt_binary64`

Counts

4 → 150

Calls

4 calls:

15.0ms	(.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))
14.0ms	(*.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))
5.0ms	(/.f64 angle (sqrt.f64 180))
3.0ms	(sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))

simplify258.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

542×	`*-commutative_binary64`
423×	`associate-/r*_binary64`
332×	`fma-def_binary64`
265×	`cancel-sign-sub-inv_binary64`
252×	`associate-/l/_binary64`

Counts

186 → 206

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2944
1	442	2337
2	1775	2307
3	3302	2280
4	4894	2280
5	4924	2280

prune1.7s (6%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	196	10	206
Fresh	7	16	23
Picked	1	0	1
Done	0	0	0
Total	204	26	230

Error

10.5b

Counts

230 → 26

Alt Table

Status	Error	Program
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.2b	(+.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 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.4b	(+.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 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
▶	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	15.9b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b 1) 2))
	11.3b	(+.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 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (expm1.f64 (log1p.f64 (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	11.2b	(+.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 1) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180)))) (.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 180))) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b 1) 2))
	15.3b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	11.2b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle (sqrt.f64 180))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b 1) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (neg.f64 (log.f64 (sqrt.f64 180))) (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.6b	(+.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 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	11.3b	(+.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 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	11.2b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	11.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 1) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))

Compiler

Compiled 7666 to 6133 computations (20% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (/.f64 angle 180) (PI.f64))
✓	0.4b	(.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)))
	26.9b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	32.8b	(cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

series3.0s (10.4%)

Counts

2 → 48

Calls

2 calls:

1.5s

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

1.5s

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

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 79

Calls

2 calls:

19.0ms

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

4.0ms

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

simplify257.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

658×	`unswap-sqr_binary64`
509×	`fma-neg_binary64`
372×	`*-commutative_binary64`
287×	`fma-def_binary64`
210×	`cancel-sign-sub-inv_binary64`

Counts

127 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	186	5048
1	422	4816
2	1178	4159
3	2729	3967
4	4962	3967

prune4.6s (16.3%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	452	10	462
Fresh	4	21	25
Picked	1	0	1
Done	0	0	0
Total	457	31	488

Error

10.5b

Counts

488 → 31

Alt Table

Status	Error	Program
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.2b	(+.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 5) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.4b	(+.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 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	11.6b	(+.f64 (.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) 2/3) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b 1) 2))
	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))))) (pow.f64 (*.f64 b 1) 2))
	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.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 1) 2))
	11.3b	(+.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 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (expm1.f64 (log1p.f64 (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	11.2b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180)) (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (cbrt.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	11.2b	(+.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 1) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (sqrt.f64 180)) (cbrt.f64 (sqrt.f64 180)))) (.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 180))) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))))) (pow.f64 (*.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle (sqrt.f64 180))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))) (cbrt.f64 (/.f64 angle (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b 1) 2))
	20.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (neg.f64 (log.f64 (sqrt.f64 180))) (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.6b	(+.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 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	11.2b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))) (pow.f64 (*.f64 b 1) 2))
	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.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 1) 2))
	11.3b	(+.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 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	34.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))
	11.1b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b 1) 2))
	39.8b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (.f64 4 (log.f64 a)) (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b 1) 2))
	20.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.2b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180))))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))))) 2) (pow.f64 (.f64 b 1) 2))
	11.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	11.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 1) 2))
	15.3b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 24688 to 18707 computations (24.2% saved)

regimes5.6s (19.7%)

Accuracy

Total 0.9b remaining (6.7%)

Threshold costs 0.9b (6.7%)

Counts

319 → 1

Compiler

Compiled 91312 to 73264 computations (19.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	22
1	25	22
2	23	22

end1.2s (4.1%)

Compiler: Compiled 1268 to 1011 computations (20.3% saved)

Details

analyze4.0ms (0%)

sample8.2s (29%)

simplify194.0ms (0.7%)

prune5.0ms (0%)

localize24.0ms (0.1%)

series42.0ms (0.1%)

rewrite26.0ms (0.1%)

simplify147.0ms (0.5%)

prune1.4s (4.8%)

localize20.0ms (0.1%)

series135.0ms (0.5%)

rewrite9.0ms (0%)

simplify139.0ms (0.5%)

prune1.2s (4.3%)

localize29.0ms (0.1%)

series92.0ms (0.3%)

rewrite53.0ms (0.2%)

simplify258.0ms (0.9%)

prune1.7s (6%)

localize33.0ms (0.1%)

series3.0s (10.4%)

rewrite38.0ms (0.1%)

simplify257.0ms (0.9%)

prune4.6s (16.3%)

regimes5.6s (19.7%)

simplify3.0ms (0%)

end1.2s (4.1%)

Profiling