Details

analyze254.0ms (2.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%	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)

sample193.0ms (1.7%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	3×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify146.0ms (1.3%)

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

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

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)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series399.0ms (3.6%)

Counts

3 → 96

Calls

3 calls:

218.0ms	(*.f64 x (log.f64 y))
99.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
82.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
25×	`associate--l+_binary64`
25×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`

Counts

3 → 98

Calls

3 calls:

8.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
5.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
3.0ms	(*.f64 x (log.f64 y))

simplify108.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1055×	`fma-neg_binary64`
315×	`cancel-sign-sub-inv_binary64`
286×	`exp-sum_binary64`
273×	`distribute-rgt-in_binary64`
255×	`distribute-lft-in_binary64`

Counts

194 → 159

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	1955
1	363	1912
2	1184	1903
3	2863	1893
4	4373	1893
5	4927	1893

prune115.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	154	5	159
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	154	6	160

Error

0.0b

Counts

160 → 6

Alt Table

Status	Error	Program
	32.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.1b	(-.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.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
	32.2b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	0.4b	(-.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 2653 to 724 computations (72.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.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)

series3.8s (33.5%)

Counts

4 → 72

Calls

4 calls:

2.6s	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x))
1.1s	(*.f64 (log.f64 (cbrt.f64 y)) x)
35.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
30.0ms	(cbrt.f64 y)

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

8.0ms	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (*.f64 (log.f64 (cbrt.f64 y)) x))
4.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
3.0ms	(*.f64 (log.f64 (cbrt.f64 y)) x)
1.0ms	(cbrt.f64 y)

simplify103.0ms (0.9%)

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

prune295.0ms (2.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	177	2	179
Fresh	0	4	4
Picked	1	0	1
Done	1	0	1
Total	179	6	185

Error

Counts

185 → 6

Alt Table

Status	Error	Program
	32.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
	0.1b	(-.f64 (-.f64 (.f64 x (+.f64 (log.f64 (.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))) (log.f64 (*.f64 (pow.f64 y 2/3) (pow.f64 (cbrt.f64 -1) 2))))) z) y)
▶	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)
	32.2b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	0.4b	(-.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 4281 to 1423 computations (66.8% saved)

localize13.0ms (0.1%)

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.2b	(*.f64 (log.f64 (cbrt.f64 y)) x)
	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)

series2.7s (24%)

Counts

1 → 24

Calls

1 calls:

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

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 y) (cbrt.f64 y))) x (*.f64 (log.f64 (cbrt.f64 y)) x))

simplify71.0ms (0.6%)

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

prune187.0ms (1.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	174	5	179

Error

Counts

179 → 5

Alt Table

Status	Error	Program
	32.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
	32.2b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (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 (/.f64 1 y) -1/3)) x)) z) y)

Compiler

Compiled 3871 to 1255 computations (67.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (9.8%)

Counts

2 → 20

Calls

2 calls:

1.1s	(*.f64 (log.f64 (pow.f64 (/.f64 1 y) -1/3)) x)
49.0ms	(pow.f64 (/.f64 1 y) -1/3)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`unpow-prod-down_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`
9×	`add-exp-log_binary64`

Counts

2 → 55

Calls

2 calls:

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

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1328×	`fma-def_binary64`
527×	`associate-l_binary64`
375×	`associate-r_binary64`
274×	`log-prod_binary64`
226×	`distribute-rgt-neg-in_binary64`

Counts

75 → 81

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	795
1	188	659
2	522	611
3	2316	600
4	4139	600
5	4866	600
6	4892	600

prune176.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	176	5	181

Error

Counts

181 → 5

Alt Table

Status	Error	Program
	32.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
	32.2b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (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 (/.f64 1 y) -1/3)) x)) z) y)

Compiler

Compiled 4430 to 2239 computations (49.5% saved)

regimes639.0ms (5.7%)

Accuracy

Total 0.1b remaining (63.3%)

Threshold costs 0.1b (63.3%)

Counts

138 → 1

Compiler

Compiled 11150 to 7000 computations (37.2% saved)

simplify3.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	17	29
1	24	29
2	31	29
3	35	29
4	37	29
5	36	29

end1.0ms (0%)

Compiler: Compiled 22 to 16 computations (27.3% saved)

sample787.0ms (7%)

Algorithm

1×

intervals

Results

388.0ms	7999×	body	128	valid
1.0ms	34×	body	128	nan
1.0ms	24×	body	128	invalid
0.0ms	1×	body	256	valid

Compiler

Compiled 138 to 80 computations (42% saved)

Details

analyze254.0ms (2.3%)

sample193.0ms (1.7%)

simplify146.0ms (1.3%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series399.0ms (3.6%)

rewrite21.0ms (0.2%)

simplify108.0ms (1%)

prune115.0ms (1%)

localize12.0ms (0.1%)

series3.8s (33.5%)

rewrite19.0ms (0.2%)

simplify103.0ms (0.9%)

prune295.0ms (2.6%)

localize13.0ms (0.1%)

series2.7s (24%)

rewrite1.0ms (0%)

simplify71.0ms (0.6%)

prune187.0ms (1.7%)

localize16.0ms (0.1%)

series1.1s (9.8%)

rewrite8.0ms (0.1%)

simplify85.0ms (0.8%)

prune176.0ms (1.6%)

regimes639.0ms (5.7%)

simplify3.0ms (0%)

end1.0ms (0%)

sample787.0ms (7%)

Profiling