Details

Time bar (total: 9.2s)

analyze796.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
0%100%0%4
0%100%0%5
0%100%0%6
0%100%0%7
0%100%0%8
0%100%0%9
0%100%0%10
0%100%0%11
0%100%0%12
3%46.9%50%13
3.1%46.8%50%14

sample74.0ms

Algorithm
intervals
Results
31.0ms81×body2560valid
21.0ms80×body1280valid
9.0ms47×body640valid
4.0ms29×body320valid
1.0ms15×body160valid
0.0ms4×body80valid

simplify128.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
0488421
1488421

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.4b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b
(*.f64 5 (*.f64 v v))
0.4b
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×add-sqr-sqrt_binary64
3×pow-prod-down_binary64 *-un-lft-identity_binary64 cbrt-unprod_binary64 add-cube-cbrt_binary64 associate-*l*_binary64 prod-exp_binary64
2×add-log-exp_binary64 insert-posit16
1×acos-asin_binary64 associate-*r*_binary64 unswap-sqr_binary64 *-commutative_binary64
Counts
2 → 29
Calls
2 calls:
7.0ms
(*.f64 5 (*.f64 v v))
1.0ms
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))

series582.0ms

Counts
2 → 6
Calls
2 calls:
228.0ms
(*.f64 5 (*.f64 v v))
354.0ms
(acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0741813
1741813
0221680
1221680
0741813
1741813
0221680
1221680
0562042
0264357
1264357
03333
13333
0264357
1264357
03333
13333
01539
11539

simplify124.0ms

Counts
35 → 35
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
05780485

prune31.0ms

Filtered
26 candidates to 35 candidates (-34.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New33235
Fresh000
Picked101
Done000
Total34236

Merged error: 0.4b

Counts
36 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b
(*.f64 125 (pow.f64 v 6))
0.4b
(acos.f64 (/.f64 (-.f64 1 (cbrt.f64 (*.f64 125 (pow.f64 v 6)))) (-.f64 (*.f64 v v) 1)))
21.5b
(cbrt.f64 (*.f64 125 (pow.f64 v 6)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
8×add-exp-log_binary64
7×associate-*r*_binary64
6×*-un-lft-identity_binary64 add-cube-cbrt_binary64
5×add-cbrt-cube_binary64
4×unpow-prod-down_binary64
3×add-log-exp_binary64 pow1_binary64 associate-*l*_binary64 unswap-sqr_binary64 prod-exp_binary64 insert-posit16
2×sqr-pow_binary64
1×pow-to-exp_binary64 cbrt-unprod_binary64 acos-asin_binary64 pow1/3_binary64 cbrt-prod_binary64 pow-exp_binary64 *-commutative_binary64
Counts
3 → 45
Calls
3 calls:
6.0ms
(*.f64 125 (pow.f64 v 6))
1.0ms
(acos.f64 (/.f64 (-.f64 1 (cbrt.f64 (*.f64 125 (pow.f64 v 6)))) (-.f64 (*.f64 v v) 1)))
4.0ms
(cbrt.f64 (*.f64 125 (pow.f64 v 6)))

series1.2s

Counts
3 → 9
Calls
3 calls:
248.0ms
(*.f64 125 (pow.f64 v 6))
411.0ms
(acos.f64 (/.f64 (-.f64 1 (cbrt.f64 (*.f64 125 (pow.f64 v 6)))) (-.f64 (*.f64 v v) 1)))
526.0ms
(cbrt.f64 (*.f64 125 (pow.f64 v 6)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0541651
1541651
051491610
0541651
1541651
051491610
0483226
1483226
0941815
1941815
01111707
11111707
0941815
1941815
01111707
11111707
0489059
1489059
0451756
1451756
0139
1139
0451756
1451756
0139
1139
013
113

simplify142.0ms

Counts
54 → 54
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
04924683
14924683

prune51.0ms

Filtered
42 candidates to 54 candidates (-28.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New54054
Fresh011
Picked011
Done000
Total54256

Merged error: 0.4b

Counts
56 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod_binary64
23×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
11×pow1_binary64
9×pow1/3_binary64
6×swap-sqr_binary64 associate-*r*_binary64 add-exp-log_binary64 associate-*l*_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 insert-posit16
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 77
Calls
4 calls:
7.0ms
(*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))
1.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))

series1.4s

Counts
4 → 12
Calls
4 calls:
353.0ms
(*.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))) (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1)))))
369.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
354.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
363.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
Iterations

Useful iterations: 0 (190.0ms)

IterNodesCost
0821831
1821831
0231698
1231698
0821831
1821831
0231698
1231698
0562150
0821831
1821831
0231698
1231698
0821831
1821831
0231698
1231698
0562150
0821831
1821831
0231698
1231698
0821831
1821831
0231698
1231698
0562150
01532126
11532126
01301869
11301869
01532126
11532126
01301869
11301869
0495571
1495571

simplify152.0ms

Counts
89 → 89
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
048172576
148172576

prune156.0ms

Filtered
67 candidates to 89 candidates (-32.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New87289
Fresh000
Picked011
Done011
Total87491

Merged error: 0.4b

Counts
91 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0b
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0b
(pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 5)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×unpow-prod-down_binary64
5×pow1_binary64 add-exp-log_binary64
4×add-log-exp_binary64 pow1/3_binary64 add-cbrt-cube_binary64 insert-posit16
3×pow-unpow_binary64
2×pow-pow_binary64
1×pow-to-exp_binary64 sqr-pow_binary64 pow-exp_binary64
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
1.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
4.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 5)

series1.4s

Counts
4 → 12
Calls
4 calls:
350.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
358.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
350.0ms
(cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))
391.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))))) 5)
Iterations

Useful iterations: 0 (186.0ms)

IterNodesCost
03201876
13201876
05821743
15821743
03201876
13201876
05821743
15821743
0506765
0821831
1821831
0231698
1231698
0821831
1821831
0231698
1231698
0562150
0821831
1821831
0231698
1231698
0821831
1821831
0231698
1231698
0562150
0821831
1821831
0231698
1231698
0821831
1821831
0231698
1231698
0562150

simplify130.0ms

Counts
73 → 73
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049222254
149222254

prune184.0ms

Filtered
65 candidates to 73 candidates (-12.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New71273
Fresh101
Picked101
Done112
Total74377

Merged error: 0.3b

Counts
77 → 3

regimes88.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.5b and baseline of 0.6b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03723
13723

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s2929×body2560valid
685.0ms2539×body1280valid
250.0ms1284×body640valid
88.0ms612×body320valid
42.0ms419×body160valid
13.0ms217×body80valid
0.0ms7×body80nan

Profiling

Loading profile data...