Details

analyze1.3s (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)

sample9.2s (55.7%)

Results

6.3s	3580×	body	1024	valid
1.4s	1391×	body	512	valid
1.0s	2646×	body	128	valid
386.0ms	626×	body	256	valid
32.0ms	13×	body	2048	valid

Compiler

Compiled 158 to 122 computations (22.8% saved)

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

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

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)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.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))
✓	2.9b	(-.f64 (cos.f64 x) (cos.f64 y))

series24.0ms (0.1%)

Counts

4 → 32

Calls

4 calls:

17.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
7.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)

rewrite69.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

241×	`add-sqr-sqrt_binary64`
237×	`log1p-expm1-u_binary64`
237×	`expm1-log1p-u_binary64`
232×	`add-log-exp_binary64`
231×	`add-exp-log_binary64`

Counts

4 → 85

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	39
1	500	39
2	4834	39
3	4819	39
0	0	0
1	0	0

simplify57.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

819×	`sub-neg_binary64`
783×	`fma-neg_binary64`
287×	`fma-def_binary64`
277×	`associate-+l-_binary64`
267×	`distribute-rgt-neg-in_binary64`

Counts

117 → 115

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	605
1	233	566
2	699	510
3	2122	507
4	4683	507
5	5552	507

prune344.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	106	9	115
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	107	10	117

Error

0.2b

Counts

117 → 10

Alt Table

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

Compiler

Compiled 6895 to 4570 computations (33.7% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
	1.0b	(-.f64 3 (sqrt.f64 5))
	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)
✓	2.9b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y)))

series644.0ms (3.9%)

Counts

1 → 24

Calls

1 calls:

644.0ms

(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y)))

rewrite104.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

719×	`log1p-expm1-u_binary64`
719×	`expm1-log1p-u_binary64`
224×	`prod-diff_binary64`
151×	`log1p-udef_binary64`
110×	`egg-rr`

Counts

1 → 110

Calls

1 calls:

101.0ms

(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	10
1	199	8
2	1900	8
3	4941	8
0	0	0
1	0	0

simplify87.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

572×	`unswap-sqr_binary64`
554×	`fma-def_binary64`
449×	`sub-neg_binary64`
425×	`associate-l_binary64`
396×	`cancel-sign-sub-inv_binary64`

Counts

134 → 124

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	272
1	109	260
2	321	260
3	946	260
4	3371	260
5	4726	260
6	4960	260
7	4939	260

prune654.0ms (4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	194	1	195
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	195	10	205

Error

0.2b

Counts

205 → 10

Alt Table

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

Compiler

Compiled 12922 to 7833 computations (39.4% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(-.f64 3 (sqrt.f64 5))
	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)
	2.9b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y)))
✓	6.8b	(cbrt.f64 (.f64 (pow.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) 3) (.f64 2 (sqrt.f64 2))))

series278.0ms (1.7%)

Counts

1 → 24

Calls

1 calls:

278.0ms

(cbrt.f64 (*.f64 (pow.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) 3) (*.f64 2 (sqrt.f64 2))))

rewrite67.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

538×	`prod-diff_binary64`
257×	`log1p-udef_binary64`
146×	`add-sqr-sqrt_binary64`
143×	`log1p-expm1-u_binary64`
143×	`expm1-log1p-u_binary64`

Counts

1 → 31

Calls

1 calls:

67.0ms

(cbrt.f64 (*.f64 (pow.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) 3) (*.f64 2 (sqrt.f64 2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	16
1	317	16
2	3549	16
3	4887	16
0	0	0
1	0	0

simplify48.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

473×	`distribute-rgt-neg-in_binary64`
450×	`distribute-lft-neg-in_binary64`
442×	`associate-l_binary64`
427×	`associate-r_binary64`
300×	`fma-def_binary64`

Counts

55 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	713
1	174	674
2	586	579
3	2399	554
4	5291	554

prune679.0ms (4.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	210	2	212
Fresh	1	7	8
Picked	0	1	1
Done	1	0	1
Total	212	10	222

Error

0.2b

Counts

222 → 10

Alt Table

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

Compiler

Compiled 14928 to 9440 computations (36.8% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(-.f64 3 (sqrt.f64 5))
	1.0b	(/.f64 (-.f64 (sqrt.f64 5) 1) 2/3)
	2.9b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x)) (neg.f64 (cos.f64 y)))
✓	3.3b	(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 2)))))

series544.0ms (3.3%)

Counts

1 → 24

Calls

1 calls:

544.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 2)))))

rewrite60.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

676×	`prod-diff_binary64`
248×	`log1p-udef_binary64`
138×	`add-sqr-sqrt_binary64`
137×	`log1p-expm1-u_binary64`
137×	`expm1-log1p-u_binary64`

Counts

1 → 39

Calls

1 calls:

59.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 2)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	16
1	294	16
2	3452	16
3	5150	16
0	0	0
1	0	0

simplify82.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

607×	`distribute-rgt-neg-in_binary64`
501×	`sub-neg_binary64`
495×	`cancel-sign-sub-inv_binary64`
482×	`distribute-lft-neg-in_binary64`
449×	`fma-neg_binary64`

Counts

63 → 55

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	47	461
1	135	434
2	381	378
3	1059	375
4	2771	373
5	4495	373
6	4972	373
7	5215	373

prune664.0ms (4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	214	4	218
Fresh	3	5	8
Picked	1	0	1
Done	0	1	1
Total	218	10	228

Error

0.2b

Counts

228 → 10

Alt Table

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

Compiler

Compiled 14633 to 9080 computations (37.9% saved)

regimes856.0ms (5.2%)

Accuracy

Total 0.3b remaining (65.2%)

Threshold costs 0.3b (65.2%)

Counts

89 → 1

Compiler

Compiled 14417 to 10777 computations (25.2% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	95
1	56	95
2	72	95
3	83	95
4	90	95
5	92	95
6	90	95

end533.0ms (3.2%)

Compiler: Compiled 710 to 534 computations (24.8% saved)

Details

analyze1.3s (8%)

sample9.2s (55.7%)

simplify49.0ms (0.3%)

prune8.0ms (0%)

localize28.0ms (0.2%)

series24.0ms (0.1%)

rewrite69.0ms (0.4%)

simplify57.0ms (0.3%)

prune344.0ms (2.1%)

localize35.0ms (0.2%)

series644.0ms (3.9%)

rewrite104.0ms (0.6%)

simplify87.0ms (0.5%)

prune654.0ms (4%)

localize40.0ms (0.2%)

series278.0ms (1.7%)

rewrite67.0ms (0.4%)

simplify48.0ms (0.3%)

prune679.0ms (4.1%)

localize35.0ms (0.2%)

series544.0ms (3.3%)

rewrite60.0ms (0.4%)

simplify82.0ms (0.5%)

prune664.0ms (4%)

regimes856.0ms (5.2%)

simplify5.0ms (0%)

end533.0ms (3.2%)

Profiling