Details

Time bar (total: 4.4s)

analyze578.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
0%99.8%0.2%8
18.7%81.1%0.2%9
21.8%78%0.2%10
25%74.9%0.2%11
34.7%64.9%0.4%12
47.2%51.9%0.9%13
49%49.2%1.8%14

sample21.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
5.0ms52×body80invalid

simplify23.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
09010
19010

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.8b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

11.5b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log_binary64 add-cbrt-cube_binary64
4×cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64
1×*-un-lft-identity_binary64 associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64 clear-num_binary64 frac-2neg_binary64 add-sqr-sqrt_binary64 associate-/l*_binary64 times-frac_binary64 div-inv_binary64 insert-posit16
Counts
1 → 22
Calls
1 calls:
8.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series246.0ms

Counts
1 → 3
Calls
1 calls:
246.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
055974410
0119
1119
055974410
0119
1119
013
113

simplify86.0ms

Counts
25 → 25
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05073265

prune18.0ms

Filtered
15 candidates to 25 candidates (-66.7%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New19625
Fresh000
Picked011
Done000
Total19726

Merged error: 0.0b

Counts
26 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

4.2b
(/.f64 (*.f64 a1 a2) b1)
6.3b
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac_binary64
20×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
16×add-exp-log_binary64 add-cbrt-cube_binary64
8×associate-/l*_binary64
7×cbrt-undiv_binary64 div-exp_binary64
6×associate-/r*_binary64 div-inv_binary64
2×add-log-exp_binary64 pow1_binary64 cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 insert-posit16
1×associate-/l/_binary64 consolidate-/-/-b_binary64_1
Counts
2 → 72
Calls
2 calls:
6.0ms
(/.f64 (*.f64 a1 a2) b1)
8.0ms
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)

series612.0ms

Counts
2 → 6
Calls
2 calls:
321.0ms
(/.f64 (*.f64 a1 a2) b1)
291.0ms
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
049844410
149844410
0129
1129
049844410
149844410
0129
1129
013
113
052263456
0109
1109
052263456
0109
1109
013
113

simplify95.0ms

Counts
78 → 78
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
051871016

prune47.0ms

Filtered
55 candidates to 78 candidates (-41.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New74478
Fresh235
Picked011
Done011
Total76985

Merged error: 0.0b

Counts
85 → 9

localize7.0ms

Local error

Found 2 expressions with local error:

3.1b
(/.f64 b2 (/.f64 a2 b1))
5.7b
(/.f64 (/.f64 a1 1) (/.f64 b2 (/.f64 a2 b1)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
1976×times-frac_binary64
849×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
107×div-inv_binary64
57×associate-/r*_binary64
37×add-exp-log_binary64
28×add-cbrt-cube_binary64
27×div-exp_binary64
18×cbrt-undiv_binary64
16×associate-/r/_binary64 associate-/l*_binary64
3×1-exp_binary64
2×add-log-exp_binary64 pow1_binary64 consolidate-/-/-b_binary64 clear-num_binary64 frac-2neg_binary64 insert-posit16
1×associate-/l/_binary64 consolidate-/-/-b_binary64_1
Counts
2 → 731
Calls
2 calls:
7.0ms
(/.f64 b2 (/.f64 a2 b1))
29.0ms
(/.f64 (/.f64 a1 1) (/.f64 b2 (/.f64 a2 b1)))

series645.0ms

Counts
2 → 6
Calls
2 calls:
410.0ms
(/.f64 b2 (/.f64 a2 b1))
235.0ms
(/.f64 (/.f64 a1 1) (/.f64 b2 (/.f64 a2 b1)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
052644410
0119
1119
052644410
0119
1119
013
113
050633456
089
189
050633456
089
189
013
113

simplify300.0ms

Counts
737 → 737
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
0511221957

prune393.0ms

Filtered
406 candidates to 737 candidates (-81.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New7343737
Fresh426
Picked011
Done112
Total7397746

Merged error: 0b

Counts
746 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

8.1b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
22×times-frac_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
4×cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-exp_binary64
3×pow1_binary64
2×div-inv_binary64
1×pow-prod-down_binary64 add-log-exp_binary64 associate-*r/_binary64 consolidate-mult-outside_binary64 consolidate-mult-two_binary64 insert-posit16 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
1 → 53
Calls
1 calls:
12.0ms
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))

series244.0ms

Counts
1 → 3
Calls
1 calls:
244.0ms
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
051894410
0149
1149
051894410
0149
1149
013
113

simplify89.0ms

Counts
56 → 56
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
05016719

prune26.0ms

Filtered
40 candidates to 56 candidates (-40.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New56056
Fresh044
Picked011
Done022
Total56763

Merged error: 0b

Counts
63 → 7

regimes241.0ms

Accuracy

73.6% (2.9b remaining)

Error of 2.9b against oracle of 0.0b and baseline of 10.9b

bsearch2.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
031110
131110

end0.0ms

sample504.0ms

Algorithm
intervals
Results
215.0ms8000×body80valid
50.0ms1851×body80invalid

Profiling

Loading profile data...