Details

analyze4.3s (16.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)

sample138.0ms (0.5%)

Algorithm

1×

intervals

Results

38.0ms	256×	body	128	valid
19.0ms	139×	body	128	invalid

Compiler

Compiled 60 to 44 computations (26.7% saved)

simplify69.0ms (0.3%)

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

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

7.7b

Counts

3 → 2

Alt Table

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

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

series309.0ms (1.2%)

Counts

4 → 240

Calls

4 calls:

171.0ms	(/.f64 (fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z)) c)
81.0ms	(fma.f64 t (.f64 a -4) (/.f64 (fma.f64 x (.f64 9 y) b) z))
42.0ms	(/.f64 (fma.f64 x (*.f64 9 y) b) z)
14.0ms	(fma.f64 x (*.f64 9 y) b)

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

simplify325.0ms (1.2%)

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

prune375.0ms (1.4%)

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

6.8b

Counts

173 → 12

Alt Table

Status	Error	Program
	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)))))
	35.1b	(.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)))
▶	12.6b	(/.f64 1 (/.f64 c (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
	13.3b	(.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.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)))
	32.3b	(/.f64 (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (/.f64 b z)) c)
	28.5b	(/.f64 (fma.f64 t (.f64 a -4) (cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)
	39.1b	(/.f64 (.f64 -4 (.f64 a t)) c)
	42.0b	(/.f64 b (*.f64 c z))
	23.1b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
	12.6b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (/.f64 (.f64 a t) c)))
	20.6b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))

Compiler

Compiled 4570 to 2490 computations (45.5% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series893.0ms (3.3%)

Counts

4 → 288

Calls

4 calls:

609.0ms	(/.f64 c (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z)))
169.0ms	(/.f64 1 (/.f64 c (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
73.0ms	(fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))
41.0ms	(/.f64 (fma.f64 9 (*.f64 y x) b) z)

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

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

simplify575.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

809×	`times-frac_binary64`
459×	`associate-/l*_binary64`
298×	`fma-def_binary64`
169×	`*-commutative_binary64`
132×	`associate-/r/_binary64`

Counts

434 → 269

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	583	17624
1	1691	16816
2	4983	16816
3	5004	16816

prune644.0ms (2.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	265	4	269
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	268	13	281

Error

6.8b

Counts

281 → 13

Alt Table

Status	Error	Program
	12.6b	(/.f64 (/.f64 1 c) (/.f64 1 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
	39.1b	(/.f64 1 (.f64 -1/4 (/.f64 c (.f64 a t))))
	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)))))
	35.1b	(.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)))
	42.1b	(/.f64 1 (/.f64 (*.f64 c z) b))
	13.3b	(.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.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)))
	32.3b	(/.f64 (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (/.f64 b z)) c)
	20.6b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.5b	(/.f64 1 (.f64 1/9 (/.f64 c (/.f64 (.f64 y x) z))))
	23.1b	(/.f64 (fma.f64 (*.f64 a t) -4 (/.f64 b z)) c)
▶	12.6b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (/.f64 (.f64 a t) c)))
	28.5b	(/.f64 (fma.f64 t (.f64 a -4) (cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)

Compiler

Compiled 12207 to 6681 computations (45.3% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
✓	5.7b	(/.f64 (*.f64 a t) c)
✓	6.1b	(/.f64 b (*.f64 c z))
✓	10.9b	(/.f64 (.f64 y x) (.f64 c z))

series187.0ms (0.7%)

Counts

4 → 0

Calls

4 calls:

64.0ms	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
58.0ms	(/.f64 (.f64 y x) (.f64 c z))
40.0ms	(/.f64 b (*.f64 c z))
24.0ms	(/.f64 (*.f64 a t) c)

rewrite44.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-cbrt-cube_binary64`
44×	`add-exp-log_binary64`
15×	`cbrt-unprod_binary64`
15×	`prod-exp_binary64`
12×	`add-sqr-sqrt_binary64`

Counts

4 → 100

Calls

4 calls:

14.0ms	(.f64 9 (/.f64 (.f64 y x) (*.f64 c z)))
8.0ms	(/.f64 (.f64 y x) (.f64 c z))
6.0ms	(/.f64 (*.f64 a t) c)
6.0ms	(/.f64 b (*.f64 c z))

simplify151.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

613×	`associate-/r/_binary64`
459×	`associate-/l/_binary64`
441×	`*-commutative_binary64`
280×	`times-frac_binary64`
243×	`sub-neg_binary64`

Counts

100 → 127

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	169	1507
1	401	1168
2	1699	1168
3	3246	1168
4	4452	1168
5	4942	1168
6	5011	1168

prune325.0ms (1.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	117	10	127
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	122	18	140

Error

0.7b

Counts

140 → 18

Alt Table

Status	Error	Program
	39.7b	(-.f64 (+.f64 (/.f64 (sqrt.f64 b) (/.f64 (.f64 c z) (sqrt.f64 b))) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (/.f64 (.f64 a t) c)))
	14.1b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (.f64 a (/.f64 t c))))
	40.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)))
	32.3b	(/.f64 (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (/.f64 b z)) c)
	12.8b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (.f64 (/.f64 a (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 t (cbrt.f64 c)))))
	28.5b	(/.f64 (fma.f64 t (.f64 a -4) (cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 x (.f64 9 y) b) z) (/.f64 (fma.f64 x (.f64 9 y) b) z)) (/.f64 (fma.f64 x (.f64 9 y) b) z)))) c)
	11.0b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 (.f64 9 (/.f64 y c)) (/.f64 x z))) (.f64 4 (/.f64 (*.f64 a t) c)))
	14.4b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (*.f64 4 (/.f64 a (/.f64 c t))))
▶	10.6b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 x (/.f64 y c)) z))) (.f64 4 (/.f64 (*.f64 a t) c)))
	12.6b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 (.f64 (cbrt.f64 9) (cbrt.f64 9)) (.f64 (cbrt.f64 9) (/.f64 (.f64 y x) (.f64 c z))))) (.f64 4 (/.f64 (.f64 a t) c)))
	11.4b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 y (/.f64 c (/.f64 x z))))) (.f64 4 (/.f64 (.f64 a t) c)))
	20.6b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.5b	(/.f64 1 (.f64 1/9 (/.f64 c (/.f64 (.f64 y x) z))))
	12.6b	(/.f64 (/.f64 1 c) (/.f64 1 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) 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)))))
	42.1b	(/.f64 1 (/.f64 (*.f64 c z) b))
	11.0b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (.f64 (/.f64 y c) (/.f64 x z)))) (.f64 4 (/.f64 (*.f64 a t) c)))
	15.0b	(-.f64 (+.f64 (/.f64 (/.f64 b c) z) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (/.f64 (*.f64 a t) c)))

Compiler

Compiled 4748 to 1849 computations (61.1% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.9b	(*.f64 x (/.f64 y c))
	5.7b	(/.f64 (*.f64 a t) c)
	6.1b	(/.f64 b (*.f64 c z))
✓	7.0b	(/.f64 (*.f64 x (/.f64 y c)) z)

series80.0ms (0.3%)

Counts

2 → 84

Calls

2 calls:

58.0ms	(/.f64 (*.f64 x (/.f64 y c)) z)
21.0ms	(*.f64 x (/.f64 y c))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
13×	`associate-r_binary64`
13×	`times-frac_binary64`

Counts

2 → 60

Calls

2 calls:

15.0ms	(*.f64 x (/.f64 y c))
8.0ms	(/.f64 (*.f64 x (/.f64 y c)) z)

simplify182.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

919×	`times-frac_binary64`
527×	`associate-/l/_binary64`
421×	`associate-l_binary64`
340×	`associate-r_binary64`
297×	`associate-/r/_binary64`

Counts

144 → 91

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	112	1520
1	267	1391
2	1050	1391
3	4048	1391
4	4452	1391
5	4840	1391
6	5158	1391

prune407.0ms (1.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	140	5	145
Fresh	5	12	17
Picked	1	0	1
Done	0	0	0
Total	146	17	163

Error

0.0b

Counts

163 → 17

Alt Table

Status	Error	Program
	12.6b	(/.f64 (/.f64 1 c) (/.f64 1 (fma.f64 a (.f64 t -4) (/.f64 (fma.f64 9 (.f64 y x) b) z))))
	11.6b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 x (/.f64 y c)) z))) (.f64 4 (/.f64 a (/.f64 c t))))
	11.0b	(-.f64 (+.f64 (/.f64 (/.f64 b c) z) (.f64 9 (/.f64 (.f64 x (/.f64 y c)) z))) (.f64 4 (/.f64 (.f64 a t) c)))
	11.0b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (.f64 (/.f64 y c) (/.f64 x z)))) (.f64 4 (/.f64 (*.f64 a t) c)))
	14.1b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (.f64 a (/.f64 t c))))
	40.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)))
	32.3b	(/.f64 (+.f64 (.f64 9 (/.f64 (.f64 y x) z)) (/.f64 b z)) c)
	12.8b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 y x) (.f64 c z)))) (.f64 4 (.f64 (/.f64 a (*.f64 (cbrt.f64 c) (cbrt.f64 c))) (/.f64 t (cbrt.f64 c)))))
	11.0b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 (.f64 9 (/.f64 y c)) (/.f64 x z))) (.f64 4 (/.f64 (*.f64 a t) c)))
	11.4b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 y (/.f64 c (/.f64 x z))))) (.f64 4 (/.f64 (.f64 a t) c)))
	20.6b	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x 9) y) (.f64 (.f64 (.f64 z 4) t) a)) b) (.f64 z c))
	48.5b	(/.f64 1 (.f64 1/9 (/.f64 c (/.f64 (.f64 y x) z))))
	9.9b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 9 (/.f64 (.f64 x (/.f64 y c)) z))) (.f64 4 (/.f64 (.f64 t (/.f64 a (.f64 (cbrt.f64 c) (cbrt.f64 c)))) (cbrt.f64 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)))))
	10.8b	(-.f64 (+.f64 (.f64 b (/.f64 1 (.f64 c z))) (.f64 9 (/.f64 (.f64 x (/.f64 y c)) z))) (.f64 4 (/.f64 (.f64 a t) c)))
	9.6b	(-.f64 (+.f64 (/.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (/.f64 c (/.f64 (cbrt.f64 b) z))) (.f64 9 (/.f64 (.f64 x (/.f64 y c)) z))) (.f64 4 (/.f64 (*.f64 a t) c)))
	12.6b	(-.f64 (+.f64 (/.f64 b (.f64 c z)) (.f64 (.f64 (cbrt.f64 9) (cbrt.f64 9)) (.f64 (cbrt.f64 9) (/.f64 (.f64 y x) (.f64 c z))))) (.f64 4 (/.f64 (.f64 a t) c)))

Compiler

Compiled 4606 to 1675 computations (63.6% saved)

regimes12.7s (47.6%)

Accuracy

Total 6.2b remaining (98.8%)

Threshold costs 0b (0%)

Counts

249 → 5

Compiler

Compiled 73348 to 50258 computations (31.5% saved)

bsearch25.0ms (0.1%)

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

simplify23.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

30×	`*-commutative_binary64`
21×	`+-commutative_binary64`
17×	`sub-neg_binary64`
14×	`distribute-rgt-neg-in_binary64`
13×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	301
1	112	301
2	139	301
3	169	301
4	194	301
5	205	301
6	208	301
7	206	301

end89.0ms (0.3%)

Compiler: Compiled 1045 to 545 computations (47.8% saved)

sample4.6s (17.2%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
645.0ms	4674×	body	128	invalid

Compiler

Compiled 759 to 479 computations (36.9% saved)

Details

analyze4.3s (16.3%)

sample138.0ms (0.5%)

simplify69.0ms (0.3%)

prune9.0ms (0%)

localize23.0ms (0.1%)

series309.0ms (1.2%)

rewrite21.0ms (0.1%)

simplify325.0ms (1.2%)

prune375.0ms (1.4%)

localize29.0ms (0.1%)

series893.0ms (3.3%)

rewrite51.0ms (0.2%)

simplify575.0ms (2.2%)

prune644.0ms (2.4%)

localize32.0ms (0.1%)

series187.0ms (0.7%)

rewrite44.0ms (0.2%)

simplify151.0ms (0.6%)

prune325.0ms (1.2%)

localize34.0ms (0.1%)

series80.0ms (0.3%)

rewrite29.0ms (0.1%)

simplify182.0ms (0.7%)

prune407.0ms (1.5%)

regimes12.7s (47.6%)

bsearch25.0ms (0.1%)

simplify23.0ms (0.1%)

end89.0ms (0.3%)

sample4.6s (17.2%)

Profiling