Details

analyze374.0ms (2.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.1%	28.1%	68.8%	9
4.7%	25%	70.4%	10
7%	20.3%	72.7%	11
10.5%	16.8%	72.7%	12
10.5%	16%	73.5%	13
12.3%	13.8%	73.9%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.6s (11.6%)

Results

1.3s	8253×	body	128	valid
61.0ms	425×	body	128	invalid
1.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify179.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2537×	`fma-neg_binary64`
490×	`associate--r-_binary64`
460×	`associate--l-_binary64`
401×	`distribute-rgt-in_binary64`
373×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	22	17
2	59	17
3	145	15
4	313	15
5	593	15
6	714	15
7	958	15
8	1168	15
9	1549	15
10	2712	15
11	2613	15
12	2654	15
13	2663	15
14	2669	15
15	2671	15
16	2759	15
17	2777	15
18	2785	15
19	2807	15
20	2793	15
21	2793	15
22	5107	15

prune3.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	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))

Compiler

Compiled 55 to 33 computations (40% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series760.0ms (5.6%)

Counts

4 → 132

Calls

4 calls:

391.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
219.0ms	(*.f64 x (log.f64 y))
95.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
55.0ms	(-.f64 (*.f64 x (log.f64 y)) y)

rewrite39.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`*-un-lft-identity_binary64`
44×	`associate--l+_binary64`
43×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`
27×	`prod-diff_binary64`

Counts

4 → 152

Calls

4 calls:

14.0ms	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
9.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
4.0ms	(-.f64 (*.f64 x (log.f64 y)) y)
3.0ms	(*.f64 x (log.f64 y))

simplify123.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1023×	`fma-neg_binary64`
638×	`distribute-rgt-in_binary64`
579×	`distribute-lft-in_binary64`
226×	`sub-neg_binary64`
131×	`fma-def_binary64`

Counts

284 → 251

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	257	3308
1	531	3200
2	1822	3122
3	4702	3122
4	4967	3122

prune169.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	248	3	251
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	248	4	252

Error

0.0b

Counts

252 → 4

Alt Table

Status	Error	Program
	0.3b	(+.f64 (-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) y) z) (log.f64 t))
	32.8b	(+.f64 (-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) y) z) (log.f64 t))
▶	0.1b	(+.f64 (-.f64 (-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t))
✓	0.1b	(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))

Compiler

Compiled 4946 to 1145 computations (76.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.4s (25%)

Counts

4 → 84

Calls

4 calls:

1.1s	(.f64 x (.f64 2 (log.f64 (cbrt.f64 y))))
1.1s	(*.f64 x (log.f64 (cbrt.f64 y)))
1.1s	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
34.0ms	(cbrt.f64 y)

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`log-prod_binary64`
60×	`distribute-lft-in_binary64`
60×	`distribute-rgt-in_binary64`
39×	`cbrt-prod_binary64`
34×	`add-sqr-sqrt_binary64`

Counts

4 → 142

Calls

4 calls:

7.0ms	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
5.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
5.0ms	(.f64 x (.f64 2 (log.f64 (cbrt.f64 y))))
1.0ms	(cbrt.f64 y)

simplify115.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

653×	`fma-def_binary64`
475×	`fma-neg_binary64`
440×	`*-commutative_binary64`
440×	`cancel-sign-sub-inv_binary64`
306×	`distribute-rgt-in_binary64`

Counts

226 → 231

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	3066
1	407	2725
2	1353	2500
3	3821	2492
4	4971	2492

prune258.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	245	4	249
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	248	5	253

Error

Counts

253 → 5

Alt Table

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

Compiler

Compiled 6694 to 2710 computations (59.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series2.6s (19.2%)

Counts

2 → 48

Calls

2 calls:

2.1s	(fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (cbrt.f64 y))))
450.0ms	(-.f64 (fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (cbrt.f64 y)))) y)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 41

Calls

2 calls:

5.0ms	(-.f64 (fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (cbrt.f64 y)))) y)
0.0ms	(fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (cbrt.f64 y))))

simplify107.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

659×	`fma-neg_binary64`
527×	`associate-l_binary64`
510×	`unswap-sqr_binary64`
440×	`associate-r_binary64`
388×	`exp-prod_binary64`

Counts

89 → 73

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	1582
1	185	1127
2	569	849
3	2984	840
4	4101	840
5	4987	840
6	4789	840

prune162.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	159	2	161
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	162	4	166

Error

Counts

166 → 4

Alt Table

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

Compiler

Compiled 4212 to 1614 computations (61.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (pow.f64 y 1/3))))
✓	0.3b	(*.f64 x (log.f64 (pow.f64 y 1/3)))
	0.6b	(cbrt.f64 y)
✓	5.2b	(pow.f64 y 1/3)

series2.8s (20.5%)

Counts

3 → 52

Calls

3 calls:

1.9s	(fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (pow.f64 y 1/3))))
831.0ms	(*.f64 x (log.f64 (pow.f64 y 1/3)))
23.0ms	(pow.f64 y 1/3)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`log-prod_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`unpow-prod-down_binary64`

Counts

3 → 65

Calls

3 calls:

4.0ms	(*.f64 x (log.f64 (pow.f64 y 1/3)))
1.0ms	(pow.f64 y 1/3)
0.0ms	(fma.f64 x (.f64 2 (log.f64 (cbrt.f64 y))) (.f64 x (log.f64 (pow.f64 y 1/3))))

simplify94.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

656×	`fma-def_binary64`
379×	`fma-neg_binary64`
352×	`*-commutative_binary64`
317×	`log-prod_binary64`
239×	`exp-prod_binary64`

Counts

117 → 106

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	137	1400
1	254	1141
2	751	1011
3	1660	966
4	3824	966
5	4853	966
6	4820	966

prune128.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	124	4	128

Error

Counts

128 → 4

Alt Table

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

Compiler

Compiled 3141 to 1653 computations (47.4% saved)

regimes495.0ms (3.7%)

Accuracy

Total 0.0b remaining (69.7%)

Threshold costs 0.0b (69.7%)

Counts

62 → 1

Compiler

Compiled 10560 to 6660 computations (36.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
4×	`*-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	18	31
1	25	31
2	33	31
3	37	31
4	39	31
5	39	31

end92.0ms (0.7%)

Compiler: Compiled 141 to 97 computations (31.2% saved)

Details

analyze374.0ms (2.8%)

sample1.6s (11.6%)

simplify179.0ms (1.3%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series760.0ms (5.6%)

rewrite39.0ms (0.3%)

simplify123.0ms (0.9%)

prune169.0ms (1.2%)

localize14.0ms (0.1%)

series3.4s (25%)

rewrite29.0ms (0.2%)

simplify115.0ms (0.9%)

prune258.0ms (1.9%)

localize15.0ms (0.1%)

series2.6s (19.2%)

rewrite8.0ms (0.1%)

simplify107.0ms (0.8%)

prune162.0ms (1.2%)

localize21.0ms (0.2%)

series2.8s (20.5%)

rewrite8.0ms (0.1%)

simplify94.0ms (0.7%)

prune128.0ms (1%)

regimes495.0ms (3.7%)

simplify3.0ms (0%)

end92.0ms (0.7%)

Profiling