Details

analyze2.0s (13.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	62.4%	12.6%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
42.9%	44.5%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
52.6%	34.8%	12.6%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample7.6s (51.8%)

Results

2.2s	1663×	body	1024	valid
1.8s	1386×	body	1024	invalid
1.2s	5180×	body	128	valid
719.0ms	821×	body	512	valid
630.0ms	702×	body	512	invalid
344.0ms	181×	body	2048	valid
208.0ms	407×	body	256	valid
189.0ms	345×	body	256	invalid
159.0ms	668×	body	128	invalid
23.0ms	4×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify130.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 → 1

Iterations

Useful iterations: 0 (0.0ms)

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

prune2.0ms (0%)

Pruning

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

20.5b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 72 to 57 computations (20.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
✓	0.4b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	26.4b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	27.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series29.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

18.0ms	(.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
4.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
4.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
3.0ms	(*.f64 (PI.f64) (/.f64 angle 180))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

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

simplify117.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

587×	`times-frac_binary64`
540×	`fma-neg_binary64`
390×	`*-commutative_binary64`
315×	`unswap-sqr_binary64`
306×	`fma-def_binary64`

Counts

132 → 111

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	185	1974
1	430	1822
2	1414	1804
3	3148	1784
4	4770	1784
5	4995	1782
6	5000	1782

prune381.0ms (2.6%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	122	31	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	31	154

Error

19.2b

Counts

154 → 31

Alt Table

Status	Error	Program
	24.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	27.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 1/180 (.f64 angle (*.f64 (PI.f64) b))) 2))
	41.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.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))
	30.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (fma.f64 (pow.f64 (.f64 angle (PI.f64)) 3) -1/34992000 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (*.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (exp.f64 (log.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	41.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180))) (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (/.f64 angle 180)))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 b (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
▶	20.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))

Compiler

Compiled 6259 to 4546 computations (27.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 1/180 (.f64 angle (PI.f64)))
	0.4b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	26.9b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	27.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series7.0ms (0%)

Counts

2 → 4

Calls

2 calls:

4.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
3.0ms	(.f64 1/180 (.f64 angle (PI.f64)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

2 → 29

Calls

2 calls:

4.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
2.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

simplify52.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

732×	`fma-def_binary64`
727×	`distribute-rgt-neg-in_binary64`
545×	`associate-l_binary64`
436×	`fma-neg_binary64`
435×	`associate-r_binary64`

Counts

33 → 37

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	501
1	168	425
2	526	423
3	1833	423
4	3839	423
5	5167	423

prune392.0ms (2.7%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	92	5	97
Fresh	3	27	30
Picked	1	0	1
Done	0	0	0
Total	96	32	128

Error

19.2b

Counts

128 → 32

Alt Table

Status	Error	Program
	24.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	27.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 1/180 (.f64 angle (*.f64 (PI.f64) b))) 2))
	41.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	30.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (fma.f64 (pow.f64 (.f64 angle (PI.f64)) 3) -1/34992000 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (*.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (exp.f64 (log.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 b (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.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))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	24.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2))
▶	20.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 4731 to 3410 computations (27.9% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (pow.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))) 3))
	0.4b	(*.f64 (PI.f64) (/.f64 angle 180))
	26.4b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	27.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series4.0ms (0%)

Counts

1 → 12

Calls

1 calls:

4.0ms

(cbrt.f64 (pow.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))) 3))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
3×	`cube-prod_binary64`

Counts

1 → 23

Calls

1 calls:

2.0ms

(cbrt.f64 (pow.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))) 3))

simplify72.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

861×	`distribute-rgt-neg-in_binary64`
699×	`distribute-lft-neg-in_binary64`
489×	`fma-def_binary64`
478×	`*-commutative_binary64`
475×	`cancel-sign-sub-inv_binary64`

Counts

35 → 37

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	67	604
1	136	562
2	365	558
3	1273	556
4	3297	538
5	4878	538
6	4973	538

prune634.0ms (4.3%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	145	12	157
Fresh	7	24	31
Picked	1	0	1
Done	0	0	0
Total	153	36	189

Error

19.2b

Counts

189 → 36

Alt Table

Status	Error	Program
	24.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	27.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 1/180 (.f64 angle (*.f64 (PI.f64) b))) 2))
	25.7b	(+.f64 (pow.f64 (.f64 a (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	30.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (fma.f64 (pow.f64 (.f64 angle (PI.f64)) 3) -1/34992000 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (*.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (/.f64 angle 180) (cbrt.f64 (PI.f64))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (exp.f64 (log.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
▶	20.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.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))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 b (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2))

Compiler

Compiled 7259 to 5478 computations (24.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))
	0.4b	(*.f64 (PI.f64) (/.f64 angle 180))
	26.4b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	27.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series4.0ms (0%)

Counts

1 → 12

Calls

1 calls:

4.0ms

(log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`log-pow_binary64`
3×	`log-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`exp-prod_binary64`

Counts

1 → 17

Calls

1 calls:

2.0ms

(log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))

simplify84.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

861×	`distribute-rgt-neg-in_binary64`
699×	`distribute-lft-neg-in_binary64`
488×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
378×	`*-commutative_binary64`

Counts

29 → 36

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	63	458
1	118	424
2	280	420
3	1029	418
4	2836	412
5	4466	412
6	4973	412
7	4963	412

prune702.0ms (4.7%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	148	8	156
Fresh	5	30	35
Picked	1	0	1
Done	0	0	0
Total	154	38	192

Error

19.2b

Counts

192 → 38

Alt Table

Status	Error	Program
	24.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	27.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 1/180 (.f64 angle (*.f64 (PI.f64) b))) 2))
	41.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (sqrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	30.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	30.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (fma.f64 (pow.f64 (.f64 angle (PI.f64)) 3) -1/34992000 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (*.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180)))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (/.f64 angle 180) (cbrt.f64 (PI.f64))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (exp.f64 (log.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180))) (sqrt.f64 (/.f64 angle 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 angle (PI.f64)) 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.7b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (log.f64 (exp.f64 (cos.f64 (exp.f64 (log.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.5b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (+.f64 (.f64 2 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	41.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.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))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	20.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	20.6b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 (.f64 b (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) 2))

Compiler

Compiled 6377 to 4859 computations (23.8% saved)

regimes1.6s (10.8%)

Accuracy

Total 1.2b remaining (5.8%)

Threshold costs 0b (0%)

Counts

180 → 1

Compiler

Compiled 38735 to 30769 computations (20.6% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	25	34
2	25	34

end793.0ms (5.4%)

Compiler: Compiled 1339 to 1052 computations (21.4% saved)

Details

analyze2.0s (13.8%)

sample7.6s (51.8%)

simplify130.0ms (0.9%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series29.0ms (0.2%)

rewrite16.0ms (0.1%)

simplify117.0ms (0.8%)

prune381.0ms (2.6%)

localize15.0ms (0.1%)

series7.0ms (0%)

rewrite6.0ms (0%)

simplify52.0ms (0.4%)

prune392.0ms (2.7%)

localize16.0ms (0.1%)

series4.0ms (0%)

rewrite3.0ms (0%)

simplify72.0ms (0.5%)

prune634.0ms (4.3%)

localize19.0ms (0.1%)

series4.0ms (0%)

rewrite2.0ms (0%)

simplify84.0ms (0.6%)

prune702.0ms (4.7%)

regimes1.6s (10.8%)

simplify2.0ms (0%)

end793.0ms (5.4%)

Profiling