Details

Time bar (total: 7.2s)

analyze1.3s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.8%98%0.3%13
2.4%97.3%0.3%14

sample32.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
5.0ms120×body80invalid

simplify23.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
08119
18119

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
0.0b
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
6.5b
(*.f64 (*.f64 a z) b)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
17×add-log-exp_binary64
9×sum-log_binary64
8×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
3×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64 insert-posit16
2×flip3-+_binary64 associate-+l+_binary64 +-commutative_binary64 flip-+_binary64
1×associate-*l*_binary64 *-commutative_binary64
Counts
3 → 48
Calls
3 calls:
11.0ms
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
7.0ms
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
6.0ms
(*.f64 (*.f64 a z) b)

series769.0ms

Counts
3 → 9
Calls
3 calls:
324.0ms
(+.f64 (+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a)) (*.f64 (*.f64 a z) b))
253.0ms
(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))
193.0ms
(*.f64 (*.f64 a z) b)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0268231
1268231
089
189
0268231
1268231
089
189
013
113
0389279
1389279
099
199
0389279
1389279
099
199
013
113
0565507
1565507
099
199
0565507
1565507
099
199
013
113

simplify87.0ms

Counts
57 → 57
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
05071852

prune41.0ms

Filtered
39 candidates to 57 candidates (-46.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New53457
Fresh011
Picked101
Done000
Total54559

Merged error: 0.0b

Counts
59 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

6.5b
(*.f64 (*.f64 a z) b)
15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))
15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))
15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 insert-posit16
3×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 pow1/3_binary64 prod-exp_binary64 cbrt-prod_binary64
1×associate-*l*_binary64 *-commutative_binary64
Counts
4 → 49
Calls
4 calls:
6.0ms
(*.f64 (*.f64 a z) b)
5.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
4.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
5.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))

series897.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(*.f64 (*.f64 a z) b)
232.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
237.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
234.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151
0268231
1268231
089
189
0268231
1268231
089
189
013
113

simplify130.0ms

Counts
61 → 61
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
05041635

prune56.0ms

Filtered
49 candidates to 61 candidates (-24.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New60161
Fresh044
Picked011
Done000
Total60666

Merged error: 0.0b

Counts
66 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))
15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))
15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))
15.2b
(cbrt.f64 (*.f64 (*.f64 a z) b))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity_binary64 add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 insert-posit16 cbrt-prod_binary64
Counts
4 → 40
Calls
4 calls:
5.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
5.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
5.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
5.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))

series930.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
233.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
230.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
237.0ms
(cbrt.f64 (*.f64 (*.f64 a z) b))
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151
01291689
11291689
07427
17427
01291689
11291689
07427
17427
031151
131151

simplify280.0ms

Counts
52 → 52
Iterations

Useful iterations: 0 (259.0ms)

IterNodesCost
04821616
14821616

prune74.0ms

Filtered
48 candidates to 52 candidates (-8.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New51152
Fresh044
Picked011
Done011
Total51758

Merged error: 0.0b

Counts
58 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 t (*.f64 z b))
0.0b
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
0.0b
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
2.5b
(*.f64 a (+.f64 t (*.f64 z b)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp_binary64
8×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
6×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×sum-log_binary64
4×flip3-+_binary64 insert-posit16 flip-+_binary64
3×associate-*r*_binary64 associate-*l*_binary64 +-commutative_binary64 associate-+r+_binary64
2×associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
4 → 64
Calls
4 calls:
4.0ms
(+.f64 t (*.f64 z b))
5.0ms
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
8.0ms
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
7.0ms
(*.f64 a (+.f64 t (*.f64 z b)))

series1.1s

Counts
4 → 12
Calls
4 calls:
195.0ms
(+.f64 t (*.f64 z b))
307.0ms
(+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b))))
370.0ms
(+.f64 x (+.f64 (*.f64 y z) (*.f64 a (+.f64 t (*.f64 z b)))))
248.0ms
(*.f64 a (+.f64 t (*.f64 z b)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0381291
1381291
089
189
0381291
1381291
089
189
013
113
0595447
1595447
0109
1109
0595447
1595447
0109
1109
013
113
0483411
1483411
0109
1109
0483411
1483411
0109
1109
013
113
0268159
1268159
089
189
0268159
1268159
089
189
013
113

simplify93.0ms

Counts
76 → 76
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
051771163

prune48.0ms

Filtered
58 candidates to 76 candidates (-31.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New75176
Fresh134
Picked011
Done022
Total76783

Merged error: 0.0b

Counts
83 → 7

regimes143.0ms

Accuracy

42.6% (1.2b remaining)

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

bsearch32.0ms

Steps
ItersRangePoint
10
-3.1568579817347675e-13
-4.320061765691623e-26
-1.126003272541865e-23

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03971
13971

end0.0ms

sample962.0ms

Algorithm
intervals
Results
365.0ms8000×body80valid
176.0ms3905×body80invalid

Profiling

Loading profile data...