Details

analyze81.0ms (1.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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	18.7%	12.6%	7
68.7%	15.6%	15.7%	8
71.8%	9.4%	18.8%	9
71.8%	7.8%	20.4%	10
73.4%	4.7%	22%	11
73.4%	3.9%	22.7%	12
74.1%	2.3%	23.5%	13
74.1%	2%	23.9%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample776.0ms (12.4%)

Results

684.0ms	8256×	body	128	valid
10.0ms	107×	body	128	invalid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify72.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

664×	`unswap-sqr_binary64`
640×	`fma-def_binary64`
463×	`associate-/l*_binary64`
362×	`exp-prod_binary64`
312×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	23	9
3	41	9
4	85	9
5	193	9
6	434	9
7	1080	9
8	2926	9
9	3322	9
10	4145	9
11	4931	9
12	5147	9

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(exp.f64 (.f64 (.f64 x y) y))

Compiler

Compiled 30 to 17 computations (43.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f64 (.f64 (.f64 x y) y))
✓	0.1b	(.f64 (.f64 x y) y)

series12.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

7.0ms	(.f64 (.f64 x y) y)
5.0ms	(exp.f64 (.f64 (.f64 x y) y))

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r_binary64`

Counts

2 → 32

Calls

2 calls:

10.0ms	(.f64 (.f64 x y) y)
1.0ms	(exp.f64 (.f64 (.f64 x y) y))

simplify51.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

757×	`fma-def_binary64`
721×	`distribute-rgt-in_binary64`
707×	`distribute-lft-in_binary64`
508×	`unswap-sqr_binary64`
212×	`*-commutative_binary64`

Counts

80 → 58

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	68	805
1	160	739
2	473	731
3	929	715
4	2071	706
5	5240	706

prune23.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	57	1	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	2	59

Error

0.1b

Counts

59 → 2

Alt Table

Status	Error	Program
✓	0.1b	(exp.f64 (.f64 (.f64 x y) y))
▶	0.1b	(.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))

Compiler

Compiled 681 to 239 computations (64.9% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (cbrt.f64 (exp.f64 (.f64 (*.f64 x y) y))))
✓	0.0b	(cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))
	0.1b	(exp.f64 (.f64 (.f64 x y) y))
	0.1b	(.f64 (.f64 x y) y)

series1.2s (19.1%)

Counts

2 → 48

Calls

2 calls:

792.0ms	(.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (cbrt.f64 (exp.f64 (.f64 (*.f64 x y) y))))
401.0ms	(cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

6.0ms	(.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (cbrt.f64 (exp.f64 (.f64 (*.f64 x y) y))))
1.0ms	(cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))

simplify124.0ms (2%)

Algorithm

1×	egg-herbie

Rules

656×	`unswap-sqr_binary64`
543×	`log-prod_binary64`
535×	`log-pow_binary64`
473×	`exp-prod_binary64`
350×	`associate-l_binary64`

Counts

103 → 95

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	87	1895
1	186	1887
2	520	1688
3	1738	1581
4	3305	1371
5	3932	1371
6	4993	1371
7	5108	1371

prune249.0ms (4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	327	2	329
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	329	2	331

Error

0.0b

Counts

331 → 2

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 x y) y)))) (sqrt.f64 (exp.f64 (.f64 (.f64 y y) x)))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))
	0.1b	(.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (exp.f64 (log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))

Status

Error

Program

▶

0.0b

(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 x y) y)))) (sqrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 x y) y))))

0.1b

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

Compiler

Compiled 9389 to 1586 computations (83.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(exp.f64 (.f64 (.f64 x y) y))
✓	0.1b	(exp.f64 (.f64 (.f64 y y) x))
	0.1b	(.f64 (.f64 x y) y)
✓	7.2b	(.f64 (.f64 y y) x)

series13.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

8.0ms	(.f64 (.f64 y y) x)
5.0ms	(exp.f64 (.f64 (.f64 y y) x))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 33

Calls

2 calls:

5.0ms	(.f64 (.f64 y y) x)
1.0ms	(exp.f64 (.f64 (.f64 y y) x))

simplify68.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

494×	`associate-l_binary64`
458×	`associate-+l+_binary64`
427×	`distribute-rgt-out_binary64`
425×	`associate-+r+_binary64`
389×	`associate-r_binary64`

Counts

81 → 44

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	69	799
1	149	751
2	438	743
3	1543	741
4	2634	736
5	4963	736

prune124.0ms (2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	160	2	162

Error

0.0b

Counts

162 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 x y) y)))) (sqrt.f64 (exp.f64 (.f64 (.f64 y y) x)))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))
▶	0.1b	(.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (exp.f64 (log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))

Status

Error

Program

✓

0.0b

(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 x y) y)))) (sqrt.f64 (exp.f64 (*.f64 (*.f64 y y) x)))) (cbrt.f64 (exp.f64 (*.f64 (*.f64 x y) y))))

▶

0.1b

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

Compiler

Compiled 4688 to 928 computations (80.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))
	0.1b	(exp.f64 (.f64 (.f64 x y) y))
	0.1b	(.f64 (.f64 x y) y)
✓	2.3b	(log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))

series2.7s (43.8%)

Counts

2 → 48

Calls

2 calls:

2.3s	(log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))
415.0ms	(exp.f64 (log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`exp-sum_binary64`

Counts

2 → 39

Calls

2 calls:

3.0ms	(log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))
2.0ms	(exp.f64 (log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))

simplify80.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

963×	`fma-def_binary64`
318×	`distribute-rgt-in_binary64`
316×	`distribute-lft-in_binary64`
299×	`*-commutative_binary64`
272×	`log-prod_binary64`

Counts

87 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	77	1323
1	127	1224
2	280	1197
3	882	1129
4	2022	1109
5	4755	1109
6	5196	1109

prune229.0ms (3.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	247	1	248
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	247	3	250

Error

0.0b

Counts

250 → 3

Alt Table

Status	Error	Program
✓	0.1b	(.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (exp.f64 (log.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))
	0.1b	(.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))) (.f64 (exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))) (exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 x y) y)))))))) (cbrt.f64 (exp.f64 (.f64 (*.f64 x y) y))))
✓	0.0b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (.f64 (.f64 x y) y)))) (sqrt.f64 (exp.f64 (.f64 (.f64 y y) x)))) (cbrt.f64 (exp.f64 (.f64 (.f64 x y) y))))

Compiler

Compiled 7594 to 1384 computations (81.8% saved)

regimes233.0ms (3.7%)

Accuracy

Total 0.0b remaining (15.7%)

Threshold costs 0.0b (15.7%)

Counts

50 → 1

Compiler

Compiled 5458 to 2664 computations (51.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	20	39
2	20	39

end107.0ms (1.7%)

Compiler: Compiled 144 to 65 computations (54.9% saved)

Details

analyze81.0ms (1.3%)

sample776.0ms (12.4%)

simplify72.0ms (1.2%)

prune2.0ms (0%)

localize4.0ms (0.1%)

series12.0ms (0.2%)

rewrite13.0ms (0.2%)

simplify51.0ms (0.8%)

prune23.0ms (0.4%)

localize7.0ms (0.1%)

series1.2s (19.1%)

rewrite11.0ms (0.2%)

simplify124.0ms (2%)

prune249.0ms (4%)

localize13.0ms (0.2%)

series13.0ms (0.2%)

rewrite7.0ms (0.1%)

simplify68.0ms (1.1%)

prune124.0ms (2%)

localize9.0ms (0.1%)

series2.7s (43.8%)

rewrite7.0ms (0.1%)

simplify80.0ms (1.3%)

prune229.0ms (3.7%)

regimes233.0ms (3.7%)

simplify2.0ms (0%)

end107.0ms (1.7%)

Profiling