Details

Time bar (total: 1.9s)

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.5%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 12 computations (20% saved)

simplify163.0ms (8.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0810
1810

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.3b

Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64_423 times-frac_binary64_429 add-cube-cbrt_binary64_458 add-sqr-sqrt_binary64_445
3×add-exp-log_binary64_461 add-cbrt-cube_binary64_459 associate-/l*_binary64_368 associate-/r*_binary64_367
2×associate-/r/_binary64_369
1×flip-+_binary64_397 pow1_binary64_484 clear-num_binary64_422 flip3-+_binary64_426 frac-2neg_binary64_434 add-log-exp_binary64_462 div-inv_binary64_420 cbrt-undiv_binary64_457 div-exp_binary64_474
Counts
1 → 29
Calls

1 calls:

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

series51.0ms (2.7%)

Counts
1 → 3
Calls

1 calls:

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

simplify57.0ms (3%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05174550

prune109.0ms (5.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New28432
Fresh000
Picked101
Done000
Total29433

Merged error: 0b

Counts
33 → 4
Compiler

Compiled 1839 to 1142 computations (37.9% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0b
(/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) 1)))
14.2b
(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.2b
(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite40.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
38×add-sqr-sqrt_binary64_445
36×*-un-lft-identity_binary64_423 times-frac_binary64_429 add-cube-cbrt_binary64_458
30×sqrt-prod_binary64_439
12×associate-/r*_binary64_367
10×add-exp-log_binary64_461
8×sqrt-div_binary64_440 pow1_binary64_484 add-cbrt-cube_binary64_459
6×associate-/l*_binary64_368
4×flip-+_binary64_397 associate-/r/_binary64_369 flip3-+_binary64_426 add-log-exp_binary64_462
3×pow-flip_binary64_497 pow1/2_binary64_503 sqrt-pow1_binary64_441 div-exp_binary64_474
2×rem-sqrt-square_binary64_436 clear-num_binary64_422 frac-2neg_binary64_434 div-inv_binary64_420 cbrt-undiv_binary64_457
1×rec-exp_binary64_473 1-exp_binary64_467 inv-pow_binary64_508
Counts
4 → 118
Calls

4 calls:

10.0ms
(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
8.0ms
(/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) 1)))
5.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
5.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))

series198.0ms (10.5%)

Counts
4 → 12
Calls

4 calls:

71.0ms
(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
53.0ms
(/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) 1)))
38.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
35.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))

simplify84.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049822284
149822284

prune148.0ms (7.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1300130
Fresh033
Picked011
Done000
Total1304134

Merged error: 0b

Counts
134 → 4
Compiler

Compiled 3156 to 1978 computations (37.3% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite28.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64_429
52×*-un-lft-identity_binary64_423 add-cube-cbrt_binary64_458 add-sqr-sqrt_binary64_445
16×associate-/r*_binary64_367
15×add-exp-log_binary64_461
9×add-cbrt-cube_binary64_459
8×div-exp_binary64_474
6×div-inv_binary64_420 associate-/l*_binary64_368
4×cbrt-undiv_binary64_457
3×pow1_binary64_484
2×rec-exp_binary64_473 1-exp_binary64_467 associate-/l/_binary64_370 clear-num_binary64_422 frac-2neg_binary64_434 add-log-exp_binary64_462
1×flip-+_binary64_397 associate-/r/_binary64_369 flip3-+_binary64_426 pow-flip_binary64_497 inv-pow_binary64_508
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)

series155.0ms (8.3%)

Counts
2 → 6
Calls

2 calls:

106.0ms
(/.f64 (+.f64 (*.f64 x x) 1) x)
50.0ms
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) 1) x))

simplify100.0ms (5.3%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
058722232

prune96.0ms (5.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1101111
Fresh112
Picked101
Done011
Total1123115

Merged error: 0b

Counts
115 → 3
Compiler

Compiled 1957 to 1133 computations (42.1% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite20.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
28×*-un-lft-identity_binary64_423
18×times-frac_binary64_429
16×add-exp-log_binary64_461
13×add-cube-cbrt_binary64_458 add-sqr-sqrt_binary64_445
10×distribute-lft-out_binary64_374
6×rec-exp_binary64_473 div-inv_binary64_420 associate-/r*_binary64_367
5×2cosh-undef_binary64_619
4×add-cbrt-cube_binary64_459 add-log-exp_binary64_462
3×pow1_binary64_484 associate-/l*_binary64_368
2×flip-+_binary64_397 associate-/r/_binary64_369 flip3-+_binary64_426 div-exp_binary64_474
1×1-exp_binary64_467 +-commutative_binary64_353 clear-num_binary64_422 frac-2neg_binary64_434 pow-flip_binary64_497 inv-pow_binary64_508 cbrt-undiv_binary64_457 sum-log_binary64_514
Counts
2 → 59
Calls

2 calls:

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

series76.0ms (4%)

Counts
2 → 6
Calls

2 calls:

39.0ms
(+.f64 x (/.f64 1 x))
37.0ms
(/.f64 1 (+.f64 x (/.f64 1 x)))

simplify62.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
05198836

prune50.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh011
Picked011
Done011
Total65368

Merged error: 0b

Counts
68 → 3
Compiler

Compiled 819 to 614 computations (25% saved)

regimes19.0ms (1%)

Compiler

Compiled 116 to 80 computations (31% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
1810

end0.0ms (0%)

sample377.0ms (20%)

Algorithm
1×intervals
Results
181.0ms8000×body128valid
Compiler

Compiled 72 to 53 computations (26.4% saved)

Profiling

Loading profile data...