Details

Time bar (total: 13.6s)

analyze852.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
0%99.8%0.2%7
15.6%84.2%0.2%8
15.6%84.2%0.2%9
20.3%79.5%0.2%10
25.3%74.5%0.2%11
34.2%65.6%0.2%12
37.4%62%0.6%13
41.7%57.7%0.6%14

sample26.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
4.0ms93×body80invalid

simplify293.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (274.0ms)

IterNodesCost
0158516
1158516

prune4.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

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
0.2b
(/.f64 y (*.f64 z 3))
0.2b
(*.f64 (*.f64 z 3) y)
6.1b
(/.f64 t (*.f64 (*.f64 z 3) y))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
14×*-un-lft-identity_binary64_12037
9×pow1_binary64_11979 add-cube-cbrt_binary64_12008 add-sqr-sqrt_binary64_12022 add-log-exp_binary64_12002
7×prod-exp_binary64_11984 cbrt-unprod_binary64_12006
6×associate-/l*_binary64_12101 times-frac_binary64_12032
5×div-exp_binary64_11986 cbrt-undiv_binary64_12007
3×pow-prod-down_binary64_11960 associate-*r*_binary64_12096
2×div-inv_binary64_12038 frac-add_binary64_12027 distribute-lft-out_binary64_12081 clear-num_binary64_12040 associate-/r*_binary64_12100 sum-log_binary64_11947 frac-2neg_binary64_12030
1×sub-neg_binary64_12041 associate-+l+_binary64_12089 +-commutative_binary64_12104 distribute-lft-out--_binary64_12082 diff-log_binary64_11948 associate-*l*_binary64_12097 *-commutative_binary64_12105 flip-+_binary64_12062 flip3-+_binary64_12035 flip3--_binary64_12036 associate-+l-_binary64_12091 flip--_binary64_12063
Counts
4 → 80
Calls
4 calls:
14.0ms
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
5.0ms
(/.f64 y (*.f64 z 3))
6.0ms
(*.f64 (*.f64 z 3) y)
7.0ms
(/.f64 t (*.f64 (*.f64 z 3) y))

series3.4s

Counts
4 → 12
Calls
4 calls:
1.8s
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
232.0ms
(/.f64 y (*.f64 z 3))
119.0ms
(*.f64 (*.f64 z 3) y)
1.3s
(/.f64 t (*.f64 (*.f64 z 3) y))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0733573
1733573
035402718
135402718
0733573
1733573
035402718
135402718
013
113
0942399
1942399
0152223
1152223
0942399
1942399
0152223
1152223
013
113
01202451
11202451
047751431
147751431
01202451
11202451
047751431
147751431
013
113
0784680
1784680
035124509
135124509
0784680
1784680
035124509
135124509
013
113

simplify60.0ms

Counts
92 → 92
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050161266

prune91.0ms

Filtered
63 candidates to 92 candidates (-46.0%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New86692
Fresh011
Picked101
Done000
Total87794

Merged error: 0b

Counts
94 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)
2.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (*.f64 z 3)) (/.f64 (cbrt.f64 t) y))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log_binary64_12001
32×add-cbrt-cube_binary64_12009
29×add-sqr-sqrt_binary64_12022
22×associate-*r*_binary64_12096
21×times-frac_binary64_12032 *-un-lft-identity_binary64_12037 add-cube-cbrt_binary64_12008
19×cbrt-prod_binary64_12004
18×prod-exp_binary64_11984 cbrt-unprod_binary64_12006
13×div-exp_binary64_11986 cbrt-undiv_binary64_12007
6×pow1_binary64_11979
5×associate-*l*_binary64_12097
4×add-log-exp_binary64_12002
3×unswap-sqr_binary64_12065 pow1/3_binary64_11971
2×div-inv_binary64_12038
1×pow-prod-down_binary64_11960 associate-*l/_binary64_12099 frac-times_binary64_12029 *-commutative_binary64_12105 associate-*r/_binary64_12098
Counts
4 → 95
Calls
4 calls:
2.0ms
(cbrt.f64 t)
2.0ms
(cbrt.f64 t)
2.0ms
(cbrt.f64 t)
22.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (*.f64 z 3)) (/.f64 (cbrt.f64 t) y))

series486.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(cbrt.f64 t)
90.0ms
(cbrt.f64 t)
90.0ms
(cbrt.f64 t)
214.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (*.f64 z 3)) (/.f64 (cbrt.f64 t) y))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0713729
1713729
051513501
0713729
1713729
051513501
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113

simplify125.0ms

Counts
107 → 107
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
052541328

prune95.0ms

Filtered
74 candidates to 107 candidates (-44.6%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1070107
Fresh066
Picked011
Done000
Total1077114

Merged error: 0b

Counts
114 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))
0.2b
(/.f64 y (*.f64 z 3))
0.2b
(/.f64 t (*.f64 z 3))
5.1b
(/.f64 (/.f64 t (*.f64 z 3)) y)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac_binary64_12032
29×*-un-lft-identity_binary64_12037
24×add-cube-cbrt_binary64_12008 add-sqr-sqrt_binary64_12022
23×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
13×associate-/l*_binary64_12101
9×div-exp_binary64_11986 cbrt-undiv_binary64_12007 add-log-exp_binary64_12002
7×div-inv_binary64_12038
5×associate-/r*_binary64_12100
4×pow1_binary64_11979
3×prod-exp_binary64_11984 clear-num_binary64_12040 cbrt-unprod_binary64_12006 frac-2neg_binary64_12030
2×frac-add_binary64_12027 distribute-lft-out_binary64_12081 sum-log_binary64_11947
1×sub-neg_binary64_12041 associate-+l+_binary64_12089 +-commutative_binary64_12104 distribute-lft-out--_binary64_12082 diff-log_binary64_11948 flip-+_binary64_12062 associate-/l/_binary64_12103 flip3-+_binary64_12035 flip3--_binary64_12036 associate-+l-_binary64_12091 flip--_binary64_12063
Counts
4 → 108
Calls
4 calls:
20.0ms
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))
6.0ms
(/.f64 y (*.f64 z 3))
5.0ms
(/.f64 t (*.f64 z 3))
8.0ms
(/.f64 (/.f64 t (*.f64 z 3)) y)

series3.7s

Counts
4 → 12
Calls
4 calls:
1.8s
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 t (*.f64 z 3)) y))
234.0ms
(/.f64 y (*.f64 z 3))
243.0ms
(/.f64 t (*.f64 z 3))
1.5s
(/.f64 (/.f64 t (*.f64 z 3)) y)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0843573
1843573
036122718
136122718
0843573
1843573
036122718
136122718
013
113
01202451
11202451
047751431
147751431
01202451
11202451
047751431
147751431
013
113
01202451
11202451
047751431
147751431
01202451
11202451
047751431
147751431
013
113
0784680
1784680
040354500
140354500
0784680
1784680
040354500
140354500
013
113

simplify137.0ms

Counts
120 → 120
Iterations

Useful iterations: 0 (105.0ms)

IterNodesCost
049601800
149601800

prune97.0ms

Filtered
88 candidates to 120 candidates (-36.4%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1191120
Fresh145
Picked011
Done011
Total1207127

Merged error: 0b

Counts
127 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t z) 3) y))
0.2b
(/.f64 (/.f64 t z) 3)
0.2b
(/.f64 y (*.f64 z 3))
5.1b
(/.f64 (/.f64 (/.f64 t z) 3) y)

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac_binary64_12032
237×*-un-lft-identity_binary64_12037
232×add-cube-cbrt_binary64_12008 add-sqr-sqrt_binary64_12022
59×associate-/l*_binary64_12101
23×div-inv_binary64_12038 add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
11×div-exp_binary64_11986 cbrt-undiv_binary64_12007
9×add-log-exp_binary64_12002
7×associate-/r*_binary64_12100
4×pow1_binary64_11979
3×clear-num_binary64_12040 frac-2neg_binary64_12030
2×frac-add_binary64_12027 distribute-lft-out_binary64_12081 sum-log_binary64_11947 associate-/l/_binary64_12103
1×sub-neg_binary64_12041 associate-+l+_binary64_12089 +-commutative_binary64_12104 prod-exp_binary64_11984 distribute-lft-out--_binary64_12082 diff-log_binary64_11948 flip-+_binary64_12062 flip3-+_binary64_12035 cbrt-unprod_binary64_12006 flip3--_binary64_12036 associate-+l-_binary64_12091 flip--_binary64_12063
Counts
4 → 301
Calls
4 calls:
59.0ms
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t z) 3) y))
8.0ms
(/.f64 (/.f64 t z) 3)
6.0ms
(/.f64 y (*.f64 z 3))
16.0ms
(/.f64 (/.f64 (/.f64 t z) 3) y)

series2.6s

Counts
4 → 12
Calls
4 calls:
1.3s
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t z) 3) y))
149.0ms
(/.f64 (/.f64 t z) 3)
242.0ms
(/.f64 y (*.f64 z 3))
972.0ms
(/.f64 (/.f64 (/.f64 t z) 3) y)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0923180
1923180
025132727
125132727
0923180
1923180
025132727
125132727
013
113
01202451
11202451
047751431
147751431
01202451
11202451
047751431
147751431
013
113
01292125
11292125
0161395
1161395
01292125
11292125
0161395
1161395
013
113
0814680
1814680
047084509
147084509
0814680
1814680
047084509
147084509
013
113

simplify126.0ms

Counts
313 → 313
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
053736907

prune309.0ms

Filtered
263 candidates to 313 candidates (-19.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New3130313
Fresh044
Picked011
Done022
Total3137320

Merged error: 0b

Counts
320 → 7

regimes82.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03534
13534

end0.0ms

sample797.0ms

Algorithm
intervals
Results
368.0ms8000×body80valid
139.0ms3033×body80invalid

Profiling

Loading profile data...