Details

analyze838.0ms (26.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4840	8
1	4840	8
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.3%	24.4%	11
31.4%	44.3%	24.4%	12
31.4%	44%	24.5%	13
31.5%	43.8%	24.8%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample54.0ms (1.7%)

Algorithm

1×

intervals

Results

23.0ms	78×	body	1024	valid
6.0ms	40×	body	512	valid
6.0ms	13×	body	2048	valid
5.0ms	106×	body	128	valid
2.0ms	19×	body	256	valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify64.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4840	8
1	4840	8

prune6.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 1 (exp.f64 x))

rewrite16.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
1×	`sum-log_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `flip3-+_binary64` `flip-+_binary64` `distribute-lft-out_binary64` `+-commutative_binary64`

Counts

1 → 12

Calls

1 calls:

5.0ms

(+.f64 1 (exp.f64 x))

Compiler

Compiled 133 to 90 computations (32.3% saved)

series35.0ms (1.1%)

Error

Counts

1 → 6

Calls

1 calls:

30.0ms

(+.f64 1 (exp.f64 x))

Compiler

Compiled 94 to 84 computations (10.6% saved)

simplify75.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4904	168
1	4904	168

prune13.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	2	19

Error

Counts

19 → 2

Compiler

Compiled 164 to 116 computations (29.3% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (+.f64 2 (.f64 1/2 (.f64 x x))))
0.0b	(.f64 1/2 (.f64 x x))
12.3b	(sqrt.f64 (+.f64 x (+.f64 2 (.f64 1/2 (.f64 x x)))))

rewrite65.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`pow1_binary64` `*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
4×	`sqrt-prod_binary64`
3×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `sum-log_binary64`
2×	`flip3-+_binary64` `sqrt-div_binary64` `flip-+_binary64` `distribute-lft-out_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `unswap-sqr_binary64` `associate-r_binary64` `*-commutative_binary64` `associate-+r+_binary64` `+-commutative_binary64`

Counts

3 → 49

Calls

3 calls:

6.0ms	(.f64 1/2 (.f64 x x))
6.0ms	(+.f64 x (+.f64 2 (.f64 1/2 (.f64 x x))))
5.0ms	(sqrt.f64 (+.f64 x (+.f64 2 (.f64 1/2 (.f64 x x)))))

Compiler

Compiled 888 to 572 computations (35.6% saved)

series137.0ms (4.2%)

Error

Counts

3 → 18

Calls

3 calls:

59.0ms	(+.f64 x (+.f64 2 (.f64 1/2 (.f64 x x))))
40.0ms	(sqrt.f64 (+.f64 x (+.f64 2 (.f64 1/2 (.f64 x x)))))
27.0ms	(.f64 1/2 (.f64 x x))

Compiler

Compiled 462 to 417 computations (9.7% saved)

simplify94.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4928	924
1	4928	924

prune50.0ms (1.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	67	2	69

Error

Counts

69 → 2

Compiler

Compiled 913 to 608 computations (33.4% saved)

regimes71.0ms (2.2%)

Accuracy

Total 0.0b remaining (17.5%)

Threshold costs 0.0b (17.5%)

Compiler

Compiled 365 to 324 computations (11.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	8	8

end0.0ms (0%)

sample1.7s (52.4%)

Algorithm

1×

intervals

Results

769.0ms	2644×	body	1024	valid
224.0ms	1372×	body	512	valid
145.0ms	3018×	body	128	valid
95.0ms	272×	body	2048	valid
69.0ms	694×	body	256	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 99 to 88 computations (11.1% saved)

Details

analyze838.0ms (26.1%)

sample54.0ms (1.7%)

simplify64.0ms (2%)

prune6.0ms (0.2%)

localize5.0ms (0.2%)

rewrite16.0ms (0.5%)

series35.0ms (1.1%)

simplify75.0ms (2.3%)

prune13.0ms (0.4%)

localize7.0ms (0.2%)

rewrite65.0ms (2%)

series137.0ms (4.2%)

simplify94.0ms (2.9%)

prune50.0ms (1.6%)

regimes71.0ms (2.2%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.7s (52.4%)

Profiling