Details

analyze641.0ms (7.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
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	62.4%	37.6%	5
0%	56.2%	43.8%	6
6.2%	49.9%	43.8%	7
9.4%	43.7%	47%	8
14%	37.4%	48.5%	9
21.1%	30.4%	48.5%	10
24.6%	26.1%	49.3%	11
28.7%	21.6%	49.7%	12
33.4%	16.9%	49.7%	13
35.8%	14.3%	49.9%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.9s (21.7%)

Results

1.7s	8254×	body	128	valid
10.0ms	61×	body	128	invalid
1.0ms	2×	body	512	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify167.0ms (1.9%)

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

series646.0ms (7.2%)

Counts

3 → 96

Calls

3 calls:

362.0ms	(*.f64 x (log.f64 y))
165.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
119.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

rewrite39.0ms (0.4%)

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:

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

simplify159.0ms (1.8%)

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

prune208.0ms (2.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	155	4	159
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	156	4	160

Error

0.0b

Counts

160 → 4

Alt Table

Status	Error	Program
	0.1b	(+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (-.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 y)) x) z) y))
	26.1b	(-.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 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 2592 to 697 computations (73.1% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (log.f64 (cbrt.f64 y)))
✓	0.3b	(.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)

series2.9s (32.8%)

Counts

4 → 84

Calls

4 calls:

1.1s	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
928.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
892.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
56.0ms	(cbrt.f64 y)

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

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

simplify109.0ms (1.2%)

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

prune159.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	173	4	177

Error

Counts

177 → 4

Alt Table

Status	Error	Program
✓	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 (-.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 (log.f64 (sqrt.f64 y)) x) (-.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 y)) x) z) y))
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) z) y)

Compiler

Compiled 3953 to 1644 computations (58.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series587.0ms (6.5%)

Counts

4 → 58

Calls

4 calls:

234.0ms	(*.f64 (log.f64 (sqrt.f64 y)) x)
150.0ms	(+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (-.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 y)) x) z) y))
119.0ms	(-.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 y)) x) z) y)
84.0ms	(-.f64 (*.f64 (log.f64 (sqrt.f64 y)) x) z)

rewrite29.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
29×	`*-un-lft-identity_binary64`
27×	`prod-diff_binary64`
27×	`add-cube-cbrt_binary64`
20×	`associate-+r+_binary64`

Counts

4 → 119

Calls

4 calls:

9.0ms	(+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (-.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 y)) x) z) y))
6.0ms	(-.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 y)) x) z) y)
3.0ms	(*.f64 (log.f64 (sqrt.f64 y)) x)
3.0ms	(-.f64 (*.f64 (log.f64 (sqrt.f64 y)) x) z)

simplify135.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

929×	`fma-neg_binary64`
431×	`distribute-rgt-in_binary64`
421×	`distribute-lft-in_binary64`
270×	`*-commutative_binary64`
234×	`exp-prod_binary64`

Counts

177 → 181

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	185	2573
1	376	2216
2	1241	2094
3	3682	2086
4	4813	2080
5	4962	2080
6	4942	2080

prune151.0ms (1.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	207	0	207
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	207	4	211

Error

Counts

211 → 4

Alt Table

Status	Error	Program
✓	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 (-.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 (log.f64 (sqrt.f64 y)) x) (-.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 y)) x) z) y))
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) z) y)

Compiler

Compiled 4785 to 870 computations (81.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 (cbrt.f64 y))
✓	0.6b	(cbrt.f64 (pow.f64 y 2/3))
	0.6b	(cbrt.f64 y)
✓	6.1b	(pow.f64 y 2/3)

series277.0ms (3.1%)

Counts

3 → 36

Calls

3 calls:

231.0ms	(cbrt.f64 (cbrt.f64 y))
24.0ms	(cbrt.f64 (pow.f64 y 2/3))
22.0ms	(pow.f64 y 2/3)

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
6×	`unpow-prod-down_binary64`

Counts

3 → 52

Calls

3 calls:

1.0ms	(pow.f64 y 2/3)
1.0ms	(cbrt.f64 (pow.f64 y 2/3))
1.0ms	(cbrt.f64 (cbrt.f64 y))

simplify84.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

881×	`fma-def_binary64`
596×	`unswap-sqr_binary64`
563×	`log-prod_binary64`
397×	`exp-prod_binary64`
301×	`log-pow_binary64`

Counts

88 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	84	697
1	136	681
2	287	650
3	921	616
4	2377	616
5	3673	616
6	4859	616
7	4827	616

prune102.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	97	4	101

Error

Counts

101 → 4

Alt Table

Status	Error	Program
✓	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 (-.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 (log.f64 (sqrt.f64 y)) x) (-.f64 (-.f64 (.f64 (log.f64 (sqrt.f64 y)) x) z) y))
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) z) y)

Compiler

Compiled 2650 to 1420 computations (46.4% saved)

regimes408.0ms (4.5%)

Accuracy

Total 0.1b remaining (84.4%)

Threshold costs 0.1b (84.4%)

Counts

103 → 1

Compiler

Compiled 6690 to 4168 computations (37.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-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	12	25
1	18	25
2	26	25
3	30	25
4	32	25
5	32	25

end85.0ms (0.9%)

Compiler: Compiled 125 to 75 computations (40% saved)

Details

analyze641.0ms (7.1%)

sample1.9s (21.7%)

simplify167.0ms (1.9%)

prune3.0ms (0%)

localize12.0ms (0.1%)

series646.0ms (7.2%)

rewrite39.0ms (0.4%)

simplify159.0ms (1.8%)

prune208.0ms (2.3%)

localize23.0ms (0.3%)

series2.9s (32.8%)

rewrite23.0ms (0.3%)

simplify109.0ms (1.2%)

prune159.0ms (1.8%)

localize8.0ms (0.1%)

series587.0ms (6.5%)

rewrite29.0ms (0.3%)

simplify135.0ms (1.5%)

prune151.0ms (1.7%)

localize21.0ms (0.2%)

series277.0ms (3.1%)

rewrite5.0ms (0.1%)

simplify84.0ms (0.9%)

prune102.0ms (1.1%)

regimes408.0ms (4.5%)

simplify2.0ms (0%)

end85.0ms (0.9%)

Profiling