Details

analyze7.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
99.7%	0%	0.3%	1

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample9.4s (56.8%)

Results

4.4s	2406×	body	2048	valid
2.2s	2052×	body	1024	valid
1.1s	292×	body	4096	valid
672.0ms	943×	body	512	valid
579.0ms	2095×	body	128	valid
237.0ms	468×	body	256	valid

Compiler

Compiled 101 to 80 computations (20.8% saved)

simplify41.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

442×	`fma-def_binary64`
259×	`associate-/l*_binary64`
218×	`*-commutative_binary64`
216×	`distribute-lft-in_binary64`
212×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	24	37
1	47	37
2	103	37
3	200	37
4	441	37
5	640	37
6	825	35
7	1093	35
8	1155	31
9	1238	31
10	1270	31
11	1270	31
12	1254	31

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

45.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	46.3b	(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
▶	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))

Status

Error

Program

46.3b

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))

▶

45.7b

(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))

Compiler

Compiled 174 to 132 computations (24.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.5b	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
✓	2.3b	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
✓	33.6b	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))
✓	33.8b	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))

series107.0ms (0.6%)

Counts

4 → 144

Calls

4 calls:

40.0ms	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
39.0ms	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))
15.0ms	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
13.0ms	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
8×	`fma-udef_binary64`
6×	`associate-r_binary64`

Counts

4 → 66

Calls

4 calls:

6.0ms	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
4.0ms	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
2.0ms	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
2.0ms	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))

simplify114.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

697×	`associate-r_binary64`
593×	`associate-l_binary64`
426×	`unswap-sqr_binary64`
340×	`*-commutative_binary64`
277×	`fma-def_binary64`

Counts

210 → 148

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	363	5086
1	997	4318
2	4107	4270
3	5313	4270

prune353.0ms (2.1%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	112	36	148
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	114	36	150

Error

40.8b

Counts

150 → 36

Alt Table

Status	Error	Program
	54.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	53.0b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.8b	(.f64 (.f64 x (-.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (.f64 y (.f64 t z)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	47.4b	(.f64 (.f64 x (.f64 (sqrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (sqrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	55.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.7b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (cos.f64 (.f64 1/16 (.f64 t b)))) (.f64 (sin.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (sin.f64 (.f64 1/16 (.f64 t b))))))
	51.4b	(.f64 (.f64 x (-.f64 1 (fma.f64 1/128 (.f64 (.f64 y y) (.f64 (.f64 t t) (.f64 z z))) (.f64 (.f64 (.f64 t t) (.f64 z z)) (+.f64 (.f64 1/128 y) 1/512))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	60.3b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b)))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.6b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (cos.f64 (.f64 1/16 (.f64 z t)))) (.f64 (sin.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (sin.f64 (.f64 1/16 (.f64 z t)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	51.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 1 (fma.f64 1/128 (.f64 a (.f64 (.f64 t t) (.f64 b b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (+.f64 1/512 (.f64 1/128 (.f64 a a)))))))
	52.0b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (log1p.f64 (expm1.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	50.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 z t) (.f64 z t)) (.f64 z t)) (.f64 (.f64 (fma.f64 y 1/8 1/16) (fma.f64 y 1/8 1/16)) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
▶	45.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (expm1.f64 (log1p.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	49.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (sqrt.f64 (fma.f64 y 1/8 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))

Compiler

Compiled 8077 to 5300 computations (34.4% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (cos.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))
	2.3b	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
	33.6b	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))

series80.0ms (0.5%)

Counts

1 → 48

Calls

1 calls:

80.0ms

(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

657×	`cancel-sign-sub-inv_binary64`
480×	`associate--l+_binary64`
367×	`sub-neg_binary64`
339×	`associate-r_binary64`
241×	`distribute-rgt-out_binary64`

Counts

68 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	2301
1	534	2019
2	2146	1819
3	4457	1819
4	5002	1819

prune385.0ms (2.3%)

Pruning

50 alts after pruning (50 fresh and 0 done)

	Pruned	Kept	Total
New	108	23	131
Fresh	8	27	35
Picked	1	0	1
Done	0	0	0
Total	117	50	167

Error

39.5b

Counts

167 → 50

Alt Table

Status	Error	Program
	54.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	53.0b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16))))) 1)
	45.4b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	57.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x) 3)) 1)
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.8b	(.f64 (.f64 x (-.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (.f64 y (.f64 t z)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (fma.f64 1/8 y 1/16)) (cbrt.f64 (fma.f64 1/8 y 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) 1)
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	55.0b	(.f64 (exp.f64 (log.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.9b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	55.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (cos.f64 (.f64 1/16 (.f64 t b)))) (.f64 (sin.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (sin.f64 (.f64 1/16 (.f64 t b))))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (*.f64 t z))))) 1)
	60.3b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	60.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	49.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (sqrt.f64 (fma.f64 y 1/8 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	53.9b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	45.8b	(.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
	47.5b	(.f64 (fma.f64 x (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 y (.f64 t (.f64 z x))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) -1/8))) 1)
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b)))))
	51.5b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.6b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (cos.f64 (.f64 1/16 (.f64 z t)))) (.f64 (sin.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (sin.f64 (.f64 1/16 (.f64 z t)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	51.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 1 (fma.f64 1/128 (.f64 a (.f64 (.f64 t t) (.f64 b b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (+.f64 1/512 (.f64 1/128 (.f64 a a)))))))
	46.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)) (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.1b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) 1)
	46.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	45.7b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 1/8 (.f64 y z))))))) 1)
	46.1b	(.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 x))) 1)
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.5b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (cos.f64 (.f64 (.f64 z t) 1/16))) (.f64 (sin.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (sin.f64 (.f64 (.f64 z t) 1/16))))) 1)
	51.5b	(.f64 (-.f64 x (.f64 (.f64 (.f64 t t) (.f64 x (.f64 z z))) (+.f64 1/512 (.f64 y (+.f64 (.f64 y 1/128) 1/128))))) 1)
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
▶	44.8b	(*.f64 x 1)
	46.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	51.7b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	46.1b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x)) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)

Compiler

Compiled 7619 to 5298 computations (30.5% saved)

localize2.0ms (0%)

prune133.0ms (0.8%)

Pruning

50 alts after pruning (49 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	49	49
Picked	1	1
Done	0	0
Total	50	50

Error

39.5b

Counts

50 → 50

Alt Table

Status	Error	Program
	54.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	53.0b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16))))) 1)
	45.4b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	57.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x) 3)) 1)
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.8b	(.f64 (.f64 x (-.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (.f64 y (.f64 t z)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (fma.f64 1/8 y 1/16)) (cbrt.f64 (fma.f64 1/8 y 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) 1)
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	55.0b	(.f64 (exp.f64 (log.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.9b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	55.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (cos.f64 (.f64 1/16 (.f64 t b)))) (.f64 (sin.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (sin.f64 (.f64 1/16 (.f64 t b))))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (*.f64 t z))))) 1)
	60.3b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	60.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	49.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (sqrt.f64 (fma.f64 y 1/8 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	53.9b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	45.8b	(.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
	47.5b	(.f64 (fma.f64 x (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 y (.f64 t (.f64 z x))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) -1/8))) 1)
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b)))))
	51.5b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.6b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (cos.f64 (.f64 1/16 (.f64 z t)))) (.f64 (sin.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (sin.f64 (.f64 1/16 (.f64 z t)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	51.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 1 (fma.f64 1/128 (.f64 a (.f64 (.f64 t t) (.f64 b b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (+.f64 1/512 (.f64 1/128 (.f64 a a)))))))
	46.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)) (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
▶	45.1b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) 1)
	46.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	45.7b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 1/8 (.f64 y z))))))) 1)
	46.1b	(.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 x))) 1)
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.5b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (cos.f64 (.f64 (.f64 z t) 1/16))) (.f64 (sin.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (sin.f64 (.f64 (.f64 z t) 1/16))))) 1)
	51.5b	(.f64 (-.f64 x (.f64 (.f64 (.f64 t t) (.f64 x (.f64 z z))) (+.f64 1/512 (.f64 y (+.f64 (.f64 y 1/128) 1/128))))) 1)
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
✓	44.8b	(*.f64 x 1)
	46.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	51.7b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	46.1b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x)) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)

Compiler

Compiled 3261 to 2382 computations (27% saved)

localize14.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
✓	24.8b	(cos.f64 (.f64 1/16 (.f64 t z)))

series57.0ms (0.3%)

Counts

2 → 16

Calls

2 calls:

37.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
19.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

2 → 29

Calls

2 calls:

8.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
3.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

simplify129.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

664×	`fma-neg_binary64`
451×	`associate-l_binary64`
414×	`distribute-rgt-neg-in_binary64`
404×	`distribute-lft-neg-in_binary64`
373×	`associate-r_binary64`

Counts

45 → 54

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	79	876
1	188	799
2	560	775
3	1954	765
4	4383	765
5	5019	765

prune250.0ms (1.5%)

Pruning

53 alts after pruning (52 fresh and 1 done)

	Pruned	Kept	Total
New	48	6	54
Fresh	2	46	48
Picked	1	0	1
Done	0	1	1
Total	51	53	104

Error

39.5b

Counts

104 → 53

Alt Table

Status	Error	Program
	54.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	53.0b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16))))) 1)
	45.4b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.8b	(.f64 (.f64 x (-.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (.f64 y (.f64 t z)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (fma.f64 1/8 y 1/16)) (cbrt.f64 (fma.f64 1/8 y 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) 1)
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	55.0b	(.f64 (exp.f64 (log.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.9b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	55.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (cos.f64 (.f64 1/16 (.f64 t b)))) (.f64 (sin.f64 (.f64 (.f64 a 1/8) (.f64 t b))) (sin.f64 (.f64 1/16 (.f64 t b))))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (*.f64 t z))))) 1)
	45.5b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) 1)
	60.3b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
	48.9b	(.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (*.f64 z z)) -1/512 1) x) 1)
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	60.3b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	45.1b	(.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/16 (.f64 t z)))) (cbrt.f64 (cos.f64 (.f64 1/16 (.f64 t z))))) (.f64 (cbrt.f64 (cos.f64 (.f64 1/16 (.f64 t z)))) x)) 1)
	49.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (sqrt.f64 (fma.f64 y 1/8 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	45.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	53.9b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	45.8b	(.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
	47.5b	(.f64 (fma.f64 x (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 y (.f64 t (.f64 z x))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) -1/8))) 1)
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b)))))
	51.5b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.5b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x)) (cbrt.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))) (cbrt.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))) 1)
	45.6b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (cos.f64 (.f64 1/16 (.f64 z t)))) (.f64 (sin.f64 (.f64 (.f64 y 1/8) (.f64 z t))) (sin.f64 (.f64 1/16 (.f64 z t)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	51.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 1 (fma.f64 1/128 (.f64 a (.f64 (.f64 t t) (.f64 b b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (+.f64 1/512 (.f64 1/128 (.f64 a a)))))))
	46.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)) (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	56.6b	(.f64 (cbrt.f64 (pow.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) 3)) 1)
	46.8b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	45.7b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 1/8 (.f64 y z))))))) 1)
	46.1b	(.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 x))) 1)
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	45.5b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (cos.f64 (.f64 (.f64 z t) 1/16))) (.f64 (sin.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (sin.f64 (.f64 (.f64 z t) 1/16))))) 1)
	45.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
✓	44.8b	(*.f64 x 1)
	46.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	51.7b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	46.1b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x)) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
	51.0b	(.f64 (expm1.f64 (log1p.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x))) 1)

Compiler

Compiled 2694 to 1893 computations (29.7% saved)

regimes4.1s (24.8%)

Accuracy

Total 4.1b remaining (9.5%)

Threshold costs 0b (0%)

Counts

144 → 2

Compiler

Compiled 57924 to 42867 computations (26% saved)

bsearch8.0ms (0%)

Compiler: Compiled 33 to 26 computations (21.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	110
1	64	110
2	63	110

end1.2s (7.2%)

Compiler: Compiled 1876 to 1371 computations (26.9% saved)

Details

analyze7.0ms (0%)

sample9.4s (56.8%)

simplify41.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series107.0ms (0.6%)

rewrite16.0ms (0.1%)

simplify114.0ms (0.7%)

prune353.0ms (2.1%)

localize10.0ms (0.1%)

series80.0ms (0.5%)

rewrite5.0ms (0%)

simplify80.0ms (0.5%)

prune385.0ms (2.3%)

localize2.0ms (0%)

prune133.0ms (0.8%)

localize14.0ms (0.1%)

series57.0ms (0.3%)

rewrite13.0ms (0.1%)

simplify129.0ms (0.8%)

prune250.0ms (1.5%)

regimes4.1s (24.8%)

bsearch8.0ms (0%)

simplify7.0ms (0%)

end1.2s (7.2%)

Profiling