Details

Time bar (total: 9.7s)

analyze3.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%25%25%3
50%12.5%37.5%4
50%6.2%43.8%5
50%3.1%46.9%6
50%1.6%48.5%7
50%0.8%49.2%8
50%0.4%49.6%9
50%0.2%49.8%10
50%0.1%49.9%11
50%0%50%12
50%0%50%13
50%0%50%14

sample14.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify63.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
043521
143521

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.4b

Counts
2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))
0.0b
(*.f64 6 (-.f64 x 1))
0.4b
(/.f64 (*.f64 6 (-.f64 x 1)) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64
10×*-un-lft-identity_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
7×associate-*r*_binary64 add-cube-cbrt_binary64
5×pow1_binary64
4×associate-*r/_binary64
3×associate-/r*_binary64 associate-*l*_binary64 times-frac_binary64 insert-posit16 sum-log_binary64
2×flip3-+_binary64 associate-/l/_binary64 sub-neg_binary64 flip3--_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 associate-/r/_binary64 prod-exp_binary64 difference-of-squares_binary64 div-exp_binary64 flip--_binary64 flip-+_binary64
1×pow-prod-down_binary64 associate-+l+_binary64 difference-of-sqr-1_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 div-inv_binary64 +-commutative_binary64 *-commutative_binary64
Counts
3 → 67
Calls
3 calls:
7.0ms
(+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))
9.0ms
(*.f64 6 (-.f64 x 1))
15.0ms
(/.f64 (*.f64 6 (-.f64 x 1)) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))

series1.2s

Counts
3 → 9
Calls
3 calls:
384.0ms
(+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))
305.0ms
(*.f64 6 (-.f64 x 1))
495.0ms
(/.f64 (*.f64 6 (-.f64 x 1)) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
06951391
16951391
056108
156108
06951391
16951391
056108
156108
0490575
1490575
0234171
1234171
089
189
0234171
1234171
089
189
0490036
1490036
0395528
1395528
0189
1189
0395528
1395528
0189
1189
0506342

simplify94.0ms

Counts
76 → 76
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
050311274

prune83.0ms

Filtered
61 candidates to 76 candidates (-24.6%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New70676
Fresh000
Picked101
Done000
Total71677

Merged error: 0b

Counts
77 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))
0.0b
(*.f64 6 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))
0.1b
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
60×add-sqr-sqrt_binary64
48×*-un-lft-identity_binary64
43×times-frac_binary64
27×associate-*r*_binary64 add-cube-cbrt_binary64
14×difference-of-squares_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
7×difference-of-sqr-1_binary64 associate-/l*_binary64 distribute-lft-out--_binary64
5×pow1_binary64
4×associate-/r/_binary64
3×flip3-+_binary64 associate-/r*_binary64 associate-*l*_binary64 insert-posit16 flip-+_binary64 sum-log_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-inv_binary64 div-exp_binary64
1×pow-prod-down_binary64 flip3--_binary64 associate-*r/_binary64 associate-+l+_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 +-commutative_binary64 flip--_binary64 *-commutative_binary64
Counts
3 → 110
Calls
3 calls:
8.0ms
(+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))
19.0ms
(*.f64 6 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))
13.0ms
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))

series1.7s

Counts
3 → 9
Calls
3 calls:
400.0ms
(+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))
684.0ms
(*.f64 6 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))
602.0ms
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
06331331
16331331
050261112
06331331
16331331
050261112
04735108
14735108
07341462
17341462
048531078
148531078
07341462
17341462
048531078
148531078
05327155
0395528
1395528
0189
1189
0395528
1395528
0189
1189
0506342

simplify112.0ms

Counts
119 → 119
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049663138
149663138

prune129.0ms

Filtered
88 candidates to 119 candidates (-35.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1163119
Fresh325
Picked101
Done000
Total1205125

Merged error: 0b

Counts
125 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))
0.0b
(*.f64 6 (log.f64 (exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))))
0.0b
(log.f64 (exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))))
0.1b
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
108×add-sqr-sqrt_binary64
93×*-un-lft-identity_binary64
84×times-frac_binary64
81×exp-prod_binary64
56×log-pow_binary64
54×add-cube-cbrt_binary64
31×associate-*r*_binary64
26×difference-of-squares_binary64
13×difference-of-sqr-1_binary64 distribute-lft-out--_binary64
9×log-prod_binary64
8×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-/r/_binary64
7×associate-/l*_binary64
5×add-log-exp_binary64
4×flip3-+_binary64 div-inv_binary64 insert-posit16 flip-+_binary64
3×associate-/r*_binary64 distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64 div-sub_binary64
2×associate-/l/_binary64 exp-diff_binary64
1×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 rem-exp-log_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-exp_binary64 log-div_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 180
Calls
4 calls:
16.0ms
(exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))
25.0ms
(*.f64 6 (log.f64 (exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))))
16.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))))
14.0ms
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))

series2.6s

Counts
4 → 12
Calls
4 calls:
681.0ms
(exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))
653.0ms
(*.f64 6 (log.f64 (exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))))))
692.0ms
(log.f64 (exp.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))))
609.0ms
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))
Iterations

Useful iterations: 0 (130.0ms)

IterNodesCost
06331331
16331331
050261112
06331331
16331331
050261112
04735108
14735108
07561551
17561551
051091112
07561551
17561551
051091112
04732108
14732108
08571677
18571677
072108
172108
08571677
18571677
072108
172108
0490575
1490575
06831441
16831441
049171222
149171222
06831441
16831441
049171222
149171222
04785116
14785116

simplify172.0ms

Counts
192 → 192
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
052874992

prune244.0ms

Filtered
144 candidates to 192 candidates (-33.3%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1920192
Fresh044
Picked011
Done000
Total1925197

Merged error: 0b

Counts
197 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 6 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3)))
0.1b
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))
0.1b
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3))
0.1b
(pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3)

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
190×add-sqr-sqrt_binary64
153×*-un-lft-identity_binary64
149×times-frac_binary64
126×cbrt-prod_binary64
87×add-cube-cbrt_binary64
83×unpow-prod-down_binary64 cube-prod_binary64
63×associate-*r*_binary64
44×difference-of-squares_binary64
22×difference-of-sqr-1_binary64 distribute-lft-out--_binary64
14×associate-/r/_binary64
11×add-exp-log_binary64
10×add-cbrt-cube_binary64
7×flip3-+_binary64 pow1_binary64 unswap-sqr_binary64 associate-/l*_binary64 div-inv_binary64 flip-+_binary64
4×add-log-exp_binary64 sqr-pow_binary64 insert-posit16
3×pow-unpow_binary64 associate-/r*_binary64 associate-*l*_binary64 cube-div_binary64 unpow3_binary64 cube-mult_binary64
2×cbrt-div_binary64 associate-/l/_binary64 cbrt-undiv_binary64 rem-cube-cbrt_binary64 div-exp_binary64 pow-exp_binary64
1×pow-to-exp_binary64 pow-prod-down_binary64 rem-cbrt-cube_binary64 flip3--_binary64 cbrt-unprod_binary64 associate-*r/_binary64 pow1/3_binary64 pow-pow_binary64 div-sub_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 281
Calls
4 calls:
34.0ms
(*.f64 6 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3)))
14.0ms
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))
18.0ms
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3))
19.0ms
(pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3)

series2.2s

Counts
4 → 12
Calls
4 calls:
518.0ms
(*.f64 6 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3)))
613.0ms
(/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x))))
431.0ms
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3))
632.0ms
(pow.f64 (/.f64 (-.f64 x 1) (+.f64 (+.f64 x 1) (*.f64 4 (sqrt.f64 x)))) 3)
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
08641644
18641644
051101306
08641644
18641644
051101306
05052245
0981821
1981821
049411553
149411553
0981821
1981821
049411553
149411553
07160
17160
06331331
16331331
050261112
06331331
16331331
050261112
04735108
14735108
01991848
11991848
051291635
01991848
11991848
051291635
04856101
14856101

simplify145.0ms

Counts
293 → 293
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050218906

prune232.0ms

Filtered
136 candidates to 293 candidates (-115.4%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2930293
Fresh033
Picked011
Done011
Total2935298

Merged error: 0b

Counts
298 → 5

regimes15.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02925
12925

end0.0ms

sample400.0ms

Algorithm
intervals
Results
312.0ms8000×body80valid
0.0ms1×body80nan

Profiling

Loading profile data...