Details

Time bar (total: 9.9s)

analyze112.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%50%50%4
0%50%50%5
12.5%37.5%50%6
18.7%31.2%50%7
28.1%21.9%50%8
32.8%17.2%50%9
38.2%11.7%50%10
41%9%50%11
43.9%6%50%12
45.4%4.6%50%13
46.9%3.1%50%14

sample27.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify96.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
0498240
1498240

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.4b

Counts
2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 5 (*.f64 v v))
0.2b
(*.f64 PI.f64 t)
0.3b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
0.4b
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log_binary64 add-cbrt-cube_binary64
20×pow1_binary64
16×cbrt-unprod_binary64 associate-*r/_binary64 prod-exp_binary64
14×add-sqr-sqrt_binary64
12×associate-*l*_binary64 sqrt-div_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64
10×pow-prod-down_binary64
8×associate-/r/_binary64 frac-times_binary64
7×flip3--_binary64 flip--_binary64
6×flip3-+_binary64 flip-+_binary64
5×associate-*r*_binary64
4×add-log-exp_binary64 sub-neg_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64 insert-posit16 associate-*l/_binary64
3×associate-/l*_binary64 times-frac_binary64 sqrt-prod_binary64 *-commutative_binary64
2×associate-/l/_binary64 unswap-sqr_binary64
1×associate-/r*_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 113
Calls
4 calls:
9.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 PI.f64 t)
20.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
16.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))

series1.7s

Counts
4 → 12
Calls
4 calls:
223.0ms
(*.f64 5 (*.f64 v v))
420.0ms
(*.f64 PI.f64 t)
542.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
480.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06072808
16072808
052732483
06072808
16072808
052732483
013
113
08112938
18112938
064402787
08112938
18112938
064402787
013
113
02501930
12501930
043961046
143961046
02501930
12501930
043961046
143961046
013
113
0264357
1264357
03333
13333
0264357
1264357
03333
13333
01539
11539

simplify84.0ms

Counts
125 → 125
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
051163243

prune180.0ms

Filtered
86 candidates to 125 candidates (-45.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1178125
Fresh000
Picked101
Done000
Total1188126

Merged error: 0.0b

Counts
126 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 v v) 5)
0.2b
(*.f64 PI.f64 t)
0.5b
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
1.0b
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac_binary64
51×add-sqr-sqrt_binary64
48×*-un-lft-identity_binary64 add-cube-cbrt_binary64
34×add-exp-log_binary64 add-cbrt-cube_binary64
30×sqrt-prod_binary64
27×associate-/l*_binary64
11×pow1_binary64
10×cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64
8×associate-/r/_binary64
7×associate-/r*_binary64
6×associate-*r*_binary64 sqrt-div_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 associate-*l*_binary64 div-inv_binary64 insert-posit16
3×flip3-+_binary64 associate-/l/_binary64 div-sub_binary64 flip-+_binary64
2×flip3--_binary64 associate-*r/_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 160
Calls
4 calls:
7.0ms
(*.f64 (*.f64 v v) 5)
4.0ms
(*.f64 PI.f64 t)
21.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
10.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))

series1.7s

Counts
4 → 12
Calls
4 calls:
228.0ms
(*.f64 (*.f64 v v) 5)
426.0ms
(*.f64 PI.f64 t)
521.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
484.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07881365
17881365
0162749
1162749
07881365
17881365
0162749
1162749
0502283
08152938
18152938
059342785
08152938
18152938
059342785
013
113
02501930
12501930
043961046
143961046
02501930
12501930
043961046
143961046
013
113
0264357
1264357
03436
13436
0264357
1264357
03436
13436
01539
11539

simplify186.0ms

Counts
172 → 172
Iterations

Useful iterations: 0 (126.0ms)

IterNodesCost
049435882
149435882

prune232.0ms

Filtered
117 candidates to 172 candidates (-47.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1702172
Fresh257
Picked011
Done000
Total1728180

Merged error: 0b

Counts
180 → 8

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log_binary64 add-cbrt-cube_binary64
20×pow1_binary64
16×cbrt-unprod_binary64 associate-*r/_binary64 prod-exp_binary64
14×add-sqr-sqrt_binary64
12×sqrt-div_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64
10×pow-prod-down_binary64 associate-*l*_binary64
8×associate-/r/_binary64 frac-times_binary64
7×flip3--_binary64 associate-*r*_binary64 flip--_binary64
6×flip3-+_binary64 flip-+_binary64
4×add-log-exp_binary64 sub-neg_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64 insert-posit16 associate-*l/_binary64
3×associate-/l*_binary64 times-frac_binary64 sqrt-prod_binary64 *-commutative_binary64
2×associate-/l/_binary64 unswap-sqr_binary64
1×associate-/r*_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 113
Calls
4 calls:
7.0ms
(*.f64 (*.f64 v v) 5)
4.0ms
(*.f64 PI.f64 t)
23.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 6)))))
19.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 6))))

series1.5s

Counts
4 → 12
Calls
4 calls:
226.0ms
(*.f64 (*.f64 v v) 5)
423.0ms
(*.f64 PI.f64 t)
465.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 6)))))
406.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (pow.f64 v 6))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06822788
16822788
051882485
06822788
16822788
051882485
013
113
09142918
19142918
050082787
09142918
19142918
050082787
013
113
02501930
12501930
043961046
143961046
02501930
12501930
043961046
143961046
013
113
0264357
1264357
03436
13436
0264357
1264357
03436
13436
01539
11539

simplify89.0ms

Counts
125 → 125
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
051423257

prune199.0ms

Filtered
82 candidates to 125 candidates (-52.4%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1250125
Fresh066
Picked011
Done011
Total1258133

Merged error: 0b

Counts
133 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 PI.f64 t)
0.3b
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 PI.f64 t))
0.4b
(*.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 PI.f64 t)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (-.f64 1 (*.f64 v v))))
0.9b
(/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
243×times-frac_binary64
160×add-sqr-sqrt_binary64
141×*-un-lft-identity_binary64
129×associate-*r*_binary64
115×add-cube-cbrt_binary64
75×add-exp-log_binary64
59×sqrt-prod_binary64
49×add-cbrt-cube_binary64
48×difference-of-squares_binary64
32×div-exp_binary64
22×prod-exp_binary64
18×cbrt-undiv_binary64
14×cbrt-unprod_binary64 associate-/r/_binary64
12×sqrt-div_binary64
10×pow1_binary64 associate-*l*_binary64
9×div-inv_binary64
7×associate-/r*_binary64 unswap-sqr_binary64
6×flip3-+_binary64 associate-/l*_binary64 flip-+_binary64
4×add-log-exp_binary64 1-exp_binary64 rec-exp_binary64 insert-posit16
3×pow-flip_binary64
2×pow-prod-down_binary64 associate-/l/_binary64 flip3--_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64 *-commutative_binary64
1×pow1/2_binary64 associate-*r/_binary64 sqrt-pow1_binary64 div-sub_binary64 inv-pow_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 268
Calls
4 calls:
4.0ms
(*.f64 PI.f64 t)
8.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 PI.f64 t))
64.0ms
(*.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 PI.f64 t)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (-.f64 1 (*.f64 v v))))
8.0ms
(/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))

series1.9s

Counts
4 → 12
Calls
4 calls:
432.0ms
(*.f64 PI.f64 t)
455.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 PI.f64 t))
541.0ms
(*.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 PI.f64 t)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6))))) (-.f64 1 (*.f64 v v))))
515.0ms
(/.f64 1 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 v -6)))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
06181187
16181187
096667
196667
06181187
16181187
096667
196667
0575047
09072965
19072965
048462785
148462785
09072965
19072965
048462785
148462785
013
113
04672681
14672681
049782602
149782602
04672681
14672681
049782602
149782602
013
113
02501930
12501930
043961046
143961046
02501930
12501930
043961046
143961046
013
113

simplify192.0ms

Counts
280 → 280
Iterations

Useful iterations: 0 (103.0ms)

IterNodesCost
060869409

prune614.0ms

Filtered
170 candidates to 280 candidates (-64.7%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New2791280
Fresh145
Picked011
Done022
Total2808288

Merged error: 0b

Counts
288 → 8

regimes75.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06340
16340

end0.0ms

sample662.0ms

Algorithm
intervals
Results
522.0ms8000×body80valid
1.0ms9×body80nan
0.0ms1×body80invalid

Profiling

Loading profile data...