Details

Time bar (total: 8.7s)

analyze49.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%99.9%0.1%4
25%74.9%0.1%5
50%50%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
76.5%14%9.5%9
80.4%10.1%9.5%10
82.3%6.6%11%11
84.1%4.9%11%12
85%3.2%11.8%13
85.8%2.4%11.8%14

sample13.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
0.0ms4×body80invalid

simplify27.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
04810
14810

prune3.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.1b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (-.f64 x 4/29) 3)
0.1b
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64
6×associate-*r*_binary64 associate-*l*_binary64 associate-*l/_binary64
5×add-cube-cbrt_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
2×add-log-exp_binary64 flip3--_binary64 insert-posit16 flip--_binary64 *-commutative_binary64
1×unswap-sqr_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
Counts
2 → 44
Calls
2 calls:
8.0ms
(*.f64 (-.f64 x 4/29) 3)
9.0ms
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)

series414.0ms

Counts
2 → 6
Calls
2 calls:
205.0ms
(*.f64 (-.f64 x 4/29) 3)
209.0ms
(*.f64 (*.f64 (-.f64 x 4/29) 3) y)
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0264231
1264231
03430
13430
0264231
1264231
03430
13430
05724
15724
0236171
1236171
01818
11818
0236171
1236171
01818
11818
02048
12048

simplify158.0ms

Counts
50 → 50
Iterations

Useful iterations: 0 (135.0ms)

IterNodesCost
04828535
14828535

prune34.0ms

Filtered
34 candidates to 50 candidates (-47.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New46450
Fresh000
Picked011
Done000
Total46551

Merged error: 0.0b

Counts
51 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (-.f64 x 4/29) (*.f64 3 y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×associate-*l*_binary64
4×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
3×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
2×add-cube-cbrt_binary64 associate-*l/_binary64
1×add-log-exp_binary64 flip3--_binary64 associate-*r*_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 insert-posit16 flip--_binary64 *-commutative_binary64
Counts
1 → 23
Calls
1 calls:
9.0ms
(*.f64 (-.f64 x 4/29) (*.f64 3 y))

series864.0ms

Counts
1 → 3
Calls
1 calls:
863.0ms
(*.f64 (-.f64 x 4/29) (*.f64 3 y))
Iterations

Useful iterations: 0 (668.0ms)

IterNodesCost
0282219
1282219
03330
13330
0282219
1282219
03330
13330
0506515

simplify50.0ms

Counts
26 → 26
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
05095287

prune21.0ms

Filtered
17 candidates to 26 candidates (-52.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New25126
Fresh033
Picked011
Done011
Total25631

Merged error: 0.0b

Counts
31 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y))) (cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y))))
0.5b
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
0.5b
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
0.5b
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/_binary64
18×cbrt-div_binary64
11×pow1_binary64
10×add-sqr-sqrt_binary64
9×flip3--_binary64 pow1/3_binary64 flip--_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×cbrt-prod_binary64
6×add-exp-log_binary64
4×add-log-exp_binary64 swap-sqr_binary64 associate-*r*_binary64 add-cbrt-cube_binary64 associate-*l*_binary64 insert-posit16 frac-times_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 76
Calls
4 calls:
10.0ms
(*.f64 (cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y))) (cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y))))
7.0ms
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
7.0ms
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
8.0ms
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))

series3.8s

Counts
4 → 12
Calls
4 calls:
467.0ms
(*.f64 (cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y))) (cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y))))
1.1s
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
1.1s
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
1.1s
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
Iterations

Useful iterations: 0 (149.0ms)

IterNodesCost
01031695
11031695
049621616
149621616
01031695
11031695
049621616
149621616
0472526
1472526
01031695
11031695
049621616
149621616
01031695
11031695
049621616
149621616
0472526
1472526
01031695
11031695
049621616
149621616
01031695
11031695
049621616
149621616
0472526
1472526
01711851
11711851
048971683
148971683
01711851
11711851
048971683
148971683
0481831
1481831

simplify128.0ms

Counts
88 → 88
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
048391378
148391378

prune106.0ms

Filtered
66 candidates to 88 candidates (-33.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New86288
Fresh033
Picked101
Done022
Total87794

Merged error: 0.0b

Counts
94 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
0.8b
(cbrt.f64 (+.f64 x 4/29))
4.9b
(*.f64 (*.f64 3 y) (-.f64 (*.f64 x x) 16/841))
6.7b
(cbrt.f64 (*.f64 (*.f64 3 y) (-.f64 (*.f64 x x) 16/841)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×*-un-lft-identity_binary64
7×add-sqr-sqrt_binary64
6×cbrt-div_binary64 add-cube-cbrt_binary64 cbrt-prod_binary64
4×add-log-exp_binary64 associate-*r*_binary64 associate-*r/_binary64 insert-posit16
3×pow-prod-down_binary64 flip3--_binary64 cbrt-unprod_binary64 pow1/3_binary64 prod-exp_binary64 flip--_binary64
2×sub-neg_binary64 associate-*l/_binary64
1×flip3-+_binary64 distribute-lft-out_binary64 distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64 difference-of-squares_binary64 flip-+_binary64 *-commutative_binary64
Counts
4 → 63
Calls
4 calls:
8.0ms
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
4.0ms
(cbrt.f64 (+.f64 x 4/29))
11.0ms
(*.f64 (*.f64 3 y) (-.f64 (*.f64 x x) 16/841))
10.0ms
(cbrt.f64 (*.f64 (*.f64 3 y) (-.f64 (*.f64 x x) 16/841)))

series2.3s

Counts
4 → 12
Calls
4 calls:
1.1s
(cbrt.f64 (*.f64 (-.f64 x 4/29) (*.f64 3 y)))
285.0ms
(cbrt.f64 (+.f64 x 4/29))
490.0ms
(*.f64 (*.f64 3 y) (-.f64 (*.f64 x x) 16/841))
396.0ms
(cbrt.f64 (*.f64 (*.f64 3 y) (-.f64 (*.f64 x x) 16/841)))
Iterations

Useful iterations: 0 (278.0ms)

IterNodesCost
01121741
11121741
099987
199987
01121741
11121741
099987
199987
0508854
0322327
1322327
02721
12721
0322327
1322327
02721
12721
0505815
0471627
1471627
0511614
1511614
0471627
1471627
0511614
1511614
0489356
1489356
01031695
11031695
049621616
149621616
01031695
11031695
049621616
149621616
0472526
1472526

simplify130.0ms

Counts
75 → 75
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
049801056
149801056

prune119.0ms

Filtered
63 candidates to 75 candidates (-19.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New75075
Fresh044
Picked011
Done022
Total75782

Merged error: 0.0b

Counts
82 → 7

regimes34.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02010
12010

end0.0ms

sample353.0ms

Algorithm
intervals
Results
226.0ms8000×body80valid
2.0ms76×body80invalid

Profiling

Loading profile data...