Details

Time bar (total: 8.0s)

analyze255.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
0%99.9%0.1%5
37.4%62.4%0.1%6
49.9%49.9%0.1%7
62.4%37.4%0.1%8
62.4%37.4%0.1%9
71.8%28.1%0.1%10
79.6%20.3%0.1%11
79.6%20.3%0.1%12
85%14.8%0.1%13
89.3%10.5%0.1%14

sample55.0ms

Algorithm
intervals
Results
23.0ms53×body1280valid
9.0ms139×body80valid
9.0ms31×body640valid
4.0ms24×body320valid
1.0ms9×body160valid

simplify34.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
014014
114014

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
0.1b
(*.f64 x (cos.f64 y))
0.1b
(*.f64 z (sin.f64 y))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×associate-*r*_binary64 associate-*l*_binary64
5×add-log-exp_binary64
3×insert-posit16
2×pow-prod-down_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 flip--_binary64
Counts
3 → 50
Calls
3 calls:
5.0ms
(-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
5.0ms
(*.f64 x (cos.f64 y))
5.0ms
(*.f64 z (sin.f64 y))

series621.0ms

Counts
3 → 9
Calls
3 calls:
246.0ms
(-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
189.0ms
(*.f64 x (cos.f64 y))
186.0ms
(*.f64 z (sin.f64 y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0277210
1277210
069
169
0277210
1277210
069
169
013
113
0288222
1288222
069
169
0288222
1288222
069
169
013
113
0441432
1441432
069
169
0441432
1441432
069
169
013
113

simplify125.0ms

Counts
59 → 59
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
04914610
14914610

prune52.0ms

Filtered
42 candidates to 59 candidates (-40.5%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New471259
Fresh000
Picked101
Done000
Total481260

Merged error: 0.0b

Counts
60 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
0.3b
(cbrt.f64 (cos.f64 y))
0.3b
(cbrt.f64 (cos.f64 y))
0.3b
(cbrt.f64 (cos.f64 y))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod_binary64
23×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
11×pow1_binary64
9×pow1/3_binary64
6×swap-sqr_binary64 associate-*r*_binary64 add-exp-log_binary64 associate-*l*_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 insert-posit16
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 77
Calls
4 calls:
7.0ms
(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
2.0ms
(cbrt.f64 (cos.f64 y))
3.0ms
(cbrt.f64 (cos.f64 y))
2.0ms
(cbrt.f64 (cos.f64 y))

series1.9s

Counts
4 → 12
Calls
4 calls:
1.1s
(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
275.0ms
(cbrt.f64 (cos.f64 y))
273.0ms
(cbrt.f64 (cos.f64 y))
273.0ms
(cbrt.f64 (cos.f64 y))
Iterations

Useful iterations: 0 (151.0ms)

IterNodesCost
0481621
1481621
0461606
1461606
0481621
1481621
0461606
1461606
0489154
1489154
0481621
1481621
0461606
1461606
0481621
1481621
0461606
1461606
0489154
1489154
0481621
1481621
0461606
1461606
0481621
1481621
0461606
1461606
0489154
1489154
01191706
11191706
068251676
01191706
11191706
068251676
0474079
1474079

simplify151.0ms

Counts
89 → 89
Iterations

Useful iterations: 0 (124.0ms)

IterNodesCost
04999954
14999954

prune86.0ms

Filtered
67 candidates to 89 candidates (-32.8%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New85489
Fresh01111
Picked101
Done000
Total8615101

Merged error: 0.0b

Counts
101 → 15

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 z (sin.f64 y))
0.2b
(*.f64 (*.f64 x (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3)) (cbrt.f64 (cos.f64 y)))
0.3b
(*.f64 (cos.f64 y) (cos.f64 y))
0.3b
(cbrt.f64 (cos.f64 y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log_binary64
17×add-sqr-sqrt_binary64
15×pow1_binary64
13×*-un-lft-identity_binary64 add-cube-cbrt_binary64
12×associate-*r*_binary64 add-cbrt-cube_binary64 prod-exp_binary64
7×cbrt-unprod_binary64 associate-*l*_binary64
6×cbrt-prod_binary64
4×add-log-exp_binary64 insert-posit16
3×pow-prod-down_binary64 swap-sqr_binary64 *-commutative_binary64
2×unswap-sqr_binary64 pow-exp_binary64
1×pow-to-exp_binary64 pow-prod-up_binary64 cos-mult_binary64 pow1/3_binary64 pow-plus_binary64 sqr-cos-a_binary64 pow-sqr_binary64 pow2_binary64 unpow1/3_binary64
Counts
4 → 84
Calls
4 calls:
5.0ms
(*.f64 z (sin.f64 y))
10.0ms
(*.f64 (*.f64 x (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3)) (cbrt.f64 (cos.f64 y)))
5.0ms
(*.f64 (cos.f64 y) (cos.f64 y))
2.0ms
(cbrt.f64 (cos.f64 y))

series1.0s

Counts
4 → 12
Calls
4 calls:
187.0ms
(*.f64 z (sin.f64 y))
387.0ms
(*.f64 (*.f64 x (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3)) (cbrt.f64 (cos.f64 y)))
193.0ms
(*.f64 (cos.f64 y) (cos.f64 y))
277.0ms
(cbrt.f64 (cos.f64 y))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0481621
1481621
0461606
1461606
0481621
1481621
0461606
1461606
0489154
1489154
0300576
1300576
099
199
0300576
1300576
099
199
013
113
05801832
15801832
01879
11879
05801832
15801832
01879
11879
013
113
0277210
1277210
069
169
0277210
1277210
069
169
013
113

simplify144.0ms

Counts
96 → 96
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
04892768
14892768

prune83.0ms

Filtered
65 candidates to 96 candidates (-47.7%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New95196
Fresh11314
Picked101
Done000
Total9714111

Merged error: 0.0b

Counts
111 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 z (sin.f64 y))
0.2b
(*.f64 (*.f64 x (pow.f64 (/.f64 (+.f64 1 (cos.f64 (+.f64 y y))) 2) 1/3)) (cbrt.f64 (cos.f64 y)))
0.3b
(cbrt.f64 (cos.f64 y))
0.4b
(+.f64 1 (cos.f64 (+.f64 y y)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log_binary64
11×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
10×add-cbrt-cube_binary64 prod-exp_binary64
9×associate-*r*_binary64 add-cube-cbrt_binary64
8×pow1_binary64
6×add-log-exp_binary64 cbrt-unprod_binary64 cbrt-prod_binary64
4×associate-*l*_binary64 insert-posit16
2×pow-prod-down_binary64 associate-+r-_binary64 pow-exp_binary64 *-commutative_binary64
1×pow-to-exp_binary64 flip3-+_binary64 count-2_binary64 distribute-lft-out_binary64 pow1/3_binary64 unswap-sqr_binary64 cos-sum_binary64 div-exp_binary64 +-commutative_binary64 cos-2_binary64 flip-+_binary64 unpow1/3_binary64 sum-log_binary64
Counts
4 → 71
Calls
4 calls:
5.0ms
(*.f64 z (sin.f64 y))
14.0ms
(*.f64 (*.f64 x (pow.f64 (/.f64 (+.f64 1 (cos.f64 (+.f64 y y))) 2) 1/3)) (cbrt.f64 (cos.f64 y)))
1.0ms
(cbrt.f64 (cos.f64 y))
8.0ms
(+.f64 1 (cos.f64 (+.f64 y y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
187.0ms
(*.f64 z (sin.f64 y))
478.0ms
(*.f64 (*.f64 x (pow.f64 (/.f64 (+.f64 1 (cos.f64 (+.f64 y y))) 2) 1/3)) (cbrt.f64 (cos.f64 y)))
276.0ms
(cbrt.f64 (cos.f64 y))
271.0ms
(+.f64 1 (cos.f64 (+.f64 y y)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0281285
1281285
04975
14975
0281285
1281285
04975
14975
0514182
0481621
1481621
0461606
1461606
0481621
1481621
0461606
1461606
0489154
1489154
06991865
16991865
02099
12099
06991865
16991865
02099
12099
013
113
0277210
1277210
069
169
0277210
1277210
069
169
013
113

simplify166.0ms

Counts
83 → 83
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
050951243

prune72.0ms

Filtered
62 candidates to 83 candidates (-33.9%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New83083
Fresh01313
Picked011
Done000
Total831497

Merged error: 0.0b

Counts
97 → 14

regimes115.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05033
15033

end0.0ms

sample1.7s

Algorithm
intervals
Results
717.0ms1574×body1280valid
331.0ms1191×body640valid
286.0ms4271×body80valid
122.0ms629×body320valid
45.0ms335×body160valid

Profiling

Loading profile data...