Details

analyze2.6s (11.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
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)

sample498.0ms (2.2%)

Algorithm

1×

intervals

Results

345.0ms	113×	body	1024	valid
62.0ms	37×	body	512	valid
46.0ms	82×	body	128	valid
26.0ms	24×	body	256	valid

Compiler

Compiled 107 to 83 computations (22.4% saved)

simplify63.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

prune13.0ms (0.1%)

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.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	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 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)))))

Status

Error

Program

▶

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

Compiler

Compiled 295 to 218 computations (26.1% saved)

localize95.0ms (0.4%)

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.5b	(-.f64 (cos.f64 x) (cos.f64 y))

series42.0ms (0.2%)

Counts

4 → 32

Calls

4 calls:

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

rewrite117.0ms (0.5%)

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:

29.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
13.0ms	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)
9.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
8.0ms	(-.f64 3 (sqrt.f64 5))

simplify452.0ms (2%)

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

prune1.7s (7.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	323	10	333
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	324	11	335

Error

0.1b

Counts

335 → 11

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 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (/.f64 (-.f64 (sqrt.f64 5) 1) 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.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (fma.f64 1 (sin.f64 x) (neg.f64 (.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 16) (cbrt.f64 16)))))) (sqrt.f64 2)) (.f64 (fma.f64 (neg.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16))) (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 16) (cbrt.f64 16))) (.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 16) (cbrt.f64 16))))) (sqrt.f64 2))) (-.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.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))) (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)))
	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.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.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3)))) (.f64 (sqrt.f64 2) 0)) (-.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 (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.6b	(/.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 (fma.f64 (sqrt.f64 3) (sqrt.f64 3) (neg.f64 (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) (.f64 (neg.f64 (.f64 (cbrt.f64 (cos.f64 y)) (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 (.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (cbrt.f64 (-.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 22268 to 14407 computations (35.3% saved)

localize68.0ms (0.3%)

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.5b	(-.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)))

rewrite141.0ms (0.6%)

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:

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

simplify363.0ms (1.6%)

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

prune2.3s (10.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	305	3	308
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	308	11	319

Error

0.1b

Counts

319 → 11

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 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (fma.f64 (sqrt.f64 5) 3/2 -3/2))) (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 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 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))) (.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.4b	(/.f64 (fma.f64 (.f64 (.f64 (.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (cbrt.f64 (-.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.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (fma.f64 1 (sin.f64 x) (neg.f64 (.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 16) (cbrt.f64 16)))))) (sqrt.f64 2)) (.f64 (fma.f64 (neg.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16))) (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 16) (cbrt.f64 16))) (.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 16) (cbrt.f64 16))))) (sqrt.f64 2))) (-.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.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))) (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)))
	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.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.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3)))) (.f64 (sqrt.f64 2) 0)) (-.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.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) (.f64 (neg.f64 (.f64 (cbrt.f64 (cos.f64 y)) (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.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)))))

Compiler

Compiled 20097 to 14204 computations (29.3% saved)

localize72.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series0.0ms (0%)

Counts

1 → 0

Calls

1 calls:

0.0ms

(cbrt.f64 16)

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`cbrt-prod_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 13

Calls

1 calls:

1.0ms

(cbrt.f64 16)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`associate-l_binary64`
1×	`rem-3cbrt-lft_binary64`
1×	`1-exp_binary64`

Counts

13 → 15

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	73
1	21	73
2	16	73

prune1.1s (4.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	184	3	187
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	188	10	198

Error

0.1b

Counts

198 → 10

Alt Table

Status	Error	Program
	0.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3)))) (.f64 (sqrt.f64 2) 0)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (log.f64 (/.f64 (exp.f64 (cos.f64 x)) (exp.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 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 16) (cbrt.f64 16))) (cbrt.f64 (cbrt.f64 16))) 3)))) (.f64 (sqrt.f64 2) 0)) (-.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.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 (.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.4b	(/.f64 (fma.f64 (.f64 (.f64 (.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (cbrt.f64 (-.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 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3)))) (.f64 (sqrt.f64 2) 0)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 1 (/.f64 2/3 (+.f64 -1 (sqrt.f64 5)))) (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))) (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)))
✓	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.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 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 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)))))

Compiler

Compiled 12828 to 9080 computations (29.2% saved)

localize75.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series0.0ms (0%)

Counts

1 → 0

Calls

1 calls:

0.0ms

(cbrt.f64 (cbrt.f64 16))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 16

Calls

1 calls:

2.0ms

(cbrt.f64 (cbrt.f64 16))

simplify121.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-l_binary64`
486×	`sqr-pow_binary64`
460×	`associate-/l/_binary64`
347×	`associate-/r/_binary64`
330×	`distribute-rgt-out_binary64`

Counts

16 → 19

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	25	146
1	28	146
2	41	146
3	52	142
4	80	138
5	138	138
6	284	138
7	888	138
8	955	138
9	1163	138
10	1565	138
11	2613	138
12	3313	138
13	4930	138
14	4747	138

prune1.3s (5.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	188	3	191
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	191	10	201

Error

0.1b

Counts

201 → 10

Alt Table

Status	Error	Program
✓	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 (+.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 16) (cbrt.f64 16))) (cbrt.f64 (cbrt.f64 16))) 3)))) (.f64 (sqrt.f64 2) 0)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)) 2) (fma.f64 (cos.f64 x) (/.f64 1 (/.f64 2/3 (+.f64 -1 (sqrt.f64 5)))) (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 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 3 (sqrt.f64 5))) 3)))
	0.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 16) (cbrt.f64 16))) (.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 16))) (sqrt.f64 (cbrt.f64 (cbrt.f64 16))))) 3)))) (.f64 (sqrt.f64 2) 0)) (-.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.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 (.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.4b	(/.f64 (fma.f64 (.f64 (.f64 (.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (cbrt.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))))) (cbrt.f64 (-.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.4b	(/.f64 (fma.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 16) (cbrt.f64 16))) (cbrt.f64 (cbrt.f64 16))) 3)))) (.f64 (sqrt.f64 2) 0)) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (log.f64 (/.f64 (exp.f64 (cos.f64 x)) (exp.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.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.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))) (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)))
	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)))))

Compiler

Compiled 13680 to 9998 computations (26.9% saved)

regimes2.7s (11.8%)

Accuracy

Total 0.3b remaining (75.9%)

Threshold costs 0.3b (75.9%)

Counts

235 → 1

Compiler

Compiled 40865 to 31198 computations (23.7% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64`
11×	`*-commutative_binary64`
11×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	109
1	60	109
2	77	109
3	89	109
4	97	109
5	99	109
6	97	109

end3.0ms (0%)

Compiler: Compiled 69 to 57 computations (17.4% saved)

sample8.7s (38.4%)

Algorithm

1×

intervals

Results

5.5s	3552×	body	1024	valid
1.3s	1367×	body	512	valid
710.0ms	2460×	body	128	valid
356.0ms	605×	body	256	valid
43.0ms	16×	body	2048	valid

Compiler

Compiled 729 to 559 computations (23.3% saved)

Details

analyze2.6s (11.8%)

sample498.0ms (2.2%)

simplify63.0ms (0.3%)

prune13.0ms (0.1%)

localize95.0ms (0.4%)

series42.0ms (0.2%)

rewrite117.0ms (0.5%)

simplify452.0ms (2%)

prune1.7s (7.7%)

localize68.0ms (0.3%)

series0.0ms (0%)

rewrite141.0ms (0.6%)

simplify363.0ms (1.6%)

prune2.3s (10.2%)

localize72.0ms (0.3%)

series0.0ms (0%)

rewrite2.0ms (0%)

simplify21.0ms (0.1%)

prune1.1s (4.9%)

localize75.0ms (0.3%)

series0.0ms (0%)

rewrite3.0ms (0%)

simplify121.0ms (0.5%)

prune1.3s (5.6%)

regimes2.7s (11.8%)

simplify12.0ms (0.1%)

end3.0ms (0%)

sample8.7s (38.4%)

Profiling