Details

analyze1.7s (9.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

Compiler

Compiled 53 to 41 computations (22.6% saved)

sample8.9s (50.1%)

Results

5.9s	3610×	body	1024	valid
1.5s	1393×	body	512	valid
898.0ms	2596×	body	128	valid
574.0ms	637×	body	256	valid
60.0ms	20×	body	2048	valid

Compiler

Compiled 158 to 122 computations (22.8% saved)

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

770×	`neg-mul-1_binary64`
444×	`distribute-rgt-neg-out_binary64`
438×	`distribute-lft-neg-out_binary64`
418×	`distribute-rgt-in_binary64`
417×	`distribute-lft-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	33	80
1	80	74
2	201	74
3	626	73
4	2261	71
5	4460	71
6	5422	71

prune7.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.5b	(/.f64 (+.f64 2 (.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 3 (+.f64 (+.f64 1 (.f64 (/.f64 (-.f64 (sqrt.f64 5) 1) 2) (cos.f64 x))) (.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
▶	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))

Status

Error

Program

0.5b

(/.f64 (+.f64 2 (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))) (*.f64 3 (+.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 (sqrt.f64 5) 1) 2) (cos.f64 x))) (*.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))

▶

0.5b

(/.f64 (fma.f64 (*.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))

Compiler

Compiled 295 to 218 computations (26.1% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
✓	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)
✓	1.0b	(-.f64 3 (sqrt.f64 5))
✓	1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

series19.0ms (0.1%)

Counts

4 → 32

Calls

4 calls:

12.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
6.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(-.f64 3 (sqrt.f64 5))
0.0ms	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)

rewrite52.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

179×	`add-sqr-sqrt_binary64`
154×	`*-un-lft-identity_binary64`
128×	`add-cube-cbrt_binary64`
106×	`times-frac_binary64`
105×	`prod-diff_binary64`

Counts

4 → 273

Calls

4 calls:

12.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
8.0ms	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)
4.0ms	(-.f64 3 (sqrt.f64 5))
3.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify244.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

387×	`cancel-sign-sub-inv_binary64`
375×	`fma-neg_binary64`
336×	`associate-l_binary64`
316×	`associate-r_binary64`
280×	`*-commutative_binary64`

Counts

305 → 333

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	594	8679
1	1199	6233
2	3223	5425
3	4633	5425
4	4981	5425
5	4696	5425

prune838.0ms (4.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	324	9	333
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	325	10	335

Error

0.1b

Counts

335 → 10

Alt Table

Status	Error	Program
	0.8b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (+.f64 -1 (sqrt.f64 5))) (cbrt.f64 (+.f64 -1 (sqrt.f64 5)))) (/.f64 (cbrt.f64 (+.f64 -1 (sqrt.f64 5))) 2/3)) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.5b	(/.f64 (+.f64 2 (.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 3 (+.f64 (+.f64 1 (.f64 (/.f64 (-.f64 (sqrt.f64 5) 1) 2) (cos.f64 x))) (.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (+.f64 (fma.f64 1 (cos.f64 x) (neg.f64 (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
▶	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.9b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (+.f64 3 (.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5))))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (fma.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	1.0b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (cbrt.f64 2/3))) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))

Compiler

Compiled 22098 to 14263 computations (35.5% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(*.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3)))
	1.0b	(-.f64 3 (sqrt.f64 5))
✓	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))
	1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

series0.0ms (0%)

Counts

2 → 0

Calls

2 calls:

0.0ms	(/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))
0.0ms	(*.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3)))

rewrite60.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

238×	`add-sqr-sqrt_binary64`
172×	`times-frac_binary64`
146×	`*-un-lft-identity_binary64`
141×	`sqrt-prod_binary64`
75×	`add-cube-cbrt_binary64`

Counts

2 → 233

Calls

2 calls:

31.0ms	(*.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3)))
7.0ms	(/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))

simplify168.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

633×	`times-frac_binary64`
528×	`cancel-sign-sub-inv_binary64`
496×	`associate-/l*_binary64`
318×	`sub-neg_binary64`
318×	`fma-def_binary64`

Counts

233 → 212

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	151	5163
1	375	4567
2	1216	4565
3	3122	4503
4	4095	4447
5	5281	4447

prune942.0ms (5.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	305	3	308
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	308	10	318

Error

0.1b

Counts

318 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (+.f64 (fma.f64 1 (cos.f64 x) (neg.f64 (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
▶	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))
	0.5b	(/.f64 (+.f64 2 (.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))) (.f64 3 (+.f64 (+.f64 1 (.f64 (/.f64 (-.f64 (sqrt.f64 5) 1) 2) (cos.f64 x))) (.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
	0.5b	(/.f64 (fma.f64 (.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.9b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (+.f64 3 (.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5))))) 3)))
	13.3b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 x y) 2)) (sin.f64 (/.f64 (+.f64 y x) 2)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (fma.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	1.0b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (cbrt.f64 2/3))) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))

Compiler

Compiled 19976 to 14121 computations (29.3% saved)

localize41.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
	1.0b	(*.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3)))
	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))
	1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

prune1.4s (7.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	423	1	424
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	424	10	434

Error

0.1b

Counts

434 → 10

Alt Table

Status	Error	Program
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (+.f64 (fma.f64 1 (cos.f64 x) (neg.f64 (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
✓	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.9b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (+.f64 3 (.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5))))) 3)))
	13.3b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 x y) 2)) (sin.f64 (/.f64 (+.f64 y x) 2)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (fma.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	1.0b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (cbrt.f64 2/3))) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
▶	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.8b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (pow.f64 (sqrt.f64 (sqrt.f64 2/3)) 3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 (sqrt.f64 2/3)))) (fma.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))

Compiler

Compiled 30332 to 20962 computations (30.9% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(*.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3)))
	1.0b	(-.f64 3 (sqrt.f64 5))
	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))
	1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

prune1.2s (7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	409	1	410
Fresh	1	7	8
Picked	0	1	1
Done	1	0	1
Total	411	9	420

Error

0.1b

Counts

420 → 9

Alt Table

Status	Error	Program
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (+.f64 (fma.f64 1 (cos.f64 x) (neg.f64 (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y))) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))
	0.9b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (+.f64 3 (neg.f64 (*.f64 (sqrt.f64 (cbrt.f64 5)) (fabs.f64 (cbrt.f64 5)))))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (log.f64 (exp.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	13.3b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 x y) 2)) (sin.f64 (/.f64 (+.f64 y x) 2)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.5b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (fma.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y))) 2) (fma.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2/3) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	1.0b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 5) 1)) (cbrt.f64 2/3))) (fma.f64 (cos.f64 y) (*.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
✓	0.4b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (.f64 (.f64 (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) (cbrt.f64 (-.f64 (cos.f64 x) (cos.f64 y)))) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (sqrt.f64 2/3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 2/3))) (fma.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5))) 3)))
	0.8b	(/.f64 (fma.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (.f64 (/.f64 1 (pow.f64 (sqrt.f64 (sqrt.f64 2/3)) 3)) (/.f64 (-.f64 (sqrt.f64 5) 1) (sqrt.f64 (sqrt.f64 2/3)))) (fma.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5)))) 3)))

Compiler

Compiled 31855 to 17915 computations (43.8% saved)

regimes1.5s (8.7%)

Accuracy

Total 0.2b remaining (64.8%)

Threshold costs 0.2b (64.8%)

Counts

260 → 1

Compiler

Compiled 47042 to 34894 computations (25.8% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
12×	`+-commutative_binary64`
10×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	91
1	60	89
2	79	89
3	93	89
4	101	89
5	103	89
6	101	89

end462.0ms (2.6%)

Compiler: Compiled 677 to 488 computations (27.9% saved)

Details

analyze1.7s (9.7%)

sample8.9s (50.1%)

simplify47.0ms (0.3%)

prune7.0ms (0%)

localize27.0ms (0.2%)

series19.0ms (0.1%)

rewrite52.0ms (0.3%)

simplify244.0ms (1.4%)

prune838.0ms (4.7%)

localize33.0ms (0.2%)

series0.0ms (0%)

rewrite60.0ms (0.3%)

simplify168.0ms (0.9%)

prune942.0ms (5.3%)

localize41.0ms (0.2%)

prune1.4s (7.7%)

localize36.0ms (0.2%)

prune1.2s (7%)

regimes1.5s (8.7%)

simplify6.0ms (0%)

end462.0ms (2.6%)

Profiling