Details

analyze289.0ms (2.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	87.4%	12.6%	5
9.4%	65.5%	25.1%	6
14%	60.8%	25.1%	7
19.5%	49.1%	31.4%	8
24.6%	37.8%	37.6%	9
28.7%	33.7%	37.6%	10
33.3%	26%	40.7%	11
36.2%	19.9%	43.8%	12
38.6%	17.6%	43.8%	13
41.3%	13.3%	45.4%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample244.0ms (2.2%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
1.0ms	33×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify205.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

2528×	`fma-neg_binary64`
1701×	`fma-def_binary64`
364×	`distribute-rgt-in_binary64`
336×	`unsub-neg_binary64`
328×	`associate--r-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	15	12
2	23	12
3	39	12
4	85	12
5	184	12
6	322	12
7	518	12
8	681	12
9	1097	12
10	1783	12
11	1812	12
12	1882	12
13	1916	12
14	1930	12
15	3312	12
16	4220	12
17	3919	12
18	4053	12
19	4118	12
20	4154	12
21	4164	12
22	4224	12
23	4182	12
24	4182	12
25	5994	12

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

13.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.1b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
✓	0.2b	(*.f64 x (log.f64 (/.f64 x y)))
✓	13.1b	(log.f64 (/.f64 x y))

series1.1s (9.5%)

Counts

3 → 84

Calls

3 calls:

404.0ms	(*.f64 x (log.f64 (/.f64 x y)))
383.0ms	(log.f64 (/.f64 x y))
292.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`log-prod_binary64`
45×	`times-frac_binary64`
44×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
42×	`add-cube-cbrt_binary64`

Counts

3 → 119

Calls

3 calls:

7.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
4.0ms	(*.f64 x (log.f64 (/.f64 x y)))
2.0ms	(log.f64 (/.f64 x y))

simplify155.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-def_binary64`
603×	`fma-neg_binary64`
459×	`distribute-rgt-in_binary64`
432×	`distribute-lft-in_binary64`
129×	`associate-l_binary64`

Counts

203 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	2794
1	420	2726
2	1328	2685
3	4402	2685
4	4978	2685
5	4998	2685
6	4957	2685

prune172.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	170	8	178
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	8	179

Error

0.0b

Counts

179 → 8

Alt Table

Status	Error	Program
	0.2b	(-.f64 (.f64 x (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	13.2b	(-.f64 (.f64 x (cbrt.f64 (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	35.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))) x)) z)
▶	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	2.9b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) x)) z)
	30.7b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	13.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (cbrt.f64 (.f64 x (log.f64 (/.f64 x y))))) (cbrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)
	3.8b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)

Compiler

Compiled 3214 to 1005 computations (68.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
✓	0.4b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
✓	0.6b	(cbrt.f64 y)
✓	0.6b	(cbrt.f64 x)

series2.2s (19.3%)

Counts

4 → 72

Calls

4 calls:

1.7s	(+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
433.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
33.0ms	(cbrt.f64 y)
33.0ms	(cbrt.f64 x)

rewrite100.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

264×	`cbrt-prod_binary64`
252×	`times-frac_binary64`
240×	`log-prod_binary64`
200×	`distribute-lft-in_binary64`
200×	`distribute-rgt-in_binary64`

Counts

4 → 343

Calls

4 calls:

27.0ms	(+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
3.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)

simplify299.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

573×	`fma-def_binary64`
374×	`associate-l_binary64`
277×	`associate-r_binary64`
272×	`*-commutative_binary64`
220×	`fma-neg_binary64`

Counts

415 → 616

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	505	9696
1	918	8956
2	3159	8662
3	4813	8662
4	5005	8662

prune1.1s (9.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	740	4	744
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	743	9	752

Error

Counts

752 → 9

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (.f64 (cbrt.f64 x) (/.f64 1 (cbrt.f64 y)))))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	30.0b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (.f64 (pow.f64 (.f64 -1 y) 1/3) (cbrt.f64 -1)))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	30.7b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	0.2b	(-.f64 (.f64 x (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	13.2b	(-.f64 (.f64 x (cbrt.f64 (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	35.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))) x)) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	3.8b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)

Compiler

Compiled 23900 to 7738 computations (67.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
	0.4b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)
	0.6b	(cbrt.f64 x)

series1.6s (14.1%)

Counts

1 → 24

Calls

1 calls:

1.6s	(*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`log-prod_binary64`
72×	`cbrt-prod_binary64`
72×	`times-frac_binary64`
55×	`add-sqr-sqrt_binary64`
53×	`*-un-lft-identity_binary64`

Counts

1 → 101

Calls

1 calls:

7.0ms

(*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

simplify182.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

636×	`fma-neg_binary64`
561×	`fma-def_binary64`
478×	`distribute-rgt-in_binary64`
371×	`distribute-lft-in_binary64`
232×	`associate-l_binary64`

Counts

125 → 145

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	252	3362
1	388	3270
2	1002	3176
3	1744	3152
4	4368	3040
5	4772	2996
6	4845	2987
7	4927	2987

prune493.0ms (4.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	399	2	401
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	402	8	410

Error

Counts

410 → 8

Alt Table

Status	Error	Program
	30.0b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (.f64 (pow.f64 (.f64 -1 y) 1/3) (cbrt.f64 -1)))))) z)
	13.2b	(-.f64 (.f64 x (cbrt.f64 (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	0.2b	(-.f64 (.f64 x (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	35.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))) x)) z)
▶	0.2b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 x (log.f64 (/.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 y))))) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (.f64 (cbrt.f64 x) (/.f64 1 (cbrt.f64 y)))))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	30.7b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	3.8b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)

Compiler

Compiled 11847 to 3745 computations (68.4% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 y)
	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))

series80.0ms (0.7%)

Counts

2 → 24

Calls

2 calls:

47.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
33.0ms	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
17×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 54

Calls

2 calls:

5.0ms	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
5.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

simplify66.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

78 → 77

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	65	596
1	105	540
2	301	500
3	769	486
4	1799	398
5	4638	398
6	4805	398

prune226.0ms (2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	185	8	193

Error

Counts

193 → 8

Alt Table

Status	Error	Program
	30.0b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (.f64 (pow.f64 (.f64 -1 y) 1/3) (cbrt.f64 -1)))))) z)
	13.2b	(-.f64 (.f64 x (cbrt.f64 (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	0.2b	(-.f64 (.f64 x (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	35.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))) x)) z)
✓	0.2b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 x (log.f64 (/.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 y))))) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (.f64 (cbrt.f64 x) (/.f64 1 (cbrt.f64 y)))))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	30.7b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	3.8b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)

Compiler

Compiled 5887 to 2012 computations (65.8% saved)

regimes1.9s (16.9%)

Accuracy

Total 0.1b remaining (84.3%)

Threshold costs 0.1b (84.3%)

Counts

302 → 1

Compiler

Compiled 34588 to 21879 computations (36.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	23	44
2	28	44
3	30	44
4	31	44
5	31	44

end1.0ms (0%)

Compiler: Compiled 30 to 17 computations (43.3% saved)

sample860.0ms (7.6%)

Algorithm

1×

intervals

Results

426.0ms	8000×	body	128	valid
29.0ms	737×	body	128	nan
3.0ms	41×	body	128	invalid

Compiler

Compiled 246 to 144 computations (41.5% saved)

Details

analyze289.0ms (2.6%)

sample244.0ms (2.2%)

simplify205.0ms (1.8%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series1.1s (9.5%)

rewrite22.0ms (0.2%)

simplify155.0ms (1.4%)

prune172.0ms (1.5%)

localize15.0ms (0.1%)

series2.2s (19.3%)

rewrite100.0ms (0.9%)

simplify299.0ms (2.6%)

prune1.1s (9.4%)

localize11.0ms (0.1%)

series1.6s (14.1%)

rewrite20.0ms (0.2%)

simplify182.0ms (1.6%)

prune493.0ms (4.4%)

localize27.0ms (0.2%)

series80.0ms (0.7%)

rewrite12.0ms (0.1%)

simplify66.0ms (0.6%)

prune226.0ms (2%)

regimes1.9s (16.9%)

simplify3.0ms (0%)

end1.0ms (0%)

sample860.0ms (7.6%)

Profiling