Details

Time bar (total: 1.1s)

analyze16.0ms (1.4%)

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

Compiled 9 to 6 computations (33.3% saved)

sample13.0ms (1.2%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify8.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
1910
2810

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
14.1b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 16 to 10 computations (37.5% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite24.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
14.1b
Rules
9×*-un-lft-identity_binary64
9×times-frac_binary64
9×add-sqr-sqrt_binary64
9×add-cube-cbrt_binary64
3×associate-/r*_binary64
Counts
1 → 29
Calls

1 calls:

4.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 461 to 236 computations (48.8% saved)

series15.0ms (1.3%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

10.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 213 to 163 computations (23.5% saved)

simplify84.0ms (7.4%)

Algorithm
1×egg-herbie
Rules
432×cancel-sign-sub-inv_binary64
385×div-sub_binary64
331×times-frac_binary64
305×distribute-rgt-out_binary64
257×associate-/l*_binary64
Counts
41 → 33
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
078723
1179673
2445673
3986673
42837673
54388673
64931673

prune17.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New31233
Fresh000
Picked011
Done000
Total31334
Error
0b
Counts
34 → 3
Alt Table
StatusErrorProgram
▶14.2b
(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
32.5b
(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 5)))
✓14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 494 to 281 computations (43.1% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

rewrite67.0ms (5.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
84×times-frac_binary64
52×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
52×add-cube-cbrt_binary64
16×associate-/r*_binary64
Counts
2 → 105
Calls

2 calls:

5.0ms
(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
4.0ms
(/.f64 (+.f64 1 (*.f64 x x)) x)
Compiler

Compiled 2077 to 1251 computations (39.8% saved)

series22.0ms (1.9%)

Error
0b
Counts
2 → 18
Calls

2 calls:

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

Compiled 287 to 219 computations (23.7% saved)

simplify158.0ms (13.9%)

Algorithm
1×egg-herbie
Rules
444×div-sub_binary64
330×cancel-sign-sub-inv_binary64
311×times-frac_binary64
272×distribute-rgt-in_binary64
257×sub-neg_binary64
Counts
123 → 86
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01202458
12632215
26972188
317462188
429562188
541012188
649352188
749102188

prune20.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New85186
Fresh101
Picked101
Done011
Total87289
Error
0b
Counts
89 → 2
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 1 (+.f64 x (/.f64 1 x)))
✓14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 729 to 413 computations (43.3% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

rewrite24.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
24×*-un-lft-identity_binary64
18×times-frac_binary64
13×add-exp-log_binary64
12×add-sqr-sqrt_binary64
12×add-cube-cbrt_binary64
Counts
1 → 45
Calls

1 calls:

6.0ms
(/.f64 1 (+.f64 x (/.f64 1 x)))
Compiler

Compiled 525 to 404 computations (23% saved)

series12.0ms (1.1%)

Error
0b
Counts
1 → 12
Calls

1 calls:

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

Compiled 213 to 163 computations (23.5% saved)

simplify101.0ms (8.9%)

Algorithm
1×egg-herbie
Rules
631×div-sub_binary64
451×associate-/l/_binary64
332×cancel-sign-sub-inv_binary64
319×associate-/r/_binary64
231×sub-neg_binary64
Counts
57 → 41
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
067792
1158745
2345745
3739745
41949724
53640721
64959721
74945721

prune10.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New41041
Fresh000
Picked011
Done011
Total41243
Error
0b
Counts
43 → 2
Alt Table
StatusErrorProgram
0.1b
(/.f64 1 (+.f64 x (/.f64 1 x)))
14.1b
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 240 to 175 computations (27.1% saved)

regimes123.0ms (10.8%)

Accuracy

Total 0.1b remaining (97%)

Threshold costs 0.1b (97%)

Compiler

Compiled 920 to 581 computations (36.8% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
1910
2810

end0.0ms (0%)

Compiler

Compiled 8 to 6 computations (25% saved)

sample402.0ms (35.4%)

Algorithm
1×intervals
Results
213.0ms8000×body128valid
Compiler

Compiled 34 to 24 computations (29.4% saved)

Profiling

Loading profile data...