Details

analyze142.0ms (1%)

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
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	49.9%	0.1%	5
49.9%	25%	25.1%	6
49.9%	25%	25.1%	7
49.9%	25%	25.1%	8
49.9%	12.5%	37.6%	9
49.9%	12.5%	37.6%	10
49.9%	12.5%	37.6%	11
49.9%	6.2%	43.8%	12
49.9%	6.2%	43.8%	13
49.9%	6.2%	43.8%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.9s (14.1%)

Results

1.4s	8253×	body	128	valid
205.0ms	1065×	body	128	invalid
1.0ms	2×	body	1024	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify211.0ms (1.5%)

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)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series557.0ms (4%)

Counts

2 → 60

Calls

2 calls:

409.0ms	(*.f64 x (log.f64 y))
147.0ms	(-.f64 (*.f64 x (log.f64 y)) z)

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
6×	`associate--l+_binary64`

Counts

2 → 53

Calls

2 calls:

9.0ms	(*.f64 x (log.f64 y))
7.0ms	(-.f64 (*.f64 x (log.f64 y)) z)

simplify207.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

991×	`fma-def_binary64`
454×	`fma-neg_binary64`
371×	`unsub-neg_binary64`
370×	`associate-l_binary64`
287×	`*-commutative_binary64`

Counts

113 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1016
1	223	985
2	663	980
3	1719	980
4	3380	980
5	4870	980
6	4952	980
7	4888	980

prune144.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	78	6	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	6	85

Error

0.0b

Counts

85 → 6

Alt Table

Status	Error	Program
	39.9b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 z 3)) (+.f64 (.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y))) (+.f64 (.f64 z z) (.f64 (*.f64 x (log.f64 y)) z)))) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
▶	0.1b	(-.f64 (fma.f64 x (log.f64 y) (neg.f64 z)) y)
	33.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	31.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	28.6b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z))) y)

Compiler

Compiled 1411 to 514 computations (63.6% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (log.f64 y) (neg.f64 z))

series248.0ms (1.8%)

Counts

1 → 36

Calls

1 calls:

248.0ms

(fma.f64 x (log.f64 y) (neg.f64 z))

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 x (log.f64 y) (neg.f64 z))

simplify137.0ms (1%)

Algorithm

1×	egg-herbie

Rules

897×	`fma-neg_binary64`
509×	`neg-sub0_binary64`
464×	`neg-mul-1_binary64`
449×	`sub-neg_binary64`
358×	`distribute-rgt-neg-out_binary64`

Counts

46 → 24

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	435
1	63	416
2	128	414
3	313	414
4	1069	414
5	2225	414
6	3799	414
7	4372	414
8	5012	414

prune34.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	24	6	30

Error

0.0b

Counts

30 → 6

Alt Table

Status	Error	Program
	39.9b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 z 3)) (+.f64 (.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y))) (+.f64 (.f64 z z) (.f64 (*.f64 x (log.f64 y)) z)))) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (neg.f64 z)) y)
	33.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	31.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	28.6b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z))) y)

Compiler

Compiled 511 to 212 computations (58.5% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series6.4s (46.3%)

Counts

4 → 84

Calls

4 calls:

2.2s	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
2.1s	(*.f64 x (log.f64 (cbrt.f64 y)))
2.0s	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
64.0ms	(cbrt.f64 y)

rewrite39.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
15×	`cbrt-prod_binary64`

Counts

4 → 94

Calls

4 calls:

11.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
10.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
8.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
1.0ms	(cbrt.f64 y)

simplify199.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

731×	`fma-neg_binary64`
502×	`fma-def_binary64`
375×	`*-commutative_binary64`
346×	`cancel-sign-sub-inv_binary64`
279×	`distribute-rgt-neg-in_binary64`

Counts

178 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2256
1	336	1937
2	1137	1744
3	3238	1736
4	4453	1736
5	4816	1736

prune462.0ms (3.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	170	3	173
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	172	7	179

Error

Counts

179 → 7

Alt Table

Status	Error	Program
	31.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	39.9b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 z 3)) (+.f64 (.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y))) (+.f64 (.f64 z z) (.f64 (*.f64 x (log.f64 y)) z)))) y)
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (neg.f64 z)) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (pow.f64 y 2/3))))) (.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
	28.6b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z))) y)

Compiler

Compiled 4096 to 1725 computations (57.9% saved)

localize38.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓	0.5b	(cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
	0.6b	(cbrt.f64 y)
✓	0.6b	(cbrt.f64 (cbrt.f64 y))

series1.0s (7.5%)

Counts

3 → 36

Calls

3 calls:

511.0ms	(cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
454.0ms	(cbrt.f64 (cbrt.f64 y))
62.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`cbrt-prod_binary64`
21×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
10×	`pow1_binary64`

Counts

3 → 69

Calls

3 calls:

8.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
3.0ms	(cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
2.0ms	(cbrt.f64 (cbrt.f64 y))

simplify209.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

688×	`log-prod_binary64`
518×	`unswap-sqr_binary64`
511×	`associate-l_binary64`
355×	`sqr-pow_binary64`
327×	`associate-r_binary64`

Counts

105 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	78	933
1	129	933
2	379	885
3	1413	809
4	2301	781
5	2525	781
6	4672	781
7	4850	781

prune460.0ms (3.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	170	7	177

Error

Counts

177 → 7

Alt Table

Status	Error	Program
	31.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	39.9b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 z 3)) (+.f64 (.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y))) (+.f64 (.f64 z z) (.f64 (*.f64 x (log.f64 y)) z)))) y)
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (neg.f64 z)) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (pow.f64 y 2/3))))) (.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
	28.6b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z))) y)

Compiler

Compiled 5620 to 2132 computations (62.1% saved)

regimes987.0ms (7.2%)

Accuracy

Total 0.1b remaining (90%)

Threshold costs 0.1b (90%)

Counts

111 → 1

Compiler

Compiled 10442 to 6448 computations (38.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	48
1	33	48
2	41	48
3	45	48
4	47	48
5	47	48

end242.0ms (1.8%)

Compiler: Compiled 218 to 133 computations (39% saved)

Details

analyze142.0ms (1%)

sample1.9s (14.1%)

simplify211.0ms (1.5%)

prune3.0ms (0%)

localize12.0ms (0.1%)

series557.0ms (4%)

rewrite20.0ms (0.1%)

simplify207.0ms (1.5%)

prune144.0ms (1%)

localize11.0ms (0.1%)

series248.0ms (1.8%)

rewrite1.0ms (0%)

simplify137.0ms (1%)

prune34.0ms (0.3%)

localize28.0ms (0.2%)

series6.4s (46.3%)

rewrite39.0ms (0.3%)

simplify199.0ms (1.4%)

prune462.0ms (3.4%)

localize38.0ms (0.3%)

series1.0s (7.5%)

rewrite18.0ms (0.1%)

simplify209.0ms (1.5%)

prune460.0ms (3.3%)

regimes987.0ms (7.2%)

simplify7.0ms (0%)

end242.0ms (1.8%)

Profiling