Details

analyze3.4s (10.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)

sample7.0s (21%)

Results

4.0s	11685×	body	128	invalid
2.8s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify357.0ms (1.1%)

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

prune8.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

12.5b

Counts

3 → 2

Alt Table

Status	Error	Program
	12.5b	(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)))))
▶	12.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Status

Error

Program

12.5b

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

▶

12.5b

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

Compiler

Compiled 213 to 120 computations (43.7% saved)

localize39.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 c z) (.f64 i a))
✓	4.5b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
✓	4.5b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
✓	6.1b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

series136.0ms (0.4%)

Counts

4 → 205

Calls

4 calls:

42.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
39.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
37.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
16.0ms	(-.f64 (.f64 c z) (.f64 i a))

rewrite84.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

252×	`add-sqr-sqrt_binary64`
237×	`log1p-expm1-u_binary64`
237×	`expm1-log1p-u_binary64`
231×	`add-log-exp_binary64`
230×	`add-cube-cbrt_binary64`

Counts

4 → 86

Calls

4 calls:

80.0ms	(-.f64 (.f64 c z) (.f64 i a))
80.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
80.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
80.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	49
1	484	49
2	4960	49
0	0	0
1	0	0

simplify375.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1280×	`fma-def_binary64`
817×	`fma-neg_binary64`
317×	`cancel-sign-sub-inv_binary64`
217×	`distribute-rgt-neg-in_binary64`
167×	`unsub-neg_binary64`

Counts

291 → 115

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	2326
1	132	2326
2	250	2326
3	365	2326
4	583	2326
5	831	2326
6	1314	2326
7	1784	2326
8	1960	2326
9	1970	2326
10	2146	2326
11	2186	2326
12	2186	2326
13	2226	2326
14	2210	2326
15	2210	2326
16	2075	2326

prune271.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	108	7	115
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	109	8	117

Error

1.6b

Counts

117 → 8

Alt Table

Status	Error	Program
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 i j))))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (pow.f64 (.f64 c z) 2) (+.f64 (pow.f64 (.f64 i a) 2) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j))))
▶	12.5b	(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.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (pow.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y)))) 2))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))

Compiler

Compiled 4574 to 1079 computations (76.4% saved)

localize155.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series448.0ms (1.3%)

Counts

4 → 312

Calls

4 calls:

282.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)))))
110.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
37.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
17.0ms	(-.f64 (.f64 t c) (.f64 y i))

rewrite90.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

256×	`add-sqr-sqrt_binary64`
241×	`log1p-expm1-u_binary64`
241×	`expm1-log1p-u_binary64`
235×	`add-log-exp_binary64`
234×	`add-cube-cbrt_binary64`

Counts

4 → 90

Calls

4 calls:

86.0ms	(-.f64 (.f64 t c) (.f64 y i))
86.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
85.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
85.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)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	88
1	488	88
2	5026	88
0	0	0
1	0	0

simplify341.0ms (1%)

Algorithm

1×	egg-herbie

Rules

899×	`fma-neg_binary64`
574×	`neg-mul-1_binary64`
507×	`associate-+l-_binary64`
503×	`unsub-neg_binary64`
382×	`distribute-neg-out_binary64`

Counts

402 → 175

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	7680
1	410	7510
2	1059	7433
3	1886	7105
4	4084	7105
5	4848	7105
6	5254	7105

prune204.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	167	8	175
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	171	12	183

Error

0.0b

Counts

183 → 12

Alt Table

Status	Error	Program
	47.8b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 z y) (.f64 a t)) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))) 3))
	29.4b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
▶	12.6b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (pow.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y)))) 2))
	27.2b	(fma.f64 t (-.f64 (.f64 c j) (.f64 x a)) (.f64 i (-.f64 (.f64 a b) (*.f64 j y))))
	13.9b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (fma.f64 (pow.f64 (cbrt.f64 (.f64 c t)) 2) (cbrt.f64 (.f64 c t)) (neg.f64 (.f64 i y))))))
	14.5b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	27.6b	(fma.f64 y (-.f64 (.f64 z x) (.f64 j i)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (pow.f64 (.f64 c z) 2) (+.f64 (pow.f64 (.f64 i a) 2) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))

Compiler

Compiled 5869 to 1331 computations (77.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.5b	(.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))
✓	5.4b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))))
✓	13.2b	(cbrt.f64 (*.f64 i y))
✓	50.2b	(fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))

series3.6s (10.8%)

Counts

4 → 216

Calls

4 calls:

2.0s	(.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))
1.0s	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))))
355.0ms	(cbrt.f64 (*.f64 i y))
208.0ms	(fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))

rewrite111.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

297×	`log1p-expm1-u_binary64`
297×	`expm1-log1p-u_binary64`
290×	`add-cbrt-cube_binary64`
289×	`add-exp-log_binary64`
289×	`add-log-exp_binary64`

Counts

4 → 69

Calls

4 calls:

107.0ms	(.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))
107.0ms	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))))
107.0ms	(cbrt.f64 (*.f64 i y))
107.0ms	(fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	98
1	618	95
2	5464	95
0	0	0
1	0	0

simplify321.0ms (1%)

Algorithm

1×	egg-herbie

Rules

707×	`sub-neg_binary64`
659×	`cancel-sign-sub-inv_binary64`
596×	`times-frac_binary64`
312×	`associate--l+_binary64`
244×	`fma-def_binary64`

Counts

285 → 152

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	187	5654
1	560	5651
2	1506	5523
3	2986	5125
4	3913	4955
5	4392	4955
6	5505	4955

prune853.0ms (2.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	290	2	292
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	292	12	304

Error

0.0b

Counts

304 → 12

Alt Table

Status	Error	Program
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	27.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
✓	12.6b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (pow.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y)))) 2))
	27.2b	(fma.f64 t (-.f64 (.f64 c j) (.f64 x a)) (.f64 i (-.f64 (.f64 a b) (*.f64 j y))))
	13.9b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (fma.f64 (pow.f64 (cbrt.f64 (.f64 c t)) 2) (cbrt.f64 (.f64 c t)) (neg.f64 (.f64 i y))))))
	14.5b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	47.8b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 z y) (.f64 a t)) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))) 3))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (pow.f64 (.f64 c z) 2) (+.f64 (pow.f64 (.f64 i a) 2) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
▶	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))))))

Compiler

Compiled 15726 to 4613 computations (70.7% saved)

localize66.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.5b	(.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))))
✓	5.4b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))))))
	13.2b	(cbrt.f64 (*.f64 i y))
✓	49.6b	(fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))

series5.0s (15%)

Counts

3 → 192

Calls

3 calls:

2.6s

(*.f64 j (+.f64 (fma.f64 c t (neg.f64 (*.f64 (cbrt.f64 (*.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 i y))) (pow.f64 (cbrt.f64 (*.f64 i y)) 2) (*.f64 (cbrt.f64 (*.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))))

1.9s

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

454.0ms

(fma.f64 (neg.f64 (cbrt.f64 (*.f64 i y))) (pow.f64 (cbrt.f64 (*.f64 i y)) 2) (*.f64 (cbrt.f64 (*.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))

rewrite79.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

314×	`log1p-expm1-u_binary64`
314×	`expm1-log1p-u_binary64`
309×	`add-cbrt-cube_binary64`
304×	`add-exp-log_binary64`
304×	`add-log-exp_binary64`

Counts

3 → 48

Calls

3 calls:

73.0ms

(*.f64 j (+.f64 (fma.f64 c t (neg.f64 (*.f64 (cbrt.f64 (*.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 i y))) (pow.f64 (cbrt.f64 (*.f64 i y)) 2) (*.f64 (cbrt.f64 (*.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))))

73.0ms

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

73.0ms

(fma.f64 (neg.f64 (cbrt.f64 (*.f64 i y))) (pow.f64 (cbrt.f64 (*.f64 i y)) 2) (*.f64 (cbrt.f64 (*.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	92
1	656	89
2	4925	89
0	0	0
1	0	0

simplify321.0ms (1%)

Algorithm

1×	egg-herbie

Rules

707×	`sub-neg_binary64`
659×	`cancel-sign-sub-inv_binary64`
596×	`times-frac_binary64`
312×	`associate--l+_binary64`
244×	`fma-def_binary64`

Counts

240 → 124

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	184	5278
1	555	5275
2	1501	5203
3	2977	4917
4	3906	4755
5	4385	4755
6	5498	4755

prune687.0ms (2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	264	0	264
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	264	12	276

Error

0.0b

Counts

276 → 12

Alt Table

Status	Error	Program
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	27.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
✓	12.6b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (*.f64 i y)) 2)))))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (pow.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y)))) 2))
	27.2b	(fma.f64 t (-.f64 (.f64 c j) (.f64 x a)) (.f64 i (-.f64 (.f64 a b) (*.f64 j y))))
	13.9b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (fma.f64 (pow.f64 (cbrt.f64 (.f64 c t)) 2) (cbrt.f64 (.f64 c t)) (neg.f64 (.f64 i y))))))
	14.5b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	47.8b	(cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 z y) (.f64 a t)) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))) 3))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (pow.f64 (.f64 c z) 2) (+.f64 (pow.f64 (.f64 i a) 2) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
✓	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (+.f64 (fma.f64 c t (neg.f64 (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (cbrt.f64 (.f64 i y)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 i y))) (pow.f64 (cbrt.f64 (.f64 i y)) 2) (.f64 (cbrt.f64 (.f64 i y)) (pow.f64 (*.f64 (cbrt.f64 i) (cbrt.f64 y)) 2)))))))

Compiler

Compiled 13623 to 3835 computations (71.8% saved)

regimes8.9s (26.5%)

Accuracy

Total 3.7b remaining (96.9%)

Threshold costs 0b (0%)

Counts

181 → 3

Compiler

Compiled 63066 to 38448 computations (39% saved)

bsearch20.0ms (0.1%)

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

simplify68.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

203×	`distribute-rgt-neg-in_binary64`
181×	`cancel-sign-sub-inv_binary64`
133×	`distribute-lft-neg-in_binary64`
131×	`neg-sub0_binary64`
131×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	225
1	120	225
2	175	225
3	225	225
4	285	225
5	320	225
6	361	225
7	424	225
8	469	225
9	521	225
10	589	225
11	703	225
12	814	225
13	914	225
14	969	225
15	995	225
16	1004	225
17	1006	225
18	1002	225

end511.0ms (1.5%)

Compiler: Compiled 862 to 418 computations (51.5% saved)

Details

analyze3.4s (10.2%)

sample7.0s (21%)

simplify357.0ms (1.1%)

prune8.0ms (0%)

localize39.0ms (0.1%)

series136.0ms (0.4%)

rewrite84.0ms (0.2%)

simplify375.0ms (1.1%)

prune271.0ms (0.8%)

localize155.0ms (0.5%)

series448.0ms (1.3%)

rewrite90.0ms (0.3%)

simplify341.0ms (1%)

prune204.0ms (0.6%)

localize27.0ms (0.1%)

series3.6s (10.8%)

rewrite111.0ms (0.3%)

simplify321.0ms (1%)

prune853.0ms (2.5%)

localize66.0ms (0.2%)

series5.0s (15%)

rewrite79.0ms (0.2%)

simplify321.0ms (1%)

prune687.0ms (2%)

regimes8.9s (26.5%)

bsearch20.0ms (0.1%)

simplify68.0ms (0.2%)

end511.0ms (1.5%)

Profiling