Details

analyze3.0s (15.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample3.9s (20.3%)

Results

2.2s	11319×	body	128	invalid
1.6s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify333.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

800×	`unsub-neg_binary64`
655×	`sub-neg_binary64`
486×	`fma-neg_binary64`
421×	`distribute-neg-in_binary64`
393×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	59	41
2	139	41
3	438	39
4	1302	39
5	2978	39
6	3433	39
7	3900	39
8	4058	39
9	3988	39
10	4033	39
11	4029	39
12	4393	39
13	4600	39
14	4665	39
15	4670	39
16	4670	39
17	4672	39
18	4674	39
19	4674	39
20	4934	39
21	4931	39

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

13.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.2b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))

Compiler

Compiled 137 to 72 computations (47.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(-.f64 (.f64 y z) (.f64 t a))
✓	3.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
✓	5.1b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
✓	6.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))

series188.0ms (1%)

Counts

4 → 312

Calls

4 calls:

101.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
57.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
20.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
10.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

4 → 64

Calls

4 calls:

5.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
3.0ms	(-.f64 (.f64 y z) (.f64 t a))
0.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))

simplify231.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

410×	`sub-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
359×	`exp-prod_binary64`
345×	`exp-sum_binary64`
339×	`*-commutative_binary64`

Counts

376 → 186

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	253	9332
1	631	8944
2	1916	8621
3	3845	8366
4	4372	8366
5	4951	8366

prune218.0ms (1.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	177	9	186
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	178	9	187

Error

0.0b

Counts

187 → 9

Alt Table

Status	Error	Program
	29.7b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	29.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 c j) (.f64 x t))))
	13.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	26.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	39.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 a c) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 a c) (.f64 a c)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 a c) (.f64 y i)))))))
▶	12.1b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	26.7b	(+.f64 (.f64 c (-.f64 (.f64 a j) (.f64 z b))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))
	34.5b	(.f64 (sqrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (sqrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))

Compiler

Compiled 6363 to 1086 computations (82.9% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.3b	(.f64 i (.f64 t b))
✓	4.8b	(.f64 y (.f64 i j))
✓	5.2b	(.f64 y (.f64 z x))
✓	6.4b	(.f64 a (.f64 t x))

series40.0ms (0.2%)

Counts

4 → 16

Calls

4 calls:

14.0ms	(.f64 a (.f64 t x))
9.0ms	(.f64 y (.f64 i j))
8.0ms	(.f64 y (.f64 z x))
8.0ms	(.f64 i (.f64 t b))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
24×	`pow1_binary64`
12×	`associate-l_binary64`
12×	`cbrt-unprod_binary64`

Counts

4 → 80

Calls

4 calls:

4.0ms	(.f64 y (.f64 i j))
4.0ms	(.f64 a (.f64 t x))
3.0ms	(.f64 y (.f64 z x))
3.0ms	(.f64 i (.f64 t b))

simplify95.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

611×	`*-commutative_binary64`
513×	`associate-/l/_binary64`
488×	`sqr-pow_binary64`
480×	`unswap-sqr_binary64`
276×	`associate-l_binary64`

Counts

96 → 96

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	133	988
1	326	808
2	1093	808
3	1538	808
4	1949	808
5	2684	808
6	3561	808
7	4985	808
8	5079	808

prune151.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	96	9	105

Error

0.0b

Counts

105 → 9

Alt Table

Status	Error	Program
	29.7b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	29.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 c j) (.f64 x t))))
	13.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	26.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	39.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 a c) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 a c) (.f64 a c)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 a c) (.f64 y i)))))))
	26.7b	(+.f64 (.f64 c (-.f64 (.f64 a j) (.f64 z b))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))
	31.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 i (.f64 t b))) (sqrt.f64 (.f64 i (.f64 t b)))) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
▶	12.2b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 t x))) (cbrt.f64 (.f64 a (.f64 t x)))) (cbrt.f64 (.f64 a (.f64 t x)))))))

Compiler

Compiled 4702 to 938 computations (80.1% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.8b	(.f64 y (.f64 i j))
	5.2b	(.f64 y (.f64 z x))
	6.4b	(.f64 a (.f64 t x))
✓	16.8b	(cbrt.f64 (.f64 a (.f64 t x)))

series733.0ms (3.8%)

Counts

1 → 36

Calls

1 calls:

733.0ms

(cbrt.f64 (*.f64 a (*.f64 t x)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`cbrt-prod_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 11

Calls

1 calls:

2.0ms

(cbrt.f64 (*.f64 a (*.f64 t x)))

simplify72.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
496×	`exp-sum_binary64`
426×	`fma-neg_binary64`
407×	`exp-prod_binary64`
272×	`exp-diff_binary64`

Counts

47 → 22

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	789
1	149	789
2	239	705
3	700	537
4	1671	537
5	4042	537
6	4953	537

prune181.0ms (0.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	182	9	191

Error

0.0b

Counts

191 → 9

Alt Table

Status	Error	Program
	29.7b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	29.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 c j) (.f64 x t))))
▶	13.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	26.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	39.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 a c) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 a c) (.f64 a c)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 a c) (.f64 y i)))))))
	26.7b	(+.f64 (.f64 c (-.f64 (.f64 a j) (.f64 z b))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))
	31.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 i (.f64 t b))) (sqrt.f64 (.f64 i (.f64 t b)))) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
✓	12.2b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 t x))) (cbrt.f64 (.f64 a (.f64 t x)))) (cbrt.f64 (.f64 a (.f64 t x)))))))

Compiler

Compiled 10840 to 1593 computations (85.3% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.5b	(.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))
✓	2.8b	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))
✓	3.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))))
✓	6.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))

series484.0ms (2.5%)

Counts

4 → 324

Calls

4 calls:

251.0ms	(.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))
111.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
76.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))))
45.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64`
18×	`pow1_binary64`
15×	`distribute-lft-in_binary64`
15×	`distribute-rgt-in_binary64`
11×	`add-sqr-sqrt_binary64`

Counts

4 → 90

Calls

4 calls:

9.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))
9.0ms	(.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))
0.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i)))))

simplify226.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

567×	`distribute-rgt-in_binary64`
558×	`fma-neg_binary64`
395×	`cancel-sign-sub-inv_binary64`
347×	`exp-prod_binary64`
336×	`associate-l_binary64`

Counts

414 → 230

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	289	10467
1	706	9938
2	2351	9899
3	4675	9899
4	5058	9899

prune205.0ms (1.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	228	2	230
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	229	10	239

Error

0.0b

Counts

239 → 10

Alt Table

Status	Error	Program
	29.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 c j) (.f64 x t))))
✓	13.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 a c) (*.f64 y i))))))
	26.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	39.0b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 a c) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 a c) (.f64 a c)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 a c) (.f64 y i)))))))
	26.7b	(+.f64 (.f64 c (-.f64 (.f64 a j) (.f64 z b))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))
	31.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 (.f64 i (.f64 t b))) (sqrt.f64 (.f64 i (.f64 t b)))) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	39.3b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 (sqrt.f64 j)) (.f64 (cbrt.f64 (sqrt.f64 j)) (-.f64 (.f64 a c) (.f64 y i)))))))
	13.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
✓	12.2b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 t x))) (cbrt.f64 (.f64 a (.f64 t x)))) (cbrt.f64 (.f64 a (.f64 t x)))))))
	29.7b	(fma.f64 i (.f64 t b) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 a t))) (.f64 i (.f64 j y))))

Compiler

Compiled 8320 to 1191 computations (85.7% saved)

regimes9.0s (46.2%)

Accuracy

Total 2.7b remaining (96.8%)

Threshold costs 0b (0%)

Counts

259 → 3

Compiler

Compiled 101846 to 59848 computations (41.2% saved)

bsearch14.0ms (0.1%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

simplify41.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

207×	`distribute-rgt-neg-in_binary64`
164×	`cancel-sign-sub-inv_binary64`
138×	`distribute-lft-neg-in_binary64`
134×	`neg-sub0_binary64`
134×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	263
1	129	263
2	179	263
3	245	263
4	324	263
5	374	263
6	429	263
7	507	263
8	558	263
9	620	263
10	689	263
11	794	263
12	886	263
13	965	263
14	1001	263
15	1019	263
16	1027	263
17	1029	263
18	1025	263

end185.0ms (1%)

Compiler: Compiled 844 to 349 computations (58.6% saved)

Details

analyze3.0s (15.2%)

sample3.9s (20.3%)

simplify333.0ms (1.7%)

prune4.0ms (0%)

localize19.0ms (0.1%)

series188.0ms (1%)

rewrite11.0ms (0.1%)

simplify231.0ms (1.2%)

prune218.0ms (1.1%)

localize21.0ms (0.1%)

series40.0ms (0.2%)

rewrite19.0ms (0.1%)

simplify95.0ms (0.5%)

prune151.0ms (0.8%)

localize27.0ms (0.1%)

series733.0ms (3.8%)

rewrite3.0ms (0%)

simplify72.0ms (0.4%)

prune181.0ms (0.9%)

localize26.0ms (0.1%)

series484.0ms (2.5%)

rewrite25.0ms (0.1%)

simplify226.0ms (1.2%)

prune205.0ms (1.1%)

regimes9.0s (46.2%)

bsearch14.0ms (0.1%)

simplify41.0ms (0.2%)

end185.0ms (1%)

Profiling