Details

analyze95.0ms (10.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	7
1	19	7
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	37.5%	12.5%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 6 to 4 computations (33.3% saved)

sample8.0ms (0.9%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify7.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	19	7
1	19	7

prune6.0ms (0.7%)

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.0b

Counts

2 → 1

Compiler

Compiled 10 to 6 computations (40% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (*.f64 x x))

rewrite4.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_3868`
2×	`*-un-lft-identity_binary64_3829`
1×	`flip3-+_binary64_3832` `sum-log_binary64_3920` `add-exp-log_binary64_3867` `flip-+_binary64_3803` `add-cbrt-cube_binary64_3865` `distribute-rgt1-in_binary64_3785` `add-cube-cbrt_binary64_3864` `pow1_binary64_3890` `+-commutative_binary64_3759` `distribute-rgt-out_binary64_3782` `add-sqr-sqrt_binary64_3851`

Counts

1 → 13

Calls

1 calls:

3.0ms

(+.f64 x (*.f64 x x))

series28.0ms (2.9%)

Counts

1 → 3

Calls

1 calls:

27.0ms

(+.f64 x (*.f64 x x))

simplify74.0ms (7.8%)

Algorithm

1×	egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5054	156

prune10.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	2	17

Error

Counts

17 → 2

Compiler

Compiled 151 to 57 computations (62.3% saved)

localize6.0ms (0.7%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (*.f64 x x) (pow.f64 x 4))
0.0b	(-.f64 x (*.f64 x x))
31.1b	(/.f64 (-.f64 (.f64 x x) (pow.f64 x 4)) (-.f64 x (.f64 x x)))

rewrite26.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_3851`
30×	`times-frac_binary64_3835`
29×	`difference-of-squares_binary64_3798`
26×	`*-un-lft-identity_binary64_3829`
18×	`add-cube-cbrt_binary64_3864`
10×	`unpow-prod-down_binary64_3908`
8×	`cancel-sign-sub-inv_binary64_3795` `sqr-pow_binary64_3801` `distribute-rgt-out--_binary64_3783`
7×	`add-log-exp_binary64_3868`
6×	`associate-/l*_binary64_3774`
5×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `associate-/r*_binary64_3773`
4×	`flip--_binary64_3804` `flip3--_binary64_3833`
3×	`pow1_binary64_3890`
2×	`associate-/l/_binary64_3776` `associate-/r/_binary64_3775` `sub-neg_binary64_3822` `diff-log_binary64_3921`
1×	`div-inv_binary64_3826` `div-exp_binary64_3880` `clear-num_binary64_3828` `div-sub_binary64_3834` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840`

Counts

3 → 93

Calls

3 calls:

10.0ms	(/.f64 (-.f64 (.f64 x x) (pow.f64 x 4)) (-.f64 x (.f64 x x)))
6.0ms	(-.f64 (*.f64 x x) (pow.f64 x 4))
3.0ms	(-.f64 x (*.f64 x x))

series169.0ms (17.9%)

Counts

3 → 9

Calls

3 calls:

89.0ms	(/.f64 (-.f64 (.f64 x x) (pow.f64 x 4)) (-.f64 x (.f64 x x)))
50.0ms	(-.f64 (*.f64 x x) (pow.f64 x 4))
30.0ms	(-.f64 x (*.f64 x x))

simplify93.0ms (9.9%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4943	1950
1	4943	1950

prune77.0ms (8.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

104 → 2

Compiler

Compiled 1887 to 705 computations (62.6% saved)

regimes21.0ms (2.3%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 96 to 64 computations (33.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	5	7

end0.0ms (0%)

sample313.0ms (33.2%)

Algorithm

1×

intervals

Results

129.0ms

8000×

body

128

valid

Compiler

Compiled 53 to 36 computations (32.1% saved)

Details

analyze95.0ms (10.1%)

sample8.0ms (0.9%)

simplify7.0ms (0.8%)

prune6.0ms (0.7%)

localize3.0ms (0.3%)

rewrite4.0ms (0.4%)

series28.0ms (2.9%)

simplify74.0ms (7.8%)

prune10.0ms (1.1%)

localize6.0ms (0.7%)

rewrite26.0ms (2.8%)

series169.0ms (17.9%)

simplify93.0ms (9.9%)

prune77.0ms (8.1%)

regimes21.0ms (2.3%)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample313.0ms (33.2%)

Profiling