Details

analyze141.0ms (5.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample32.0ms (1.2%)

Algorithm

1×

intervals

Results

12.0ms	66×	body	1024	valid
4.0ms	131×	body	128	valid
4.0ms	35×	body	512	valid
2.0ms	7×	body	2048	valid
1.0ms	17×	body	256	valid

Compiler

Compiled 27 to 25 computations (7.4% saved)

simplify97.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

978×	`times-frac_binary64`
434×	`unswap-sqr_binary64`
378×	`associate-*l/_binary64`
351×	`associate-/l*_binary64`
345×	`exp-prod_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	19	15
2	25	15
3	33	15
4	57	15
5	109	15
6	227	15
7	585	15
8	1455	15
9	2454	15
10	4306	15
11	4537	15
12	4924	15
13	4813	15

prune7.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

30.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	30.2b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 24 to 22 computations (8.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
2.5b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

rewrite103.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

29.7b

Rules

24×	`*-un-lft-identity_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`times-frac_binary64`
12×	`add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `distribute-lft-out_binary64` `associate-/r*_binary64`

Counts

2 → 54

Calls

2 calls:

11.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
5.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))

Compiler

Compiled 958 to 874 computations (8.8% saved)

series32.0ms (1.2%)

Error

Counts

2 → 10

Calls

2 calls:

14.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
11.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))

Compiler

Compiled 260 to 225 computations (13.5% saved)

simplify106.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

641×	`distribute-rgt-in_binary64`
491×	`distribute-lft-in_binary64`
339×	`times-frac_binary64`
301×	`associate-l_binary64`
259×	`distribute-rgt-out_binary64`

Counts

64 → 56

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	108	1262
1	213	1217
2	444	1206
3	960	1203
4	2191	1203
5	4748	1203
6	4952	1203

prune39.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	55	2	57

Error

Counts

57 → 2

Alt Table

Status	Error	Program
▶	30.8b	(+.f64 (-.f64 x (.f64 1/3 (pow.f64 x 3))) (.f64 2/15 (pow.f64 x 5)))
✓	30.2b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 768 to 691 computations (10% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 2/15 (pow.f64 x 5))
0.1b	(*.f64 1/3 (pow.f64 x 3))
18.1b	(+.f64 (-.f64 x (.f64 1/3 (pow.f64 x 3))) (.f64 2/15 (pow.f64 x 5)))

rewrite82.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

22×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `unpow-prod-down_binary64`

Counts

3 → 71

Calls

3 calls:

6.0ms	(*.f64 1/3 (pow.f64 x 3))
6.0ms	(+.f64 (-.f64 x (.f64 1/3 (pow.f64 x 3))) (.f64 2/15 (pow.f64 x 5)))
5.0ms	(*.f64 2/15 (pow.f64 x 5))

Compiler

Compiled 1296 to 1024 computations (21% saved)

series36.0ms (1.4%)

Error

Counts

3 → 11

Calls

3 calls:

14.0ms	(+.f64 (-.f64 x (.f64 1/3 (pow.f64 x 3))) (.f64 2/15 (pow.f64 x 5)))
10.0ms	(*.f64 2/15 (pow.f64 x 5))
10.0ms	(*.f64 1/3 (pow.f64 x 3))

Compiler

Compiled 303 to 242 computations (20.1% saved)

simplify91.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

624×	`associate-+l+_binary64`
461×	`unswap-sqr_binary64`
337×	`cancel-sign-sub-inv_binary64`
325×	`log-prod_binary64`
298×	`*-commutative_binary64`

Counts

82 → 45

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	1112
1	289	1033
2	785	996
3	1971	996
4	4857	996
5	5037	996

prune28.0ms (1.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	45	2	47

Error

Counts

47 → 2

Alt Table

Status	Error	Program
	30.8b	(+.f64 (-.f64 x (.f64 1/3 (pow.f64 x 3))) (.f64 2/15 (pow.f64 x 5)))
	30.2b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 544 to 420 computations (22.8% saved)

regimes702.0ms (26.8%)

Accuracy

Total 0.7b remaining (98.4%)

Threshold costs 0.7b (98.4%)

Compiler

Compiled 4601 to 4180 computations (9.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 5 to 4 computations (20% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
5×	`*-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-mul-1_binary64` `neg-sub0_binary64` `cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
1×	`if-if-or-not_binary64` `1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	69
1	48	69
2	55	69
3	59	69
4	62	69
5	63	69
6	60	69

end2.0ms (0.1%)

Compiler: Compiled 47 to 40 computations (14.9% saved)

sample1.1s (41.9%)

Algorithm

1×

intervals

Results

399.0ms	2006×	body	1024	valid
147.0ms	4287×	body	128	valid
119.0ms	992×	body	512	valid
53.0ms	215×	body	2048	valid
44.0ms	500×	body	256	valid

Compiler

Compiled 89 to 77 computations (13.5% saved)

Details

analyze141.0ms (5.4%)

sample32.0ms (1.2%)

simplify97.0ms (3.7%)

prune7.0ms (0.3%)

localize6.0ms (0.2%)

rewrite103.0ms (3.9%)

series32.0ms (1.2%)

simplify106.0ms (4.1%)

prune39.0ms (1.5%)

localize9.0ms (0.3%)

rewrite82.0ms (3.1%)

series36.0ms (1.4%)

simplify91.0ms (3.5%)

prune28.0ms (1.1%)

regimes702.0ms (26.8%)

bsearch1.0ms (0%)

simplify5.0ms (0.2%)

end2.0ms (0.1%)

sample1.1s (41.9%)

Profiling