Details

analyze436.0ms (3.3%)

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
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
12.5%	56.2%	31.4%	8
14%	48.4%	37.6%	9
21.1%	41.3%	37.6%	10
26.9%	32.4%	40.7%	11
28.7%	27.5%	43.8%	12
33.4%	22.7%	43.8%	13
37.2%	17.4%	45.4%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.4s (10.8%)

Results

1.1s	8256×	body	128	valid
88.0ms	780×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify208.0ms (1.6%)

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

15.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (log.f64 (/.f64 x y)))
✓	14.7b	(log.f64 (/.f64 x y))

series805.0ms (6%)

Counts

2 → 48

Calls

2 calls:

414.0ms	(*.f64 x (log.f64 (/.f64 x y)))
391.0ms	(log.f64 (/.f64 x y))

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`log-prod_binary64`
27×	`times-frac_binary64`
27×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 73

Calls

2 calls:

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

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

623×	`fma-def_binary64`
550×	`times-frac_binary64`
405×	`distribute-rgt-neg-out_binary64`
383×	`fma-neg_binary64`
359×	`distribute-lft-neg-out_binary64`

Counts

121 → 100

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	1686
1	223	1616
2	656	1583
3	1548	1577
4	3960	1577
5	4952	1577

prune94.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	92	8	100
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	8	101

Error

0.0b

Counts

101 → 8

Alt Table

Status	Error	Program
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2)) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
▶	0.2b	(-.f64 (.f64 x (+.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	36.6b	(-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 (/.f64 x y)))) z)
	26.8b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))))) z)
	4.6b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
	15.4b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	37.6b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))) z)
	43.2b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)

Compiler

Compiled 1826 to 678 computations (62.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.4s (17.7%)

Counts

4 → 72

Calls

4 calls:

1.9s	(.f64 x (+.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
427.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
31.0ms	(cbrt.f64 x)
30.0ms	(cbrt.f64 y)

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`cbrt-prod_binary64`
38×	`add-sqr-sqrt_binary64`
36×	`times-frac_binary64`
36×	`*-un-lft-identity_binary64`
36×	`add-cube-cbrt_binary64`

Counts

4 → 112

Calls

4 calls:

6.0ms	(.f64 x (+.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
4.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 x)

simplify117.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

550×	`distribute-rgt-in_binary64`
549×	`distribute-lft-in_binary64`
298×	`times-frac_binary64`
238×	`fma-def_binary64`
156×	`associate-l_binary64`

Counts

184 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	3068
1	374	2608
2	1363	2418
3	4898	2418
4	5023	2418

prune300.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	302	1	303
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	304	7	311

Error

Counts

311 → 7

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (+.f64 (.f64 x (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2)) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	0.2b	(-.f64 (.f64 x (+.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	26.8b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))) (log.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 y))))) z)
	15.4b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	37.6b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))) z)
	43.2b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)
	0.5b	(-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2)) (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (-.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)

Compiler

Compiled 8249 to 2943 computations (64.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.7s (12.8%)

Counts

1 → 24

Calls

1 calls:

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

rewrite30.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`associate-+r+_binary64`
80×	`log-prod_binary64`
72×	`cbrt-prod_binary64`
72×	`times-frac_binary64`
51×	`*-un-lft-identity_binary64`

Counts

1 → 95

Calls

1 calls:

11.0ms

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

simplify187.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

627×	`fma-def_binary64`
515×	`fma-neg_binary64`
479×	`associate-l_binary64`
364×	`associate-r_binary64`
271×	`sub-neg_binary64`

Counts

119 → 169

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	254	3508
1	521	3135
2	1350	2974
3	4148	2946
4	4974	2946
5	5121	2946

prune470.0ms (3.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	423	2	425
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	426	6	432

Error

Counts

432 → 6

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (+.f64 (.f64 x (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2)) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	0.2b	(-.f64 (.f64 x (+.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
▶	0.2b	(-.f64 (+.f64 (.f64 x (fma.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (.f64 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (+.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))))) (*.f64 (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
	15.4b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	43.2b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)

Compiler

Compiled 12771 to 4028 computations (68.5% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	0.3b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
	0.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 y)

series3.5s (26.1%)

Counts

1 → 24

Calls

1 calls:

3.5s	(fma.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

541×	`associate-l_binary64`
511×	`fma-neg_binary64`
438×	`log-prod_binary64`
244×	`fma-def_binary64`
201×	`unsub-neg_binary64`

Counts

34 → 26

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	69	981
1	154	866
2	282	834
3	736	794
4	2145	670
5	3960	662
6	4891	662

prune461.0ms (3.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	410	0	410
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	410	6	416

Error

Counts

416 → 6

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (+.f64 (.f64 x (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2)) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	0.2b	(-.f64 (.f64 x (+.f64 (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	0.2b	(-.f64 (+.f64 (.f64 x (fma.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) 2 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (.f64 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (+.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))))) (*.f64 (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
	15.4b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	43.2b	(-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 (/.f64 x y)))) (sqrt.f64 (*.f64 x (log.f64 (/.f64 x y))))) z)

Compiler

Compiled 14919 to 4152 computations (72.2% saved)

regimes897.0ms (6.7%)

Accuracy

Total 0.1b remaining (91%)

Threshold costs 0.1b (91%)

Counts

159 → 1

Compiler

Compiled 18632 to 11865 computations (36.3% 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

end107.0ms (0.8%)

Compiler: Compiled 191 to 99 computations (48.2% saved)

Details

analyze436.0ms (3.3%)

sample1.4s (10.8%)

simplify208.0ms (1.6%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series805.0ms (6%)

rewrite11.0ms (0.1%)

simplify91.0ms (0.7%)

prune94.0ms (0.7%)

localize12.0ms (0.1%)

series2.4s (17.7%)

rewrite17.0ms (0.1%)

simplify117.0ms (0.9%)

prune300.0ms (2.2%)

localize14.0ms (0.1%)

series1.7s (12.8%)

rewrite30.0ms (0.2%)

simplify187.0ms (1.4%)

prune470.0ms (3.5%)

localize17.0ms (0.1%)

series3.5s (26.1%)

rewrite1.0ms (0%)

simplify74.0ms (0.6%)

prune461.0ms (3.4%)

regimes897.0ms (6.7%)

simplify3.0ms (0%)

end107.0ms (0.8%)

Profiling