Details

analyze3.1s (15.6%)

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.6%	99.1%	0.3%	11
1.8%	98%	0.3%	12
2.6%	97.1%	0.3%	13
4%	95.7%	0.3%	14

Compiler

Compiled 24 to 15 computations (37.5% saved)

sample2.7s (13.5%)

Results

2.4s	8256×	body	128	valid
205.0ms	426×	body	128	invalid

Compiler

Compiled 71 to 44 computations (38% saved)

simplify96.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

920×	`times-frac_binary64`
593×	`fma-def_binary64`
507×	`div-sub_binary64`
484×	`sub-neg_binary64`
470×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	23
1	25	21
2	50	21
3	93	21
4	157	21
5	270	21
6	423	21
7	724	21
8	1341	21
9	3898	21
10	4400	21
11	4952	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

19.7b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 126 to 69 computations (45.2% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

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

series392.0ms (2%)

Counts

3 → 168

Calls

3 calls:

352.0ms	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
26.0ms	(fma.f64 x y (*.f64 z (-.f64 t a)))
13.0ms	(*.f64 z (-.f64 t a))

rewrite113.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

976×	`prod-diff_binary64`
151×	`add-sqr-sqrt_binary64`
143×	`log1p-expm1-u_binary64`
143×	`expm1-log1p-u_binary64`
139×	`add-log-exp_binary64`

Counts

3 → 77

Calls

3 calls:

109.0ms	(*.f64 z (-.f64 t a))
109.0ms	(fma.f64 x y (*.f64 z (-.f64 t a)))
109.0ms	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	39
1	285	39
2	3837	39
3	5805	39
0	0	0
1	0	0

simplify227.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

768×	`times-frac_binary64`
647×	`associate-/l*_binary64`
486×	`fma-def_binary64`
257×	`+-commutative_binary64`
206×	`associate-+r+_binary64`

Counts

245 → 170

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	607	7833
1	2079	7238
2	5102	7238

prune479.0ms (2.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	160	10	170
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	161	11	172

Error

0.2b

Counts

172 → 11

Alt Table

Status	Error	Program
	43.7b	(pow.f64 (sqrt.f64 (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))) 2)
	44.5b	(-.f64 (fma.f64 (/.f64 a y) (/.f64 z (+.f64 z -1)) (/.f64 (.f64 a (.f64 b (.f64 z z))) (.f64 (.f64 y y) (pow.f64 (+.f64 z -1) 2)))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (+.f64 z -1) 2)) (fma.f64 (/.f64 t y) (/.f64 z (+.f64 z -1)) (fma.f64 (/.f64 (.f64 b b) (.f64 y y)) (/.f64 (.f64 x (.f64 z z)) (pow.f64 (+.f64 z -1) 3)) (fma.f64 (/.f64 t (.f64 y y)) (/.f64 (.f64 b (*.f64 z z)) (pow.f64 (+.f64 z -1) 2)) (/.f64 x (+.f64 z -1)))))))
	33.1b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	43.3b	(/.f64 x (-.f64 1 z))
	45.6b	(.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (-.f64 b y) y))) (/.f64 (fma.f64 x y (.f64 z (-.f64 t a))) (sqrt.f64 (fma.f64 z (-.f64 b y) y))))
	25.2b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	28.9b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	33.0b	(/.f64 (-.f64 t a) (-.f64 b y))
▶	19.7b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z)))) (/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z))))
✓	19.7b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
	20.5b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))) 3)

Compiler

Compiled 9930 to 4234 computations (57.4% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.2b	(-.f64 (+.f64 y (.f64 z b)) (.f64 y z))
✓	11.0b	(/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
✓	11.8b	(/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
✓	12.2b	(/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))

series460.0ms (2.3%)

Counts

4 → 159

Calls

4 calls:

158.0ms	(/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
146.0ms	(/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
140.0ms	(/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
15.0ms	(-.f64 (+.f64 y (.f64 z b)) (.f64 y z))

rewrite143.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

713×	`prod-diff_binary64`
197×	`add-sqr-sqrt_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`
181×	`add-log-exp_binary64`

Counts

4 → 169

Calls

4 calls:

131.0ms	(-.f64 (+.f64 y (.f64 z b)) (.f64 y z))
131.0ms	(/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
131.0ms	(/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
131.0ms	(/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	70
1	380	62
2	4871	62
3	6180	62
0	0	0
1	0	0

simplify268.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

885×	`times-frac_binary64`
745×	`associate-/l*_binary64`
343×	`fma-def_binary64`
192×	`+-commutative_binary64`
168×	`sub-neg_binary64`

Counts

328 → 364

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	626	7374
1	1956	6877
2	5565	6877

prune1.3s (6.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	513	5	518
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	517	12	529

Error

0.0b

Counts

529 → 12

Alt Table

Status	Error	Program
	19.3b	(-.f64 (+.f64 (.f64 (/.f64 t 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y)))) (/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z)))) (/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))))
	33.1b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	25.2b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	22.6b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (/.f64 x (-.f64 1 z))) (/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))))
▶	17.3b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z)))) (.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y)))))
	19.7b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (.f64 y (/.f64 1 (/.f64 (-.f64 (fma.f64 z b y) (.f64 z y)) x)))) (/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))))
	18.1b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z)))) (.f64 (/.f64 a (pow.f64 (cbrt.f64 (-.f64 (fma.f64 z b y) (.f64 z y))) 2)) (/.f64 z (cbrt.f64 (-.f64 (fma.f64 z b y) (*.f64 z y))))))
	28.9b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	33.0b	(/.f64 (-.f64 t a) (-.f64 b y))
✓	19.7b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
	44.5b	(-.f64 (fma.f64 (/.f64 a y) (/.f64 z (+.f64 z -1)) (/.f64 (.f64 a (.f64 b (.f64 z z))) (.f64 (.f64 y y) (pow.f64 (+.f64 z -1) 2)))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (+.f64 z -1) 2)) (fma.f64 (/.f64 t y) (/.f64 z (+.f64 z -1)) (fma.f64 (/.f64 (.f64 b b) (.f64 y y)) (/.f64 (.f64 x (.f64 z z)) (pow.f64 (+.f64 z -1) 3)) (fma.f64 (/.f64 t (.f64 y y)) (/.f64 (.f64 b (*.f64 z z)) (pow.f64 (+.f64 z -1) 2)) (/.f64 x (+.f64 z -1)))))))
	20.5b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))) 3)

Compiler

Compiled 31015 to 7123 computations (77% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.0b	(.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y))))
	11.0b	(/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
✓	11.8b	(/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))
	11.8b	(/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))

series231.0ms (1.2%)

Counts

2 → 84

Calls

2 calls:

154.0ms	(.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y))))
77.0ms	(/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))

rewrite116.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
218×	`log1p-udef_binary64`
123×	`add-sqr-sqrt_binary64`
115×	`log1p-expm1-u_binary64`
115×	`expm1-log1p-u_binary64`

Counts

2 → 80

Calls

2 calls:

112.0ms	(.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y))))
112.0ms	(/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	244	31
2	3197	31
3	5069	31
0	0	0
1	0	0

simplify202.0ms (1%)

Algorithm

1×	egg-herbie

Rules

498×	`times-frac_binary64`
389×	`associate-/l*_binary64`
357×	`associate-/r*_binary64`
304×	`fma-neg_binary64`
194×	`associate-+l+_binary64`

Counts

164 → 197

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	399	4170
1	1188	4030
2	4942	4030
3	5225	4030

prune556.0ms (2.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	386	2	388
Fresh	4	6	10
Picked	1	0	1
Done	0	1	1
Total	391	9	400

Error

0.0b

Counts

400 → 9

Alt Table

Status	Error	Program
	16.1b	(-.f64 (+.f64 (.f64 (/.f64 t 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y)))) (/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z)))) (.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))))
▶	13.6b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (.f64 (/.f64 x 1) (/.f64 y (-.f64 (fma.f64 z b y) (.f64 z y))))) (.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))))
	33.1b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	19.7b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (.f64 y (/.f64 1 (/.f64 (-.f64 (fma.f64 z b y) (.f64 z y)) x)))) (/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))))
	25.2b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	28.9b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	33.0b	(/.f64 (-.f64 t a) (-.f64 b y))
✓	19.7b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
	20.5b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))) 3)

Compiler

Compiled 24493 to 7405 computations (69.8% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	2.0b	(.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y))))
✓	6.9b	(/.f64 y (-.f64 (fma.f64 z b y) (*.f64 z y)))
	11.0b	(/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (*.f64 y z)))
	11.8b	(/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))

series39.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

39.0ms

(/.f64 y (-.f64 (fma.f64 z b y) (*.f64 z y)))

rewrite110.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
572×	`fma-udef_binary64`
324×	`fma-def_binary64`
233×	`sum-log_binary64`
188×	`fma-neg_binary64`

Counts

1 → 35

Calls

1 calls:

108.0ms

(/.f64 y (-.f64 (fma.f64 z b y) (*.f64 z y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	179	14
2	2457	14
3	4698	14
4	4681	14
5	5345	14
0	0	0
1	0	0

simplify60.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-def_binary64`
312×	`cancel-sign-sub-inv_binary64`
257×	`unswap-sqr_binary64`
205×	`times-frac_binary64`
175×	`distribute-neg-frac_binary64`

Counts

71 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	1938
1	616	1910
2	2608	1793
3	5011	1793

prune1.1s (5.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	384	1	385
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	386	8	394

Error

0.0b

Counts

394 → 8

Alt Table

Status	Error	Program
	33.1b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 z (-.f64 1 z)) (/.f64 x (-.f64 1 z))) (fma.f64 (/.f64 z y) (/.f64 (.f64 b x) (pow.f64 (-.f64 1 z) 2)) (/.f64 (.f64 z a) (*.f64 y (-.f64 1 z)))))
	13.5b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (.f64 (/.f64 x 1) (/.f64 y (-.f64 (fma.f64 z b y) (.f64 z y))))) (/.f64 a (/.f64 (-.f64 (fma.f64 z b y) (.f64 z y)) z)))
	19.7b	(-.f64 (+.f64 (/.f64 (.f64 t z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))) (.f64 y (/.f64 1 (/.f64 (-.f64 (fma.f64 z b y) (.f64 z y)) x)))) (/.f64 (.f64 a z) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z))))
	25.2b	(-.f64 (fma.f64 (/.f64 y z) (/.f64 a (pow.f64 (-.f64 y b) 2)) (/.f64 a (-.f64 y b))) (fma.f64 (/.f64 y z) (/.f64 x (-.f64 y b)) (fma.f64 (/.f64 y z) (/.f64 t (pow.f64 (-.f64 y b) 2)) (/.f64 t (-.f64 y b)))))
	28.9b	(-.f64 (fma.f64 (/.f64 y (-.f64 b y)) (/.f64 x z) (fma.f64 (/.f64 a (pow.f64 (-.f64 b y) 2)) (/.f64 y z) (/.f64 t (-.f64 b y)))) (fma.f64 (/.f64 y (pow.f64 (-.f64 b y) 2)) (/.f64 t z) (/.f64 a (-.f64 b y))))
	16.1b	(-.f64 (+.f64 (.f64 (/.f64 t 1) (/.f64 z (-.f64 (fma.f64 z b y) (.f64 z y)))) (/.f64 (.f64 y x) (-.f64 (+.f64 y (.f64 z b)) (.f64 y z)))) (.f64 (/.f64 a 1) (/.f64 z (-.f64 (fma.f64 z b y) (*.f64 z y)))))
✓	19.7b	(/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))
	20.5b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 x y (*.f64 z (-.f64 t a))) (fma.f64 z (-.f64 b y) y))) 3)

Compiler

Compiled 24120 to 8381 computations (65.3% saved)

regimes7.7s (39.1%)

Accuracy

Total 2.7b remaining (99.1%)

Threshold costs 0b (0%)

Counts

234 → 3

Compiler

Compiled 76397 to 40542 computations (46.9% saved)

bsearch58.0ms (0.3%)

Steps

Iters	Range		Point
4	2.599452517453426e+61	4.564062210082228e+61	2.906422781926676e+61
9	-1465486.2100347374	-0.003264336672687151	-1436070.5237032003

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64`
11×	`sub-neg_binary64`
10×	`*-commutative_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	191
1	67	191
2	85	191
3	97	191
4	104	191
5	105	191
6	104	191

end172.0ms (0.9%)

Compiler: Compiled 602 to 275 computations (54.3% saved)

Details

analyze3.1s (15.6%)

sample2.7s (13.5%)

simplify96.0ms (0.5%)

prune4.0ms (0%)

localize10.0ms (0%)

series392.0ms (2%)

rewrite113.0ms (0.6%)

simplify227.0ms (1.2%)

prune479.0ms (2.4%)

localize36.0ms (0.2%)

series460.0ms (2.3%)

rewrite143.0ms (0.7%)

simplify268.0ms (1.4%)

prune1.3s (6.8%)

localize42.0ms (0.2%)

series231.0ms (1.2%)

rewrite116.0ms (0.6%)

simplify202.0ms (1%)

prune556.0ms (2.8%)

localize23.0ms (0.1%)

series39.0ms (0.2%)

rewrite110.0ms (0.6%)

simplify60.0ms (0.3%)

prune1.1s (5.5%)

regimes7.7s (39.1%)

bsearch58.0ms (0.3%)

simplify8.0ms (0%)

end172.0ms (0.9%)

Profiling