Details

analyze4.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)

sample313.0ms (2.7%)

Algorithm

1×

intervals

Results

84.0ms	57×	body	2048	valid
55.0ms	78×	body	1024	valid
21.0ms	9×	body	4096	valid
14.0ms	35×	body	512	valid
8.0ms	65×	body	128	valid
3.0ms	12×	body	256	valid

Compiler

Compiled 73 to 59 computations (19.2% saved)

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

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.3b

Counts

3 → 2

Alt Table

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

▶

45.4b

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

46.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)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series106.0ms (0.9%)

Counts

4 → 144

Calls

4 calls:

36.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)))
19.0ms	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
14.0ms	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))

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

simplify108.0ms (0.9%)

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

prune386.0ms (3.4%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	113	35	148
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	115	35	150

Error

41.1b

Counts

150 → 35

Alt Table

Status	Error	Program
	48.7b	(.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)))))
	51.6b	(.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 (.f64 x (log1p.f64 (expm1.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/8 (.f64 y (.f64 t z))))) (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)))) (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)))))
	45.4b	(.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))))
	45.4b	(.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))))
	47.1b	(.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))))))
	46.5b	(.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))))
	51.7b	(.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))))))
	45.4b	(.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.5b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	53.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 b b) b)) (.f64 (.f64 (fma.f64 a 1/8 1/16) (fma.f64 a 1/8 1/16)) (fma.f64 a 1/8 1/16))))))
	55.2b	(.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.4b	(.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)))
	47.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.6b	(.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 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (log.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	45.8b	(.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))))
	45.4b	(.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 (cbrt.f64 (pow.f64 (cos.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))))
	45.4b	(.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))))))
	45.7b	(.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.4b	(.f64 (.f64 x (log.f64 (exp.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.7b	(.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.9b	(.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.9b	(.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))))
	45.6b	(.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))))))
▶	45.3b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
	53.1b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.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 (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (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)))) (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.0b	(.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)))))))
	45.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 1/16 (.f64 t b))))
	46.1b	(.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)))))

Compiler

Compiled 7927 to 5212 computations (34.3% saved)

localize9.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.5b	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
	32.4b	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))

series77.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

77.0ms

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

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:

4.0ms

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

simplify83.0ms (0.7%)

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

prune359.0ms (3.1%)

Pruning

45 alts after pruning (45 fresh and 0 done)

	Pruned	Kept	Total
New	110	21	131
Fresh	10	24	34
Picked	1	0	1
Done	0	0	0
Total	121	45	166

Error

39.7b

Counts

166 → 45

Alt Table

Status	Error	Program
	54.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.7b	(.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)
	48.7b	(.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)))))
	45.3b	(.f64 (.f64 (.f64 x (.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.7b	(.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)))))
	45.4b	(.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.9b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) 1)
	47.1b	(.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.1b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	46.0b	(.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)
	51.7b	(.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))))))
	45.4b	(.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.5b	(.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.5b	(.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))))))) 1)
	46.6b	(.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)))))) 1)
	53.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 b b) b)) (.f64 (.f64 (fma.f64 a 1/8 1/16) (fma.f64 a 1/8 1/16)) (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)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	50.7b	(.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)))))) 1)
	45.0b	(*.f64 x 1)
	45.4b	(.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))))))
	51.3b	(.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)
	45.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))))))) 1)
	46.0b	(.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)
	45.4b	(.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)
	47.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.6b	(.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.8b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	51.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (log.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	45.4b	(.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)
	55.5b	(.f64 (exp.f64 (log.f64 (.f64 x (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 1/16 (.f64 t b))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
	45.4b	(.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)
	45.4b	(.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))))))
	45.7b	(.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))))))) 1)
	46.1b	(.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.7b	(.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.7b	(.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.9b	(.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))))
	45.6b	(.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))))))
	50.4b	(.f64 (expm1.f64 (log1p.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	53.1b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.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 (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.0b	(.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)))))))

Compiler

Compiled 7407 to 5134 computations (30.7% saved)

localize7.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.9b	(cos.f64 (.f64 1/16 (.f64 t z)))

series23.0ms (0.2%)

Counts

2 → 16

Calls

2 calls:

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

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

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

simplify75.0ms (0.7%)

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

prune171.0ms (1.5%)

Pruning

49 alts after pruning (49 fresh and 0 done)

	Pruned	Kept	Total
New	48	6	54
Fresh	1	43	44
Picked	1	0	1
Done	0	0	0
Total	50	49	99

Error

39.7b

Counts

99 → 49

Alt Table

Status	Error	Program
	54.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.7b	(.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)
	48.7b	(.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)))))
	45.3b	(.f64 (.f64 (.f64 x (.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.7b	(.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)))))
	45.4b	(.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.1b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	46.0b	(.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)
	51.7b	(.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))))))
	45.4b	(.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.5b	(.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.5b	(.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))))))) 1)
	46.6b	(.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)))))) 1)
	53.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 b b) b)) (.f64 (.f64 (fma.f64 a 1/8 1/16) (fma.f64 a 1/8 1/16)) (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)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	49.3b	(.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (*.f64 z z)) -1/512 1) x) 1)
	45.4b	(.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))))))
	50.7b	(.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)))))) 1)
	45.0b	(*.f64 x 1)
	51.3b	(.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)
	45.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))))))) 1)
	46.0b	(.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)
	45.4b	(.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)
▶	44.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) 1)
	47.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.6b	(.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.2b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) 1)
	46.0b	(.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)))))))
	51.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (log.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	45.4b	(.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)
	55.5b	(.f64 (exp.f64 (log.f64 (.f64 x (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 1/16 (.f64 t b))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
	45.4b	(.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)
	45.1b	(.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.4b	(.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))))))
	45.7b	(.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))))))) 1)
	56.5b	(.f64 (cbrt.f64 (pow.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) 3)) 1)
	46.1b	(.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.7b	(.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.7b	(.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.9b	(.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))))
	45.6b	(.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))))))
	50.4b	(.f64 (expm1.f64 (log1p.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	55.3b	(.f64 (exp.f64 (log.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))))) 1)
	53.1b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.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 (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (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)))) (.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))))))

Compiler

Compiled 4180 to 2980 computations (28.7% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series29.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

29.0ms

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

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:

4.0ms

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

simplify131.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

667×	`cancel-sign-sub-inv_binary64`
438×	`fma-neg_binary64`
411×	`associate-l_binary64`
382×	`sub-neg_binary64`
373×	`associate-r_binary64`

Counts

56 → 37

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	65	896
1	152	846
2	476	836
3	1678	828
4	3534	828
5	4542	810
6	4881	810
7	4996	810
8	4869	810

prune133.0ms (1.2%)

Pruning

49 alts after pruning (48 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	48	48
Picked	0	1	1
Done	0	0	0
Total	54	49	103

Error

39.7b

Counts

103 → 49

Alt Table

Status	Error	Program
	54.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.7b	(.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)
	48.7b	(.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)))))
	45.3b	(.f64 (.f64 (.f64 x (.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.7b	(.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)))))
	45.4b	(.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.1b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	46.0b	(.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)
	51.7b	(.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))))))
	45.4b	(.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.5b	(.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.5b	(.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))))))) 1)
	46.6b	(.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)))))) 1)
	53.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 b b) b)) (.f64 (.f64 (fma.f64 a 1/8 1/16) (fma.f64 a 1/8 1/16)) (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)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) 3)))
	49.3b	(.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (*.f64 z z)) -1/512 1) x) 1)
	45.4b	(.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))))))
	50.7b	(.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)))))) 1)
	45.0b	(*.f64 x 1)
	51.3b	(.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)
	45.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))))))) 1)
	46.0b	(.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)
	45.4b	(.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)
✓	44.9b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) 1)
	47.6b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	46.6b	(.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.2b	(.f64 (.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) 1)
	46.0b	(.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)))))))
	51.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (log.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))))))
	45.4b	(.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)
	55.5b	(.f64 (exp.f64 (log.f64 (.f64 x (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 1/16 (.f64 t b))))
	45.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
	45.4b	(.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)
	45.1b	(.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.4b	(.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))))))
	45.7b	(.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))))))) 1)
	56.5b	(.f64 (cbrt.f64 (pow.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) 3)) 1)
	46.1b	(.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.7b	(.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.7b	(.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.9b	(.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))))
	45.6b	(.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))))))
	50.4b	(.f64 (expm1.f64 (log1p.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	55.3b	(.f64 (exp.f64 (log.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))))) 1)
	53.1b	(.f64 (.f64 x (cos.f64 (.f64 (sqrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.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 (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (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)))) (.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))))))

Compiler

Compiled 2559 to 1787 computations (30.2% saved)

regimes2.4s (20.8%)

Accuracy

Total 5.4b remaining (11.9%)

Threshold costs 0b (0%)

Counts

146 → 1

Compiler

Compiled 57524 to 42663 computations (25.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	16
1	19	16
2	18	16

end1.0ms (0%)

Compiler: Compiled 16 to 13 computations (18.8% saved)

sample6.9s (60.7%)

Algorithm

1×

intervals

Results

2.8s	2345×	body	2048	valid
1.3s	1972×	body	1024	valid
887.0ms	346×	body	4096	valid
378.0ms	917×	body	512	valid
261.0ms	1997×	body	128	valid
118.0ms	423×	body	256	valid

Compiler

Compiled 1658 to 1217 computations (26.6% saved)

Details

analyze4.0ms (0%)

sample313.0ms (2.7%)

simplify42.0ms (0.4%)

prune5.0ms (0%)

localize18.0ms (0.2%)

series106.0ms (0.9%)

rewrite13.0ms (0.1%)

simplify108.0ms (0.9%)

prune386.0ms (3.4%)

localize9.0ms (0.1%)

series77.0ms (0.7%)

rewrite4.0ms (0%)

simplify83.0ms (0.7%)

prune359.0ms (3.1%)

localize7.0ms (0.1%)

series23.0ms (0.2%)

rewrite7.0ms (0.1%)

simplify75.0ms (0.7%)

prune171.0ms (1.5%)

localize7.0ms (0.1%)

series29.0ms (0.3%)

rewrite4.0ms (0%)

simplify131.0ms (1.1%)

prune133.0ms (1.2%)

regimes2.4s (20.8%)

simplify2.0ms (0%)

end1.0ms (0%)

sample6.9s (60.7%)

Profiling