Details

analyze2.7s (10.4%)

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)

sample107.0ms (0.4%)

Algorithm

1×

intervals

Results

37.0ms	381×	body	128	invalid
24.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify337.0ms (1.3%)

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

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	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

12.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	12.8b	(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 108 to 63 computations (41.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 t c) (.f64 y i))
3.0b	(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)))))
5.5b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
6.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))

rewrite263.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

12.6b

Rules

23×	`pow1_binary64`
22×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`
12×	`prod-diff_binary64`

Counts

4 → 162

Calls

4 calls:

23.0ms	(-.f64 (.f64 t c) (.f64 y i))
18.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
12.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
8.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)))))

Compiler

Compiled 5258 to 620 computations (88.2% saved)

series487.0ms (1.9%)

Error

0.1b

Counts

4 → 153

Calls

4 calls:

190.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)))))
130.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
60.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
35.0ms	(-.f64 (.f64 t c) (.f64 y i))

Compiler

Compiled 9964 to 5271 computations (47.1% saved)

simplify257.0ms (1%)

Algorithm

1×	egg-herbie

Rules

812×	`fma-neg_binary64`
702×	`cancel-sign-sub-inv_binary64`
299×	`fma-def_binary64`
297×	`distribute-rgt-neg-in_binary64`
239×	`sub-neg_binary64`

Counts

315 → 225

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	313	7071
1	853	6716
2	2714	6582
3	4165	6570
4	4973	6570
5	4913	6570

prune136.0ms (0.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	212	13	225
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	212	14	226

Error

0.2b

Counts

226 → 14

Alt Table

Status	Error	Program
	30.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 c (.f64 z b))))
✓	12.8b	(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)))))
	37.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (/.f64 (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 3) 0) (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 2) (+.f64 (.f64 0 (*.f64 c t)) 0))))))
	47.0b	(.f64 t (-.f64 (.f64 c j) (*.f64 x a)))
	47.6b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))) 3))
	18.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 y (*.f64 j i))))
	42.5b	(.f64 z (-.f64 (.f64 y x) (*.f64 c b)))
	44.0b	(.f64 i (-.f64 (.f64 a b) (*.f64 j y)))
	29.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	46.0b	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
	30.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (cbrt.f64 (pow.f64 (-.f64 (.f64 c t) (*.f64 y i)) 3)))))
▶	12.5b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	40.5b	(.f64 (cbrt.f64 (.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))))))
	13.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))))))

Compiler

Compiled 5174 to 1115 computations (78.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.7b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
3.8b	(fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))
5.1b	(.f64 a (.f64 t x))
5.4b	(.f64 y (-.f64 (.f64 z x) (*.f64 j i)))

rewrite194.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

35×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
18×	`add-exp-log_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 152

Calls

4 calls:

21.0ms	(.f64 y (-.f64 (.f64 z x) (*.f64 j i)))
14.0ms	(.f64 a (.f64 t x))
10.0ms	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
9.0ms	(fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))

Compiler

Compiled 5046 to 634 computations (87.4% saved)

series492.0ms (1.9%)

Error

0.0b

Counts

4 → 126

Calls

4 calls:

260.0ms	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
96.0ms	(.f64 y (-.f64 (.f64 z x) (*.f64 j i)))
76.0ms	(fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))
20.0ms	(.f64 a (.f64 t x))

Compiler

Compiled 8495 to 4526 computations (46.7% saved)

simplify184.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

919×	`fma-neg_binary64`
359×	`distribute-rgt-neg-in_binary64`
272×	`fma-def_binary64`
271×	`associate-l_binary64`
255×	`associate-r_binary64`

Counts

278 → 201

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	288	5545
1	831	5311
2	2955	5231
3	4779	5228
4	5076	5228

prune128.0ms (0.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	194	7	201
Fresh	4	8	12
Picked	1	0	1
Done	0	1	1
Total	199	16	215

Error

0.1b

Counts

215 → 16

Alt Table

Status	Error	Program
	12.6b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (.f64 x t) (cbrt.f64 a))))))
	12.8b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 (.f64 y (.f64 (cbrt.f64 (-.f64 (.f64 z x) (.f64 i j))) (cbrt.f64 (-.f64 (.f64 z x) (.f64 i j))))) (cbrt.f64 (-.f64 (.f64 z x) (.f64 j i))))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	31.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 t (-.f64 (.f64 j c) (.f64 x a))) (.f64 y (.f64 i j))))
	39.7b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (/.f64 y (/.f64 (fma.f64 z (.f64 x (.f64 z x)) (.f64 i (.f64 j (fma.f64 i j (.f64 z x))))) (-.f64 (pow.f64 (.f64 z x) 3) (pow.f64 (.f64 i j) 3))))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	29.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	26.5b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (sqrt.f64 (.f64 a (.f64 x t))) (sqrt.f64 (.f64 a (*.f64 x t)))))))
	30.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 c (.f64 z b))))
✓	12.8b	(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)))))
	47.6b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))) 3))
	27.5b	(fma.f64 c (.f64 j t) (-.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (.f64 x t))))
	44.0b	(.f64 i (-.f64 (.f64 a b) (*.f64 j y)))
	46.0b	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
	37.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (/.f64 (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 3) 0) (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 2) (+.f64 (.f64 0 (*.f64 c t)) 0))))))
	30.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (cbrt.f64 (pow.f64 (-.f64 (.f64 c t) (*.f64 y i)) 3)))))
▶	12.5b	(+.f64 (.f64 a (.f64 i b)) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))))
	13.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))))))

Compiler

Compiled 4845 to 1218 computations (74.9% saved)

localize48.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.8b	(fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))
5.1b	(.f64 a (.f64 t x))
5.4b	(.f64 y (-.f64 (.f64 z x) (*.f64 j i)))
6.1b	(.f64 a (.f64 i b))

rewrite219.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`pow1_binary64`
28×	`add-sqr-sqrt_binary64`
25×	`pow-prod-down_binary64`
24×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 154

Calls

4 calls:

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

Compiler

Compiled 4797 to 668 computations (86.1% saved)

series181.0ms (0.7%)

Error

0.0b

Counts

4 → 81

Calls

4 calls:

72.0ms	(fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))
51.0ms	(.f64 y (-.f64 (.f64 z x) (*.f64 j i)))
20.0ms	(.f64 a (.f64 i b))
20.0ms	(.f64 a (.f64 t x))

Compiler

Compiled 5665 to 3123 computations (44.9% saved)

simplify118.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

688×	`fma-def_binary64`
629×	`fma-neg_binary64`
365×	`cancel-sign-sub-inv_binary64`
294×	`distribute-rgt-neg-in_binary64`
279×	`associate-l_binary64`

Counts

235 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	2680
1	538	2555
2	2045	2533
3	4386	2520
4	4957	2520

prune118.0ms (0.5%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	153	16	169

Error

0.1b

Counts

169 → 16

Alt Table

Status	Error	Program
▶	12.6b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (.f64 x t) (cbrt.f64 a))))))
	12.8b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 (.f64 y (.f64 (cbrt.f64 (-.f64 (.f64 z x) (.f64 i j))) (cbrt.f64 (-.f64 (.f64 z x) (.f64 i j))))) (cbrt.f64 (-.f64 (.f64 z x) (.f64 j i))))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	31.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 t (-.f64 (.f64 j c) (.f64 x a))) (.f64 y (.f64 i j))))
	39.7b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (/.f64 y (/.f64 (fma.f64 z (.f64 x (.f64 z x)) (.f64 i (.f64 j (fma.f64 i j (.f64 z x))))) (-.f64 (pow.f64 (.f64 z x) 3) (pow.f64 (.f64 i j) 3))))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	29.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	26.5b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (sqrt.f64 (.f64 a (.f64 x t))) (sqrt.f64 (.f64 a (*.f64 x t)))))))
	30.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 c (.f64 z b))))
✓	12.8b	(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)))))
	47.6b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))) 3))
	27.5b	(fma.f64 c (.f64 j t) (-.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (.f64 x t))))
	44.0b	(.f64 i (-.f64 (.f64 a b) (*.f64 j y)))
	46.0b	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
	37.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (/.f64 (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 3) 0) (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 2) (+.f64 (.f64 0 (*.f64 c t)) 0))))))
	30.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (cbrt.f64 (pow.f64 (-.f64 (.f64 c t) (*.f64 y i)) 3)))))
✓	12.5b	(+.f64 (.f64 a (.f64 i b)) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))))
	13.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))))))

Compiler

Compiled 4142 to 1113 computations (73.1% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite222.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

24×	`pow1_binary64`
22×	`add-exp-log_binary64`
22×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 151

Calls

4 calls:

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

Compiler

Compiled 6182 to 635 computations (89.7% saved)

series430.0ms (1.7%)

Error

0.0b

Counts

4 → 126

Calls

4 calls:

217.0ms	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (.f64 x t) (cbrt.f64 a))))))
82.0ms	(fma.f64 c (.f64 z b) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (*.f64 x t) (cbrt.f64 a))))
56.0ms	(.f64 y (-.f64 (.f64 z x) (*.f64 j i)))
33.0ms	(.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (.f64 x t) (cbrt.f64 a)))

Compiler

Compiled 9023 to 4746 computations (47.4% saved)

simplify202.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

879×	`fma-neg_binary64`
319×	`associate-l_binary64`
307×	`fma-def_binary64`
303×	`associate-r_binary64`
270×	`unswap-sqr_binary64`

Counts

277 → 200

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	305	6581
1	903	5370
2	3205	5280
3	4844	5277
4	5093	5277

prune146.0ms (0.6%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	200	16	216

Error

0.1b

Counts

216 → 16

Alt Table

Status	Error	Program
	12.6b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (.f64 x t) (cbrt.f64 a))))))
	12.8b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 (.f64 y (.f64 (cbrt.f64 (-.f64 (.f64 z x) (.f64 i j))) (cbrt.f64 (-.f64 (.f64 z x) (.f64 i j))))) (cbrt.f64 (-.f64 (.f64 z x) (.f64 j i))))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	31.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 t (-.f64 (.f64 j c) (.f64 x a))) (.f64 y (.f64 i j))))
	39.7b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (/.f64 y (/.f64 (fma.f64 z (.f64 x (.f64 z x)) (.f64 i (.f64 j (fma.f64 i j (.f64 z x))))) (-.f64 (pow.f64 (.f64 z x) 3) (pow.f64 (.f64 i j) 3))))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
	29.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	26.5b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 (sqrt.f64 (.f64 a (.f64 x t))) (sqrt.f64 (.f64 a (*.f64 x t)))))))
	30.2b	(fma.f64 i (.f64 a b) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 c (.f64 z b))))
	12.8b	(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)))))
	47.6b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))) 3))
	27.5b	(fma.f64 c (.f64 j t) (-.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 a (.f64 x t))))
	44.0b	(.f64 i (-.f64 (.f64 a b) (*.f64 j y)))
	46.0b	(.f64 a (-.f64 (.f64 i b) (*.f64 t x)))
	37.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (/.f64 (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 3) 0) (+.f64 (pow.f64 (-.f64 (.f64 c t) (.f64 y i)) 2) (+.f64 (.f64 0 (*.f64 c t)) 0))))))
	30.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (cbrt.f64 (pow.f64 (-.f64 (.f64 c t) (*.f64 y i)) 3)))))
	12.5b	(+.f64 (.f64 a (.f64 i b)) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (*.f64 t x)))))
	13.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i)))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))))) (cbrt.f64 (fma.f64 b (-.f64 (.f64 i a) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))))))

Compiler

Compiled 4416 to 873 computations (80.2% saved)

regimes15.2s (58.9%)

Accuracy

Total 2.7b remaining (96.9%)

Threshold costs 0b (0%)

Compiler

Compiled 165636 to 94388 computations (43% saved)

bsearch30.0ms (0.1%)

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

simplify47.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

225×	`distribute-rgt-neg-in_binary64`
185×	`cancel-sign-sub-inv_binary64`
150×	`distribute-lft-neg-in_binary64`
138×	`neg-sub0_binary64`
138×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	258
1	132	258
2	186	258
3	234	258
4	288	258
5	326	258
6	368	258
7	427	258
8	471	258
9	524	258
10	610	258
11	736	258
12	865	258
13	979	258
14	1042	258
15	1067	258
16	1076	258
17	1078	258
18	1074	258

end2.0ms (0%)

Compiler: Compiled 183 to 64 computations (65% saved)

sample3.5s (13.6%)

Algorithm

1×

intervals

Results

1.2s	10980×	body	128	invalid
791.0ms	8000×	body	128	valid

Compiler

Compiled 900 to 452 computations (49.8% saved)

Details

analyze2.7s (10.4%)

sample107.0ms (0.4%)

simplify337.0ms (1.3%)

prune4.0ms (0%)

localize18.0ms (0.1%)

rewrite263.0ms (1%)

series487.0ms (1.9%)

simplify257.0ms (1%)

prune136.0ms (0.5%)

localize21.0ms (0.1%)

rewrite194.0ms (0.8%)

series492.0ms (1.9%)

simplify184.0ms (0.7%)

prune128.0ms (0.5%)

localize48.0ms (0.2%)

rewrite219.0ms (0.8%)

series181.0ms (0.7%)

simplify118.0ms (0.5%)

prune118.0ms (0.5%)

localize27.0ms (0.1%)

rewrite222.0ms (0.9%)

series430.0ms (1.7%)

simplify202.0ms (0.8%)

prune146.0ms (0.6%)

regimes15.2s (58.9%)

bsearch30.0ms (0.1%)

simplify47.0ms (0.2%)

end2.0ms (0%)

sample3.5s (13.6%)

Profiling