Details

Time bar (total: 5.1s)

analyze10.0ms

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

sample19.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify125.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
0511829

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log_binary64 add-cbrt-cube_binary64 frac-times_binary64
12×pow1_binary64 flip3--_binary64 flip--_binary64 sqrt-div_binary64
8×cbrt-unprod_binary64 associate-*r/_binary64 prod-exp_binary64 associate-*l/_binary64
6×pow-prod-down_binary64 associate-*r*_binary64 add-sqr-sqrt_binary64
5×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64 associate-*l*_binary64
2×add-log-exp_binary64 sub-neg_binary64 difference-of-squares_binary64 insert-posit16 *-commutative_binary64
1×cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 div-exp_binary64
Counts
2 → 62
Calls
2 calls:
19.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
7.0ms
(*.f64 3 (*.f64 v v))

series697.0ms

Counts
2 → 6
Calls
2 calls:
463.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
234.0ms
(*.f64 3 (*.f64 v v))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0264357
1264357
03333
13333
0264357
1264357
03333
13333
04133
14133
06911539
16911539
0106744
1106744
06911539
16911539
0106744
1106744
0495668
1495668

simplify146.0ms

Counts
68 → 68
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
049321780
149321780

prune75.0ms

Filtered
50 candidates to 68 candidates (-36.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New66268
Fresh000
Picked011
Done000
Total66369

Merged error: 0b

Counts
69 → 3

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(log.f64 (exp.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))))
0.0b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log_binary64 add-cbrt-cube_binary64
16×frac-times_binary64
14×pow1_binary64
12×flip3--_binary64 flip--_binary64 sqrt-div_binary64
8×cbrt-unprod_binary64 associate-*r/_binary64 prod-exp_binary64 add-sqr-sqrt_binary64 associate-*l/_binary64
7×*-un-lft-identity_binary64
6×pow-prod-down_binary64 associate-*r*_binary64 add-cube-cbrt_binary64
5×log-prod_binary64
4×add-log-exp_binary64 sub-neg_binary64 associate-*l*_binary64
3×log-pow_binary64 insert-posit16
2×distribute-lft-in_binary64 distribute-rgt-in_binary64 exp-sum_binary64 difference-of-squares_binary64 *-commutative_binary64
1×cbrt-undiv_binary64 rem-log-exp_binary64 unswap-sqr_binary64 div-exp_binary64 exp-to-pow_binary64 exp-prod_binary64
Counts
3 → 79
Calls
3 calls:
3.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))))
18.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
8.0ms
(*.f64 3 (*.f64 v v))

series1.2s

Counts
3 → 9
Calls
3 calls:
488.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))))
457.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
231.0ms
(*.f64 3 (*.f64 v v))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0264357
1264357
03333
13333
0264357
1264357
03333
13333
04133
14133
06911539
16911539
0106744
1106744
06911539
16911539
0106744
1106744
0495668
1495668
08141770
18141770
049251556
149251556
08141770
18141770
049251556
149251556
07145
17145

simplify157.0ms

Counts
88 → 88
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
049322447
149322447

prune101.0ms

Filtered
63 candidates to 88 candidates (-39.7%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh011
Picked011
Done011
Total88391

Merged error: 0b

Counts
91 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt.f64 (pow.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) 3))
0.0b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))
1.0b
(pow.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) 3)

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
48×frac-times_binary64
36×flip3--_binary64 flip--_binary64 sqrt-div_binary64
34×cube-div_binary64
28×add-exp-log_binary64 add-cbrt-cube_binary64
24×associate-*r/_binary64 associate-*l/_binary64
20×pow1_binary64
17×cbrt-div_binary64
13×cbrt-unprod_binary64 prod-exp_binary64
10×add-sqr-sqrt_binary64
9×pow-prod-down_binary64 *-un-lft-identity_binary64
8×add-cube-cbrt_binary64 cbrt-prod_binary64
6×associate-*r*_binary64
4×add-log-exp_binary64 associate-*l*_binary64 rem-cube-cbrt_binary64 insert-posit16 pow-exp_binary64
3×pow-unpow_binary64 pow-pow_binary64
2×sub-neg_binary64 cbrt-undiv_binary64 sqr-pow_binary64 unpow-prod-down_binary64 difference-of-squares_binary64 cube-prod_binary64 div-exp_binary64 unpow3_binary64 *-commutative_binary64 cube-mult_binary64
1×pow-to-exp_binary64 rem-cbrt-cube_binary64 pow1/3_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64
Counts
4 → 142
Calls
4 calls:
7.0ms
(cbrt.f64 (pow.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) 3))
18.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
7.0ms
(*.f64 3 (*.f64 v v))
20.0ms
(pow.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) 3)

series1.6s

Counts
4 → 12
Calls
4 calls:
369.0ms
(cbrt.f64 (pow.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) 3))
458.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
229.0ms
(*.f64 3 (*.f64 v v))
547.0ms
(pow.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v))) 3)
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
09211783
19211783
046081580
146081580
09211783
19211783
046081580
146081580
0513690
0264357
1264357
03333
13333
0264357
1264357
03333
13333
04133
14133
06911539
16911539
0106744
1106744
06911539
16911539
0106744
1106744
0495668
1495668
01011931
11011931
049701777
149701777
01011931
11011931
049701777
149701777
0513581

simplify126.0ms

Counts
154 → 154
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
053175127

prune221.0ms

Filtered
119 candidates to 154 candidates (-29.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1540154
Fresh000
Picked011
Done022
Total1543157

Merged error: 0b

Counts
157 → 3

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05529
15529

end0.0ms

sample486.0ms

Algorithm
intervals
Results
390.0ms8000×body80valid

Profiling

Loading profile data...