Details

Time bar (total: 5.0s)

analyze303.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
25%74.9%0.1%6
49.9%49.9%0.1%7
56.2%43.7%0.1%8
56.2%43.7%0.1%9
71.8%28.1%0.1%10
76.5%23.4%0.1%11
76.5%23.4%0.1%12
85%14.8%0.1%13
87.8%12.1%0.1%14

sample55.0ms

Algorithm
intervals
Results
24.0ms54×body1280valid
10.0ms146×body80valid
7.0ms26×body640valid
5.0ms22×body320valid
1.0ms8×body160valid

simplify19.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01214
11214

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

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_1672
7×add-cube-cbrt_binary64_1658 pow1_binary64_1629 add-cbrt-cube_binary64_1659 *-un-lft-identity_binary64_1687 add-exp-log_binary64_1651
6×associate-*r*_binary64_1746 associate-*l*_binary64_1747
5×add-log-exp_binary64_1652
2×prod-exp_binary64_1634 unswap-sqr_binary64_1715 pow-prod-down_binary64_1610 *-commutative_binary64_1755 cbrt-unprod_binary64_1656
1×+-commutative_binary64_1754 flip3-+_binary64_1685 flip-+_binary64_1712 sum-log_binary64_1597
Counts
3 → 47
Calls
3 calls:
6.0ms
(+.f64 (*.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
5.0ms
(*.f64 x (sin.f64 y))
5.0ms
(*.f64 z (cos.f64 y))

series514.0ms

Counts
3 → 9
Calls
3 calls:
280.0ms
(+.f64 (*.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
113.0ms
(*.f64 x (sin.f64 y))
121.0ms
(*.f64 z (cos.f64 y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0952387
1952387
0122214
1122214
0952387
1952387
0122214
1122214
013
113
0922381
1922381
0122214
1122214
0922381
1922381
0122214
1122214
013
113
0673633
1673633
07363561
17363561
0673633
1673633
07363561
17363561
013
113

simplify132.0ms

Counts
56 → 56
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
04830570
14830570

prune50.0ms

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

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New47956
Fresh000
Picked101
Done000
Total48957

Merged error: 0.0b

Counts
57 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.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_1654
23×add-sqr-sqrt_binary64_1672
15×add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
11×pow1_binary64_1629
9×pow1/3_binary64_1621
6×swap-sqr_binary64_1714 add-exp-log_binary64_1651 associate-*r*_binary64_1746 associate-*l*_binary64_1747
4×unswap-sqr_binary64_1715 add-log-exp_binary64_1652 add-cbrt-cube_binary64_1659
2×pow-prod-up_binary64_1609 pow-prod-down_binary64_1610 pow-sqr_binary64_1720
1×prod-exp_binary64_1634 pow-plus_binary64_1624 *-commutative_binary64_1755 pow2_binary64_1620 cbrt-unprod_binary64_1656
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))

series411.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y)))
88.0ms
(cbrt.f64 (cos.f64 y))
108.0ms
(cbrt.f64 (cos.f64 y))
90.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

prune68.0ms

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

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New82385
Fresh178
Picked011
Done000
Total831194

Merged error: 0.0b

Counts
94 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 z (cbrt.f64 (*.f64 (cos.f64 y) (cos.f64 y)))) (cbrt.f64 (cos.f64 y)))
0.2b
(*.f64 (cos.f64 y) (cos.f64 y))
0.3b
(cbrt.f64 (cos.f64 y))
0.3b
(cbrt.f64 (*.f64 (cos.f64 y) (cos.f64 y)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1_binary64_1629
13×add-sqr-sqrt_binary64_1672
11×add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687 add-exp-log_binary64_1651
9×associate-*r*_binary64_1746
8×add-cbrt-cube_binary64_1659
7×cbrt-prod_binary64_1654
4×prod-exp_binary64_1634 add-log-exp_binary64_1652 pow-prod-down_binary64_1610 cbrt-unprod_binary64_1656 associate-*l*_binary64_1747
3×swap-sqr_binary64_1714 cos-mult_binary64_1549
2×cbrt-div_binary64_1655 *-commutative_binary64_1755 pow1/3_binary64_1621
1×associate-*r/_binary64_1748 pow-plus_binary64_1624 pow-prod-up_binary64_1609 unswap-sqr_binary64_1715 associate-*l/_binary64_1749 pow-sqr_binary64_1720 sqr-cos-a_binary64_1544 pow2_binary64_1620
Counts
4 → 70
Calls
4 calls:
9.0ms
(*.f64 (*.f64 z (cbrt.f64 (*.f64 (cos.f64 y) (cos.f64 y)))) (cbrt.f64 (cos.f64 y)))
6.0ms
(*.f64 (cos.f64 y) (cos.f64 y))
1.0ms
(cbrt.f64 (cos.f64 y))
4.0ms
(cbrt.f64 (*.f64 (cos.f64 y) (cos.f64 y)))

series747.0ms

Counts
4 → 12
Calls
4 calls:
229.0ms
(*.f64 (*.f64 z (cbrt.f64 (*.f64 (cos.f64 y) (cos.f64 y)))) (cbrt.f64 (cos.f64 y)))
336.0ms
(*.f64 (cos.f64 y) (cos.f64 y))
87.0ms
(cbrt.f64 (cos.f64 y))
94.0ms
(cbrt.f64 (*.f64 (cos.f64 y) (cos.f64 y)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0392001
1392001
0481980
1481980
0392001
1392001
0481980
1481980
013
113
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
01361607
11361607
048331222
148331222
01361607
11361607
048331222
148331222
013
113
01032760
11032760
049892706
149892706
01032760
11032760
049892706
149892706
013
113

simplify150.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
04912628
14912628

prune60.0ms

Filtered
55 candidates to 82 candidates (-49.1%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New82082
Fresh099
Picked011
Done011
Total821193

Merged error: 0.0b

Counts
93 → 11

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_1654
10×add-sqr-sqrt_binary64_1672 add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
4×pow1_binary64_1629 add-log-exp_binary64_1652 add-cbrt-cube_binary64_1659 pow1/3_binary64_1621 add-exp-log_binary64_1651
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)))

series356.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(cbrt.f64 (cos.f64 y))
88.0ms
(cbrt.f64 (cos.f64 y))
90.0ms
(cbrt.f64 (cbrt.f64 (cos.f64 y)))
90.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

prune54.0ms

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

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh088
Picked011
Done022
Total621173

Merged error: 0.0b

Counts
73 → 11

regimes73.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01728
11728

end0.0ms

sample1.7s

Algorithm
intervals
Results
688.0ms1489×body1280valid
338.0ms1179×body640valid
305.0ms4284×body80valid
135.0ms680×body320valid
52.0ms368×body160valid

Profiling

Loading profile data...