Details

analyze117.0ms (1.1%)

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)

sample201.0ms (1.9%)

Algorithm

1×

intervals

Results

89.0ms	70×	body	2048	valid
41.0ms	57×	body	1024	valid
30.0ms	11×	body	4096	valid
14.0ms	34×	body	512	valid
8.0ms	61×	body	128	valid
6.0ms	23×	body	256	valid

Compiler

Compiled 73 to 59 computations (19.2% saved)

simplify40.0ms (0.4%)

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.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

46.7b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

46.9b

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

Compiler

Compiled 174 to 132 computations (24.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series130.0ms (1.2%)

Counts

4 → 144

Calls

4 calls:

68.0ms	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))
36.0ms	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))
13.0ms	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
12.0ms	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))

rewrite15.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))
3.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)))

simplify115.0ms (1.1%)

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 → 152

Iterations

Useful iterations: 2 (0.0ms)

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

prune347.0ms (3.2%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	125	27	152
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	127	27	154

Error

42.2b

Counts

154 → 27

Alt Table

Status	Error	Program
	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.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))))))
	47.9b	(.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))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (expm1.f64 (log1p.f64 (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)))) (-.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 1/8 (.f64 a (.f64 t (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) b))))))
	47.1b	(.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)))))
	46.9b	(.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))))
	47.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	47.9b	(.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 1/8 a 1/16) (.f64 t b)) 3))))
	47.2b	(.f64 (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	49.8b	(.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))))
	53.8b	(.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))))))
	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.0b	(.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))))
	48.1b	(.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))))))
	52.9b	(.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.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
▶	46.1b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))) (cbrt.f64 (.f64 t (.f64 z (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)))) (.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))))))
	46.9b	(.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 1/8 a 1/16) (.f64 t b))) 3)))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 y t))) z))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))) 3)))) (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 t (.f64 1/8 (*.f64 a b)))))
	47.0b	(.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.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))))
	46.9b	(.f64 (.f64 x (expm1.f64 (log1p.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))))

Compiler

Compiled 7423 to 4851 computations (34.6% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	2.5b	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
	33.8b	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))

series81.0ms (0.8%)

Counts

1 → 48

Calls

1 calls:

81.0ms

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-exp-log_binary64`
6×	`add-cbrt-cube_binary64`
6×	`pow1_binary64`
5×	`prod-exp_binary64`
3×	`associate-r_binary64`

Counts

1 → 21

Calls

1 calls:

5.0ms

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

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

554×	`associate-+l+_binary64`
394×	`cancel-sign-sub-inv_binary64`
369×	`associate-r_binary64`
255×	`associate-l_binary64`
229×	`associate--r+_binary64`

Counts

69 → 51

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2326
1	478	1985
2	1956	1779
3	4808	1779
4	4991	1779

prune285.0ms (2.6%)

Pruning

40 alts after pruning (40 fresh and 0 done)

	Pruned	Kept	Total
New	107	20	127
Fresh	6	20	26
Picked	1	0	1
Done	0	0	0
Total	114	40	154

Error

40.7b

Counts

154 → 40

Alt Table

Status	Error	Program
	53.7b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (.f64 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)))))
	46.2b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t b))) x)
	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.1b	(.f64 (.f64 (.f64 x 1) (.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.9b	(.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))))
	56.7b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x 1) (.f64 x 1)) (.f64 x 1)) (.f64 (.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.1b	(.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)))))
	46.9b	(.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))))
	47.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	47.8b	(.f64 (.f64 x 1) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)) 3))))
	46.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
▶	45.0b	x
	46.6b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))) (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))) (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))))))
	47.0b	(.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 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)) 3))))
	47.2b	(.f64 (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	56.0b	(exp.f64 (log.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.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))))
	46.0b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 1/8 a 1/16)) (cbrt.f64 (fma.f64 1/8 a 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	62.2b	(log.f64 (exp.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
	49.8b	(.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 (-.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.0b	(.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))))
	48.1b	(.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))))))
	56.1b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
	46.9b	(.f64 (.f64 x (expm1.f64 (log1p.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))))
	46.0b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	56.9b	(exp.f64 (+.f64 (+.f64 (log.f64 x) 0) (log.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	52.9b	(.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.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.0b	(.f64 (.f64 x 1) (-.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.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x 1) (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 y t))) z))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	61.3b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	47.8b	(fma.f64 x (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (.f64 t (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 b x))) (*.f64 a -1/8)))
	47.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))) 3)))) (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 t (.f64 1/8 (*.f64 a b)))))
	46.6b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))) x)) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))) x))) (cbrt.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))

Compiler

Compiled 6247 to 4308 computations (31% saved)

localize1.0ms (0%)

prune60.0ms (0.6%)

Pruning

40 alts after pruning (39 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	39	39
Picked	1	1
Done	0	0
Total	40	40

Error

40.7b

Counts

40 → 40

Alt Table

Status	Error	Program
	53.7b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (.f64 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)))))
	46.2b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t b))) x)
	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.1b	(.f64 (.f64 (.f64 x 1) (.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.9b	(.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))))
	56.7b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x 1) (.f64 x 1)) (.f64 x 1)) (.f64 (.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.1b	(.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)))))
	46.9b	(.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))))
	47.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	47.8b	(.f64 (.f64 x 1) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)) 3))))
	46.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
✓	45.0b	x
	46.6b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))) (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))) (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))))))
	47.0b	(.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 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)) 3))))
	47.2b	(.f64 (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	56.0b	(exp.f64 (log.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.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))))
	46.0b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 1/8 a 1/16)) (cbrt.f64 (fma.f64 1/8 a 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	62.2b	(log.f64 (exp.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
	49.8b	(.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 (-.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.0b	(.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))))
	48.1b	(.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))))))
	56.1b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
	46.9b	(.f64 (.f64 x (expm1.f64 (log1p.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))))
▶	46.0b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
	56.9b	(exp.f64 (+.f64 (+.f64 (log.f64 x) 0) (log.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	52.9b	(.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.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.0b	(.f64 (.f64 x 1) (-.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.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x 1) (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 y t))) z))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	61.3b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	47.8b	(fma.f64 x (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 (.f64 t (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (.f64 b x))) (*.f64 a -1/8)))
	47.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))) 3)))) (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 t (.f64 1/8 (*.f64 a b)))))
	46.6b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))) x)) (cbrt.f64 (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 1/8 a 1/16) b))) x))) (cbrt.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))

Compiler

Compiled 2547 to 1880 computations (26.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
✓	0.2b	(.f64 1/8 (.f64 a b))
✓	5.0b	(.f64 t (.f64 1/8 (*.f64 a b)))
✓	27.2b	(cos.f64 (.f64 t (.f64 1/8 (*.f64 a b))))

series64.0ms (0.6%)

Counts

4 → 120

Calls

4 calls:

33.0ms	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
13.0ms	(.f64 t (.f64 1/8 (*.f64 a b)))
13.0ms	(cos.f64 (.f64 t (.f64 1/8 (*.f64 a b))))
5.0ms	(.f64 1/8 (.f64 a b))

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-exp-log_binary64`
23×	`add-cbrt-cube_binary64`
23×	`pow1_binary64`
14×	`prod-exp_binary64`
12×	`cbrt-unprod_binary64`

Counts

4 → 73

Calls

4 calls:

5.0ms	(.f64 t (.f64 1/8 (*.f64 a b)))
5.0ms	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))
4.0ms	(.f64 1/8 (.f64 a b))
2.0ms	(cos.f64 (.f64 t (.f64 1/8 (*.f64 a b))))

simplify95.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

737×	`fma-def_binary64`
583×	`*-commutative_binary64`
531×	`cancel-sign-sub-inv_binary64`
480×	`unswap-sqr_binary64`
390×	`fma-neg_binary64`

Counts

193 → 115

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	158	3160
1	372	2922
2	1246	2886
3	2475	2850
4	5005	2850

prune222.0ms (2.1%)

Pruning

47 alts after pruning (46 fresh and 1 done)

	Pruned	Kept	Total
New	100	15	115
Fresh	7	31	38
Picked	1	0	1
Done	0	1	1
Total	108	47	155

Error

40.4b

Counts

155 → 47

Alt Table

Status	Error	Program
	53.7b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	46.2b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t b))) x)
	46.1b	(.f64 (.f64 (.f64 x 1) (.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.9b	(.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))))
	56.6b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))))) (.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	46.3b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (cbrt.f64 t) (.f64 1/8 (*.f64 a b))))))
	46.0b	(.f64 (.f64 x 1) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	62.2b	(log.f64 (pow.f64 (exp.f64 (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))) x))
	47.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	47.1b	(.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)))))
	46.9b	(.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))))
	47.8b	(.f64 (.f64 x 1) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)) 3))))
	46.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
✓	45.0b	x
	46.6b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))) (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b)))) (cbrt.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))))))
	47.0b	(.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.2b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 1/8 (.f64 a b)))) (cbrt.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (cbrt.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	46.0b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 (.f64 (cbrt.f64 1/8) (cbrt.f64 1/8)) (.f64 (cbrt.f64 1/8) (*.f64 a b))))))
	46.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))))
	56.0b	(exp.f64 (log.f64 (.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	51.9b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	46.0b	(.f64 (.f64 x 1) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 1/8 a 1/16)) (cbrt.f64 (fma.f64 1/8 a 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	49.8b	(.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 (-.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.1b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (.f64 (.f64 (cbrt.f64 (.f64 1/8 (.f64 a b))) (cbrt.f64 (.f64 1/8 (.f64 a b)))) (cbrt.f64 (.f64 1/8 (*.f64 a b)))))))
	47.0b	(.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))))
	48.1b	(.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))))))
	48.4b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (cbrt.f64 (pow.f64 (.f64 1/8 (*.f64 a b)) 3)))))
	56.1b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
	46.9b	(.f64 (.f64 x (expm1.f64 (log1p.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))))
	62.5b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (log.f64 t) (+.f64 (log.f64 1/8) (+.f64 (log.f64 a) (log.f64 b)))))))
	56.9b	(exp.f64 (+.f64 (+.f64 (log.f64 x) 0) (log.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	52.9b	(.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.1b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	53.8b	(.f64 (.f64 x 1) (cos.f64 (.f64 t (exp.f64 (+.f64 (log.f64 1/8) (log.f64 (.f64 a b)))))))
	46.0b	(.f64 (.f64 x 1) (-.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.1b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))) (cbrt.f64 (.f64 t (.f64 z (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 (.f64 (cbrt.f64 (cos.f64 (.f64 1/8 (.f64 a (.f64 t b))))) (cbrt.f64 (cos.f64 (.f64 1/8 (.f64 a (.f64 t b))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 y t))) z))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	46.1b	(.f64 (.f64 x 1) (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 1/8 a 1/16) (.f64 t b))))))
	60.7b	(.f64 (.f64 x 1) (cos.f64 (*.f64 t (exp.f64 (+.f64 (log.f64 1/8) (+.f64 (log.f64 a) (log.f64 b)))))))
	46.0b	(.f64 (.f64 (.f64 x 1) (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b))))))
	46.8b	(.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)))))
	61.3b	(.f64 (.f64 x 1) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	47.9b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))) 3)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.1b	(.f64 (.f64 x 1) (.f64 (sqrt.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (sqrt.f64 (cos.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	47.2b	(.f64 (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))

Compiler

Compiled 3668 to 2393 computations (34.8% saved)

regimes2.2s (20.3%)

Accuracy

Total 5.1b remaining (11.5%)

Threshold costs 0b (0%)

Counts

136 → 1

Compiler

Compiled 54115 to 39760 computations (26.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

sample6.7s (61.8%)

Algorithm

1×

intervals

Results

2.8s	2378×	body	2048	valid
1.2s	1849×	body	1024	valid
762.0ms	302×	body	4096	valid
402.0ms	964×	body	512	valid
277.0ms	2041×	body	128	valid
128.0ms	466×	body	256	valid

Compiler

Compiled 1478 to 1098 computations (25.7% saved)

Details

analyze117.0ms (1.1%)

sample201.0ms (1.9%)

simplify40.0ms (0.4%)

prune5.0ms (0.1%)

localize21.0ms (0.2%)

series130.0ms (1.2%)

rewrite15.0ms (0.1%)

simplify115.0ms (1.1%)

prune347.0ms (3.2%)

localize11.0ms (0.1%)

series81.0ms (0.8%)

rewrite6.0ms (0.1%)

simplify84.0ms (0.8%)

prune285.0ms (2.6%)

localize1.0ms (0%)

prune60.0ms (0.6%)

localize9.0ms (0.1%)

series64.0ms (0.6%)

rewrite19.0ms (0.2%)

simplify95.0ms (0.9%)

prune222.0ms (2.1%)

regimes2.2s (20.3%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.7s (61.8%)

Profiling