Details

Time bar (total: 4.9s)

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

sample20.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify182.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (165.0ms)

IterNodesCost
0505328

prune6.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.0b

Counts
2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
84×sqrt-div_binary64
77×flip3--_binary64 flip--_binary64
56×associate-*r/_binary64 consolidate-mult-outside_binary64
28×consolidate-/-/-b_binary64 associate-/r/_binary64 consolidate-mult-two_binary64 frac-times_binary64
25×add-exp-log_binary64 add-cbrt-cube_binary64
17×add-sqr-sqrt_binary64
16×pow1_binary64
14×associate-*l/_binary64
12×*-un-lft-identity_binary64
11×add-cube-cbrt_binary64
10×cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64
9×associate-*l*_binary64
7×pow-prod-down_binary64
4×add-log-exp_binary64 insert-posit16 sqrt-prod_binary64
3×cbrt-undiv_binary64 unswap-sqr_binary64 associate-/l*_binary64 times-frac_binary64 div-exp_binary64 *-commutative_binary64
2×difference-of-squares_binary64
1×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 186
Calls
4 calls:
19.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
16.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
15.0ms
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
8.0ms
(*.f64 (*.f64 v v) 6)

series599.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
148.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
156.0ms
(*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
120.0ms
(*.f64 (*.f64 v v) 6)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
026990
126990
099
199
026990
126990
099
199
013
113
0752079
1752079
02109
12109
0752079
1752079
02109
12109
013
113
0482043
1482043
01889
11889
0482043
1482043
01889
11889
013
113
0872106
1872106
03669
13669
0872106
1872106
03669
13669
013
113

simplify149.0ms

Counts
198 → 198
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
049975507
149975507

prune199.0ms

Filtered
111 candidates to 198 candidates (-78.4%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1953198
Fresh101
Picked011
Done000
Total1964200

Merged error: 0b

Counts
200 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 (*.f64 v v)))
0.0b
(/.f64 (*.f64 PI.f64 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (pow.f64 v 6)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 (*.f64 v v)))))
0.1b
(*.f64 (*.f64 v v) (*.f64 v v))
0.2b
(*.f64 (*.f64 v v) 6)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
120×pow1_binary64
44×flip3--_binary64 flip--_binary64
40×sqrt-div_binary64
36×pow-prod-up_binary64 associate-*r/_binary64 consolidate-mult-outside_binary64
30×add-exp-log_binary64 add-cbrt-cube_binary64
28×associate-/l/_binary64 consolidate-/-/-b_binary64_1
26×pow-prod-down_binary64
22×pow-sqr_binary64
18×pow-plus_binary64
16×consolidate-mult-two_binary64 frac-times_binary64
14×cbrt-unprod_binary64 prod-exp_binary64
13×pow2_binary64
9×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64 associate-*l/_binary64
7×add-cube-cbrt_binary64
6×add-log-exp_binary64
4×associate-/r*_binary64 associate-*r*_binary64 times-frac_binary64 insert-posit16
3×flip3-+_binary64 cbrt-undiv_binary64 div-exp_binary64 flip-+_binary64
2×distribute-lft-out_binary64 consolidate-/-/-b_binary64 associate-/r/_binary64 associate-*l*_binary64 unswap-sqr_binary64 *-commutative_binary64
1×swap-sqr_binary64 distribute-rgt-out_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 183
Calls
4 calls:
15.0ms
(+.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 (*.f64 v v)))
39.0ms
(/.f64 (*.f64 PI.f64 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (pow.f64 v 6)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 (*.f64 v v)))))
12.0ms
(*.f64 (*.f64 v v) (*.f64 v v))
11.0ms
(*.f64 (*.f64 v v) 6)

series542.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(+.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 (*.f64 v v)))
186.0ms
(/.f64 (*.f64 PI.f64 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (pow.f64 v 6)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 v v) (*.f64 v v)) (*.f64 1 (*.f64 v v)))))
112.0ms
(*.f64 (*.f64 v v) (*.f64 v v))
121.0ms
(*.f64 (*.f64 v v) 6)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
026990
126990
099
199
026990
126990
099
199
013
113
02991608
12991608
0419
1419
02991608
12991608
0419
1419
013
113
01062214
11062214
05289
15289
01062214
11062214
05289
15289
013
113
0361629
1361629
0359
1359
0361629
1361629
0359
1359
013
113

simplify145.0ms

Counts
195 → 195
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
050443914

prune166.0ms

Filtered
79 candidates to 195 candidates (-146.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1950195
Fresh022
Picked011
Done011
Total1954199

Merged error: 0b

Counts
199 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (*.f64 v (pow.f64 v 3))))
0.0b
(/.f64 (*.f64 PI.f64 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (*.f64 v (pow.f64 v 3))))) (+.f64 1 (*.f64 v v)))
0.1b
(*.f64 v (pow.f64 v 3))
0.2b
(*.f64 (*.f64 v v) 6)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
55×flip3--_binary64 flip--_binary64
50×sqrt-div_binary64
38×associate-*r/_binary64 consolidate-mult-outside_binary64
28×associate-/l/_binary64 consolidate-/-/-b_binary64_1
26×add-sqr-sqrt_binary64
25×add-exp-log_binary64
22×add-cbrt-cube_binary64
20×consolidate-mult-two_binary64 frac-times_binary64
18×associate-*r*_binary64
14×*-un-lft-identity_binary64 add-cube-cbrt_binary64
12×pow1_binary64
10×associate-*l*_binary64 prod-exp_binary64 associate-*l/_binary64
8×cbrt-unprod_binary64
7×unswap-sqr_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 unpow-prod-down_binary64 cube-prod_binary64 insert-posit16 sqrt-prod_binary64
3×associate-/r*_binary64 cbrt-undiv_binary64 times-frac_binary64 div-exp_binary64 *-commutative_binary64
2×flip3-+_binary64 sub-neg_binary64 sqr-pow_binary64 consolidate-/-/-b_binary64 associate-/r/_binary64 flip-+_binary64
1×pow-to-exp_binary64 pow-prod-up_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 pow-exp_binary64 unpow3_binary64 cube-mult_binary64
Counts
4 → 176
Calls
4 calls:
13.0ms
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (*.f64 v (pow.f64 v 3))))
23.0ms
(/.f64 (*.f64 PI.f64 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (*.f64 v (pow.f64 v 3))))) (+.f64 1 (*.f64 v v)))
8.0ms
(*.f64 v (pow.f64 v 3))
8.0ms
(*.f64 (*.f64 v v) 6)

series721.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (*.f64 v (pow.f64 v 3))))
243.0ms
(/.f64 (*.f64 PI.f64 (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (-.f64 1 (*.f64 v (pow.f64 v 3))))) (+.f64 1 (*.f64 v v)))
146.0ms
(*.f64 v (pow.f64 v 3))
123.0ms
(*.f64 (*.f64 v v) 6)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
026990
126990
099
199
026990
126990
099
199
013
113
039963
139963
069
169
039963
139963
069
169
013
113
034462160
134462160
07469
17469
034462160
134462160
07469
17469
013
113
031562043
131562043
04769
14769
031562043
131562043
04769
14769
013
113

simplify110.0ms

Counts
188 → 188
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
050694575

prune192.0ms

Filtered
102 candidates to 188 candidates (-84.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1880188
Fresh011
Picked011
Done022
Total1884192

Merged error: 0b

Counts
192 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac_binary64
36×add-sqr-sqrt_binary64 sqrt-div_binary64
33×flip3--_binary64 flip--_binary64
31×*-un-lft-identity_binary64
30×add-cube-cbrt_binary64
25×add-exp-log_binary64 add-cbrt-cube_binary64
16×associate-/l*_binary64
14×consolidate-/-/-b_binary64 associate-/r/_binary64
12×consolidate-mult-two_binary64 frac-times_binary64
11×pow1_binary64
9×associate-*r*_binary64
7×cbrt-undiv_binary64 div-exp_binary64
6×cbrt-unprod_binary64 associate-*r/_binary64 consolidate-mult-outside_binary64 associate-*l*_binary64 prod-exp_binary64 associate-*l/_binary64
4×pow-prod-down_binary64 associate-/r*_binary64 add-log-exp_binary64 div-inv_binary64 insert-posit16 sqrt-prod_binary64
3×unswap-sqr_binary64
2×clear-num_binary64 frac-2neg_binary64 difference-of-squares_binary64 *-commutative_binary64
1×associate-/l/_binary64 consolidate-/-/-b_binary64_1
Counts
4 → 163
Calls
4 calls:
18.0ms
(/.f64 (/.f64 4/3 PI.f64) (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
14.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
7.0ms
(*.f64 (*.f64 v v) 6)
4.0ms
(/.f64 4/3 PI.f64)

series443.0ms

Counts
4 → 10
Calls
4 calls:
175.0ms
(/.f64 (/.f64 4/3 PI.f64) (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
147.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
121.0ms
(*.f64 (*.f64 v v) 6)
0.0ms
(/.f64 4/3 PI.f64)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
026990
126990
099
199
026990
126990
099
199
013
113
0482043
1482043
01889
11889
0482043
1482043
01889
11889
013
113
0802106
1802106
05039
15039
0802106
1802106
05039
15039
013
113

simplify140.0ms

Counts
173 → 173
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
049664315
149664315

prune202.0ms

Filtered
127 candidates to 173 candidates (-36.2%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1730173
Fresh000
Picked011
Done033
Total1734177

Merged error: 0b

Counts
177 → 4

regimes25.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 (3.0ms)

IterNodesCost
05528
15528

end0.0ms

sample502.0ms

Algorithm
intervals
Results
407.0ms8000×body80valid
0.0ms5×body80nan

Profiling

Loading profile data...