Details

analyze1.9s (14.3%)

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)

sample121.0ms (0.9%)

Algorithm

1×

intervals

Symmetry

(sort x y)

(sort t a)

Results

18.0ms	256×	body	128	valid
12.0ms	143×	body	128	invalid

Compiler

Compiled 60 to 44 computations (26.7% saved)

simplify63.0ms (0.5%)

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

9.5b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 137 to 92 computations (32.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
✓	0.1b	(fma.f64 x (*.f64 9 y) b)
✓	3.6b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	11.8b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)

series144.0ms (1.1%)

Counts

4 → 240

Calls

4 calls:

79.0ms	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
37.0ms	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
20.0ms	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
7.0ms	(fma.f64 x (*.f64 9 y) b)

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

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

simplify193.0ms (1.4%)

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

prune164.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	160	11	171
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	161	12	173

Error

8.3b

Counts

173 → 12

Alt Table

Status	Error	Program
▶	15.9b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	34.3b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	15.9b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))
	42.0b	(cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))
	38.1b	(.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 c)))
	41.6b	(/.f64 (.f64 -4 (.f64 a t)) c)
	21.9b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.3b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	16.7b	(.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)))
	16.7b	(/.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 c (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))
	31.8b	(/.f64 (fma.f64 9 (.f64 y x) b) (.f64 z c))
	44.7b	(/.f64 b (*.f64 c z))

Compiler

Compiled 4572 to 2492 computations (45.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
	0.1b	(fma.f64 x (*.f64 9 y) b)
	3.6b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	11.9b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))

series81.0ms (0.6%)

Counts

1 → 84

Calls

1 calls:

81.0ms

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

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

simplify85.0ms (0.6%)

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

prune181.0ms (1.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	180	13	193

Error

8.3b

Counts

193 → 13

Alt Table

Status	Error	Program
✓	15.9b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	34.3b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	27.8b	(.f64 (fma.f64 (.f64 a t) -4 (/.f64 b z)) (/.f64 1 c))
▶	15.9b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))
	42.0b	(cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))
	38.1b	(.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 c)))
	41.6b	(/.f64 (.f64 -4 (.f64 a t)) c)
	21.9b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.3b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	16.7b	(.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)))
	16.7b	(/.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 c (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))
	31.8b	(/.f64 (fma.f64 9 (.f64 y x) b) (.f64 z c))
	44.7b	(/.f64 b (*.f64 c z))

Compiler

Compiled 4963 to 2875 computations (42.1% saved)

localize15.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	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))
	3.6b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	11.7b	(/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))

series364.0ms (2.7%)

Counts

2 → 168

Calls

2 calls:

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

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

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

simplify215.0ms (1.6%)

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

prune323.0ms (2.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	284	6	290
Fresh	3	8	11
Picked	1	0	1
Done	0	1	1
Total	288	15	303

Error

8.3b

Counts

303 → 15

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (/.f64 (.f64 c z) (fma.f64 9 (.f64 y x) b)))
✓	15.9b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	34.3b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	46.1b	(/.f64 1 (/.f64 c (/.f64 b z)))
	42.0b	(cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))
	38.1b	(.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 c)))
	41.6b	(/.f64 (.f64 -4 (.f64 a t)) c)
	27.8b	(/.f64 1 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 b z))))
	21.9b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.3b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	37.7b	(.f64 (/.f64 1 (/.f64 1 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))) (/.f64 1 (/.f64 c (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))))))
▶	16.7b	(/.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 c (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))
	48.3b	(/.f64 1 (.f64 1/9 (/.f64 c (/.f64 (.f64 y x) z))))
	31.2b	(/.f64 1 (-.f64 (/.f64 c (-.f64 (/.f64 b z) (.f64 4 (.f64 a t)))) (.f64 9 (/.f64 (.f64 c (.f64 y x)) (.f64 z (pow.f64 (-.f64 (/.f64 b z) (.f64 4 (.f64 a t))) 2))))))
	44.7b	(/.f64 b (*.f64 c z))

Compiler

Compiled 12783 to 7284 computations (43% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.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))))
✓	1.6b	(/.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 c (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))
	3.6b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	12.4b	(cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)))

series1.1s (8.2%)

Counts

3 → 228

Calls

3 calls:

709.0ms

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

319.0ms

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

82.0ms

(/.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 c (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))

rewrite42.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`times-frac_binary64`
46×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
38×	`add-cube-cbrt_binary64`
37×	`cbrt-prod_binary64`

Counts

3 → 121

Calls

3 calls:

19.0ms

(/.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 c (cbrt.f64 (fma.f64 t (*.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))

4.0ms

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

1.0ms

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

simplify400.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

411×	`fma-def_binary64`
310×	`associate-/l*_binary64`
289×	`associate-*r/_binary64`
187×	`associate-/r*_binary64`
175×	`times-frac_binary64`

Counts

349 → 419

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2404	39757
1	5444	39757

prune2.2s (16.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	863	0	863
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	863	15	878

Error

8.3b

Counts

878 → 15

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (/.f64 (.f64 c z) (fma.f64 9 (.f64 y x) b)))
✓	15.9b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	34.3b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	46.1b	(/.f64 1 (/.f64 c (/.f64 b z)))
	42.0b	(cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)))
	38.1b	(.f64 (/.f64 1 (sqrt.f64 c)) (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (sqrt.f64 c)))
	41.6b	(/.f64 (.f64 -4 (.f64 a t)) c)
	27.8b	(/.f64 1 (/.f64 c (fma.f64 t (*.f64 a -4) (/.f64 b z))))
	21.9b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	47.3b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	37.7b	(.f64 (/.f64 1 (/.f64 1 (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))))) (/.f64 1 (/.f64 c (sqrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z))))))
✓	16.7b	(/.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 c (cbrt.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)))))
	48.3b	(/.f64 1 (.f64 1/9 (/.f64 c (/.f64 (.f64 y x) z))))
	31.2b	(/.f64 1 (-.f64 (/.f64 c (-.f64 (/.f64 b z) (.f64 4 (.f64 a t)))) (.f64 9 (/.f64 (.f64 c (.f64 y x)) (.f64 z (pow.f64 (-.f64 (/.f64 b z) (.f64 4 (.f64 a t))) 2))))))
	44.7b	(/.f64 b (*.f64 c z))

Compiler

Compiled 101886 to 62213 computations (38.9% saved)

regimes3.5s (25.4%)

Accuracy

Total 2.7b remaining (29.3%)

Threshold costs 0b (0%)

Counts

149 → 4

Compiler

Compiled 45550 to 31304 computations (31.3% saved)

bsearch10.0ms (0.1%)

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

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

21×	`*-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	49	198
1	73	198
2	95	198
3	116	198
4	135	198
5	143	198
6	145	198
7	144	198

end66.0ms (0.5%)

Remove: (sort x y)
Compiler: Compiled 987 to 560 computations (43.3% saved)

sample2.3s (17.1%)

Algorithm

1×

intervals

Results

630.0ms	8000×	body	128	valid
341.0ms	4765×	body	128	invalid

Compiler

Compiled 578 to 384 computations (33.6% saved)

Details

analyze1.9s (14.3%)

sample121.0ms (0.9%)

simplify63.0ms (0.5%)

prune5.0ms (0%)

localize12.0ms (0.1%)

series144.0ms (1.1%)

rewrite8.0ms (0.1%)

simplify193.0ms (1.4%)

prune164.0ms (1.2%)

localize14.0ms (0.1%)

series81.0ms (0.6%)

rewrite8.0ms (0.1%)

simplify85.0ms (0.6%)

prune181.0ms (1.3%)

localize15.0ms (0.1%)

series364.0ms (2.7%)

rewrite23.0ms (0.2%)

simplify215.0ms (1.6%)

prune323.0ms (2.4%)

localize15.0ms (0.1%)

series1.1s (8.2%)

rewrite42.0ms (0.3%)

simplify400.0ms (2.9%)

prune2.2s (16.2%)

regimes3.5s (25.4%)

bsearch10.0ms (0.1%)

simplify9.0ms (0.1%)

end66.0ms (0.5%)

sample2.3s (17.1%)

Profiling