Details

Time bar (total: 2.3s)

analyze260.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
0%99.9%0.1%6
12.5%87.4%0.1%7
31.2%68.6%0.1%8
39%57.7%3.3%9
47.6%46%6.4%10
58.1%35.5%6.4%11
62.2%29.1%8.7%12
66.2%22.7%11.1%13
71.3%17.6%11.1%14

sample14.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
1.0ms22×body80invalid

simplify38.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
021310
121310

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.6b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(-.f64 1 (*.f64 y z))
4.3b
(*.f64 x (-.f64 1 (*.f64 y z)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×sub-neg_binary64 associate-*r*_binary64 associate-*l*_binary64
2×flip3--_binary64 associate-*r/_binary64 insert-posit16 flip--_binary64
1×pow-prod-down_binary64 diff-log_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
2 → 35
Calls
2 calls:
4.0ms
(-.f64 1 (*.f64 y z))
7.0ms
(*.f64 x (-.f64 1 (*.f64 y z)))

series102.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(-.f64 1 (*.f64 y z))
50.0ms
(*.f64 x (-.f64 1 (*.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0349
1349
0349
1349
013
113
0929
1929
0929
1929
013
113

simplify75.0ms

Counts
41 → 41
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05364444

prune39.0ms

Filtered
30 candidates to 41 candidates (-36.7%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New33841
Fresh000
Picked011
Done000
Total33942

Merged error: 4.4b

Counts
42 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (cbrt.f64 (-.f64 1 (*.f64 y z))) (cbrt.f64 (-.f64 1 (*.f64 y z))))
4.5b
(cbrt.f64 (-.f64 1 (*.f64 y z)))
4.5b
(cbrt.f64 (-.f64 1 (*.f64 y z)))
4.5b
(cbrt.f64 (-.f64 1 (*.f64 y z)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod_binary64
23×add-sqr-sqrt_binary64
18×cbrt-div_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
11×pow1_binary64
9×flip3--_binary64 pow1/3_binary64 flip--_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 frac-times_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-sqr_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 91
Calls
4 calls:
12.0ms
(*.f64 (cbrt.f64 (-.f64 1 (*.f64 y z))) (cbrt.f64 (-.f64 1 (*.f64 y z))))
3.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
3.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
3.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))

series200.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(*.f64 (cbrt.f64 (-.f64 1 (*.f64 y z))) (cbrt.f64 (-.f64 1 (*.f64 y z))))
48.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
50.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
50.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0339
1339
0339
1339
013
113
0339
1339
0339
1339
013
113
0339
1339
0339
1339
013
113
01049
11049
01049
11049
013
113

simplify163.0ms

Counts
103 → 103
Iterations

Useful iterations: 0 (134.0ms)

IterNodesCost
049791636
149791636

prune110.0ms

Filtered
76 candidates to 103 candidates (-35.5%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1021103
Fresh167
Picked011
Done011
Total1039112

Merged error: 4.4b

Counts
112 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 (*.f64 y z)))) 5)
4.5b
(cbrt.f64 (-.f64 1 (*.f64 y z)))
4.5b
(cbrt.f64 (-.f64 1 (*.f64 y z)))
4.5b
(cbrt.f64 (-.f64 1 (*.f64 y z)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×unpow-prod-down_binary64
6×cbrt-div_binary64
5×pow1_binary64 add-exp-log_binary64
4×add-log-exp_binary64 pow1/3_binary64 add-cbrt-cube_binary64 insert-posit16
3×pow-unpow_binary64 flip3--_binary64 flip--_binary64
2×pow-pow_binary64
1×pow-to-exp_binary64 sqr-pow_binary64 pow-exp_binary64
Counts
4 → 67
Calls
4 calls:
7.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 (*.f64 y z)))) 5)
3.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
6.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
3.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))

series197.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 (*.f64 y z)))) 5)
49.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
50.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
48.0ms
(cbrt.f64 (-.f64 1 (*.f64 y z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0339
1339
0339
1339
013
113
0339
1339
0339
1339
013
113
0339
1339
0339
1339
013
113
0759
1759
0759
1759
013
113

simplify81.0ms

Counts
79 → 79
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
055981171

prune104.0ms

Filtered
63 candidates to 79 candidates (-25.4%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New79079
Fresh066
Picked011
Done022
Total79988

Merged error: 4.4b

Counts
88 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
1.7b
(*.f64 (-.f64 1 (*.f64 y z)) (cbrt.f64 x))
2.8b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 1 (*.f64 y z)) (cbrt.f64 x)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1_binary64 add-exp-log_binary64
13×add-sqr-sqrt_binary64
11×add-cbrt-cube_binary64
10×cbrt-prod_binary64
9×pow-prod-down_binary64 *-un-lft-identity_binary64 cbrt-unprod_binary64 add-cube-cbrt_binary64 prod-exp_binary64
7×associate-*r*_binary64
4×add-log-exp_binary64 associate-*l*_binary64 insert-posit16 associate-*l/_binary64
2×flip3--_binary64 associate-*r/_binary64 pow1/3_binary64 unswap-sqr_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
8.0ms
(*.f64 (-.f64 1 (*.f64 y z)) (cbrt.f64 x))
15.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 1 (*.f64 y z)) (cbrt.f64 x)))

series199.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(cbrt.f64 x)
43.0ms
(cbrt.f64 x)
53.0ms
(*.f64 (-.f64 1 (*.f64 y z)) (cbrt.f64 x))
57.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 1 (*.f64 y z)) (cbrt.f64 x)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0479
1479
0479
1479
013
113
0379
1379
0379
1379
013
113
0189
1189
0189
1189
013
113
0189
1189
0189
1189
013
113

simplify81.0ms

Counts
86 → 86
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
05580864

prune47.0ms

Filtered
59 candidates to 86 candidates (-45.8%)
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New86086
Fresh055
Picked011
Done033
Total86995

Merged error: 4.4b

Counts
95 → 9

regimes109.0ms

Accuracy

0% (0.1b remaining)

Error of 3.3b against oracle of 3.2b and baseline of 3.3b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03710
13710

end0.0ms

sample378.0ms

Algorithm
intervals
Results
193.0ms8000×body80valid
13.0ms561×body80invalid

Profiling

Loading profile data...