Details

analyze1.7s (8.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
12.1%	87.7%	0.2%	13
21.4%	78.3%	0.4%	14

Compiler

Compiled 19 to 12 computations (36.8% saved)

sample1.8s (8.9%)

Results

1.0s	6908×	body	128	valid
203.0ms	1224×	body	128	invalid
171.0ms	479×	body	512	valid
157.0ms	403×	body	1024	valid
91.0ms	402×	body	256	valid
28.0ms	64×	body	2048	valid

Compiler

Compiled 56 to 35 computations (37.5% saved)

simplify83.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

930×	`fma-def_binary64`
859×	`div-sub_binary64`
817×	`unsub-neg_binary64`
555×	`neg-mul-1_binary64`
380×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	24	17
2	52	17
3	155	17
4	477	17
5	1268	17
6	3213	17
7	4154	17
8	4434	17
9	4965	17
10	4951	17

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

13.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	14.0b	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)
	14.1b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Compiler

Compiled 100 to 54 computations (46% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
✓	14.0b	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)

series85.0ms (0.4%)

Counts

2 → 108

Calls

2 calls:

60.0ms	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)
24.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
38×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
12×	`distribute-lft-out--_binary64`

Counts

2 → 64

Calls

2 calls:

8.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
0.0ms	(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)

simplify128.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

523×	`cancel-sign-sub-inv_binary64`
479×	`sub-neg_binary64`
353×	`associate-+r+_binary64`
286×	`+-commutative_binary64`
272×	`associate-+l+_binary64`

Counts

172 → 136

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	356	6269
1	1045	6192
2	3851	6156
3	5233	6156

prune164.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	127	9	136
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	129	9	138

Error

1.0b

Counts

138 → 9

Alt Table

Status	Error	Program
▶	14.1b	(fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)
	43.8b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 (pow.f64 a 2) t) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y (.f64 a x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 a t) z))))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 y (.f64 a t)) (pow.f64 z 2))))))
	51.1b	(fma.f64 (-.f64 y z) (.f64 (/.f64 (+.f64 (sqrt.f64 t) (sqrt.f64 x)) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 (sqrt.f64 t) (sqrt.f64 x)) (cbrt.f64 (-.f64 a z)))) x)
	34.8b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	31.8b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	41.8b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	39.6b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)) (sqrt.f64 (fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)))
	44.4b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
	23.5b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (.f64 t z) (-.f64 a z))))

Compiler

Compiled 4962 to 1580 computations (68.2% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (-.f64 a z))
✓	0.3b	(*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z)))
✓	13.9b	(fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)

series89.0ms (0.4%)

Counts

3 → 132

Calls

3 calls:

57.0ms	(fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)
24.0ms	(*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z)))
8.0ms	(/.f64 1 (-.f64 a z))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
32×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`

Counts

3 → 105

Calls

3 calls:

10.0ms	(*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z)))
5.0ms	(/.f64 1 (-.f64 a z))
0.0ms	(fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)

simplify189.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

485×	`sub-neg_binary64`
371×	`associate-+r+_binary64`
307×	`+-commutative_binary64`
285×	`associate-+l+_binary64`
246×	`fma-neg_binary64`

Counts

237 → 220

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	385	7102
1	1097	6803
2	4197	6767
3	5010	6767

prune216.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	219	1	220
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	221	8	229

Error

1.0b

Counts

229 → 8

Alt Table

Status	Error	Program
	51.1b	(fma.f64 (-.f64 y z) (.f64 (/.f64 (+.f64 (sqrt.f64 t) (sqrt.f64 x)) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 (sqrt.f64 t) (sqrt.f64 x)) (cbrt.f64 (-.f64 a z)))) x)
	34.8b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	31.8b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	41.8b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	43.8b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 (pow.f64 a 2) t) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y (.f64 a x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 a t) z))))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 y (.f64 a t)) (pow.f64 z 2))))))
	44.4b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
▶	15.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
	23.5b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (.f64 t z) (-.f64 a z))))

Compiler

Compiled 6850 to 2416 computations (64.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z)))
✓	0.5b	(.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
✓	0.5b	(cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))
	13.9b	(fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)

series4.7s (22.9%)

Counts

2 → 120

Calls

2 calls:

3.8s

(*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))

871.0ms

(cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

4.0ms

(*.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))

1.0ms

(cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))

simplify718.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

175 → 161

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5883	117620

prune2.3s (11.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	785	4	789
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	785	12	797

Error

1.0b

Counts

797 → 12

Alt Table

Status	Error	Program
	51.1b	(fma.f64 (-.f64 y z) (.f64 (/.f64 (+.f64 (sqrt.f64 t) (sqrt.f64 x)) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 (sqrt.f64 t) (sqrt.f64 x)) (cbrt.f64 (-.f64 a z)))) x)
	41.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (.f64 (-.f64 t x) (sqrt.f64 (/.f64 1 (-.f64 a z)))) (sqrt.f64 (/.f64 1 (-.f64 a z)))) x)))
	58.1b	(.f64 (pow.f64 (pow.f64 t 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
	39.8b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))))
	53.5b	(.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) 2)) (.f64 2 (log.f64 (/.f64 1 x)))))) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
	34.8b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	31.8b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	41.8b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	43.8b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 (pow.f64 a 2) t) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y (.f64 a x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 a t) z))))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 y (.f64 a t)) (pow.f64 z 2))))))
	44.4b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
✓	15.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
▶	23.5b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (.f64 t z) (-.f64 a z))))

Compiler

Compiled 156579 to 72438 computations (53.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(/.f64 (*.f64 y x) (-.f64 a z))
✓	6.2b	(/.f64 (*.f64 y t) (-.f64 a z))
✓	11.5b	(/.f64 (*.f64 z x) (-.f64 a z))
✓	13.6b	(/.f64 (*.f64 t z) (-.f64 a z))

series145.0ms (0.7%)

Counts

4 → 96

Calls

4 calls:

79.0ms	(/.f64 (*.f64 t z) (-.f64 a z))
25.0ms	(/.f64 (*.f64 y x) (-.f64 a z))
25.0ms	(/.f64 (*.f64 y t) (-.f64 a z))
15.0ms	(/.f64 (*.f64 z x) (-.f64 a z))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
24×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
20×	`associate-/r*_binary64`

Counts

4 → 116

Calls

4 calls:

7.0ms	(/.f64 (*.f64 z x) (-.f64 a z))
5.0ms	(/.f64 (*.f64 t z) (-.f64 a z))
5.0ms	(/.f64 (*.f64 y x) (-.f64 a z))
4.0ms	(/.f64 (*.f64 y t) (-.f64 a z))

simplify163.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

871×	`fma-def_binary64`
370×	`associate-/l*_binary64`
350×	`times-frac_binary64`
175×	`associate-l_binary64`
170×	`associate-/r*_binary64`

Counts

212 → 232

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	332	4544
1	943	4292
2	3319	3946
3	4910	3946
4	4992	3946
5	4932	3946

prune230.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	228	4	232
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	231	13	244

Error

1.0b

Counts

244 → 13

Alt Table

Status	Error	Program
	41.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (.f64 (-.f64 t x) (sqrt.f64 (/.f64 1 (-.f64 a z)))) (sqrt.f64 (/.f64 1 (-.f64 a z)))) x)))
	58.1b	(.f64 (pow.f64 (pow.f64 t 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
	31.8b	(*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 z (-.f64 a z))))
	23.2b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (.f64 y (/.f64 x (-.f64 a z))) (/.f64 (.f64 t z) (-.f64 a z))))
	44.4b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
	23.3b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 (.f64 y t) (-.f64 a z)) x)) (+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 y (/.f64 (-.f64 a z) x))) (cbrt.f64 (/.f64 y (/.f64 (-.f64 a z) x)))) (cbrt.f64 (/.f64 y (/.f64 (-.f64 a z) x)))) (/.f64 (*.f64 t z) (-.f64 a z))))
	53.5b	(.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) 2)) (.f64 2 (log.f64 (/.f64 1 x)))))) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
	34.8b	(*.f64 (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))) x)
	41.8b	(-.f64 (+.f64 (/.f64 (.f64 y x) z) (+.f64 t (/.f64 (.f64 a t) z))) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 a x) z)))
	43.8b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 (pow.f64 a 2) t) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y (.f64 a x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 a t) z))))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 y t) z) (/.f64 (.f64 y (.f64 a t)) (pow.f64 z 2))))))
	23.4b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (/.f64 y (/.f64 (-.f64 a z) t)) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (*.f64 t z) (-.f64 a z))))
✓	15.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (*.f64 (-.f64 t x) (/.f64 1 (-.f64 a z))) x)))
	23.1b	(-.f64 (+.f64 (/.f64 (.f64 z x) (-.f64 a z)) (+.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z)))) x)) (+.f64 (/.f64 (.f64 y x) (-.f64 a z)) (/.f64 (*.f64 t z) (-.f64 a z))))

Compiler

Compiled 10177 to 1853 computations (81.8% saved)

regimes7.4s (35.8%)

Accuracy

Total 4.7b remaining (83.6%)

Threshold costs 0b (0%)

Counts

220 → 5

Compiler

Compiled 41736 to 22524 computations (46% saved)

bsearch10.0ms (0%)

Compiler: Compiled 18 to 11 computations (38.9% saved)

simplify62.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

157×	`cancel-sign-sub-inv_binary64`
149×	`distribute-rgt-neg-in_binary64`
112×	`neg-sub0_binary64`
112×	`neg-mul-1_binary64`
100×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	274
1	99	274
2	133	272
3	174	272
4	230	272
5	265	272
6	311	272
7	360	272
8	436	272
9	537	272
10	623	272
11	720	272
12	801	272
13	860	272
14	886	272
15	898	272
16	905	272
17	907	272
18	902	272

end273.0ms (1.3%)

Compiler: Compiled 897 to 391 computations (56.4% saved)

Iter	Nodes	Cost
0	65	274
1	99	274
2	133	272
3	174	272
4	230	272
5	265	272
6	311	272
7	360	272
8	436	272
9	537	272
10	623	272
11	720	272
12	801	272
13	860	272
14	886	272
15	898	272
16	905	272
17	907	272
18	902	272

Iter	Nodes	Cost
0	65	274
1	99	274
2	133	272
3	174	272
4	230	272
5	265	272
6	311	272
7	360	272
8	436	272
9	537	272
10	623	272
11	720	272
12	801	272
13	860	272
14	886	272
15	898	272
16	905	272
17	907	272
18	902	272

Details

analyze1.7s (8.1%)

sample1.8s (8.9%)

simplify83.0ms (0.4%)

prune3.0ms (0%)

localize8.0ms (0%)

series85.0ms (0.4%)

rewrite12.0ms (0.1%)

simplify128.0ms (0.6%)

prune164.0ms (0.8%)

localize11.0ms (0.1%)

series89.0ms (0.4%)

rewrite21.0ms (0.1%)

simplify189.0ms (0.9%)

prune216.0ms (1%)

localize15.0ms (0.1%)

series4.7s (22.9%)

rewrite15.0ms (0.1%)

simplify718.0ms (3.5%)

prune2.3s (11.3%)

localize18.0ms (0.1%)

series145.0ms (0.7%)

rewrite26.0ms (0.1%)

simplify163.0ms (0.8%)

prune230.0ms (1.1%)

regimes7.4s (35.8%)

bsearch10.0ms (0%)

simplify62.0ms (0.3%)

end273.0ms (1.3%)

Profiling

Iter	Nodes	Cost
0	65	274
1	99	274
2	133	272
3	174	272
4	230	272
5	265	272
6	311	272
7	360	272
8	436	272
9	537	272
10	623	272
11	720	272
12	801	272
13	860	272
14	886	272
15	898	272
16	905	272
17	907	272
18	902	272