Details

analyze292.0ms (1.9%)

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)

sample241.0ms (1.6%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
1.0ms	16×	body	128	nan

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify208.0ms (1.3%)

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

16.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0%)

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)))
✓	15.7b	(log.f64 (/.f64 x y))

series1.1s (7.2%)

Counts

3 → 84

Calls

3 calls:

413.0ms	(*.f64 x (log.f64 (/.f64 x y)))
403.0ms	(log.f64 (/.f64 x y))
296.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

rewrite22.0ms (0.1%)

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

simplify173.0ms (1.1%)

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

prune145.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	171	7	178
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	7	179

Error

Counts

179 → 7

Alt Table

Status	Error	Program
	39.7b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)
	35.4b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))))) 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)
	28.8b	(-.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (+.f64 (.f64 (log.f64 (/.f64 -1 x)) x) z))
	16.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x)) z)
	4.5b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)

Compiler

Compiled 3096 to 965 computations (68.8% saved)

localize12.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.3b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
✓	0.6b	(cbrt.f64 y)
✓	0.6b	(cbrt.f64 x)

series2.1s (13.9%)

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)))))
406.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
31.0ms	(cbrt.f64 x)
30.0ms	(cbrt.f64 y)

rewrite97.0ms (0.6%)

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:

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

simplify303.0ms (2%)

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

prune635.0ms (4.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	743	1	744
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	744	7	751

Error

Counts

751 → 7

Alt Table

Status	Error	Program
	39.7b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)
	35.4b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))))) 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)
	16.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
▶	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x)) z)
	28.8b	(-.f64 (.f64 3 (.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (pow.f64 (/.f64 -1 y) 1/3)) (cbrt.f64 -1))))) z)
	4.5b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)

Compiler

Compiled 23704 to 7631 computations (67.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x))
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)
✓	4.6b	(log.f64 (/.f64 x (cbrt.f64 y)))

series4.8s (31.2%)

Counts

3 → 60

Calls

3 calls:

3.3s	(+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x))
1.5s	(log.f64 (/.f64 x (cbrt.f64 y)))
38.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
25×	`cbrt-prod_binary64`
24×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`log-prod_binary64`

Counts

3 → 92

Calls

3 calls:

7.0ms	(+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x))
4.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
3.0ms	(log.f64 (/.f64 x (cbrt.f64 y)))

simplify130.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

655×	`fma-neg_binary64`
507×	`associate-l_binary64`
378×	`associate-r_binary64`
320×	`fma-def_binary64`
270×	`log-prod_binary64`

Counts

152 → 148

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	200	2707
1	454	2463
2	1233	2204
3	4133	2165
4	4934	2137
5	5019	2137

prune175.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	202	7	209

Error

Counts

209 → 7

Alt Table

Status	Error	Program
	39.7b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)
	35.4b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))))) 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)
	16.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
✓	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x)) z)
	28.8b	(-.f64 (.f64 3 (.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (pow.f64 (/.f64 -1 y) 1/3)) (cbrt.f64 -1))))) z)
▶	4.5b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)

Compiler

Compiled 5428 to 2166 computations (60.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))
	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)
	4.6b	(log.f64 (/.f64 x (cbrt.f64 y)))

series3.0s (19.1%)

Counts

1 → 24

Calls

1 calls:

3.0s	(+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`log-prod_binary64`
22×	`associate-+r+_binary64`
21×	`times-frac_binary64`
21×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`

Counts

1 → 62

Calls

1 calls:

14.0ms

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

simplify113.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

594×	`fma-neg_binary64`
530×	`log-prod_binary64`
467×	`sub-neg_binary64`
462×	`times-frac_binary64`
311×	`unsub-neg_binary64`

Counts

86 → 100

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	151	1903
1	345	1603
2	1003	1437
3	3144	1247
4	4141	1120
5	4860	1119
6	5127	1119

prune233.0ms (1.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	267	0	267
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	267	7	274

Error

Counts

274 → 7

Alt Table

Status	Error	Program
	39.7b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)
	35.4b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))))) 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)
	16.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
✓	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x) (*.f64 (log.f64 (/.f64 x (cbrt.f64 y))) x)) z)
	28.8b	(-.f64 (.f64 3 (.f64 x (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (pow.f64 (/.f64 -1 y) 1/3)) (cbrt.f64 -1))))) z)
✓	4.5b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)

Compiler

Compiled 6462 to 2581 computations (60.1% saved)

regimes700.0ms (4.5%)

Accuracy

Total 0.1b remaining (78.4%)

Threshold costs 0.1b (78.4%)

Counts

135 → 1

Compiler

Compiled 12532 to 8150 computations (35% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-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	13	32
1	17	32
2	22	32
3	24	32
4	25	32
5	25	32

end1.0ms (0%)

Compiler: Compiled 23 to 12 computations (47.8% saved)

sample845.0ms (5.5%)

Algorithm

1×

intervals

Results

447.0ms	8000×	body	128	valid
30.0ms	740×	body	128	nan
2.0ms	33×	body	128	invalid

Compiler

Compiled 178 to 106 computations (40.4% saved)

Details

analyze292.0ms (1.9%)

sample241.0ms (1.6%)

simplify208.0ms (1.3%)

prune2.0ms (0%)

localize6.0ms (0%)

series1.1s (7.2%)

rewrite22.0ms (0.1%)

simplify173.0ms (1.1%)

prune145.0ms (0.9%)

localize12.0ms (0.1%)

series2.1s (13.9%)

rewrite97.0ms (0.6%)

simplify303.0ms (2%)

prune635.0ms (4.1%)

localize14.0ms (0.1%)

series4.8s (31.2%)

rewrite18.0ms (0.1%)

simplify130.0ms (0.8%)

prune175.0ms (1.1%)

localize15.0ms (0.1%)

series3.0s (19.1%)

rewrite20.0ms (0.1%)

simplify113.0ms (0.7%)

prune233.0ms (1.5%)

regimes700.0ms (4.5%)

simplify3.0ms (0%)

end1.0ms (0%)

sample845.0ms (5.5%)

Profiling