Details

analyze2.1s (21.4%)

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)

sample2.2s (22.6%)

Symmetry

(sort x y)

(sort t a)

Results

1.4s	8256×	body	128	valid
778.0ms	4920×	body	128	invalid

Compiler

Compiled 80 to 56 computations (30% saved)

simplify64.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

prune4.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

5.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	12.6b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
	20.3b	(/.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)

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

series183.0ms (1.8%)

Counts

4 → 240

Calls

4 calls:

111.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))
24.0ms	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
9.0ms	(fma.f64 x (*.f64 9 y) b)

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

simplify176.0ms (1.8%)

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

prune197.0ms (2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	156	15	171
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	157	16	173

Error

5.0b

Counts

173 → 16

Alt Table

Status	Error	Program
	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (fma.f64 x (*.f64 9 y) b) (/.f64 1 z))) c)
▶	12.6b	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (neg.f64 (fma.f64 9 (.f64 y x) b)) (neg.f64 z))) c)
	12.7b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	40.4b	(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)))
	44.2b	(/.f64 b (*.f64 c z))
	37.6b	(.f64 (sqrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) (/.f64 (sqrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (*.f64 y x) b) z))) c))
	20.3b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	13.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)))) (/.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) c))
	26.2b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	13.0b	(/.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)
	34.6b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	35.2b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))
	13.3b	(/.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)))))
	13.4b	(/.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))
	46.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	38.3b	(.f64 -4 (/.f64 (.f64 a t) c))

Compiler

Compiled 4850 to 2670 computations (44.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series165.0ms (1.7%)

Counts

4 → 240

Calls

4 calls:

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

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

109×	`times-frac_binary64`
78×	`*-un-lft-identity_binary64`
78×	`add-sqr-sqrt_binary64`
78×	`add-cube-cbrt_binary64`
66×	`distribute-lft-neg-in_binary64`

Counts

4 → 185

Calls

4 calls:

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

simplify220.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-def_binary64`
353×	`associate-/l/_binary64`
323×	`associate-/r/_binary64`
306×	`div-sub_binary64`
202×	`distribute-rgt-in_binary64`

Counts

425 → 288

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	279	10127
1	562	9521
2	1806	8974
3	4093	8974
4	4948	8974

prune511.0ms (5.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	287	1	288
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	289	15	304

Error

5.0b

Counts

304 → 15

Alt Table

Status	Error	Program
▶	12.7b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	40.4b	(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)))
	20.3b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	13.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)))) (/.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) c))
	46.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	12.8b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
	26.2b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	13.0b	(/.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)
	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (fma.f64 x (*.f64 9 y) b) (/.f64 1 z))) c)
	34.6b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	35.2b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))
	13.3b	(/.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)))))
	13.4b	(/.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (cbrt.f64 c))
	44.2b	(/.f64 b (*.f64 c z))
	38.3b	(.f64 -4 (/.f64 (.f64 a t) c))

Compiler

Compiled 8540 to 4311 computations (49.5% 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))
	2.0b	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
✓	10.2b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))

series112.0ms (1.1%)

Counts

1 → 84

Calls

1 calls:

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

simplify93.0ms (0.9%)

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

prune201.0ms (2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	182	14	196

Error

4.9b

Counts

196 → 14

Alt Table

Status	Error	Program
✓	12.7b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	40.4b	(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)))
	20.3b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	13.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)))) (/.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) c))
	13.4b	(.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)))
	46.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	12.8b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
	26.2b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	13.0b	(/.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)
▶	12.7b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (fma.f64 x (*.f64 9 y) b) (/.f64 1 z))) c)
	34.6b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	35.2b	(.f64 (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)) (sqrt.f64 (/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) c)))
	44.2b	(/.f64 b (*.f64 c z))
	38.3b	(.f64 -4 (/.f64 (.f64 a t) c))

Compiler

Compiled 5033 to 2925 computations (41.9% 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) (/.f64 1 z)))
✓	2.2b	(.f64 (fma.f64 x (.f64 9 y) b) (/.f64 1 z))
✓	10.1b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (fma.f64 x (*.f64 9 y) b) (/.f64 1 z))) c)

series133.0ms (1.4%)

Counts

3 → 204

Calls

3 calls:

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

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
20×	`times-frac_binary64`
19×	`add-cube-cbrt_binary64`
14×	`add-exp-log_binary64`

Counts

3 → 77

Calls

3 calls:

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

simplify170.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

501×	`fma-neg_binary64`
307×	`associate-l_binary64`
288×	`associate-/l/_binary64`
283×	`cancel-sign-sub-inv_binary64`
282×	`exp-prod_binary64`

Counts

281 → 157

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	152	6399
1	317	5850
2	813	5292
3	2456	4890
4	4332	4890
5	4978	4890

prune173.0ms (1.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	1	11	12
Picked	1	0	1
Done	0	1	1
Total	179	13	192

Error

4.9b

Counts

192 → 13

Alt Table

Status	Error	Program
✓	12.7b	(.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (*.f64 9 y) b) z)) (/.f64 1 c))
	40.4b	(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)))
	20.3b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	13.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)))) (/.f64 (cbrt.f64 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))) c))
	13.4b	(.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)))
	46.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
	12.8b	(/.f64 1 (/.f64 c (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
	26.2b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	13.0b	(/.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)
	34.6b	(/.f64 (fma.f64 9 (/.f64 (*.f64 y x) z) (/.f64 b z)) c)
	39.2b	(/.f64 (fma.f64 t (.f64 a -4) (.f64 (.f64 (sqrt.f64 (fma.f64 9 (.f64 y x) b)) (sqrt.f64 (fma.f64 9 (*.f64 y x) b))) (/.f64 1 z))) c)
	44.2b	(/.f64 b (*.f64 c z))
	38.3b	(.f64 -4 (/.f64 (.f64 a t) c))

Compiler

Compiled 4623 to 2648 computations (42.7% saved)

regimes2.7s (27.2%)

Accuracy

Total 2.0b remaining (24.5%)

Threshold costs 0b (0%)

Counts

165 → 3

Compiler

Compiled 52106 to 35264 computations (32.3% saved)

bsearch100.0ms (1%)

Steps

Iters	Range		Point
9	1.770977560224336e-24	6.295314268920913e-18	2.2481237932582964e-19
7	-6.761354395377822e-62	-3.2495418901063916e-63	-5.624504260144903e-62

Compiler

Compiled 8 to 7 computations (12.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
10×	`+-commutative_binary64`
9×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	67
1	60	67
2	80	67
3	99	67
4	108	67
5	111	67
6	110	67

end238.0ms (2.4%)

Remove

(sort t a)

(sort x y)

Compiler

Compiled 683 to 461 computations (32.5% saved)

Details

analyze2.1s (21.4%)

sample2.2s (22.6%)

simplify64.0ms (0.6%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series183.0ms (1.8%)

rewrite9.0ms (0.1%)

simplify176.0ms (1.8%)

prune197.0ms (2%)

localize12.0ms (0.1%)

series165.0ms (1.7%)

rewrite25.0ms (0.3%)

simplify220.0ms (2.2%)

prune511.0ms (5.2%)

localize12.0ms (0.1%)

series112.0ms (1.1%)

rewrite8.0ms (0.1%)

simplify93.0ms (0.9%)

prune201.0ms (2%)

localize12.0ms (0.1%)

series133.0ms (1.4%)

rewrite13.0ms (0.1%)

simplify170.0ms (1.7%)

prune173.0ms (1.8%)

regimes2.7s (27.2%)

bsearch100.0ms (1%)

simplify5.0ms (0%)

end238.0ms (2.4%)

Profiling