Details

analyze2.6s (17.9%)

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

Results

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

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify324.0ms (2.2%)

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

Counts

3 → 1

Alt Table

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

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 a c) (.f64 y i))
✓	3.3b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i))))
✓	5.5b	(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)))))
✓	5.9b	(.f64 j (-.f64 (.f64 a c) (*.f64 y i)))

series171.0ms (1.2%)

Counts

4 → 312

Calls

4 calls:

88.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)))))
54.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 a c) (.f64 y i))

rewrite10.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-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))))

simplify237.0ms (1.6%)

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

prune216.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	179	11	190
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	180	11	191

Error

0.1b

Counts

191 → 11

Alt Table

Status	Error	Program
	14.2b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	38.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	42.6b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
▶	13.2b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 a c) (*.f64 y i))))))
	29.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	27.4b	(fma.f64 x (-.f64 (.f64 y z) (.f64 a t)) (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
	13.7b	(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))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	49.7b	(cbrt.f64 (.f64 (.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))))) (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)))))) (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)))))))
	27.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 j c) (.f64 x t))))

Compiler

Compiled 6603 to 1169 computations (82.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.9b	(.f64 i (.f64 t b))
✓	6.0b	(.f64 a (.f64 t x))
✓	6.1b	(.f64 c (.f64 a j))
✓	6.7b	(.f64 i (.f64 y j))

series38.0ms (0.3%)

Counts

4 → 16

Calls

4 calls:

11.0ms	(.f64 i (.f64 t b))
10.0ms	(.f64 c (.f64 a j))
8.0ms	(.f64 i (.f64 y j))
8.0ms	(.f64 a (.f64 t x))

rewrite17.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:

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

simplify93.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

611×	`*-commutative_binary64`
519×	`associate-/l/_binary64`
485×	`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	1094	808
3	1539	808
4	1951	808
5	2688	808
6	3562	808
7	4983	808
8	5077	808

prune116.0ms (0.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	94	13	107

Error

0.0b

Counts

107 → 13

Alt Table

Status	Error	Program
	42.6b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	30.6b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x)))) (.f64 c (*.f64 z b)))))
▶	11.9b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (.f64 a t) x) (.f64 c (.f64 z b)))))
	49.7b	(cbrt.f64 (.f64 (.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))))) (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)))))) (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	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	38.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 a c) (*.f64 y i))))))
	29.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
	13.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 a j))) (cbrt.f64 (.f64 c (.f64 a j)))) (cbrt.f64 (.f64 c (.f64 a j)))) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	27.4b	(fma.f64 x (-.f64 (.f64 y z) (.f64 a t)) (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
	13.7b	(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))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	27.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 j c) (.f64 x t))))

Compiler

Compiled 5060 to 1106 computations (78.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.8b	(.f64 y (.f64 z x))
	5.9b	(.f64 i (.f64 t b))
	6.1b	(.f64 c (.f64 a j))
	6.7b	(.f64 i (.f64 y j))

series8.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

8.0ms

(*.f64 y (*.f64 z x))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 20

Calls

1 calls:

3.0ms

(*.f64 y (*.f64 z x))

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

580×	`log-div_binary64`
514×	`associate-/l*_binary64`
411×	`*-commutative_binary64`
409×	`associate-l_binary64`
339×	`cube-div_binary64`

Counts

20 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	219
1	87	174
2	275	174
3	770	174
4	976	174
5	1185	174
6	1422	174
7	1902	174
8	3020	174
9	4714	174
10	4982	174

prune127.0ms (0.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	96	13	109

Error

0.0b

Counts

109 → 13

Alt Table

Status	Error	Program
	42.6b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	30.6b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x)))) (.f64 c (*.f64 z b)))))
✓	11.9b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (.f64 a t) x) (.f64 c (.f64 z b)))))
	49.7b	(cbrt.f64 (.f64 (.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))))) (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)))))) (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	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	38.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 a c) (*.f64 y i))))))
	29.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
▶	13.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 a j))) (cbrt.f64 (.f64 c (.f64 a j)))) (cbrt.f64 (.f64 c (.f64 a j)))) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	27.4b	(fma.f64 x (-.f64 (.f64 y z) (.f64 a t)) (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
	13.7b	(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))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	27.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 j c) (.f64 x t))))

Compiler

Compiled 5016 to 1083 computations (78.4% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	6.0b	(.f64 a (.f64 t x))
	6.1b	(.f64 c (.f64 a j))
	6.7b	(.f64 i (.f64 y j))
✓	12.8b	(cbrt.f64 (.f64 c (.f64 a j)))

series663.0ms (4.6%)

Counts

1 → 36

Calls

1 calls:

663.0ms

(cbrt.f64 (*.f64 c (*.f64 a j)))

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 c (*.f64 a j)))

simplify65.0ms (0.5%)

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 → 28

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

prune259.0ms (1.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	218	0	218
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	218	13	231

Error

0.0b

Counts

231 → 13

Alt Table

Status	Error	Program
	42.6b	(.f64 t (-.f64 (.f64 i b) (*.f64 a x)))
	30.6b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x)))) (.f64 c (*.f64 z b)))))
✓	11.9b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (.f64 a t) x) (.f64 c (.f64 z b)))))
	49.7b	(cbrt.f64 (.f64 (.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))))) (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)))))) (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	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	38.5b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (.f64 (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (sqrt.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 a c) (*.f64 y i))))))
	29.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 t b) (.f64 j y))))
✓	13.3b	(-.f64 (+.f64 (.f64 i (.f64 t b)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 a j))) (cbrt.f64 (.f64 c (.f64 a j)))) (cbrt.f64 (.f64 c (.f64 a j)))) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	27.4b	(fma.f64 x (-.f64 (.f64 y z) (.f64 a t)) (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
	13.7b	(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))))))
	13.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))))
	27.3b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (-.f64 (.f64 j c) (.f64 x t))))

Compiler

Compiled 12636 to 1731 computations (86.3% saved)

regimes5.1s (35.2%)

Accuracy

Total 3.3b remaining (96.1%)

Threshold costs 0b (0%)

Counts

167 → 3

Compiler

Compiled 62496 to 36718 computations (41.2% saved)

bsearch9.0ms (0.1%)

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

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

216×	`distribute-rgt-neg-in_binary64`
191×	`cancel-sign-sub-inv_binary64`
146×	`distribute-lft-neg-in_binary64`
141×	`neg-sub0_binary64`
141×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	266
1	135	266
2	191	266
3	249	266
4	322	266
5	365	266
6	408	266
7	481	266
8	541	266
9	595	266
10	679	266
11	788	266
12	889	266
13	988	266
14	1042	266
15	1062	266
16	1069	266
17	1071	266
18	1067	266

end212.0ms (1.5%)

Compiler: Compiled 978 to 414 computations (57.7% saved)

Details

analyze2.6s (17.9%)

sample4.0s (27.5%)

simplify324.0ms (2.2%)

prune4.0ms (0%)

localize20.0ms (0.1%)

series171.0ms (1.2%)

rewrite10.0ms (0.1%)

simplify237.0ms (1.6%)

prune216.0ms (1.5%)

localize23.0ms (0.2%)

series38.0ms (0.3%)

rewrite17.0ms (0.1%)

simplify93.0ms (0.6%)

prune116.0ms (0.8%)

localize23.0ms (0.2%)

series8.0ms (0.1%)

rewrite4.0ms (0%)

simplify66.0ms (0.5%)

prune127.0ms (0.9%)

localize30.0ms (0.2%)

series663.0ms (4.6%)

rewrite3.0ms (0%)

simplify65.0ms (0.5%)

prune259.0ms (1.8%)

regimes5.1s (35.2%)

bsearch9.0ms (0.1%)

simplify43.0ms (0.3%)

end212.0ms (1.5%)

Profiling