Details

Time bar (total: 7.7s)

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

sample23.0ms

Algorithm
intervals
Results
16.0ms256×body80valid
0.0ms2×body80nan

simplify93.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
0511740

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

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.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
13×flip3--_binary64 flip--_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×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:
7.0ms
(*.f64 (*.f64 v v) 6)
4.0ms
(*.f64 PI.f64 t)
20.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
16.0ms
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))

series1.1s

Counts
4 → 12
Calls
4 calls:
279.0ms
(*.f64 (*.f64 v v) 6)
112.0ms
(*.f64 PI.f64 t)
450.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
290.0ms
(*.f64 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07082081
17082081
07082081
17082081
013
113
011292439
111292439
011292439
111292439
013
113
02731707
12731707
02731707
12731707
013
113
0486232
1486232
0486232
1486232
0535915

simplify85.0ms

Counts
125 → 125
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
057803251

prune150.0ms

Filtered
83 candidates to 125 candidates (-50.6%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1205125
Fresh000
Picked101
Done000
Total1215126

Merged error: 0.0b

Counts
126 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 v v) 6)
0.2b
(*.f64 PI.f64 t)
0.4b
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v 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 (*.f64 v v) 6))))

rewrite50.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
5×flip3--_binary64 flip--_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 associate-*l*_binary64 div-inv_binary64 insert-posit16
3×associate-/l/_binary64 div-sub_binary64
2×associate-*r/_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 160
Calls
4 calls:
7.0ms
(*.f64 (*.f64 v v) 6)
4.0ms
(*.f64 PI.f64 t)
20.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v 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 (*.f64 v v) 6))))

series1.4s

Counts
4 → 12
Calls
4 calls:
276.0ms
(*.f64 (*.f64 v v) 6)
110.0ms
(*.f64 PI.f64 t)
585.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
435.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
010831720
110831720
010831720
110831720
0505314
016842439
116842439
016842439
116842439
013
113
02731707
12731707
02731707
12731707
013
113
0486232
1486232
0486232
1486232
0535915

simplify103.0ms

Counts
172 → 172
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
053315792

prune216.0ms

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

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1693172
Fresh224
Picked011
Done000
Total1716177

Merged error: 0b

Counts
177 → 6

localize15.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 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
0.4b
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
1.0b
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
79×add-exp-log_binary64
52×add-sqr-sqrt_binary64
49×add-cbrt-cube_binary64
46×times-frac_binary64
40×*-un-lft-identity_binary64
38×add-cube-cbrt_binary64
32×prod-exp_binary64
27×associate-*l*_binary64
25×div-exp_binary64
23×sqrt-prod_binary64
18×cbrt-unprod_binary64
14×cbrt-undiv_binary64
12×associate-*r*_binary64
10×pow1_binary64
8×associate-/r/_binary64
7×associate-/r*_binary64
6×unswap-sqr_binary64 associate-/l*_binary64
5×flip3--_binary64 1-exp_binary64 associate-*r/_binary64 rec-exp_binary64 flip--_binary64
4×add-log-exp_binary64 div-inv_binary64 insert-posit16 sqrt-div_binary64
3×pow-flip_binary64
2×pow-prod-down_binary64 associate-/l/_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
1×pow1/2_binary64 sqrt-pow1_binary64 div-sub_binary64 inv-pow_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 171
Calls
4 calls:
4.0ms
(*.f64 PI.f64 t)
13.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
26.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
9.0ms
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))

series1.4s

Counts
4 → 12
Calls
4 calls:
111.0ms
(*.f64 PI.f64 t)
338.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
518.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
410.0ms
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
09791377
19791377
09791377
19791377
0505314
012762628
112762628
012762628
112762628
013
113
08772298
18772298
08772298
18772298
013
113
02731707
12731707
02731707
12731707
013
113

simplify105.0ms

Counts
183 → 183
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
058515401

prune188.0ms

Filtered
108 candidates to 183 candidates (-69.4%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1821183
Fresh134
Picked101
Done011
Total1845189

Merged error: 0b

Counts
189 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.0ms

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

series1.4s

Counts
4 → 12
Calls
4 calls:
285.0ms
(*.f64 (*.f64 v v) 6)
112.0ms
(*.f64 PI.f64 t)
344.0ms
(/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
673.0ms
(/.f64 (/.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
016532439
116532439
016532439
116532439
013
113
08772298
18772298
08772298
18772298
013
113
02731707
12731707
02731707
12731707
013
113
0486232
1486232
0486232
1486232
0535915

simplify147.0ms

Counts
172 → 172
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
049586641
149586641

prune194.0ms

Filtered
114 candidates to 172 candidates (-50.9%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1720172
Fresh033
Picked011
Done011
Total1725177

Merged error: 0b

Counts
177 → 5

regimes61.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07840
17840

end0.0ms

sample643.0ms

Algorithm
intervals
Results
504.0ms8000×body80valid
1.0ms20×body80nan
0.0ms1×body80invalid

Profiling

Loading profile data...