Details

analyze2.8s (4.3%)

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)

sample4.1s (6.2%)

Results

2.3s	11300×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify327.0ms (0.5%)

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.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.1b	(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)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 (.f64 a c) (.f64 y i))
✓	3.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
✓	5.7b	(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)))))
✓	6.3b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))

series182.0ms (0.3%)

Counts

4 → 312

Calls

4 calls:

92.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)))))
59.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
19.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
11.0ms	(-.f64 (.f64 a c) (.f64 y i))

rewrite10.0ms (0%)

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-log-exp_binary64`

Counts

4 → 64

Calls

4 calls:

5.0ms	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))
2.0ms	(-.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 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))))

simplify239.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

389×	`sub-neg_binary64`
363×	`exp-prod_binary64`
338×	`cancel-sign-sub-inv_binary64`
333×	`exp-sum_binary64`
315×	`fma-neg_binary64`

Counts

376 → 190

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	235	9330
1	583	8944
2	1711	8621
3	3369	8366
4	4404	8366
5	5060	8366

prune198.0ms (0.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	180	10	190
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	181	10	191

Error

0.0b

Counts

191 → 10

Alt Table

Status	Error	Program
	20.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 j (.f64 c a) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))))
	30.1b	(+.f64 (.f64 j (-.f64 (.f64 c a) (.f64 i y))) (.f64 t (-.f64 (.f64 i b) (.f64 a x))))
	14.7b	(-.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)))))
	29.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 a t)) (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
	14.0b	(.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)))))))
▶	13.2b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))
	27.9b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 j c) (.f64 x t))))
	40.9b	(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)))))))
	34.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	30.2b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))

Compiler

Compiled 6481 to 1131 computations (82.5% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
✓	4.2b	(.f64 i (.f64 y j))
✓	5.4b	(.f64 c (.f64 a j))
✓	5.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))

series187.0ms (0.3%)

Counts

4 → 220

Calls

4 calls:

112.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))
57.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
10.0ms	(.f64 c (.f64 a j))
8.0ms	(.f64 i (.f64 y j))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
6×	`associate-l_binary64`
6×	`cbrt-unprod_binary64`

Counts

4 → 60

Calls

4 calls:

6.0ms	(.f64 c (.f64 a j))
4.0ms	(.f64 i (.f64 y j))
0.0ms	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))

simplify159.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

875×	`fma-def_binary64`
842×	`fma-neg_binary64`
439×	`*-commutative_binary64`
371×	`sub-neg_binary64`
305×	`cancel-sign-sub-inv_binary64`

Counts

280 → 158

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	222	8014
1	579	7252
2	1644	7002
3	3626	6985
4	5124	6985

prune132.0ms (0.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	156	2	158
Fresh	4	5	9
Picked	0	1	1
Done	0	0	0
Total	160	8	168

Error

0.0b

Counts

168 → 8

Alt Table

Status	Error	Program
	29.3b	(fma.f64 a (-.f64 (.f64 c j) (.f64 x t)) (.f64 i (-.f64 (.f64 t b) (*.f64 j y))))
	20.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 j (.f64 c a) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))))
	29.8b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 i b) (*.f64 a x))))
	14.7b	(-.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)))))
▶	14.0b	(.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)))))))
✓	13.2b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))
	40.9b	(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)))))))
	34.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))

Compiler

Compiled 5270 to 918 computations (82.6% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(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))))))
	3.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
	5.7b	(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)))))
	6.3b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))

series6.0s (9.2%)

Counts

1 → 108

Calls

1 calls:

6.0s	(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))))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 13

Calls

1 calls:

1.0ms

(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))))))

simplify642.0ms (1%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8182	109097

prune4.0s (6.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	830	1	831
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	831	8	839

Error

0.0b

Counts

839 → 8

Alt Table

Status	Error	Program
	29.3b	(fma.f64 a (-.f64 (.f64 c j) (.f64 x t)) (.f64 i (-.f64 (.f64 t b) (*.f64 j y))))
	20.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 j (.f64 c a) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))))
	29.8b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 i b) (*.f64 a x))))
	14.7b	(-.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)))))
▶	14.2b	(.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))))))) (.f64 (.f64 (cbrt.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 (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 (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)))))))))
✓	13.2b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))
	40.9b	(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)))))))
	34.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))

Compiler

Compiled 277374 to 105985 computations (61.8% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.8b	(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))))))
	3.9b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
	5.7b	(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)))))
	6.3b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))

prune5.0s (7.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	1383	2	1385
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	1383	10	1393

Error

0.0b

Counts

1393 → 10

Alt Table

Status	Error	Program
	29.3b	(fma.f64 a (-.f64 (.f64 c j) (.f64 x t)) (.f64 i (-.f64 (.f64 t b) (*.f64 j y))))
	20.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 j (.f64 c a) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))))
	39.0b	(.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))))))) (.f64 (.f64 (cbrt.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 (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 (.f64 (cbrt.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))))))) (cbrt.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)))))))))))
✓	14.2b	(.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))))))) (.f64 (.f64 (cbrt.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 (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 (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)))))))))
	29.8b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 i b) (*.f64 a x))))
	14.7b	(-.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)))))
	14.6b	(.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)))))) (.f64 (.f64 (cbrt.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 (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 (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))))))))) (.f64 (.f64 (cbrt.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 (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 (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)))))))))
✓	13.2b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j)))))
	40.9b	(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)))))))
	34.4b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))

Compiler

Compiled 546219 to 177420 computations (67.5% saved)

regimes41.1s (62.8%)

Accuracy

Total 2.7b remaining (94.1%)

Threshold costs 0b (0%)

Counts

775 → 3

Compiler

Compiled 810176 to 242328 computations (70.1% saved)

bsearch94.0ms (0.1%)

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

simplify35.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

189×	`distribute-rgt-neg-in_binary64`
156×	`cancel-sign-sub-inv_binary64`
127×	`distribute-lft-neg-in_binary64`
121×	`neg-sub0_binary64`
121×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	239
1	108	239
2	151	239
3	196	239
4	256	239
5	297	239
6	341	239
7	408	239
8	454	239
9	514	239
10	583	239
11	686	239
12	779	239
13	855	239
14	889	239
15	905	239
16	912	239
17	914	239
18	910	239

end165.0ms (0.3%)

Compiler: Compiled 1180 to 338 computations (71.4% saved)

Iter	Nodes	Cost
0	57	239
1	108	239
2	151	239
3	196	239
4	256	239
5	297	239
6	341	239
7	408	239
8	454	239
9	514	239
10	583	239
11	686	239
12	779	239
13	855	239
14	889	239
15	905	239
16	912	239
17	914	239
18	910	239

Iter	Nodes	Cost
0	57	239
1	108	239
2	151	239
3	196	239
4	256	239
5	297	239
6	341	239
7	408	239
8	454	239
9	514	239
10	583	239
11	686	239
12	779	239
13	855	239
14	889	239
15	905	239
16	912	239
17	914	239
18	910	239

Details

analyze2.8s (4.3%)

sample4.1s (6.2%)

simplify327.0ms (0.5%)

prune4.0ms (0%)

localize17.0ms (0%)

series182.0ms (0.3%)

rewrite10.0ms (0%)

simplify239.0ms (0.4%)

prune198.0ms (0.3%)

localize20.0ms (0%)

series187.0ms (0.3%)

rewrite13.0ms (0%)

simplify159.0ms (0.2%)

prune132.0ms (0.2%)

localize21.0ms (0%)

series6.0s (9.2%)

rewrite2.0ms (0%)

simplify642.0ms (1%)

prune4.0s (6.1%)

localize33.0ms (0.1%)

prune5.0s (7.7%)

regimes41.1s (62.8%)

bsearch94.0ms (0.1%)

simplify35.0ms (0.1%)

end165.0ms (0.3%)

Profiling

Iter	Nodes	Cost
0	57	239
1	108	239
2	151	239
3	196	239
4	256	239
5	297	239
6	341	239
7	408	239
8	454	239
9	514	239
10	583	239
11	686	239
12	779	239
13	855	239
14	889	239
15	905	239
16	912	239
17	914	239
18	910	239