Details

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

sample7.4s (48.7%)

Infinites

0% of outputs are infinite.

Results

3.5s	2512×	body	2048	valid
1.8s	2044×	body	1024	valid
860.0ms	305×	body	4096	valid
528.0ms	912×	body	512	valid
408.0ms	2056×	body	128	valid
170.0ms	427×	body	256	valid

Compiler

Compiled 101 to 80 computations (20.8% saved)

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 8 (0.0ms)

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

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

46.9b

Counts

3 → 2

Alt Table

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

Status

Error

Program

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

▶

47.2b

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

Compiler

Compiled 174 to 132 computations (24.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.7b	(.f64 (.f64 t b) (fma.f64 a 1/8 1/16))
✓	2.9b	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
✓	31.9b	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))
✓	38.6b	(cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))

series95.0ms (0.6%)

Counts

4 → 144

Calls

4 calls:

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

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

simplify112.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

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

Counts

210 → 148

Iterations

Useful iterations: 2 (0.0ms)

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

prune338.0ms (2.2%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	114	34	148
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	116	34	150

Error

42.0b

Counts

150 → 34

Alt Table

Status	Error	Program
	47.2b	(.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.1b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	55.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	47.2b	(.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))))))
	48.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.6b	(.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)))))
	52.8b	(.f64 (.f64 x (-.f64 1 (fma.f64 1/128 (.f64 (.f64 y y) (.f64 (.f64 t t) (.f64 z z))) (.f64 (.f64 (.f64 t t) (.f64 z z)) (+.f64 (.f64 1/128 y) 1/512))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.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.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 z t) (sqrt.f64 (fma.f64 y 1/8 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	48.4b	(.f64 (.f64 x (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.5b	(.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.4b	(.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.2b	(.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))))
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	46.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))))
	47.2b	(.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 (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.5b	(.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))))
	52.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 1 (fma.f64 1/128 (.f64 a (.f64 (.f64 t t) (.f64 b b))) (.f64 (.f64 (.f64 t t) (.f64 b b)) (+.f64 1/512 (.f64 1/128 (.f64 a a)))))))
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
	47.5b	(.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.2b	(.f64 (.f64 x (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (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))))
	48.8b	(.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))))))
	49.0b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
▶	45.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
	52.9b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 (sqrt.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))) (sqrt.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.8b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 1/8 (.f64 y z))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 1/8 (.f64 y z))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	62.0b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.6b	(.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)))))))
	48.2b	(.f64 (.f64 x (-.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 1/8 (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (.f64 y (.f64 t z)))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.2b	(.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))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))

Compiler

Compiled 7951 to 5198 computations (34.6% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series66.0ms (0.4%)

Counts

1 → 48

Calls

1 calls:

66.0ms

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

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

simplify98.0ms (0.6%)

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

prune332.0ms (2.2%)

Pruning

45 alts after pruning (45 fresh and 0 done)

	Pruned	Kept	Total
New	107	24	131
Fresh	12	21	33
Picked	1	0	1
Done	0	0	0
Total	120	45	165

Error

40.5b

Counts

165 → 45

Alt Table

Status	Error	Program
	46.6b	(.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)
	47.2b	(.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.1b	(.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 (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))))))) 1)
	46.2b	(.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)
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16))))) 1)
	55.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	47.2b	(.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))))))
	46.1b	(.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)
	56.5b	(.f64 (.f64 (sqrt.f64 x) (.f64 (cos.f64 (.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.f64 x))) 1)
	48.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.6b	(.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)))))
	50.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (*.f64 t z) (sqrt.f64 (fma.f64 1/8 y 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) 1)
	45.8b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) 1)
	47.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))))))
	47.5b	(.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.4b	(.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))))))
	51.2b	(.f64 (expm1.f64 (log1p.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	46.0b	(.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
	52.6b	(.f64 (-.f64 x (.f64 (.f64 (.f64 t t) (.f64 x (.f64 z z))) (+.f64 1/512 (.f64 y (+.f64 (.f64 y 1/128) 1/128))))) 1)
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	46.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.2b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
▶	45.3b	(*.f64 x 1)
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.6b	(.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)
	47.5b	(.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.5b	(.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)
	45.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cbrt.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	48.8b	(.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))))))
	60.9b	(.f64 (log.f64 (exp.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.2b	(.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))))
	61.5b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	56.8b	(.f64 (exp.f64 (log.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.3b	(.f64 (fma.f64 x (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 y (.f64 t (.f64 z x))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) -1/8))) 1)
	52.1b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	52.9b	(.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))))))
	48.2b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	45.7b	(.f64 (.f64 x (.f64 (.f64 (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)
	47.6b	(.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)))))))
	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.2b	(.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))))

Compiler

Compiled 7267 to 5056 computations (30.4% saved)

localize2.0ms (0%)

prune67.0ms (0.4%)

Pruning

45 alts after pruning (44 fresh and 1 done)

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

Error

40.5b

Counts

45 → 45

Alt Table

Status	Error	Program
	46.6b	(.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)
	47.2b	(.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.1b	(.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 (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))))))) 1)
	46.2b	(.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)
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16))))) 1)
	55.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
	47.2b	(.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))))))
	46.1b	(.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)
	56.5b	(.f64 (.f64 (sqrt.f64 x) (.f64 (cos.f64 (.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.f64 x))) 1)
	48.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.6b	(.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)))))
	50.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (*.f64 t z) (sqrt.f64 (fma.f64 1/8 y 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) 1)
	45.8b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) 1)
	47.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))))))
	47.5b	(.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.4b	(.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))))))
	51.2b	(.f64 (expm1.f64 (log1p.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	46.0b	(.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
	52.6b	(.f64 (-.f64 x (.f64 (.f64 (.f64 t t) (.f64 x (.f64 z z))) (+.f64 1/512 (.f64 y (+.f64 (.f64 y 1/128) 1/128))))) 1)
	47.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (.f64 b (+.f64 (.f64 1/16 t) (.f64 1/8 (.f64 a t))))))
	46.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.2b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
✓	45.3b	(*.f64 x 1)
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.6b	(.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)
	47.5b	(.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.5b	(.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)
	45.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (cbrt.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	48.8b	(.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))))))
	60.9b	(.f64 (log.f64 (exp.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.2b	(.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))))
	61.5b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	56.8b	(.f64 (exp.f64 (log.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.3b	(.f64 (fma.f64 x (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 y (.f64 t (.f64 z x))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) -1/8))) 1)
	52.1b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	52.9b	(.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))))))
	48.2b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
▶	45.7b	(.f64 (.f64 x (.f64 (.f64 (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)
	47.6b	(.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)))))))
	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.2b	(.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))))

Compiler

Compiled 2909 to 2140 computations (26.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.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)))))
✓	0.3b	(cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))
	2.9b	(.f64 (.f64 z t) (fma.f64 y 1/8 1/16))
	31.9b	(cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))

series1.9s (12.4%)

Counts

2 → 72

Calls

2 calls:

1.1s	(.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)))))
776.0ms	(cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

6.0ms	(.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)))))
1.0ms	(cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))

simplify119.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

528×	`associate-r_binary64`
481×	`unswap-sqr_binary64`
434×	`fma-def_binary64`
378×	`associate-l_binary64`
358×	`associate-+r+_binary64`

Counts

127 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	331	5330
1	1050	4685
2	4150	4563
3	5160	4563

prune1.3s (8.6%)

Pruning

50 alts after pruning (49 fresh and 1 done)

	Pruned	Kept	Total
New	421	11	432
Fresh	5	38	43
Picked	1	0	1
Done	0	1	1
Total	427	50	477

Error

40.3b

Counts

477 → 50

Alt Table

Status	Error	Program
	46.6b	(.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)
	47.2b	(.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.2b	(.f64 (.f64 x (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 y 1/8 1/16)))))) 4)) (cbrt.f64 (cos.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.1b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.2b	(.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 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))))) (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.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)))))) 1)
	46.1b	(.f64 (.f64 x (cos.f64 (.f64 z (.f64 t (fma.f64 1/8 y 1/16))))) 1)
	55.2b	(.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.1b	(.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)
	56.5b	(.f64 (.f64 (sqrt.f64 x) (.f64 (cos.f64 (.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (sqrt.f64 x))) 1)
	48.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.6b	(.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.5b	(.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))))) 1)) 1)
	50.0b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (*.f64 t z) (sqrt.f64 (fma.f64 1/8 y 1/16))) (sqrt.f64 (fma.f64 y 1/8 1/16))))) 1)
	45.8b	(.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) x) 1)
	47.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))))))
	52.2b	(.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 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))))) 1)
	47.5b	(.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 (.f64 (.f64 (.f64 (cbrt.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 (.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 (.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)
	48.4b	(.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))))))
	51.2b	(.f64 (expm1.f64 (log1p.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.4b	(.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.7b	(.f64 (.f64 x (.f64 (log.f64 (exp.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	52.6b	(.f64 (-.f64 x (.f64 (.f64 (.f64 t t) (.f64 x (.f64 z z))) (+.f64 1/512 (.f64 y (+.f64 (.f64 y 1/128) 1/128))))) 1)
	46.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.2b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 1/8 (*.f64 y z))))) 1)
✓	45.3b	(*.f64 x 1)
	46.2b	(.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 (.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)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	47.5b	(.f64 (.f64 x (cos.f64 (.f64 1/8 (.f64 y (.f64 t z))))) (cos.f64 (.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
	46.6b	(.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)
	47.5b	(.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.5b	(.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)
	48.8b	(.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))))))
	60.9b	(.f64 (log.f64 (exp.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.2b	(.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))))
	61.5b	(.f64 (.f64 x (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
	56.8b	(.f64 (exp.f64 (log.f64 (.f64 (cos.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
	46.7b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (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)
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 t b) (fma.f64 a 1/8 1/16))))))
	45.8b	(.f64 (.f64 x (.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/16 (.f64 t z))) 2)) (cbrt.f64 (cos.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	47.3b	(.f64 (fma.f64 x (cos.f64 (.f64 1/16 (.f64 t z))) (.f64 (.f64 y (.f64 t (.f64 z x))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) -1/8))) 1)
	52.1b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 (.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	52.9b	(.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.8b	(.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 (-.f64 (.f64 (cos.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (cos.f64 (.f64 (.f64 z t) 1/16))) (.f64 (sin.f64 (.f64 (.f64 z t) (.f64 y 1/8))) (sin.f64 (.f64 (.f64 z t) 1/16))))))) 1)
	45.8b	(.f64 (.f64 x (.f64 (pow.f64 (pow.f64 (cos.f64 (.f64 1/16 (.f64 t z))) 2) 1/3) (cbrt.f64 (cos.f64 (.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
	48.2b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
	53.7b	(.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))))))) 1)
	47.6b	(.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 27244 to 18358 computations (32.6% saved)

regimes2.4s (15.7%)

Accuracy

Total 5.0b remaining (11.3%)

Threshold costs 0b (0%)

Counts

140 → 1

Compiler

Compiled 69455 to 50849 computations (26.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	1
1	7	1
2	6	1

end874.0ms (5.8%)

Compiler: Compiled 1830 to 1347 computations (26.4% saved)

Details

analyze3.0ms (0%)

sample7.4s (48.7%)

simplify40.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0.1%)

series95.0ms (0.6%)

rewrite13.0ms (0.1%)

simplify112.0ms (0.7%)

prune338.0ms (2.2%)

localize10.0ms (0.1%)

series66.0ms (0.4%)

rewrite6.0ms (0%)

simplify98.0ms (0.6%)

prune332.0ms (2.2%)

localize2.0ms (0%)

prune67.0ms (0.4%)

localize15.0ms (0.1%)

series1.9s (12.4%)

rewrite11.0ms (0.1%)

simplify119.0ms (0.8%)

prune1.3s (8.6%)

regimes2.4s (15.7%)

simplify2.0ms (0%)

end874.0ms (5.8%)

Profiling