Details

Time bar (total: 5.3s)

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

sample60.0ms

Algorithm
intervals
Results
19.0ms42×body1280valid
12.0ms43×body640valid
9.0ms31×body320valid
9.0ms131×body80valid
1.0ms9×body160valid

simplify30.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (15.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.2b

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.2b
(*.f64 z (sin.f64 y))
0.2b
(*.f64 x (cos.f64 y))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_3437
7×*-un-lft-identity_binary64_3452 pow1_binary64_3394 add-cbrt-cube_binary64_3424 add-exp-log_binary64_3416 add-cube-cbrt_binary64_3423
6×associate-*r*_binary64_3511 associate-*l*_binary64_3512
5×add-log-exp_binary64_3417
2×prod-exp_binary64_3399 pow-prod-down_binary64_3375 cbrt-unprod_binary64_3421 *-commutative_binary64_3520 unswap-sqr_binary64_3480
1×flip--_binary64_3478 diff-log_binary64_3363 flip3--_binary64_3451 sub-neg_binary64_3456
Counts
3 → 47
Calls
3 calls:
5.0ms
(-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
5.0ms
(*.f64 z (sin.f64 y))
5.0ms
(*.f64 x (cos.f64 y))

series641.0ms

Counts
3 → 9
Calls
3 calls:
367.0ms
(-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
131.0ms
(*.f64 z (sin.f64 y))
143.0ms
(*.f64 x (cos.f64 y))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01002415
11002415
0161908
1161908
01002415
11002415
0161908
1161908
013
113
0972409
1972409
0161908
1161908
0972409
1972409
0161908
1161908
013
113
0713633
1713633
010323555
110323555
0713633
1713633
010323555
110323555
013
113

simplify126.0ms

Counts
56 → 56
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
04910578
14910578

prune46.0ms

Filtered
39 candidates to 56 candidates (-43.6%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New48856
Fresh000
Picked101
Done000
Total49857

Merged error: 0.1b

Counts
57 → 8

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))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod_binary64_3419
23×add-sqr-sqrt_binary64_3437
15×*-un-lft-identity_binary64_3452 add-cube-cbrt_binary64_3423
11×pow1_binary64_3394
9×pow1/3_binary64_3386
6×associate-*r*_binary64_3511 associate-*l*_binary64_3512 swap-sqr_binary64_3479 add-exp-log_binary64_3416
4×add-log-exp_binary64_3417 add-cbrt-cube_binary64_3424 unswap-sqr_binary64_3480
2×pow-prod-down_binary64_3375 pow-sqr_binary64_3485 pow-prod-up_binary64_3374
1×prod-exp_binary64_3399 cbrt-unprod_binary64_3421 pow2_binary64_3385 *-commutative_binary64_3520 pow-plus_binary64_3389
Counts
4 → 73
Calls
4 calls:
7.0ms
(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
2.0ms
(cbrt.f64 (cos.f64 y))
2.0ms
(cbrt.f64 (cos.f64 y))
2.0ms
(cbrt.f64 (cos.f64 y))

series419.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
97.0ms
(cbrt.f64 (cos.f64 y))
97.0ms
(cbrt.f64 (cos.f64 y))
100.0ms
(cbrt.f64 (cos.f64 y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
0662019
1662019
03031998
13031998
0662019
1662019
03031998
13031998
013
113

simplify95.0ms

Counts
85 → 85
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
05017706

prune67.0ms

Filtered
55 candidates to 85 candidates (-54.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New82385
Fresh167
Picked101
Done000
Total84993

Merged error: 0.1b

Counts
93 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64_3437
16×add-exp-log_binary64_3416
13×*-un-lft-identity_binary64_3452 pow1_binary64_3394 add-cube-cbrt_binary64_3423
11×associate-*r*_binary64_3511 add-cbrt-cube_binary64_3424
9×associate-*l*_binary64_3512
7×prod-exp_binary64_3399
5×unswap-sqr_binary64_3480
4×cbrt-unprod_binary64_3421 add-log-exp_binary64_3417
3×*-commutative_binary64_3520 cbrt-prod_binary64_3419 swap-sqr_binary64_3479
2×pow-prod-down_binary64_3375 pow-exp_binary64_3372 unpow-prod-down_binary64_3383 sqr-pow_binary64_3484
1×pow2_binary64_3385 pow-sqr_binary64_3485 pow1/3_binary64_3386 cos-mult_binary64_3314 pow-prod-up_binary64_3374 pow-to-exp_binary64_3373 sqr-cos-a_binary64_3309 pow-plus_binary64_3389 unpow1/3_binary64_3393
Counts
4 → 81
Calls
4 calls:
5.0ms
(*.f64 z (sin.f64 y))
7.0ms
(*.f64 x (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3))
6.0ms
(*.f64 (cos.f64 y) (cos.f64 y))
2.0ms
(cbrt.f64 (cos.f64 y))

series809.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(*.f64 z (sin.f64 y))
308.0ms
(*.f64 x (pow.f64 (*.f64 (cos.f64 y) (cos.f64 y)) 1/3))
280.0ms
(*.f64 (cos.f64 y) (cos.f64 y))
99.0ms
(cbrt.f64 (cos.f64 y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
01941663
11941663
049501279
149501279
01941663
11941663
049501279
149501279
013
113
01372654
11372654
047261828
147261828
01372654
11372654
047261828
147261828
013
113
0972409
1972409
0161908
1161908
0972409
1972409
0161908
1161908
013
113

simplify148.0ms

Counts
93 → 93
Iterations

Useful iterations: 0 (124.0ms)

IterNodesCost
04998772
14998772

prune76.0ms

Filtered
62 candidates to 93 candidates (-50.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New93093
Fresh088
Picked011
Done000
Total939102

Merged error: 0.1b

Counts
102 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod_binary64_3419
10×add-sqr-sqrt_binary64_3437 *-un-lft-identity_binary64_3452 add-cube-cbrt_binary64_3423
4×add-log-exp_binary64_3417 pow1_binary64_3394 add-cbrt-cube_binary64_3424 add-exp-log_binary64_3416 pow1/3_binary64_3386
Counts
4 → 50
Calls
4 calls:
2.0ms
(cbrt.f64 (cos.f64 y))
2.0ms
(cbrt.f64 (cos.f64 y))
2.0ms
(cbrt.f64 (cbrt.f64 (cos.f64 y)))
2.0ms
(cbrt.f64 (cbrt.f64 (cos.f64 y)))

series381.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(cbrt.f64 (cos.f64 y))
93.0ms
(cbrt.f64 (cos.f64 y))
94.0ms
(cbrt.f64 (cbrt.f64 (cos.f64 y)))
95.0ms
(cbrt.f64 (cbrt.f64 (cos.f64 y)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0391950
1391950
0481935
1481935
0391950
1391950
0481935
1481935
013
113
0391950
1391950
0481935
1481935
0391950
1391950
0481935
1481935
013
113
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113

simplify90.0ms

Counts
62 → 62
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04875526
14875526

prune49.0ms

Filtered
46 candidates to 62 candidates (-34.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh077
Picked011
Done011
Total62971

Merged error: 0.1b

Counts
71 → 9

regimes106.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04329
14329

end0.0ms

sample1.7s

Algorithm
intervals
Results
695.0ms1488×body1280valid
371.0ms1295×body640valid
293.0ms4309×body80valid
118.0ms615×body320valid
40.0ms293×body160valid

Profiling

Loading profile data...