Details

analyze1.9s (12.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0%	100%	0%	8
0%	100%	0%	9
0%	100%	0%	10
0%	100%	0%	11
0%	100%	0%	12
0%	100%	0%	13
0.1%	99.9%	0%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample9.5s (62.4%)

Results

5.7s	2104×	body	2048	valid
2.4s	2976×	body	1024	valid
736.0ms	1607×	body	512	valid
244.0ms	794×	body	256	valid
176.0ms	123×	body	4096	valid
114.0ms	652×	body	128	valid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify84.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

583×	`fma-neg_binary64`
430×	`div-sub_binary64`
430×	`fma-def_binary64`
335×	`times-frac_binary64`
160×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	14	14
2	24	14
3	41	14
4	67	14
5	115	14
6	212	14
7	416	14
8	699	14
9	1176	14
10	1555	14
11	1621	14
12	1652	14
13	1679	14
14	1689	14
15	1693	14
16	1693	14
17	1592	14

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

33.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.0b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Compiler

Compiled 30 to 18 computations (40% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.7b	(-.f64 x (tan.f64 x))
✓	1.7b	(-.f64 x (sin.f64 x))

series8.0ms (0.1%)

Counts

2 → 18

Calls

2 calls:

5.0ms	(-.f64 x (tan.f64 x))
2.0ms	(-.f64 x (sin.f64 x))

rewrite56.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

829×	`expm1-log1p-u_binary64`
748×	`prod-diff_binary64`
105×	`egg-rr`
76×	`add-sqr-sqrt_binary64`
74×	`log1p-expm1-u_binary64`

Counts

2 → 105

Calls

2 calls:

54.0ms	(-.f64 x (tan.f64 x))
54.0ms	(-.f64 x (sin.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	12
1	141	12
2	1988	12
3	4997	12
0	0	0
1	0	0

simplify139.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

736×	`unswap-sqr_binary64`
510×	`sub-neg_binary64`
486×	`fma-neg_binary64`
432×	`distribute-rgt-neg-in_binary64`
357×	`distribute-lft-neg-in_binary64`

Counts

123 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	46	222
1	128	218
2	366	212
3	1020	212
4	2404	212
5	3085	212
6	4124	212
7	4761	212
8	4944	212
9	4897	212
10	4956	212
11	4761	212

prune78.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	120	3	123

Error

31.9b

Counts

123 → 3

Alt Table

Status	Error	Program
	63.4b	(/.f64 (fma.f64 (pow.f64 x 5) -1/120 (fma.f64 1/6 (pow.f64 x 3) (*.f64 1/5040 (pow.f64 x 7)))) (-.f64 x (tan.f64 x)))
	63.1b	(/.f64 (*.f64 1/6 (pow.f64 x 3)) (-.f64 x (tan.f64 x)))
▶	32.0b	(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))

Compiler

Compiled 2343 to 820 computations (65% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.7b	(-.f64 x (tan.f64 x))
	1.7b	(-.f64 x (sin.f64 x))
✓	1.7b	(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
✓	59.3b	(fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))

series1.8s (11.7%)

Counts

2 → 24

Calls

2 calls:

1.8s

(fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))

18.0ms

(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))

rewrite71.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

718×	`fma-def_binary64`
358×	`fma-neg_binary64`
240×	`expm1-udef_binary64`
240×	`log1p-udef_binary64`
157×	`add-sqr-sqrt_binary64`

Counts

2 → 74

Calls

2 calls:

69.0ms

(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))

69.0ms

(fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	56
1	306	22
2	3729	22
3	5398	22
0	0	0
1	0	0

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

574×	`fma-neg_binary64`
523×	`associate-/r/_binary64`
381×	`unswap-sqr_binary64`
338×	`times-frac_binary64`
219×	`associate-/l*_binary64`

Counts

98 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	452
1	164	448
2	526	414
3	2635	390
4	5490	390

prune183.0ms (1.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	206	10	216
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	206	13	219

Error

27.5b

Counts

219 → 13

Alt Table

Status	Error	Program
	31.7b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (+.f64 x (tan.f64 x))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
	48.3b	(/.f64 (+.f64 (-.f64 x (sin.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
▶	31.7b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x (tan.f64 x)))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
	33.2b	(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 x (cbrt.f64 (+.f64 x (tan.f64 x)))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
	54.0b	(/.f64 (+.f64 (fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) (neg.f64 (sin.f64 x))) (fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
✓	32.0b	(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	32.4b	(/.f64 x (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	63.4b	(/.f64 (fma.f64 (pow.f64 x 5) -1/120 (fma.f64 1/6 (pow.f64 x 3) (*.f64 1/5040 (pow.f64 x 7)))) (-.f64 x (tan.f64 x)))
	46.9b	(/.f64 (fma.f64 (sqrt.f64 x) (sqrt.f64 x) (neg.f64 (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	63.1b	(/.f64 (*.f64 1/6 (pow.f64 x 3)) (-.f64 x (tan.f64 x)))
	43.6b	(/.f64 (+.f64 (fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) (neg.f64 (sin.f64 x))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2)) (cbrt.f64 (sin.f64 x)) (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	41.3b	(/.f64 (fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) (neg.f64 (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	51.4b	(fma.f64 (/.f64 x (+.f64 (pow.f64 (+.f64 (tan.f64 x) (tan.f64 x)) 3) (pow.f64 (+.f64 x (tan.f64 x)) 3))) (fma.f64 (+.f64 (tan.f64 x) (tan.f64 x)) (-.f64 (+.f64 (tan.f64 x) (tan.f64 x)) (+.f64 x (tan.f64 x))) (pow.f64 (+.f64 x (tan.f64 x)) 2)) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))

Compiler

Compiled 6309 to 2080 computations (67% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)
✓	0.6b	(cbrt.f64 (+.f64 x (tan.f64 x)))
✓	0.6b	(cbrt.f64 x)
✓	31.5b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x (tan.f64 x)))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))

series109.0ms (0.7%)

Counts

4 → 48

Calls

4 calls:

44.0ms	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x (tan.f64 x)))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
30.0ms	(cbrt.f64 x)
18.0ms	(pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)
16.0ms	(cbrt.f64 (+.f64 x (tan.f64 x)))

rewrite79.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

318×	`fma-def_binary64`
260×	`expm1-udef_binary64`
260×	`log1p-udef_binary64`
199×	`fma-neg_binary64`
163×	`add-sqr-sqrt_binary64`

Counts

4 → 94

Calls

4 calls:

77.0ms	(pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)
77.0ms	(cbrt.f64 (+.f64 x (tan.f64 x)))
77.0ms	(cbrt.f64 x)
77.0ms	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x (tan.f64 x)))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	67
1	332	44
2	3938	44
3	5111	44
0	0	0
1	0	0

simplify86.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

425×	`cancel-sign-sub-inv_binary64`
374×	`fma-neg_binary64`
214×	`unswap-sqr_binary64`
194×	`associate-/r/_binary64`
181×	`neg-mul-1_binary64`

Counts

142 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	223	1993
1	674	1969
2	2551	1636
3	4708	1514
4	4996	1514

prune245.0ms (1.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	231	6	237
Fresh	7	4	11
Picked	1	0	1
Done	0	1	1
Total	239	11	250

Error

2.4b

Counts

250 → 11

Alt Table

Status	Error	Program
	31.4b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (-.f64 (fma.f64 5/81 (.f64 (pow.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 3) (cbrt.f64 (/.f64 1 (pow.f64 x 8)))) (fma.f64 1/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (cbrt.f64 (/.f64 1 (.f64 x x)))) (cbrt.f64 x))) (.f64 1/9 (*.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (cbrt.f64 (/.f64 1 (pow.f64 x 5))))))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
✓	32.0b	(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	21.1b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (-.f64 (fma.f64 1/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (cbrt.f64 (/.f64 1 (.f64 x x)))) (cbrt.f64 x)) (.f64 1/9 (.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (cbrt.f64 (/.f64 1 (pow.f64 x 5))))))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
	63.4b	(/.f64 (fma.f64 (pow.f64 x 5) -1/120 (fma.f64 1/6 (pow.f64 x 3) (*.f64 1/5040 (pow.f64 x 7)))) (-.f64 x (tan.f64 x)))
▶	15.2b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (fma.f64 1/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (cbrt.f64 (/.f64 1 (.f64 x x)))) (cbrt.f64 x))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
	46.9b	(/.f64 (fma.f64 (sqrt.f64 x) (sqrt.f64 x) (neg.f64 (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	63.1b	(/.f64 (*.f64 1/6 (pow.f64 x 3)) (-.f64 x (tan.f64 x)))
	31.6b	(-.f64 (+.f64 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (+.f64 (/.f64 (sin.f64 x) (.f64 x x)) (/.f64 (cbrt.f64 -1) x))) (.f64 (/.f64 (pow.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 3) (pow.f64 x 3)) (cbrt.f64 -1))) (+.f64 (+.f64 (/.f64 (sin.f64 x) x) (cbrt.f64 -1)) (.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (+.f64 (/.f64 (sin.f64 x) (pow.f64 x 3)) (/.f64 (cbrt.f64 -1) (*.f64 x x))))))
	31.6b	(-.f64 (+.f64 1 (.f64 (/.f64 (sin.f64 x) (.f64 x x)) (+.f64 (/.f64 (sin.f64 x) (pow.f64 (cos.f64 x) 2)) (/.f64 (sin.f64 x) (cos.f64 x))))) (+.f64 (/.f64 (pow.f64 (/.f64 (sin.f64 x) x) 3) (pow.f64 (cos.f64 x) 2)) (+.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 3) (pow.f64 x 3))))))
	41.3b	(/.f64 (fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) (neg.f64 (sin.f64 x))) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))
	40.9b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))) (cbrt.f64 (+.f64 x (tan.f64 x)))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))

Compiler

Compiled 9951 to 4061 computations (59.2% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (+.f64 x (tan.f64 x)))
	0.6b	(cbrt.f64 x)
✓	1.0b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (fma.f64 1/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (cbrt.f64 (/.f64 1 (.f64 x x)))) (cbrt.f64 x))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
✓	26.4b	(cbrt.f64 (/.f64 1 (*.f64 x x)))

series95.0ms (0.6%)

Counts

2 → 24

Calls

2 calls:

64.0ms

(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (fma.f64 1/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (cbrt.f64 (/.f64 1 (*.f64 x x)))) (cbrt.f64 x))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))

31.0ms

(cbrt.f64 (/.f64 1 (*.f64 x x)))

rewrite71.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

390×	`log1p-udef_binary64`
233×	`add-sqr-sqrt_binary64`
224×	`log1p-expm1-u_binary64`
224×	`expm1-log1p-u_binary64`
220×	`add-cbrt-cube_binary64`

Counts

2 → 44

Calls

2 calls:

70.0ms

(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (fma.f64 1/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (cbrt.f64 (/.f64 1 (*.f64 x x)))) (cbrt.f64 x))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))

70.0ms

(cbrt.f64 (/.f64 1 (*.f64 x x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	68
1	492	52
2	4613	52
3	5456	52
0	0	0
1	0	0

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

663×	`times-frac_binary64`
489×	`fma-def_binary64`
390×	`associate-/l*_binary64`
383×	`fma-neg_binary64`
340×	`associate-/r*_binary64`

Counts

68 → 70

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	132	1471
1	387	1423
2	1429	1413
3	4843	1409
4	5028	1409

prune209.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	8	1	9
Picked	1	0	1
Done	0	1	1
Total	201	3	204

Error

0.1b

Counts

204 → 3

Alt Table

Status	Error	Program
	63.4b	(/.f64 (fma.f64 (pow.f64 x 5) -1/120 (fma.f64 1/6 (pow.f64 x 3) (*.f64 1/5040 (pow.f64 x 7)))) (-.f64 x (tan.f64 x)))
	0.6b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (+.f64 x (tan.f64 x))) 2)) (/.f64 (cbrt.f64 x) (fma.f64 1/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (log.f64 (exp.f64 (cbrt.f64 (pow.f64 x -2))))) (cbrt.f64 x))) (neg.f64 (/.f64 (sin.f64 x) (+.f64 x (tan.f64 x)))))
✓	32.0b	(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (-.f64 x (tan.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (tan.f64 x))))

Compiler

Compiled 9534 to 4242 computations (55.5% saved)

regimes317.0ms (2.1%)

Accuracy

Total 1.0b remaining (86.1%)

Threshold costs 0b (0%)

Counts

160 → 1

Compiler

Compiled 7825 to 4643 computations (40.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	65
1	33	65
2	37	65
3	40	65
4	41	65
5	41	65

end119.0ms (0.8%)

Compiler: Compiled 167 to 103 computations (38.3% saved)

Details

analyze1.9s (12.1%)

sample9.5s (62.4%)

simplify84.0ms (0.6%)

prune2.0ms (0%)

localize7.0ms (0%)

series8.0ms (0.1%)

rewrite56.0ms (0.4%)

simplify139.0ms (0.9%)

prune78.0ms (0.5%)

localize13.0ms (0.1%)

series1.8s (11.7%)

rewrite71.0ms (0.5%)

simplify40.0ms (0.3%)

prune183.0ms (1.2%)

localize16.0ms (0.1%)

series109.0ms (0.7%)

rewrite79.0ms (0.5%)

simplify86.0ms (0.6%)

prune245.0ms (1.6%)

localize24.0ms (0.2%)

series95.0ms (0.6%)

rewrite71.0ms (0.5%)

simplify66.0ms (0.4%)

prune209.0ms (1.4%)

regimes317.0ms (2.1%)

simplify4.0ms (0%)

end119.0ms (0.8%)

Profiling