Details

Time bar (total: 4.3s)

analyze522.0ms (12.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%50%25%4
25%37.5%37.5%5
25%31.2%43.8%6
25%28.1%46.9%7
25%26.5%48.5%8
25%25.8%49.2%9
25%25.4%49.6%10
25%25.2%49.8%11
25%25.1%49.9%12
25%25%50%13
25%25%50%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample76.0ms (1.8%)

Algorithm
1×intervals
Results
27.0ms126×body2048nan
16.0ms256×body128valid
11.0ms67×body1024nan
4.0ms33×body512nan
2.0ms21×body256nan
1.0ms18×body128nan
Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify164.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
871×fma-neg_binary64
804×unsub-neg_binary64
461×distribute-neg-in_binary64
434×sub-neg_binary64
338×distribute-rgt-out_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
11812
22212
33712
46412
511312
624712
750012
8156012
9251312
10321812
11360212
12380312
13397412
14407512
15439212
16483612
17489812
18490112

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
26.9b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶26.9b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
Compiler

Compiled 27 to 18 computations (33.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
25.0b
(sqrt.f64 (fma.f64 x x -1))

rewrite62.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
26.9b
Rules
13×add-cube-cbrt_binary64
10×add-sqr-sqrt_binary64
8×add-log-exp_binary64
8×pow1_binary64
6×*-un-lft-identity_binary64
Counts
2 → 76
Calls

2 calls:

16.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
10.0ms
(sqrt.f64 (fma.f64 x x -1))
Compiler

Compiled 947 to 640 computations (32.4% saved)

series22.0ms (0.5%)

Error
0b
Counts
2 → 10
Calls

2 calls:

9.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
8.0ms
(sqrt.f64 (fma.f64 x x -1))
Compiler

Compiled 276 to 221 computations (19.9% saved)

simplify78.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
725×times-frac_binary64
603×fma-neg_binary64
368×cancel-sign-sub-inv_binary64
334×distribute-rgt-in_binary64
280×div-sub_binary64
Counts
86 → 28
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
087807
1185782
2577768
31874763
44462763
54853763

prune18.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New27128
Fresh000
Picked011
Done000
Total27229
Error
0b
Counts
29 → 2
Alt Table
StatusErrorProgram
✓26.9b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
▶0.1b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 357 to 246 computations (31.1% saved)

localize5.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify10.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
26.9b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
0.1b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 17 to 12 computations (29.4% saved)

regimes26.0ms (0.6%)

Accuracy

Total 0.3b remaining (84.1%)

Threshold costs 0.3b (84.1%)

Compiler

Compiled 183 to 127 computations (30.6% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1710

end1.0ms (0%)

Compiler

Compiled 8 to 6 computations (25% saved)

sample3.3s (76.9%)

Algorithm
1×intervals
Results
951.0ms4010×body2048nan
902.0ms8000×body128valid
832.0ms2033×body1024nan
133.0ms968×body512nan
43.0ms510×body256nan
22.0ms478×body128nan
1.0ms4×body4096nan
Compiler

Compiled 37 to 27 computations (27% saved)

Profiling

Loading profile data...