Details

analyze108.0ms (6%)

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%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample764.0ms (42.8%)

Results

696.0ms	8256×	body	128	valid
37.0ms	420×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`associate-/r*_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	13	10

Stop Event

1×

saturated

Counts

1 → 2

prune2.0ms (0.1%)

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

5.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	5.5b	(-.f64 (/.f64 x (*.f64 y y)) 3)

Compiler

Compiled 34 to 20 computations (41.2% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	9.5b	(/.f64 x (*.f64 y y))

series22.0ms (1.3%)

Counts

1 → 24

Calls

1 calls:

22.0ms

(/.f64 x (*.f64 y y))

rewrite38.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

529×	`log1p-expm1-u_binary64`
529×	`expm1-log1p-u_binary64`
373×	`unpow-prod-down_binary64`
274×	`log-prod_binary64`
141×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	106	7
2	1456	7

Stop Event

1×	node limit

Counts

1 → 68

Calls

1 calls:

37.0ms

(/.f64 x (*.f64 y y))

simplify63.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

607×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
354×	`cube-prod_binary64`
335×	`associate-/l/_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	209	168
6	754	168
7	1962	168
8	2128	168
9	2312	168
10	2520	168
11	2811	168
12	3202	168
13	3680	168
14	4241	168
15	4925	168

Stop Event

1×	node limit

Counts

92 → 70

prune52.0ms (2.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	66	5	71

Error

0.0b

Counts

71 → 5

Alt Table

Status	Error	Program
	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
✓	5.5b	(-.f64 (/.f64 x (*.f64 y y)) 3)
▶	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)
	0.1b	(-.f64 (pow.f64 (/.f64 y (/.f64 x y)) -1) 3)
	30.6b	(-.f64 (pow.f64 (/.f64 (sqrt.f64 x) y) 2) 3)

Compiler

Compiled 1060 to 702 computations (33.8% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 x y) y)

series22.0ms (1.2%)

Counts

1 → 24

Calls

1 calls:

22.0ms

(/.f64 (/.f64 x y) y)

rewrite39.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

595×	`log1p-expm1-u_binary64`
595×	`expm1-log1p-u_binary64`
321×	`log-prod_binary64`
114×	`log-div_binary64`
103×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	109	7
2	1599	7

Stop Event

1×	node limit

Counts

1 → 42

Calls

1 calls:

38.0ms

(/.f64 (/.f64 x y) y)

simplify62.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

607×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
354×	`cube-prod_binary64`
335×	`associate-/l/_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	209	168
6	754	168
7	1962	168
8	2128	168
9	2312	168
10	2520	168
11	2811	168
12	3202	168
13	3680	168
14	4241	168
15	4925	168

Stop Event

1×	node limit

Counts

66 → 44

prune37.0ms (2.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	42	7	49

Error

0.0b

Counts

49 → 7

Alt Table

Status	Error	Program
	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
✓	5.5b	(-.f64 (/.f64 x (*.f64 y y)) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)
	29.9b	(-.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (/.f64 x y)) (cbrt.f64 y))) 3)
	1.5b	(-.f64 (*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 (/.f64 1 y) (cbrt.f64 y))) 3)
	0.4b	(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x y)) y)) 3)
▶	0.1b	(-.f64 (pow.f64 (/.f64 y (/.f64 x y)) -1) 3)

Compiler

Compiled 718 to 379 computations (47.2% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 y (/.f64 x y))
✓	0.5b	(pow.f64 (/.f64 y (/.f64 x y)) -1)

series40.0ms (2.2%)

Counts

2 → 48

Calls

2 calls:

29.0ms	(pow.f64 (/.f64 y (/.f64 x y)) -1)
10.0ms	(/.f64 y (/.f64 x y))

rewrite52.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

736×	`log1p-expm1-u_binary64`
736×	`expm1-log1p-u_binary64`
130×	`log1p-udef_binary64`
89×	`egg-rr`
76×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	152	14
2	2078	14

Stop Event

1×	node limit

Counts

2 → 89

Calls

2 calls:

50.0ms	(/.f64 y (/.f64 x y))
50.0ms	(pow.f64 (/.f64 y (/.f64 x y)) -1)

simplify55.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary64`
423×	`associate-*r/_binary64`
396×	`associate-/r/_binary64`
341×	`associate-/l/_binary64`
328×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	336
1	12	336
2	22	336
3	40	336
4	91	336
5	280	336
6	1113	336
7	3110	336
8	3912	336
9	4097	336
10	4313	336
11	4639	336

Stop Event

1×	node limit

Counts

137 → 91

prune75.0ms (4.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	91	7	98

Error

0.0b

Counts

98 → 7

Alt Table

Status	Error	Program
	29.8b	(-.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) 3)
✓	5.5b	(-.f64 (/.f64 x (*.f64 y y)) 3)
▶	0.1b	(-.f64 (/.f64 (/.f64 1 y) (/.f64 y x)) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)
	1.5b	(-.f64 (*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 (/.f64 1 y) (cbrt.f64 y))) 3)
	0.4b	(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x y)) y)) 3)
✓	0.1b	(-.f64 (pow.f64 (/.f64 y (/.f64 x y)) -1) 3)

Compiler

Compiled 1333 to 683 computations (48.8% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 1 y) (/.f64 y x))

series22.0ms (1.2%)

Counts

1 → 24

Calls

1 calls:

22.0ms

(/.f64 (/.f64 1 y) (/.f64 y x))

rewrite38.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

753×	`log1p-expm1-u_binary64`
753×	`expm1-log1p-u_binary64`
75×	`add-sqr-sqrt_binary64`
70×	`add-cbrt-cube_binary64`
69×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	152	7
2	2151	7

Stop Event

1×	node limit

Counts

1 → 42

Calls

1 calls:

38.0ms

(/.f64 (/.f64 1 y) (/.f64 y x))

simplify62.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

607×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
354×	`cube-prod_binary64`
335×	`associate-/l/_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	209	168
6	754	168
7	1962	168
8	2128	168
9	2312	168
10	2520	168
11	2811	168
12	3202	168
13	3680	168
14	4241	168
15	4925	168

Stop Event

1×	node limit

Counts

66 → 44

prune41.0ms (2.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	1	2	3
Picked	1	0	1
Done	0	3	3
Total	45	6	51

Error

0.0b

Counts

51 → 6

Alt Table

Status	Error	Program
✓	5.5b	(-.f64 (/.f64 x (*.f64 y y)) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)
	0.1b	(-.f64 (*.f64 (/.f64 -1 y) (/.f64 1 (/.f64 (neg.f64 y) x))) 3)
	1.5b	(-.f64 (*.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 (/.f64 1 y) (cbrt.f64 y))) 3)
	0.4b	(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x y)) y)) 3)
✓	0.1b	(-.f64 (pow.f64 (/.f64 y (/.f64 x y)) -1) 3)

Compiler

Compiled 614 to 421 computations (31.4% saved)

regimes89.0ms (5%)

Accuracy

Total 0.1b remaining (84.6%)

Threshold costs 0.1b (84.6%)

Counts

22 → 1

Compiler

Compiled 1509 to 1039 computations (31.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	11	10

Stop Event

1×

saturated

end72.0ms (4.1%)

Compiler: Compiled 97 to 67 computations (30.9% saved)

Details

analyze108.0ms (6%)

sample764.0ms (42.8%)

simplify7.0ms (0.4%)

prune2.0ms (0.1%)

localize5.0ms (0.3%)

series22.0ms (1.3%)

rewrite38.0ms (2.1%)

simplify63.0ms (3.6%)

prune52.0ms (2.9%)

localize4.0ms (0.2%)

series22.0ms (1.2%)

rewrite39.0ms (2.2%)

simplify62.0ms (3.5%)

prune37.0ms (2.1%)

localize6.0ms (0.3%)

series40.0ms (2.2%)

rewrite52.0ms (2.9%)

simplify55.0ms (3.1%)

prune75.0ms (4.2%)

localize5.0ms (0.3%)

series22.0ms (1.2%)

rewrite38.0ms (2.1%)

simplify62.0ms (3.5%)

prune41.0ms (2.3%)

regimes89.0ms (5%)

simplify2.0ms (0.1%)

end72.0ms (4.1%)

Profiling