Details

analyze1.1s (6.9%)

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.6s (53.7%)

Results

5.8s	3596×	body	1024	valid
1.4s	1443×	body	512	valid
797.0ms	2594×	body	128	valid
557.0ms	605×	body	256	valid
45.0ms	18×	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.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.4b	(/.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.4b

(/.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)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series31.0ms (0.2%)

Counts

4 → 44

Calls

4 calls:

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

rewrite56.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

175×	`add-sqr-sqrt_binary64`
149×	`*-un-lft-identity_binary64`
128×	`add-cube-cbrt_binary64`
107×	`times-frac_binary64`
105×	`prod-diff_binary64`

Counts

4 → 267

Calls

4 calls:

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

simplify225.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

441×	`fma-neg_binary64`
411×	`associate-l_binary64`
396×	`associate-r_binary64`
330×	`*-commutative_binary64`
233×	`sub-neg_binary64`

Counts

311 → 344

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	617	10295
1	1313	6528
2	3853	6426
3	4949	6426
4	4932	6426

prune1.0s (6.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	335	9	344
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	336	10	346

Error

0.1b

Counts

346 → 10

Alt Table

Status	Error	Program
	0.4b	(/.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))) (log.f64 (/.f64 (exp.f64 (cos.f64 x)) (exp.f64 (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 (+.f64 2 (.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)))) (.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 (+.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 (cbrt.f64 (pow.f64 (.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2)) 3))) (.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
	1.0b	(/.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 (fma.f64 (sqrt.f64 3) (sqrt.f64 3) (neg.f64 (sqrt.f64 5))) 2) (cos.f64 y)))))
	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.6b	(/.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 (*.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)))) 2) (cos.f64 y)))))
	0.4b	(/.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 (fma.f64 1 3 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)) (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) 2) (cos.f64 y)))))
	0.8b	(/.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 (sqrt.f64 5)) 1) (sqrt.f64 2)) (.f64 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 5)) 1) (sqrt.f64 2)) (cos.f64 x)))) (*.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
	0.4b	(/.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 (.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)))))) (.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 (+.f64 2 (.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (sin.f64 x)) (.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))) (-.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 24619 to 16564 computations (32.7% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series4.0ms (0%)

Counts

2 → 4

Calls

2 calls:

4.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
0.0ms	(cbrt.f64 16)

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
4×	`sqrt-prod_binary64`

Counts

2 → 37

Calls

2 calls:

4.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
1.0ms	(cbrt.f64 16)

simplify101.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

925×	`fma-neg_binary64`
612×	`fma-def_binary64`
589×	`cancel-sign-sub-inv_binary64`
512×	`distribute-rgt-neg-in_binary64`
317×	`distribute-lft-neg-in_binary64`

Counts

41 → 47

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	75	461
1	153	437
2	403	425
3	965	409
4	2012	409
5	3371	409
6	4446	409
7	4961	409
8	4881	409

prune500.0ms (3.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	143	10	153

Error

0.1b

Counts

153 → 10

Alt Table

Status	Error	Program
	0.4b	(/.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))) (log.f64 (/.f64 (exp.f64 (cos.f64 x)) (exp.f64 (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 (+.f64 2 (.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)))) (.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 (+.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 (cbrt.f64 (pow.f64 (.f64 (cos.f64 x) (/.f64 (-.f64 (sqrt.f64 5) 1) 2)) 3))) (.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
	1.0b	(/.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 (fma.f64 (sqrt.f64 3) (sqrt.f64 3) (neg.f64 (sqrt.f64 5))) 2) (cos.f64 y)))))
	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.6b	(/.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 (*.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)))) 2) (cos.f64 y)))))
	0.4b	(/.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 (fma.f64 1 3 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)) (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) 2) (cos.f64 y)))))
	0.8b	(/.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 (sqrt.f64 5)) 1) (sqrt.f64 2)) (.f64 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 5)) 1) (sqrt.f64 2)) (cos.f64 x)))) (*.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
	0.4b	(/.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 (.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)))))) (.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 (+.f64 2 (.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (sin.f64 x)) (.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))) (-.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 10704 to 7698 computations (28.1% saved)

localize35.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 3 (sqrt.f64 5))
	2.0b	(-.f64 (cos.f64 x) (cos.f64 y))
✓	4.3b	(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

series16.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

16.0ms

(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

109×	`log-prod_binary64`
106×	`exp-sum_binary64`
84×	`*-un-lft-identity_binary64`
84×	`add-sqr-sqrt_binary64`
84×	`add-cube-cbrt_binary64`

Counts

1 → 122

Calls

1 calls:

11.0ms

(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

simplify141.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

517×	`fma-def_binary64`
442×	`exp-prod_binary64`
410×	`associate-/l*_binary64`
348×	`log-pow_binary64`
334×	`fma-neg_binary64`

Counts

146 → 152

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	582	5236
1	903	3812
2	1684	2529
3	4415	2529
4	4661	2529

prune1.4s (8.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	407	2	409
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	409	10	419

Error

0.1b

Counts

419 → 10

Alt Table

Status	Error	Program
	0.8b	(/.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 (sqrt.f64 5)) 1) (sqrt.f64 2)) (.f64 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 5)) 1) (sqrt.f64 2)) (cos.f64 x)))) (*.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
▶	0.4b	(/.f64 (+.f64 2 (.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))) (log.f64 (exp.f64 (-.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 (+.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))) (log.f64 (/.f64 (exp.f64 (cos.f64 x)) (exp.f64 (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)))))
	1.0b	(/.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 (fma.f64 (sqrt.f64 3) (sqrt.f64 3) (neg.f64 (sqrt.f64 5))) 2) (cos.f64 y)))))
	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.6b	(/.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 (*.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)))) 2) (cos.f64 y)))))
	0.4b	(/.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 (fma.f64 1 3 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)) (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) 2) (cos.f64 y)))))
	0.4b	(/.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 (.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)))))) (.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 (+.f64 2 (.f64 (.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 2) (fma.f64 -1/16 (sin.f64 y) (sin.f64 x)))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 2) (fma.f64 -1/16 (sin.f64 y) (sin.f64 x))))))) (-.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 (+.f64 2 (.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (sin.f64 x)) (.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))) (-.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 32020 to 21439 computations (33% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(-.f64 3 (sqrt.f64 5))
	2.0b	(-.f64 (cos.f64 x) (cos.f64 y))
✓	2.0b	(log.f64 (exp.f64 (-.f64 (cos.f64 x) (cos.f64 y))))
	4.3b	(log.f64 (exp.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))))

series7.0ms (0%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(log.f64 (exp.f64 (-.f64 (cos.f64 x) (cos.f64 y))))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`log-prod_binary64`
13×	`exp-sum_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`

Counts

1 → 34

Calls

1 calls:

5.0ms

(log.f64 (exp.f64 (-.f64 (cos.f64 x) (cos.f64 y))))

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

415×	`cancel-sign-sub-inv_binary64`
408×	`fma-neg_binary64`
281×	`associate-+l+_binary64`
256×	`fma-def_binary64`
248×	`associate-+r+_binary64`

Counts

58 → 62

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	143	735
1	215	655
2	537	605
3	1640	605
4	4618	605
5	4930	605

prune980.0ms (6.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	310	0	310
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	310	10	320

Error

0.1b

Counts

320 → 10

Alt Table

Status	Error	Program
	0.8b	(/.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 (sqrt.f64 5)) 1) (sqrt.f64 2)) (.f64 (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 5)) 1) (sqrt.f64 2)) (cos.f64 x)))) (*.f64 (/.f64 (-.f64 3 (sqrt.f64 5)) 2) (cos.f64 y)))))
✓	0.4b	(/.f64 (+.f64 2 (.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))) (log.f64 (exp.f64 (-.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 (+.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))) (log.f64 (/.f64 (exp.f64 (cos.f64 x)) (exp.f64 (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)))))
	1.0b	(/.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 (fma.f64 (sqrt.f64 3) (sqrt.f64 3) (neg.f64 (sqrt.f64 5))) 2) (cos.f64 y)))))
	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.6b	(/.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 (*.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)))) 2) (cos.f64 y)))))
	0.4b	(/.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 (fma.f64 1 3 (neg.f64 (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 5))) (sqrt.f64 (sqrt.f64 5)) (.f64 (sqrt.f64 (sqrt.f64 5)) (sqrt.f64 (sqrt.f64 5))))) 2) (cos.f64 y)))))
	0.4b	(/.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 (.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)))))) (.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 (+.f64 2 (.f64 (.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 2) (fma.f64 -1/16 (sin.f64 y) (sin.f64 x)))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (sqrt.f64 2) (fma.f64 -1/16 (sin.f64 y) (sin.f64 x))))))) (-.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 (+.f64 2 (.f64 (.f64 (+.f64 (.f64 (sqrt.f64 2) (sin.f64 x)) (.f64 (sqrt.f64 2) (neg.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 16) 3))))) (-.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 23293 to 15281 computations (34.4% saved)

regimes1.1s (7.1%)

Accuracy

Total 0.3b remaining (71.1%)

Threshold costs 0.3b (71.1%)

Counts

190 → 1

Compiler

Compiled 33776 to 26347 computations (22% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
16×	`*-commutative_binary64`
12×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	97
1	67	95
2	89	95
3	105	95
4	114	95
5	116	95
6	114	95

end388.0ms (2.4%)

Compiler: Compiled 725 to 565 computations (22.1% saved)

Details

analyze1.1s (6.9%)

sample8.6s (53.7%)

simplify47.0ms (0.3%)

prune7.0ms (0%)

localize35.0ms (0.2%)

series31.0ms (0.2%)

rewrite56.0ms (0.3%)

simplify225.0ms (1.4%)

prune1.0s (6.4%)

localize38.0ms (0.2%)

series4.0ms (0%)

rewrite6.0ms (0%)

simplify101.0ms (0.6%)

prune500.0ms (3.1%)

localize35.0ms (0.2%)

series16.0ms (0.1%)

rewrite39.0ms (0.2%)

simplify141.0ms (0.9%)

prune1.4s (8.7%)

localize39.0ms (0.2%)

series7.0ms (0%)

rewrite7.0ms (0%)

simplify69.0ms (0.4%)

prune980.0ms (6.1%)

regimes1.1s (7.1%)

simplify5.0ms (0%)

end388.0ms (2.4%)

Profiling