Details

analyze637.0ms (3.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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	62.4%	37.6%	5
0%	56.2%	43.8%	6
7.8%	48.4%	43.8%	7
12.5%	40.6%	47%	8
18.3%	33.2%	48.5%	9
25.2%	26.3%	48.5%	10
29.7%	21%	49.3%	11
32.6%	17.7%	49.7%	12
36.7%	13.6%	49.7%	13
39.4%	10.7%	49.9%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample27.0ms (0.2%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify157.0ms (1%)

Algorithm

1×	egg-herbie

Rules

3353×	`fma-neg_binary64`
476×	`distribute-rgt-in_binary64`
425×	`unsub-neg_binary64`
361×	`fma-def_binary64`
308×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	16	12
2	36	12
3	76	12
4	131	12
5	231	12
6	342	12
7	678	12
8	1365	12
9	2068	12
10	2356	12
11	2518	12
12	2627	12
13	2660	12
14	2664	12
15	2866	12
16	2767	12
17	2779	12
18	2791	12
19	2799	12
20	2799	12
21	5311	12

prune3.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

0.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series524.0ms (3.2%)

Counts

2 → 60

Calls

2 calls:

363.0ms	(*.f64 x (log.f64 y))
160.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
19×	`associate--l+_binary64`
18×	`add-cube-cbrt_binary64`
12×	`prod-diff_binary64`

Counts

2 → 72

Calls

2 calls:

11.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
6.0ms	(*.f64 x (log.f64 y))

simplify156.0ms (1%)

Algorithm

1×	egg-herbie

Rules

822×	`fma-neg_binary64`
604×	`fma-def_binary64`
311×	`exp-sum_binary64`
250×	`distribute-rgt-in_binary64`
236×	`exp-prod_binary64`

Counts

132 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	165	1389
1	312	1324
2	949	1313
3	2782	1306
4	4278	1306
5	4814	1306

prune154.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	114	4	118
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	5	119

Error

0.0b

Counts

119 → 5

Alt Table

Status	Error	Program
	38.6b	(/.f64 (-.f64 (.f64 (-.f64 (.f64 x (log.f64 y)) z) (-.f64 (.f64 x (log.f64 y)) z)) (.f64 y y)) (+.f64 (-.f64 (*.f64 x (log.f64 y)) z) y))
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.3b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
	0.3b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 1993 to 560 computations (71.9% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series6.4s (39.4%)

Counts

4 → 72

Calls

4 calls:

4.4s	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x))
1.9s	(*.f64 (log.f64 (cbrt.f64 y)) x)
71.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
67.0ms	(cbrt.f64 y)

rewrite38.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
14×	`pow1_binary64`

Counts

4 → 92

Calls

4 calls:

11.0ms	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x))
9.0ms	(*.f64 (log.f64 (cbrt.f64 y)) x)
9.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)

simplify164.0ms (1%)

Algorithm

1×	egg-herbie

Rules

676×	`fma-neg_binary64`
477×	`log-prod_binary64`
379×	`fma-def_binary64`
363×	`distribute-rgt-in_binary64`
316×	`distribute-lft-in_binary64`

Counts

164 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	138	1922
1	315	1501
2	1018	1371
3	3390	1356
4	4821	1356
5	5138	1356

prune330.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	179	5	184

Error

Counts

184 → 5

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (-.f64 (fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (cbrt.f64 y)) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (pow.f64 y 2/3)) x) (.f64 (log.f64 (pow.f64 y 1/3)) x)) z) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (pow.f64 y 1/3)) x)) z) y)
	0.3b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 4208 to 1388 computations (67% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (cbrt.f64 y)) x))
	0.3b	(*.f64 (log.f64 (cbrt.f64 y)) x)
	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)

series4.5s (27.8%)

Counts

1 → 24

Calls

1 calls:

4.5s	(fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (cbrt.f64 y)) x))

rewrite2.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:

1.0ms

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

simplify115.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

583×	`distribute-rgt-in_binary64`
564×	`distribute-lft-in_binary64`
522×	`log-prod_binary64`
443×	`fma-def_binary64`
374×	`unsub-neg_binary64`

Counts

34 → 24

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	677
1	118	434
2	282	336
3	907	312
4	3660	312
5	4902	312
6	5242	312

prune314.0ms (1.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	173	5	178

Error

Counts

178 → 5

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (-.f64 (fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (cbrt.f64 y)) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
▶	0.1b	(-.f64 (-.f64 (fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (pow.f64 y 1/3)) x)) z) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (pow.f64 y 2/3)) x) (.f64 (log.f64 (pow.f64 y 1/3)) x)) z) y)
	0.3b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 3822 to 1241 computations (67.5% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)
✓	4.9b	(pow.f64 y 1/3)

series1.3s (8%)

Counts

2 → 12

Calls

2 calls:

1.2s	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
55.0ms	(pow.f64 y 1/3)

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
5×	`add-exp-log_binary64`
5×	`pow1_binary64`

Counts

2 → 41

Calls

2 calls:

3.0ms	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
1.0ms	(pow.f64 y 1/3)

simplify70.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

721×	`fma-def_binary64`
532×	`*-commutative_binary64`
479×	`log-prod_binary64`
362×	`associate-l_binary64`
265×	`log-div_binary64`

Counts

53 → 66

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	79	543
1	156	493
2	429	443
3	1411	398
4	2617	392
5	4652	392
6	5022	392

prune172.0ms (1.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	161	5	166

Error

Counts

166 → 5

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (-.f64 (fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (cbrt.f64 y)) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.1b	(-.f64 (-.f64 (fma.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x (.f64 (log.f64 (pow.f64 y 1/3)) x)) z) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (pow.f64 y 2/3)) x) (.f64 (log.f64 (pow.f64 y 1/3)) x)) z) y)
	0.3b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 3701 to 1718 computations (53.6% saved)

regimes175.0ms (1.1%)

Accuracy

Total 0.1b remaining (84.6%)

Threshold costs 0.1b (84.6%)

Counts

41 → 1

Compiler

Compiled 2866 to 1796 computations (37.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	21	12
3	25	12
4	27	12
5	27	12

end0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

sample880.0ms (5.4%)

Algorithm

1×

intervals

Results

447.0ms	7999×	body	128	valid
1.0ms	25×	body	128	invalid
1.0ms	31×	body	128	nan
0.0ms	1×	body	1024	valid

Compiler

Compiled 118 to 73 computations (38.1% saved)

Details

analyze637.0ms (3.9%)

sample27.0ms (0.2%)

simplify157.0ms (1%)

prune3.0ms (0%)

localize13.0ms (0.1%)

series524.0ms (3.2%)

rewrite23.0ms (0.1%)

simplify156.0ms (1%)

prune154.0ms (0.9%)

localize26.0ms (0.2%)

series6.4s (39.4%)

rewrite38.0ms (0.2%)

simplify164.0ms (1%)

prune330.0ms (2%)

localize25.0ms (0.2%)

series4.5s (27.8%)

rewrite2.0ms (0%)

simplify115.0ms (0.7%)

prune314.0ms (1.9%)

localize31.0ms (0.2%)

series1.3s (8%)

rewrite6.0ms (0%)

simplify70.0ms (0.4%)

prune172.0ms (1.1%)

regimes175.0ms (1.1%)

simplify2.0ms (0%)

end0.0ms (0%)

sample880.0ms (5.4%)

Profiling