Details

analyze1.5s (11.6%)

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.7s (57.9%)

Results

3.6s	2395×	body	2048	valid
1.9s	2050×	body	1024	valid
909.0ms	308×	body	4096	valid
586.0ms	951×	body	512	valid
490.0ms	2117×	body	128	valid
192.0ms	435×	body	256	valid

Compiler

Compiled 68 to 54 computations (20.6% saved)

preprocess47.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

878×	`fma-def_binary64`
618×	`distribute-lft-in_binary64`
618×	`distribute-rgt-in_binary64`
399×	`associate-/l*_binary64`
392×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	143	592
1	337	592
2	879	592
3	2116	592
4	3671	592
0	6	6

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 33 to 26 computations (21.2% saved)

simplify33.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	24	37
1	47	37
2	106	37
3	243	37
4	576	37
5	1062	37
6	1485	35
7	1973	35
8	2418	31
9	2505	31
10	2537	31
11	2537	31

Stop Event

1×

saturated

Counts

1 → 2

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

Counts

3 → 2

Alt Table

Status	Error	Program
	46.8b	(.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)))
▶	46.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))

Status

Error

Program

46.8b

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

▶

46.7b

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

Compiler

Compiled 174 to 132 computations (24.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.3b	(.f64 z (.f64 t (fma.f64 y 1/8 1/16)))
✓	3.3b	(.f64 t (.f64 b (fma.f64 a 1/8 1/16)))
✓	32.4b	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))
✓	37.2b	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))

series79.0ms (0.6%)

Counts

4 → 144

Calls

36 calls:

12.0ms	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))	b
9.0ms	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))	z
8.0ms	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))	t
8.0ms	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))	t
5.0ms	(cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16))))	y

rewrite57.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

968×	`prod-diff_binary64`
159×	`add-sqr-sqrt_binary64`
149×	`add-log-exp_binary64`
149×	`log1p-expm1-u_binary64`
149×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	48
1	322	48
2	3840	48

Stop Event

1×	node limit

Counts

4 → 70

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

871×	`cancel-sign-sub-inv_binary64`
483×	`associate-r_binary64`
371×	`unswap-sqr_binary64`
339×	`associate-l_binary64`
270×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	244	3812
1	824	3254
2	3421	3254

Stop Event

1×	node limit

Counts

214 → 124

prune304.0ms (2.3%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	94	30	124
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	95	31	126

Error

41.4b

Counts

126 → 31

Alt Table

Status	Error	Program
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 y (.f64 1/8 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (-.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))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))))) 1)))
	46.8b	(.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)))
	46.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 t (*.f64 a b))))))
	50.4b	(.f64 (-.f64 1 (fma.f64 1/128 (.f64 (.f64 y y) (.f64 (.f64 t z) (.f64 t z))) (.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 1/128 y) 1/512)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)) 3)))))
	46.4b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	51.1b	(.f64 (-.f64 1 (+.f64 (.f64 1/128 (.f64 (pow.f64 y 2) (.f64 (pow.f64 t 2) (pow.f64 z 2)))) (+.f64 (.f64 1/128 (.f64 y (.f64 (pow.f64 t 2) (pow.f64 z 2)))) (.f64 1/512 (.f64 (pow.f64 t 2) (pow.f64 z 2)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	55.7b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (sqrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	46.4b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.2b	(.f64 1 (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	46.4b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (+.f64 (cos.f64 (.f64 t (.f64 1/16 b))) (.f64 (.f64 -1/8 a) (.f64 (.f64 t b) (sin.f64 (.f64 t (.f64 1/16 b))))))))
	50.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (pow.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)) 3) 1/3))))
	46.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.9b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (log.f64 (exp.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	46.4b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.0b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.3b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (sqrt.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))) 2)))
	46.3b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))) 3)))
	50.5b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3) 1/3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) 1) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
▶	46.0b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	46.2b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))

Compiler

Compiled 6413 to 4493 computations (29.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	3.3b	(.f64 t (.f64 b (fma.f64 a 1/8 1/16)))
✓	30.0b	(cos.f64 (.f64 1/16 (.f64 t z)))
	32.4b	(cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))

series123.0ms (0.9%)

Counts

2 → 68

Calls

21 calls:

36.0ms	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))	t	0
24.0ms	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))	b	0
7.0ms	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))	a	0
7.0ms	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))	x	-inf
7.0ms	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))	x	inf

rewrite57.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

808×	`prod-diff_binary64`
175×	`associate-r_binary64`
169×	`add-sqr-sqrt_binary64`
158×	`add-log-exp_binary64`
158×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	36
1	343	36
2	4119	36

Stop Event

1×	node limit

Counts

2 → 33

simplify86.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

810×	`associate-r_binary64`
506×	`associate-l_binary64`
420×	`fma-def_binary64`
370×	`*-commutative_binary64`
277×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	307	3799
1	1075	3548
2	4987	3548

Stop Event

1×	node limit

Counts

101 → 77

prune348.0ms (2.6%)

Pruning

44 alts after pruning (44 fresh and 0 done)

	Pruned	Kept	Total
New	115	23	138
Fresh	9	21	30
Picked	1	0	1
Done	0	0	0
Total	125	44	169

Error

39.6b

Counts

169 → 44

Alt Table

Status	Error	Program
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 y (.f64 1/8 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (-.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))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.5b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) x))
	61.9b	(log.f64 (pow.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cos.f64 (.f64 t (.f64 z 1/16)))))
	45.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
	45.6b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	58.0b	(sqrt.f64 (pow.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))) 2))
	46.8b	(.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)))
	55.3b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (pow.f64 (sqrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	56.4b	(pow.f64 (sqrt.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))) 2)
	46.2b	(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))) x)
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	46.1b	(pow.f64 (cbrt.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))) 3)
	45.9b	(.f64 x (.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (cos.f64 (.f64 b (.f64 t (fma.f64 a 1/8 1/16))))))
	46.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 t (*.f64 a b))))))
	50.4b	(.f64 (-.f64 1 (fma.f64 1/128 (.f64 (.f64 y y) (.f64 (.f64 t z) (.f64 t z))) (.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 1/128 y) 1/512)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (log1p.f64 (expm1.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	60.6b	(pow.f64 (pow.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))) 3) 1/3)
	46.4b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	59.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))))) 1)
▶	44.6b	x
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (+.f64 (cos.f64 (.f64 t (.f64 1/16 b))) (.f64 (.f64 -1/8 a) (.f64 (.f64 t b) (sin.f64 (.f64 t (.f64 1/16 b))))))))
	50.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (pow.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)) 3) 1/3))))
	46.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.0b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 t (.f64 z 1/16)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.9b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.1b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	46.5b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z 1/16))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.0b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.9b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))))))))
	46.0b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z 1/16)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))) 3)))
	50.5b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3) 1/3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) 1) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	56.9b	(exp.f64 (log.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))))
	46.0b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 t (.f64 z 1/16))))) 1) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.2b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))

Compiler

Compiled 8608 to 5891 computations (31.6% saved)

localize1.0ms (0%)

prune64.0ms (0.5%)

Pruning

44 alts after pruning (43 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	43	43
Picked	1	1
Done	0	0
Total	44	44

Error

39.6b

Counts

44 → 44

Alt Table

Status	Error	Program
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 y (.f64 1/8 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (-.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))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.5b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) x))
	61.9b	(log.f64 (pow.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b)))) (cos.f64 (.f64 t (.f64 z 1/16)))))
▶	45.1b	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)
	45.6b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	58.0b	(sqrt.f64 (pow.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))) 2))
	46.8b	(.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)))
	55.3b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (pow.f64 (sqrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	56.4b	(pow.f64 (sqrt.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))) 2)
	46.2b	(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))) x)
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	46.1b	(pow.f64 (cbrt.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))) 3)
	45.9b	(.f64 x (.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (cos.f64 (.f64 b (.f64 t (fma.f64 a 1/8 1/16))))))
	46.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 t (*.f64 a b))))))
	50.4b	(.f64 (-.f64 1 (fma.f64 1/128 (.f64 (.f64 y y) (.f64 (.f64 t z) (.f64 t z))) (.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 1/128 y) 1/512)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (log1p.f64 (expm1.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	60.6b	(pow.f64 (pow.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))) 3) 1/3)
	46.4b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	59.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))))) 1)
✓	44.6b	x
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (+.f64 (cos.f64 (.f64 t (.f64 1/16 b))) (.f64 (.f64 -1/8 a) (.f64 (.f64 t b) (sin.f64 (.f64 t (.f64 1/16 b))))))))
	50.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (pow.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)) 3) 1/3))))
	46.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.0b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 t (.f64 z 1/16)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.9b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.1b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	46.5b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z 1/16))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	48.0b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.9b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))))))))
	46.0b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z 1/16)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))) 3)))
	50.5b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3) 1/3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) 1) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	56.9b	(exp.f64 (log.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))))
	46.0b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 t (.f64 z 1/16))))) 1) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.2b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))

Compiler

Compiled 2437 to 1848 computations (24.2% saved)

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

series16.0ms (0.1%)

Counts

1 → 8

Calls

9 calls:

3.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)	x	inf
2.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)	x	-inf
2.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)	t	0
2.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)	x	0
2.0ms	(.f64 (cos.f64 (.f64 1/16 (*.f64 t z))) x)	z	0

rewrite36.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

768×	`log1p-expm1-u_binary64`
768×	`expm1-log1p-u_binary64`
324×	`prod-diff_binary64`
87×	`add-sqr-sqrt_binary64`
83×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	180	12
2	2109	12

Stop Event

1×	node limit

Counts

1 → 15

simplify22.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
637×	`cancel-sign-sub-inv_binary64`
474×	`*-commutative_binary64`
367×	`fma-neg_binary64`
287×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	212
1	86	212
2	294	202
3	1574	188

Stop Event

1×	node limit

Counts

23 → 22

prune107.0ms (0.8%)

Pruning

50 alts after pruning (49 fresh and 1 done)

	Pruned	Kept	Total
New	36	11	47
Fresh	4	38	42
Picked	1	0	1
Done	0	1	1
Total	41	50	91

Error

39.5b

Counts

91 → 50

Alt Table

Status	Error	Program
	47.1b	(.f64 (cos.f64 (.f64 t (.f64 y (.f64 1/8 z)))) (.f64 x (cos.f64 (.f64 t (*.f64 b (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (-.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))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	58.4b	(-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x))) 1)
	45.5b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) x))
	45.1b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 t (*.f64 z 1/16))))) 1) x)
	45.6b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	58.0b	(sqrt.f64 (pow.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))) 2))
	46.8b	(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))
	45.1b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 t (*.f64 z 1/16)))) 3) x)
	55.3b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (pow.f64 (sqrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	56.4b	(pow.f64 (sqrt.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))) 2)
	46.2b	(.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))) x)
	47.1b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	45.2b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 t (*.f64 z 1/16))) 2)) x)
	45.9b	(.f64 x (.f64 (cos.f64 (.f64 (.f64 1/16 z) t)) (cos.f64 (.f64 b (.f64 t (fma.f64 a 1/8 1/16))))))
	46.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/8 (.f64 t (*.f64 a b))))))
	50.4b	(.f64 (-.f64 1 (fma.f64 1/128 (.f64 (.f64 y y) (.f64 (.f64 t z) (.f64 t z))) (.f64 (.f64 (.f64 t z) (.f64 t z)) (+.f64 (.f64 1/128 y) 1/512)))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.0b	(.f64 (log.f64 (exp.f64 (cos.f64 (.f64 t (*.f64 z 1/16))))) x)
	47.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (log1p.f64 (expm1.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
	60.6b	(pow.f64 (pow.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16))))) 3) 1/3)
	46.4b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))))))
✓	44.6b	x
	46.4b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.1b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (*.f64 z 1/16))) 3)) x)
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (cbrt.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 3))))
	47.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (+.f64 (cos.f64 (.f64 t (.f64 1/16 b))) (.f64 (.f64 -1/8 a) (.f64 (.f64 t b) (sin.f64 (.f64 t (.f64 1/16 b))))))))
	50.5b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (pow.f64 (pow.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)) 3) 1/3))))
	46.9b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	56.2b	(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x)))
	46.0b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 t (.f64 z 1/16)))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	47.9b	(.f64 (cos.f64 (expm1.f64 (log1p.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	61.9b	(log.f64 (pow.f64 (exp.f64 x) (cos.f64 (.f64 z (.f64 1/16 t)))))
	46.1b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	46.5b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z 1/16))) 2)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (sqrt.f64 (pow.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))) 2))))
	57.1b	(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x) 2))
	48.0b	(.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3))) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	45.9b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t))))))))
	46.0b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z 1/16)))) 3) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.3b	(.f64 (cos.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))) 3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (pow.f64 (cbrt.f64 (cos.f64 (.f64 b (.f64 (fma.f64 a 1/8 1/16) t)))) 3)))
	45.4b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x)) 3)
	50.5b	(.f64 (cos.f64 (pow.f64 (pow.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t)) 3) 1/3)) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	46.4b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (fma.f64 y 1/8 1/16) (.f64 z t))))) 1) (.f64 x (cos.f64 (.f64 t (.f64 b (fma.f64 a 1/8 1/16))))))
	60.0b	(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 z (*.f64 1/16 t))) x) 3) 1/3)
	45.7b	(.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 x (cos.f64 (.f64 1/8 (.f64 a (*.f64 t b))))))
	56.9b	(exp.f64 (log.f64 (.f64 x (.f64 (cos.f64 (.f64 (fma.f64 a 1/8 1/16) (.f64 t b))) (cos.f64 (.f64 t (.f64 z 1/16)))))))
	46.2b	(.f64 (cos.f64 (.f64 z (.f64 t (fma.f64 y 1/8 1/16)))) (.f64 x (cos.f64 (.f64 1/16 (.f64 t b)))))

Compiler

Compiled 1956 to 1457 computations (25.5% saved)

regimes1.9s (14.2%)

Accuracy

Total 3.9b remaining (9.1%)

Threshold costs 0b (0%)

Counts

119 → 2

Compiler

Compiled 45080 to 34144 computations (24.3% saved)

bsearch5.0ms (0%)

Algorithm

1×	left-value

Calls

1 calls:

0.0ms

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

Steps

Iters	Point		Range
6.849185455952821e+236	∈ [	6.849185455952821e+236	,	4.326733220028041e+238	]

Compiler

Compiled 33 to 26 computations (21.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	83
1	61	83

Stop Event

1×

saturated

end658.0ms (5%)

Stop Event

1×

fuel

Compiler

Compiled 1408 to 1077 computations (23.5% saved)

Details

analyze1.5s (11.6%)

sample7.7s (57.9%)

preprocess47.0ms (0.4%)

simplify33.0ms (0.2%)

prune5.0ms (0%)

localize15.0ms (0.1%)

series79.0ms (0.6%)

rewrite57.0ms (0.4%)

simplify77.0ms (0.6%)

prune304.0ms (2.3%)

localize14.0ms (0.1%)

series123.0ms (0.9%)

rewrite57.0ms (0.4%)

simplify86.0ms (0.6%)

prune348.0ms (2.6%)

localize1.0ms (0%)

prune64.0ms (0.5%)

localize9.0ms (0.1%)

series16.0ms (0.1%)

rewrite36.0ms (0.3%)

simplify22.0ms (0.2%)

prune107.0ms (0.8%)

regimes1.9s (14.2%)

bsearch5.0ms (0%)

simplify3.0ms (0%)

end658.0ms (5%)

Profiling