Details

Time bar (total: 6.4s)

analyze407.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
0.0ms8×body80invalid

simplify27.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (12.0ms)

IterNodesCost
09610
19610

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.1b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(-.f64 y (*.f64 z t))
4.1b
(/.f64 x (-.f64 y (*.f64 z t)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×times-frac_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×associate-/r*_binary64 associate-/l*_binary64
2×pow1_binary64 flip3--_binary64 associate-/r/_binary64 insert-posit16 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
2 → 42
Calls
2 calls:
4.0ms
(-.f64 y (*.f64 z t))
6.0ms
(/.f64 x (-.f64 y (*.f64 z t)))

series553.0ms

Counts
2 → 6
Calls
2 calls:
195.0ms
(-.f64 y (*.f64 z t))
358.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0579450
1579450
089
189
0579450
1579450
089
189
013
113
0268159
1268159
089
189
0268159
1268159
089
189
013
113

simplify101.0ms

Counts
48 → 48
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
05161680

prune38.0ms

Filtered
38 candidates to 48 candidates (-26.3%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New43548
Fresh000
Picked011
Done000
Total43649

Merged error: 4.0b

Counts
49 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
1.7b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t))))
2.5b
(/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64
38×times-frac_binary64
34×*-un-lft-identity_binary64 add-cube-cbrt_binary64
28×cbrt-prod_binary64
24×associate-*r*_binary64
18×add-exp-log_binary64
11×add-cbrt-cube_binary64
9×pow1_binary64
6×cbrt-unprod_binary64 prod-exp_binary64 associate-/l*_binary64
4×add-log-exp_binary64 associate-/r/_binary64 insert-posit16
3×pow-prod-down_binary64 associate-/r*_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-exp_binary64
2×flip3--_binary64 pow1/3_binary64 div-inv_binary64 flip--_binary64
1×associate-*r/_binary64 associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 114
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
17.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t))))
7.0ms
(/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t)))

series1.9s

Counts
4 → 12
Calls
4 calls:
284.0ms
(cbrt.f64 x)
279.0ms
(cbrt.f64 x)
698.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t))))
601.0ms
(/.f64 (cbrt.f64 x) (-.f64 y (*.f64 z t)))
Iterations

Useful iterations: 0 (285.0ms)

IterNodesCost
04851737
14851737
05354
15354
04851737
14851737
05354
15354
0533112
06371863
16371863
08754
18754
06371863
16371863
08754
18754
0533112
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050

simplify165.0ms

Counts
126 → 126
Iterations

Useful iterations: 0 (128.0ms)

IterNodesCost
057352083

prune85.0ms

Filtered
102 candidates to 126 candidates (-23.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1260126
Fresh044
Picked011
Done011
Total1266132

Merged error: 4.0b

Counts
132 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 y (*.f64 z t))
1.0b
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
4.1b
(/.f64 (-.f64 y (*.f64 z t)) x)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac_binary64
53×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
16×associate-/r*_binary64 add-exp-log_binary64
10×add-cbrt-cube_binary64
8×div-exp_binary64
6×associate-/l*_binary64 div-inv_binary64
5×add-log-exp_binary64
4×pow1_binary64 cbrt-undiv_binary64
3×insert-posit16
2×associate-/l/_binary64 flip3--_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 associate-/r/_binary64 div-sub_binary64 inv-pow_binary64 pow-flip_binary64
Counts
3 → 120
Calls
3 calls:
4.0ms
(-.f64 y (*.f64 z t))
8.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
6.0ms
(/.f64 (-.f64 y (*.f64 z t)) x)

series1.0s

Counts
3 → 9
Calls
3 calls:
194.0ms
(-.f64 y (*.f64 z t))
571.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 z t)) x))
243.0ms
(/.f64 (-.f64 y (*.f64 z t)) x)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0384354
1384354
089
189
0384354
1384354
089
189
013
113
0527723
1527723
079
179
0527723
1527723
079
179
0557239
0268159
1268159
089
189
0268159
1268159
089
189
013
113

simplify131.0ms

Counts
129 → 129
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
056442400

prune70.0ms

Filtered
86 candidates to 129 candidates (-50.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1272129
Fresh123
Picked011
Done022
Total1287135

Merged error: 4.0b

Counts
135 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 y (*.f64 z t))
1.0b
(/.f64 1 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x)))
4.2b
(*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log_binary64
20×add-sqr-sqrt_binary64
18×div-exp_binary64
17×add-cbrt-cube_binary64
16×prod-exp_binary64
14×*-un-lft-identity_binary64 times-frac_binary64
13×associate-*r*_binary64 add-cube-cbrt_binary64
9×1-exp_binary64 rec-exp_binary64
8×pow1_binary64
6×associate-/r/_binary64
5×add-log-exp_binary64 flip3--_binary64 cbrt-undiv_binary64 flip--_binary64
4×cbrt-unprod_binary64 frac-times_binary64 associate-*l/_binary64
3×associate-*l*_binary64 unswap-sqr_binary64 associate-/l*_binary64 insert-posit16
2×pow-prod-down_binary64 associate-*r/_binary64 un-div-inv_binary64 div-inv_binary64 pow-flip_binary64
1×associate-/r*_binary64 sub-neg_binary64 diff-log_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
3 → 98
Calls
3 calls:
4.0ms
(-.f64 y (*.f64 z t))
11.0ms
(/.f64 1 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x)))
12.0ms
(*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))

series1.1s

Counts
3 → 9
Calls
3 calls:
193.0ms
(-.f64 y (*.f64 z t))
605.0ms
(/.f64 1 (*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x)))
270.0ms
(*.f64 (-.f64 y (*.f64 z t)) (/.f64 1 x))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0436447
1436447
069
169
0436447
1436447
069
169
013
113
0589870
1589870
079
179
0589870
1589870
079
179
0557239
0268159
1268159
089
189
0268159
1268159
089
189
013
113

simplify121.0ms

Counts
107 → 107
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
051551354

prune47.0ms

Filtered
63 candidates to 107 candidates (-69.8%)
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New1070107
Fresh033
Picked011
Done033
Total1077114

Merged error: 4.0b

Counts
114 → 7

regimes100.0ms

Accuracy

0% (0.1b remaining)

Error of 2.9b against oracle of 2.8b and baseline of 2.9b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03510
13510

end0.0ms

sample447.0ms

Algorithm
intervals
Results
225.0ms8000×body80valid
9.0ms345×body80invalid

Profiling

Loading profile data...