Details

analyze1.5s (10.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
49.9%	49.9%	0.3%	8
49.9%	49.9%	0.3%	9
49.9%	49.9%	0.3%	10
49.9%	49.9%	0.3%	11
49.9%	49.9%	0.3%	12
49.9%	49.9%	0.3%	13
74.8%	24.9%	0.3%	14

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample7.9s (54.3%)

Results

3.7s	2415×	body	2048	valid
1.9s	1985×	body	1024	valid
1.0s	339×	body	4096	valid
581.0ms	949×	body	512	valid
478.0ms	2119×	body	128	valid
194.0ms	449×	body	256	valid

Compiler

Compiled 101 to 80 computations (20.8% saved)

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

46.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	47.0b	(.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))))
	47.4b	(.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)))

Status

Error

Program

▶

47.0b

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

47.4b

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

Compiler

Compiled 174 to 132 computations (24.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
✓	3.3b	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
✓	34.6b	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))
✓	36.1b	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))

series97.0ms (0.7%)

Counts

4 → 144

Calls

4 calls:

33.0ms	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
33.0ms	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))
18.0ms	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
12.0ms	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))

rewrite14.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:

4.0ms	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
4.0ms	(.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)))
2.0ms	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))

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

prune341.0ms (2.3%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	116	32	148
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	118	32	150

Error

42.6b

Counts

150 → 32

Alt Table

Status	Error	Program
	47.2b	(.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))))
	46.8b	(.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))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.8b	(.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))))
	47.2b	(.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))))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	51.8b	(.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))))
	47.0b	(.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))))
	49.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (*.f64 t b) (sqrt.f64 (fma.f64 a 1/8 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
	46.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)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.9b	(.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)))))
	47.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (sqrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (sqrt.f64 (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.5b	(.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))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
	52.3b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (sqrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (sqrt.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.0b	(.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))))))
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.8b	(.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))))))
	47.0b	(.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)))
	48.1b	(.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))))
	61.4b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.0b	(.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))))
	47.2b	(.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)))))))
	53.9b	(.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))))))
	47.0b	(.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))))))
▶	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	48.0b	(.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))))))
	47.0b	(.f64 (.f64 x (log.f64 (exp.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))))
	47.0b	(.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)))))
	49.4b	(.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.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))))
	48.1b	(.f64 (.f64 x (cos.f64 (expm1.f64 (log1p.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.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))

Compiler

Compiled 7749 to 5088 computations (34.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	2.2b	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
✓	28.9b	(cos.f64 (.f64 1/16 (.f64 t z)))
	36.1b	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))

series152.0ms (1%)

Counts

2 → 68

Calls

2 calls:

146.0ms	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
6.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

2 → 29

Calls

2 calls:

5.0ms	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
1.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

886×	`associate-r_binary64`
610×	`associate-l_binary64`
432×	`fma-def_binary64`
276×	`associate-+r+_binary64`
275×	`fma-neg_binary64`

Counts

97 → 83

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	351	4672
1	1131	4237
2	4924	4237
3	5147	4237

prune403.0ms (2.8%)

Pruning

44 alts after pruning (44 fresh and 0 done)

	Pruned	Kept	Total
New	129	26	155
Fresh	13	18	31
Picked	1	0	1
Done	0	0	0
Total	143	44	187

Error

40.6b

Counts

187 → 44

Alt Table

Status	Error	Program
	49.4b	(.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.4b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 t b) (.f64 a 1/8))) (cos.f64 (.f64 (.f64 t b) 1/16))) (.f64 (sin.f64 (.f64 (.f64 t b) (.f64 a 1/8))) (sin.f64 (.f64 (.f64 t b) 1/16)))))
	47.2b	(.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))))
	46.8b	(.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))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.8b	(.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))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	51.8b	(.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))))
	47.0b	(.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))))
	46.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.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	46.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)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	47.6b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (sqrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))))) (sqrt.f64 (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
▶	45.4b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	51.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.7b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b)))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))
	47.0b	(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)
	46.8b	(.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))))))
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	46.3b	(.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (.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)))))
	61.4b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	46.5b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (.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.6b	x
	48.1b	(.f64 (.f64 x (cos.f64 (expm1.f64 (log1p.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))))
	51.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (*.f64 t b))))))
	55.2b	(exp.f64 (log.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.0b	(.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.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (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)))))
	62.6b	(log.f64 (exp.f64 (.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.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	56.4b	(exp.f64 (+.f64 (+.f64 (log.f64 x) (log.f64 (cos.f64 (.f64 1/16 (.f64 t z))))) (log.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	51.4b	(expm1.f64 (log1p.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.5b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	48.0b	(.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))))))
	47.0b	(.f64 (.f64 x (log.f64 (exp.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))))
	47.0b	(.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)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (-.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)))))))
	46.3b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/16 (.f64 t z)))) (cbrt.f64 (cos.f64 (.f64 1/16 (.f64 t z))))) (cbrt.f64 (cos.f64 (.f64 1/16 (.f64 t z)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	48.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 (*.f64 t b) (sqrt.f64 (fma.f64 a 1/8 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))

Compiler

Compiled 9942 to 6508 computations (34.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

series16.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

16.0ms

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

rewrite4.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:

3.0ms

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

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

733×	`fma-def_binary64`
638×	`cancel-sign-sub-inv_binary64`
381×	`sub-neg_binary64`
377×	`fma-neg_binary64`
338×	`associate-l_binary64`

Counts

28 → 37

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	64	560
1	152	510
2	443	500
3	1483	486
4	3851	484
5	4545	466
6	5008	466

prune156.0ms (1.1%)

Pruning

47 alts after pruning (47 fresh and 0 done)

	Pruned	Kept	Total
New	45	9	54
Fresh	5	38	43
Picked	1	0	1
Done	0	0	0
Total	51	47	98

Error

40.6b

Counts

98 → 47

Alt Table

Status	Error	Program
	49.4b	(.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))))
	45.4b	(.f64 (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))) x)
	50.6b	(expm1.f64 (log1p.f64 (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 t b) (.f64 a 1/8))) (cos.f64 (.f64 (.f64 t b) 1/16))) (.f64 (sin.f64 (.f64 (.f64 t b) (.f64 a 1/8))) (sin.f64 (.f64 (.f64 t b) 1/16)))))
	47.2b	(.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))))
	46.8b	(.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))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.8b	(.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))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	51.8b	(.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.4b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))) x)
	47.0b	(.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))))
	46.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.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	46.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)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	47.6b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (sqrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))))) (sqrt.f64 (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
	45.7b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	51.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.7b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b)))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))
	47.0b	(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)
	46.8b	(.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))))))
	45.4b	(.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))
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	46.3b	(.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (.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)))))
	61.4b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	45.6b	x
	48.1b	(.f64 (.f64 x (cos.f64 (expm1.f64 (log1p.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.7b	(.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)))
	51.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (*.f64 t b))))))
	55.2b	(exp.f64 (log.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.0b	(.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.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (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)))))
	57.9b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x)) (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
	48.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 (*.f64 t b) (sqrt.f64 (fma.f64 a 1/8 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
	62.2b	(log.f64 (exp.f64 (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	46.5b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.0b	(.f64 (.f64 x (log.f64 (exp.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))))
	55.8b	(exp.f64 (+.f64 (log.f64 (cos.f64 (.f64 1/16 (.f64 t z)))) (log.f64 x)))
	48.0b	(.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))))))
	47.0b	(.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)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (-.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)))))))

Compiler

Compiled 3830 to 2690 computations (29.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f64 (cos.f64 (.f64 1/16 (.f64 t z))))
✓	0.1b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))) x)
✓	0.4b	(log.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z)))))
	28.9b	(cos.f64 (.f64 1/16 (.f64 t z)))

series32.0ms (0.2%)

Counts

3 → 68

Calls

3 calls:

16.0ms	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))) x)
9.0ms	(exp.f64 (cos.f64 (.f64 1/16 (.f64 t z))))
6.0ms	(log.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z)))))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
9×	`exp-prod_binary64`
9×	`add-cube-cbrt_binary64`
8×	`log-pow_binary64`

Counts

3 → 54

Calls

3 calls:

3.0ms	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))) x)
2.0ms	(exp.f64 (cos.f64 (.f64 1/16 (.f64 t z))))
2.0ms	(log.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z)))))

simplify98.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

636×	`associate-l_binary64`
624×	`distribute-rgt-neg-in_binary64`
586×	`distribute-lft-neg-in_binary64`
583×	`associate-r_binary64`
358×	`neg-mul-1_binary64`

Counts

122 → 104

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	120	1971
1	265	1853
2	779	1813
3	2984	1803
4	4886	1797
5	5181	1797

prune240.0ms (1.6%)

Pruning

47 alts after pruning (47 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	2	44	46
Picked	1	0	1
Done	0	0	0
Total	121	47	168

Error

40.6b

Counts

168 → 47

Alt Table

Status	Error	Program
	49.4b	(.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))))
	50.6b	(expm1.f64 (log1p.f64 (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (-.f64 (.f64 (cos.f64 (.f64 (.f64 t b) (.f64 a 1/8))) (cos.f64 (.f64 (.f64 t b) 1/16))) (.f64 (sin.f64 (.f64 (.f64 t b) (.f64 a 1/8))) (sin.f64 (.f64 (.f64 t b) 1/16)))))
	47.2b	(.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))))
	46.8b	(.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))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.8b	(.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))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	51.8b	(.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))))
	47.0b	(.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))))
	46.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.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))) (cbrt.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	46.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)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	47.6b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (sqrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))))) (sqrt.f64 (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
	46.0b	(.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))))) x)
	45.4b	(.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z)))))) (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (.f64 t z))))))) (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z))))))) x)
	45.4b	(.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 (.f64 1/16 (*.f64 t z)))) 3))) x)
	45.7b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	51.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.7b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b)))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))
	47.0b	(.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)
	46.8b	(.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))))))
	47.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)) 3))))
	46.3b	(.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (.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)))))
	61.4b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cbrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	45.6b	x
	48.1b	(.f64 (.f64 x (cos.f64 (expm1.f64 (log1p.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.7b	(.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)))
	51.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (sqrt.f64 (.f64 (fma.f64 a 1/8 1/16) (*.f64 t b))))))
	55.2b	(exp.f64 (log.f64 (.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.0b	(.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.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (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)))))
	57.9b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x)) (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
	48.6b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 (*.f64 t b) (sqrt.f64 (fma.f64 a 1/8 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
	62.2b	(log.f64 (exp.f64 (.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)))
	45.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	46.3b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	46.5b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.0b	(.f64 (.f64 x (log.f64 (exp.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))))
	55.8b	(exp.f64 (+.f64 (log.f64 (cos.f64 (.f64 1/16 (.f64 t z)))) (log.f64 x)))
	48.0b	(.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))))))
	47.0b	(.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)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (-.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)))))))

Compiler

Compiled 3657 to 2495 computations (31.8% saved)

regimes2.4s (16.7%)

Accuracy

Total 4.2b remaining (9.5%)

Threshold costs 0b (0%)

Counts

153 → 2

Compiler

Compiled 59955 to 44380 computations (26% saved)

bsearch6.0ms (0%)

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

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	110
1	68	110
2	67	110

end780.0ms (5.3%)

Compiler: Compiled 1667 to 1222 computations (26.7% saved)

Details

analyze1.5s (10.5%)

sample7.9s (54.3%)

simplify38.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series97.0ms (0.7%)

rewrite14.0ms (0.1%)

simplify105.0ms (0.7%)

prune341.0ms (2.3%)

localize13.0ms (0.1%)

series152.0ms (1%)

rewrite8.0ms (0.1%)

simplify100.0ms (0.7%)

prune403.0ms (2.8%)

localize6.0ms (0%)

series16.0ms (0.1%)

rewrite4.0ms (0%)

simplify69.0ms (0.5%)

prune156.0ms (1.1%)

localize11.0ms (0.1%)

series32.0ms (0.2%)

rewrite9.0ms (0.1%)

simplify98.0ms (0.7%)

prune240.0ms (1.6%)

regimes2.4s (16.7%)

bsearch6.0ms (0%)

simplify3.0ms (0%)

end780.0ms (5.3%)

Profiling