Details

analyze2.6s (7.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)

sample4.0s (11%)

Results

2.3s	11553×	body	128	invalid
1.6s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify320.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

802×	`unsub-neg_binary64`
656×	`sub-neg_binary64`
486×	`fma-neg_binary64`
419×	`distribute-neg-in_binary64`
395×	`+-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	2982	39
6	3420	39
7	3898	39
8	4056	39
9	3986	39
10	4031	39
11	4027	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

12.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 137 to 74 computations (46% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 y z) (.f64 t a))
✓	4.1b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	4.8b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
✓	6.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

series179.0ms (0.5%)

Counts

4 → 312

Calls

4 calls:

98.0ms	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
54.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
18.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
8.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite11.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-exp-log_binary64`

Counts

4 → 64

Calls

4 calls:

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

simplify226.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

416×	`sub-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
343×	`*-commutative_binary64`
340×	`fma-neg_binary64`
327×	`distribute-rgt-in_binary64`

Counts

376 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	9329
1	632	8941
2	1937	8618
3	3873	8372
4	5000	8372
5	4937	8372

prune172.0ms (0.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	176	8	184
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	176	9	185

Error

0.0b

Counts

185 → 9

Alt Table

Status	Error	Program
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
▶	13.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	26.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	31.5b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	38.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (.f64 (.f64 (.f64 j j) j) (.f64 (.f64 (-.f64 (.f64 t c) (.f64 y i)) (-.f64 (.f64 t c) (.f64 y i))) (-.f64 (.f64 t c) (*.f64 y i)))))))
	36.0b	(.f64 (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	13.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	14.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
✓	12.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

Compiler

Compiled 6230 to 1037 computations (83.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.3b	(.f64 a (.f64 i b))
✓	5.4b	(.f64 a (.f64 t x))
✓	7.3b	(.f64 y (.f64 z x))
✓	7.3b	(.f64 c (.f64 z b))

series36.0ms (0.1%)

Counts

4 → 32

Calls

4 calls:

10.0ms	(.f64 a (.f64 i b))
9.0ms	(.f64 y (.f64 z x))
8.0ms	(.f64 c (.f64 z b))
8.0ms	(.f64 a (.f64 t x))

rewrite17.0ms (0%)

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 c (.f64 z b))
4.0ms	(.f64 a (.f64 i b))
3.0ms	(.f64 a (.f64 t x))
3.0ms	(.f64 y (.f64 z x))

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

623×	`*-commutative_binary64`
519×	`associate-/l/_binary64`
493×	`sqr-pow_binary64`
482×	`unswap-sqr_binary64`
279×	`associate-l_binary64`

Counts

112 → 109

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	135	1100
1	328	920
2	1110	920
3	1561	920
4	1974	920
5	2715	920
6	3580	920
7	4981	920

prune112.0ms (0.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	107	11	118

Error

0.0b

Counts

118 → 11

Alt Table

Status	Error	Program
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
✓	13.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	31.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 (sqrt.f64 (.f64 c (.f64 z b))) (sqrt.f64 (.f64 c (*.f64 z b)))))))
	31.5b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	26.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	35.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 a) (.f64 (sqrt.f64 a) (.f64 i b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (*.f64 z b)))))
	38.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (.f64 (.f64 (.f64 j j) j) (.f64 (.f64 (-.f64 (.f64 t c) (.f64 y i)) (-.f64 (.f64 t c) (.f64 y i))) (-.f64 (.f64 t c) (*.f64 y i)))))))
	36.0b	(.f64 (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
▶	13.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	14.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
✓	12.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

Compiler

Compiled 5319 to 1067 computations (79.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))))
	4.1b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
	4.8b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
	6.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

series6.2s (16.9%)

Counts

1 → 108

Calls

1 calls:

6.2s	(cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t 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 a i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 t c) (*.f64 y i))))))

simplify738.0ms (2%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7965	110630

prune3.2s (8.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	839	1	840
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	840	11	851

Error

0.0b

Counts

851 → 11

Alt Table

Status	Error	Program
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
✓	13.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	31.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 (sqrt.f64 (.f64 c (.f64 z b))) (sqrt.f64 (.f64 c (*.f64 z b)))))))
	31.5b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
▶	13.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 t c) (*.f64 y i))))))))
✓	12.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	26.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	35.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 a) (.f64 (sqrt.f64 a) (.f64 i b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (*.f64 z b)))))
	38.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (.f64 (.f64 (.f64 j j) j) (.f64 (.f64 (-.f64 (.f64 t c) (.f64 y i)) (-.f64 (.f64 t c) (.f64 y i))) (-.f64 (.f64 t c) (*.f64 y i)))))))
	36.0b	(.f64 (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	14.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))

Compiler

Compiled 281327 to 106866 computations (62% saved)

localize50.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.7b	(cbrt.f64 (-.f64 (.f64 c t) (.f64 y i)))
✓	5.7b	(cbrt.f64 (-.f64 (.f64 t c) (.f64 y i)))
	6.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
✓	6.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 t c) (*.f64 y i))))))

series340.0ms (0.9%)

Counts

3 → 204

Calls

3 calls:

140.0ms

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

101.0ms

(cbrt.f64 (-.f64 (*.f64 t c) (*.f64 y i)))

99.0ms

(cbrt.f64 (-.f64 (*.f64 c t) (*.f64 y i)))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cbrt-prod_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
4×	`cbrt-div_binary64`

Counts

3 → 40

Calls

3 calls:

2.0ms

(cbrt.f64 (-.f64 (*.f64 t c) (*.f64 y i)))

2.0ms

(cbrt.f64 (-.f64 (*.f64 c t) (*.f64 y i)))

0.0ms

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

simplify238.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
500×	`associate-/l*_binary64`
476×	`associate-/r*_binary64`
205×	`*-commutative_binary64`
198×	`cancel-sign-sub-inv_binary64`

Counts

244 → 198

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	541	12067
1	1581	11820
2	4923	11816
3	5218	11816

prune315.0ms (0.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	352	0	352
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	352	11	363

Error

0.0b

Counts

363 → 11

Alt Table

Status	Error	Program
	27.5b	(+.f64 (.f64 c (-.f64 (.f64 t j) (.f64 z b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
✓	13.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	31.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 (sqrt.f64 (.f64 c (.f64 z b))) (sqrt.f64 (.f64 c (*.f64 z b)))))))
	31.5b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
✓	13.0b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 t c) (*.f64 y i))))))))
✓	12.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	26.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	35.7b	(-.f64 (+.f64 (.f64 (sqrt.f64 a) (.f64 (sqrt.f64 a) (.f64 i b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (*.f64 z b)))))
	38.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (.f64 (.f64 (.f64 j j) j) (.f64 (.f64 (-.f64 (.f64 t c) (.f64 y i)) (-.f64 (.f64 t c) (.f64 y i))) (-.f64 (.f64 t c) (*.f64 y i)))))))
	36.0b	(.f64 (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (.f64 y i)))))) (sqrt.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	14.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))

Compiler

Compiled 39500 to 4468 computations (88.7% saved)

regimes17.3s (47.3%)

Accuracy

Total 2.8b remaining (94.6%)

Threshold costs 0b (0%)

Counts

394 → 3

Compiler

Compiled 322296 to 121498 computations (62.3% saved)

bsearch44.0ms (0.1%)

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

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

214×	`distribute-rgt-neg-in_binary64`
177×	`cancel-sign-sub-inv_binary64`
144×	`distribute-lft-neg-in_binary64`
132×	`neg-sub0_binary64`
132×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	254
1	118	254
2	164	254
3	208	254
4	265	254
5	305	254
6	349	254
7	409	254
8	453	254
9	502	254
10	578	254
11	694	254
12	812	254
13	918	254
14	982	254
15	1009	254
16	1018	254
17	1020	254
18	1016	254

end234.0ms (0.6%)

Compiler: Compiled 902 to 376 computations (58.3% saved)

Details

analyze2.6s (7.2%)

sample4.0s (11%)

simplify320.0ms (0.9%)

prune4.0ms (0%)

localize17.0ms (0%)

series179.0ms (0.5%)

rewrite11.0ms (0%)

simplify226.0ms (0.6%)

prune172.0ms (0.5%)

localize22.0ms (0.1%)

series36.0ms (0.1%)

rewrite17.0ms (0%)

simplify72.0ms (0.2%)

prune112.0ms (0.3%)

localize22.0ms (0.1%)

series6.2s (16.9%)

rewrite2.0ms (0%)

simplify738.0ms (2%)

prune3.2s (8.8%)

localize50.0ms (0.1%)

series340.0ms (0.9%)

rewrite7.0ms (0%)

simplify238.0ms (0.7%)

prune315.0ms (0.9%)

regimes17.3s (47.3%)

bsearch44.0ms (0.1%)

simplify48.0ms (0.1%)

end234.0ms (0.6%)

Profiling