Details

analyze2.0s (19.7%)

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
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	13
0%	99.7%	0.3%	14

Compiler

Compiled 27 to 19 computations (29.6% saved)

sample132.0ms (1.3%)

Algorithm

1×

intervals

Symmetry

(sort x y)

(sort t a)

Results

21.0ms	256×	body	128	valid
10.0ms	149×	body	128	invalid

Compiler

Compiled 60 to 44 computations (26.7% saved)

simplify66.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

828×	`fma-def_binary64`
568×	`div-sub_binary64`
502×	`associate-/r/_binary64`
476×	`distribute-neg-frac_binary64`
465×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	19	28
1	42	28
2	116	24
3	352	24
4	880	23
5	2041	21
6	4154	21
7	4365	21
8	4941	21

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

6.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	18.1b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
▶	12.3b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)

Compiler

Compiled 137 to 92 computations (32.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (*.f64 9 y) b)
✓	0.3b	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
✓	1.9b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	9.6b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)

series158.0ms (1.5%)

Counts

4 → 240

Calls

4 calls:

89.0ms	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
40.0ms	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
22.0ms	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
7.0ms	(fma.f64 x (*.f64 9 y) b)

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`
8×	`add-cbrt-cube_binary64`

Counts

4 → 78

Calls

4 calls:

4.0ms	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
2.0ms	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
0.0ms	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
0.0ms	(fma.f64 x (*.f64 9 y) b)

simplify194.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

913×	`div-sub_binary64`
630×	`fma-def_binary64`
477×	`fma-neg_binary64`
332×	`associate-/l/_binary64`
274×	`distribute-rgt-in_binary64`

Counts

318 → 171

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	6685
1	296	6160
2	725	5908
3	1995	5341
4	4278	5341
5	6463	5341

prune193.0ms (1.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	157	14	171
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	158	15	173

Error

6.0b

Counts

173 → 15

Alt Table

Status	Error	Program
	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)
	13.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 c)))
	18.1b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	37.6b	(/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (/.f64 c (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))))
	13.2b	(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))) (.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))) (cbrt.f64 c)))
▶	12.3b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)
	12.4b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	13.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c))) (cbrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))
	40.5b	(/.f64 b (*.f64 c z))
	24.1b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	41.2b	(.f64 -4 (/.f64 (.f64 a t) c))
	29.7b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	42.1b	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)) c) 3))
	12.4b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))

Compiler

Compiled 4736 to 2606 computations (45% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b))))
✓	0.3b	(/.f64 1 (/.f64 z (fma.f64 x (*.f64 9 y) b)))
✓	1.9b	(/.f64 z (fma.f64 x (*.f64 9 y) b))
✓	9.6b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)

series214.0ms (2.1%)

Counts

4 → 252

Calls

4 calls:

98.0ms	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)
50.0ms	(/.f64 z (fma.f64 x (*.f64 9 y) b))
44.0ms	(fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b))))
21.0ms	(/.f64 1 (/.f64 z (fma.f64 x (*.f64 9 y) b)))

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`times-frac_binary64`
62×	`*-un-lft-identity_binary64`
62×	`add-sqr-sqrt_binary64`
62×	`add-cube-cbrt_binary64`
19×	`associate-/r*_binary64`

Counts

4 → 146

Calls

4 calls:

4.0ms	(/.f64 1 (/.f64 z (fma.f64 x (*.f64 9 y) b)))
2.0ms	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)
2.0ms	(/.f64 z (fma.f64 x (*.f64 9 y) b))
0.0ms	(fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b))))

simplify217.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

719×	`associate-/r*_binary64`
387×	`associate-/r/_binary64`
358×	`fma-neg_binary64`
289×	`fma-def_binary64`
247×	`associate-/l/_binary64`

Counts

398 → 285

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	9758
1	580	8908
2	1865	8615
3	4793	8615
4	5010	8615

prune357.0ms (3.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	283	2	285
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	285	15	300

Error

6.0b

Counts

300 → 15

Alt Table

Status	Error	Program
	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)
	13.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 c)))
	18.1b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
✓	12.3b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)
▶	12.4b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	42.1b	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)) c) 3))
	36.6b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)) (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (*.f64 9 y) b)))) c)))
	40.5b	(/.f64 b (*.f64 c z))
	24.1b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	28.9b	(/.f64 (fma.f64 t (.f64 a -4) (cbrt.f64 (/.f64 (.f64 (.f64 1 1) 1) (.f64 (.f64 (/.f64 z (fma.f64 x (.f64 9 y) b)) (/.f64 z (fma.f64 x (.f64 9 y) b))) (/.f64 z (fma.f64 x (.f64 9 y) b)))))) c)
	41.2b	(.f64 -4 (/.f64 (.f64 a t) c))
	29.7b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	37.6b	(/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (/.f64 c (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))))
	12.4b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))

Compiler

Compiled 8478 to 4910 computations (42.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 x (*.f64 9 y) b)
	0.3b	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
	1.9b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	9.7b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))

series93.0ms (0.9%)

Counts

1 → 84

Calls

1 calls:

92.0ms

(*.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
11×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-exp-log_binary64`

Counts

1 → 38

Calls

1 calls:

5.0ms

(*.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))

simplify88.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

893×	`fma-def_binary64`
740×	`distribute-rgt-in_binary64`
236×	`associate-l_binary64`
202×	`associate-r_binary64`
162×	`fma-neg_binary64`

Counts

122 → 78

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	3557
1	231	3078
2	599	2942
3	1901	2744
4	5182	2744

prune208.0ms (2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	180	16	196

Error

6.0b

Counts

196 → 16

Alt Table

Status	Error	Program
	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)
	13.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 c)))
	18.1b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
✓	12.3b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)
✓	12.4b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	42.1b	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)) c) 3))
	36.6b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)) (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (*.f64 9 y) b)))) c)))
	13.1b	(.f64 (.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (*.f64 (cbrt.f64 (/.f64 1 c)) (cbrt.f64 (/.f64 1 c)))) (cbrt.f64 (/.f64 1 c)))
▶	12.4b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))
	40.5b	(/.f64 b (*.f64 c z))
	24.1b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	28.9b	(/.f64 (fma.f64 t (.f64 a -4) (cbrt.f64 (/.f64 (.f64 (.f64 1 1) 1) (.f64 (.f64 (/.f64 z (fma.f64 x (.f64 9 y) b)) (/.f64 z (fma.f64 x (.f64 9 y) b))) (/.f64 z (fma.f64 x (.f64 9 y) b)))))) c)
	41.2b	(.f64 -4 (/.f64 (.f64 a t) c))
	29.7b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	37.6b	(/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (/.f64 c (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))))

Compiler

Compiled 5083 to 2974 computations (41.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
✓	0.3b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))
	1.9b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	9.6b	(/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))

series411.0ms (4%)

Counts

2 → 168

Calls

2 calls:

315.0ms	(/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))
95.0ms	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`

Counts

2 → 107

Calls

2 calls:

5.0ms	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))
4.0ms	(/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))

simplify238.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

795×	`times-frac_binary64`
466×	`associate-/r*_binary64`
436×	`associate-/l*_binary64`
295×	`fma-def_binary64`
167×	`*-commutative_binary64`

Counts

275 → 213

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	532	14808
1	1616	14085
2	5455	14085

prune362.0ms (3.5%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	289	6	295
Fresh	6	7	13
Picked	1	0	1
Done	0	2	2
Total	296	15	311

Error

6.0b

Counts

311 → 15

Alt Table

Status	Error	Program
	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z))) (cbrt.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)
	13.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (cbrt.f64 c)))
	18.1b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	37.6b	(/.f64 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))) (/.f64 c (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))))
	41.2b	(.f64 (/.f64 (.f64 a t) c) -4)
✓	12.3b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 1 (/.f64 z (fma.f64 x (.f64 9 y) b)))) c)
✓	12.4b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	13.1b	(.f64 (.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (*.f64 (cbrt.f64 (/.f64 1 c)) (cbrt.f64 (/.f64 1 c)))) (cbrt.f64 (/.f64 1 c)))
	40.5b	(/.f64 1 (/.f64 (*.f64 c z) b))
	29.8b	(/.f64 1 (/.f64 c (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z))))
	13.1b	(/.f64 1 (/.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (cbrt.f64 c))))
	12.5b	(/.f64 1 (.f64 c (/.f64 1 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))
	42.1b	(cbrt.f64 (pow.f64 (/.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)) c) 3))
	24.3b	(/.f64 1 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 b z))))

Compiler

Compiled 12513 to 7078 computations (43.4% saved)

regimes2.4s (23%)

Accuracy

Total 1.8b remaining (22.4%)

Threshold costs 0b (0%)

Counts

125 → 6

Compiler

Compiled 36342 to 25014 computations (31.2% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64`
14×	`+-commutative_binary64`
11×	`sub-neg_binary64`
10×	`distribute-rgt-neg-in_binary64`
9×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	319
1	90	319
2	111	319
3	132	319
4	151	319
5	159	319
6	161	319
7	159	319

end46.0ms (0.4%)

Compiler: Compiled 1115 to 650 computations (41.7% saved)

sample2.8s (27.3%)

Algorithm

1×

intervals

Results

669.0ms	8000×	body	128	valid
366.0ms	4846×	body	128	invalid

Compiler

Compiled 644 to 427 computations (33.7% saved)

Details

analyze2.0s (19.7%)

sample132.0ms (1.3%)

simplify66.0ms (0.6%)

prune5.0ms (0%)

localize13.0ms (0.1%)

series158.0ms (1.5%)

rewrite10.0ms (0.1%)

simplify194.0ms (1.9%)

prune193.0ms (1.9%)

localize13.0ms (0.1%)

series214.0ms (2.1%)

rewrite23.0ms (0.2%)

simplify217.0ms (2.1%)

prune357.0ms (3.4%)

localize12.0ms (0.1%)

series93.0ms (0.9%)

rewrite9.0ms (0.1%)

simplify88.0ms (0.8%)

prune208.0ms (2%)

localize15.0ms (0.1%)

series411.0ms (4%)

rewrite20.0ms (0.2%)

simplify238.0ms (2.3%)

prune362.0ms (3.5%)

regimes2.4s (23%)

bsearch7.0ms (0.1%)

simplify13.0ms (0.1%)

end46.0ms (0.4%)

sample2.8s (27.3%)

Profiling