Details

Time bar (total: 8.0s)

analyze1.5s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.6%98.1%0.3%13
2.3%97.4%0.3%14

sample31.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
4.0ms95×body80invalid

simplify102.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
072925
172925

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.4b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 (*.f64 a 27) b))
0.2b
(*.f64 (*.f64 y 9) z)
0.2b
(*.f64 (*.f64 a 27) b)
4.4b
(*.f64 (*.f64 (*.f64 y 9) z) t)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
12×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
9×add-log-exp_binary64 associate-*r*_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×insert-posit16
3×associate-*l*_binary64 *-commutative_binary64
2×sum-log_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 associate-+l+_binary64 associate-+l-_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 75
Calls
4 calls:
10.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 (*.f64 a 27) b))
6.0ms
(*.f64 (*.f64 y 9) z)
6.0ms
(*.f64 (*.f64 a 27) b)
9.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)

series896.0ms

Counts
4 → 12
Calls
4 calls:
338.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 (*.f64 a 27) b))
178.0ms
(*.f64 (*.f64 y 9) z)
180.0ms
(*.f64 (*.f64 a 27) b)
201.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0290309
1290309
089
189
0290309
1290309
089
189
013
113
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0581585
1581585
0169
1169
0581585
1581585
0169
1169
013
113

simplify153.0ms

Counts
87 → 87
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
050251103

prune90.0ms

Filtered
53 candidates to 87 candidates (-64.2%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New761187
Fresh000
Picked101
Done000
Total771188

Merged error: 0.0b

Counts
88 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 y (*.f64 9 z)) t)) (*.f64 (*.f64 a 27) b))
0.2b
(*.f64 y (*.f64 9 z))
0.2b
(*.f64 (*.f64 a 27) b)
4.4b
(*.f64 (*.f64 y (*.f64 9 z)) t)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
12×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
9×add-log-exp_binary64
7×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×associate-*l*_binary64
4×insert-posit16
3×*-commutative_binary64
2×sum-log_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 associate-+l+_binary64 associate-+l-_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 75
Calls
4 calls:
10.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 y (*.f64 9 z)) t)) (*.f64 (*.f64 a 27) b))
6.0ms
(*.f64 y (*.f64 9 z))
6.0ms
(*.f64 (*.f64 a 27) b)
9.0ms
(*.f64 (*.f64 y (*.f64 9 z)) t)

series944.0ms

Counts
4 → 12
Calls
4 calls:
351.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 y (*.f64 9 z)) t)) (*.f64 (*.f64 a 27) b))
196.0ms
(*.f64 y (*.f64 9 z))
178.0ms
(*.f64 (*.f64 a 27) b)
219.0ms
(*.f64 (*.f64 y (*.f64 9 z)) t)
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0314309
1314309
03227
13227
0314309
1314309
03227
13227
0423
1423
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0262189
1262189
02321
12321
0262189
1262189
02321
12321
0423
1423
0583585
1583585
0169
1169
0583585
1583585
0169
1169
013
113

simplify83.0ms

Counts
87 → 87
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
053041104

prune74.0ms

Filtered
53 candidates to 87 candidates (-64.2%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New86187
Fresh2810
Picked101
Done000
Total89998

Merged error: 0.0b

Counts
98 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 a (*.f64 27 b)))
0.2b
(*.f64 (*.f64 y 9) z)
0.2b
(*.f64 a (*.f64 27 b))
4.4b
(*.f64 (*.f64 (*.f64 y 9) z) t)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
12×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
9×add-log-exp_binary64
7×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×associate-*l*_binary64
4×insert-posit16
3×*-commutative_binary64
2×sum-log_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 associate-+l+_binary64 associate-+l-_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 75
Calls
4 calls:
10.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 a (*.f64 27 b)))
6.0ms
(*.f64 (*.f64 y 9) z)
6.0ms
(*.f64 a (*.f64 27 b))
9.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)

series969.0ms

Counts
4 → 12
Calls
4 calls:
394.0ms
(+.f64 (-.f64 (*.f64 x 2) (*.f64 (*.f64 (*.f64 y 9) z) t)) (*.f64 a (*.f64 27 b)))
178.0ms
(*.f64 (*.f64 y 9) z)
192.0ms
(*.f64 a (*.f64 27 b))
205.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0290309
1290309
089
189
0290309
1290309
089
189
013
113
0262189
1262189
02321
12321
0262189
1262189
02321
12321
0423
1423
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0598585
1598585
02924
12924
0598585
1598585
02924
12924
0203
1203

simplify83.0ms

Counts
87 → 87
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
053981101

prune70.0ms

Filtered
53 candidates to 87 candidates (-64.2%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New87087
Fresh088
Picked011
Done000
Total87996

Merged error: 0.0b

Counts
96 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

4.4b
(*.f64 (*.f64 (*.f64 y 9) z) t)
7.9b
(cbrt.f64 (*.f64 (*.f64 a 27) b))
7.9b
(cbrt.f64 (*.f64 (*.f64 a 27) b))
7.9b
(cbrt.f64 (*.f64 (*.f64 a 27) b))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-*r*_binary64 pow1/3_binary64 cbrt-prod_binary64
1×associate-*l*_binary64 *-commutative_binary64
Counts
4 → 52
Calls
4 calls:
8.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
5.0ms
(cbrt.f64 (*.f64 (*.f64 a 27) b))
5.0ms
(cbrt.f64 (*.f64 (*.f64 a 27) b))
5.0ms
(cbrt.f64 (*.f64 (*.f64 a 27) b))

series1.3s

Counts
4 → 12
Calls
4 calls:
201.0ms
(*.f64 (*.f64 (*.f64 y 9) z) t)
351.0ms
(cbrt.f64 (*.f64 (*.f64 a 27) b))
351.0ms
(cbrt.f64 (*.f64 (*.f64 a 27) b))
356.0ms
(cbrt.f64 (*.f64 (*.f64 a 27) b))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0921671
1921671
048011178
148011178
0921671
1921671
048011178
148011178
05956
15956
0921671
1921671
048011178
148011178
0921671
1921671
048011178
148011178
05956
15956
0921671
1921671
048011178
148011178
0921671
1921671
048011178
148011178
05956
15956
0290309
1290309
089
189
0290309
1290309
089
189
013
113

simplify124.0ms

Counts
64 → 64
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
04892619
14892619

prune75.0ms

Filtered
46 candidates to 64 candidates (-39.1%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh077
Picked011
Done011
Total64973

Merged error: 0.0b

Counts
73 → 9

regimes428.0ms

Accuracy

80.9% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 3.7b

bsearch42.0ms

Steps
ItersRangePoint
6
6.356031218452376e-35
6.29399700625366e-34
4.000330685552495e-34
7
-3.3388324685568146e-34
-3.368273904823762e-36
-1.8113310979150531e-34

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
012664
112664

end0.0ms

sample933.0ms

Algorithm
intervals
Results
397.0ms8000×body80valid
149.0ms3037×body80invalid

Profiling

Loading profile data...