Details

Time bar (total: 1.2s)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2
Compiler

Compiled 8 to 6 computations (25% saved)

sample10.0ms (0.8%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 12 computations (20% saved)

simplify157.0ms (12.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0810
1810

prune5.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.2b

Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

15.2b
(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite9.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
9×times-frac_binary64_420 add-cube-cbrt_binary64_446 *-un-lft-identity_binary64_414 add-sqr-sqrt_binary64_435
3×add-exp-log_binary64_449 add-cbrt-cube_binary64_447 associate-/l*_binary64_361 associate-/r*_binary64_360
2×associate-/r/_binary64_362
1×clear-num_binary64_413 pow1_binary64_472 flip3-+_binary64_417 div-inv_binary64_411 cbrt-undiv_binary64_445 add-log-exp_binary64_450 flip-+_binary64_388 frac-2neg_binary64_425 div-exp_binary64_462
Counts
1 → 29
Calls

1 calls:

7.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

series49.0ms (4%)

Counts
1 → 3
Calls

1 calls:

49.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

simplify55.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05078550

prune34.0ms (2.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New30232
Fresh000
Picked011
Done000
Total30333

Merged error: 0b

Counts
33 → 3
Compiler

Compiled 484 to 268 computations (44.6% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) 1) x))
15.2b
(/.f64 (+.f64 (*.f64 x x) 1) x)

rewrite26.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64_420
52×add-cube-cbrt_binary64_446 *-un-lft-identity_binary64_414 add-sqr-sqrt_binary64_435
16×associate-/r*_binary64_360
15×add-exp-log_binary64_449
9×add-cbrt-cube_binary64_447
8×div-exp_binary64_462
6×div-inv_binary64_411 associate-/l*_binary64_361
4×cbrt-undiv_binary64_445
3×pow1_binary64_472
2×1-exp_binary64_455 clear-num_binary64_413 rec-exp_binary64_461 add-log-exp_binary64_450 frac-2neg_binary64_425 associate-/l/_binary64_363
1×associate-/r/_binary64_362 flip3-+_binary64_417 inv-pow_binary64_496 pow-flip_binary64_485 flip-+_binary64_388
Counts
2 → 105
Calls

2 calls:

9.0ms
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) 1) x))
7.0ms
(/.f64 (+.f64 (*.f64 x x) 1) x)

series148.0ms (12%)

Counts
2 → 6
Calls

2 calls:

94.0ms
(/.f64 (+.f64 (*.f64 x x) 1) x)
54.0ms
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) 1) x))

simplify98.0ms (7.9%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
058822232

prune91.0ms (7.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1101111
Fresh101
Picked101
Done011
Total1122114

Merged error: 0b

Counts
114 → 2
Compiler

Compiled 1857 to 1063 computations (42.8% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 1 (+.f64 x (/.f64 1 x)))

rewrite13.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
24×*-un-lft-identity_binary64_414
18×times-frac_binary64_420
13×add-exp-log_binary64_449
12×add-cube-cbrt_binary64_446 add-sqr-sqrt_binary64_435
8×distribute-lft-out_binary64_367
6×associate-/r*_binary64_360
5×div-inv_binary64_411 rec-exp_binary64_461
4×cosh-undef_binary64_605
3×add-cbrt-cube_binary64_447 associate-/l*_binary64_361
2×associate-/r/_binary64_362 pow1_binary64_472 div-exp_binary64_462
1×1-exp_binary64_455 clear-num_binary64_413 flip3-+_binary64_417 inv-pow_binary64_496 pow-flip_binary64_485 cbrt-undiv_binary64_445 add-log-exp_binary64_450 flip-+_binary64_388 frac-2neg_binary64_425
Counts
1 → 45
Calls

1 calls:

9.0ms
(/.f64 1 (+.f64 x (/.f64 1 x)))

series33.0ms (2.7%)

Counts
1 → 3
Calls

1 calls:

33.0ms
(/.f64 1 (+.f64 x (/.f64 1 x)))

simplify88.0ms (7.2%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04899672
14899672

prune36.0ms (2.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New48048
Fresh000
Picked011
Done011
Total48250

Merged error: 0b

Counts
50 → 2
Compiler

Compiled 585 to 445 computations (23.9% saved)

regimes15.0ms (1.2%)

Compiler

Compiled 44 to 34 computations (22.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
1810

end0.0ms (0%)

sample348.0ms (28.2%)

Algorithm
1×intervals
Results
183.0ms8000×body128valid
Compiler

Compiled 36 to 30 computations (16.7% saved)

Profiling

Loading profile data...