Details

Time bar (total: 8.2s)

analyze725.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
6.2%82.7%11.1%10
12.5%73.7%13.8%11
15.6%59.5%25%12
17.9%53.3%28.8%13
22.4%47.2%30.4%14

sample28.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
3.0ms76×body80invalid

simplify93.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
066619
166619

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.3b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 z z) t)
0.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
5.0b
(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
8×add-exp-log_binary64_10276 pow1_binary64_10254 add-cbrt-cube_binary64_10284
7×add-log-exp_binary64_10277
6×sub-neg_binary64_10316 add-sqr-sqrt_binary64_10297
4×add-cube-cbrt_binary64_10283 *-un-lft-identity_binary64_10312 associate-*r*_binary64_10371
3×prod-exp_binary64_10259 flip3--_binary64_10311 pow-prod-down_binary64_10235 flip--_binary64_10338 cbrt-unprod_binary64_10281
2×associate--r+_binary64_10367 diff-log_binary64_10223 difference-of-squares_binary64_10341 distribute-lft-in_binary64_10354 associate-*r/_binary64_10373 distribute-rgt-in_binary64_10355
1×*-commutative_binary64_10380 associate-*l*_binary64_10372
Counts
3 → 48
Calls
3 calls:
5.0ms
(-.f64 (*.f64 z z) t)
5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
11.0ms
(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))

series2.8s

Counts
3 → 9
Calls
3 calls:
434.0ms
(-.f64 (*.f64 z z) t)
787.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
1.6s
(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0653624
1653624
039833528
139833528
0653624
1653624
039833528
139833528
013
113
0784653
1784653
049984527
149984527
0784653
1784653
049984527
149984527
013
113
0852413
1852413
047942086
147942086
0852413
1852413
047942086
147942086
013
113

simplify109.0ms

Counts
57 → 57
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
04967844
14967844

prune51.0ms

Filtered
41 candidates to 57 candidates (-39.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New49857
Fresh000
Picked101
Done000
Total50858

Merged error: 2.3b

Counts
58 → 8

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (*.f64 y t) -4)
0.0b
(-.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 y 4) (*.f64 z z)) (*.f64 (*.f64 y t) -4)))
7.1b
(*.f64 (*.f64 y 4) (*.f64 z z))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log_binary64_10276 pow1_binary64_10254 add-cbrt-cube_binary64_10284
11×prod-exp_binary64_10259 pow-prod-down_binary64_10235 cbrt-unprod_binary64_10281
8×add-log-exp_binary64_10277
5×add-sqr-sqrt_binary64_10297
4×add-cube-cbrt_binary64_10283 *-un-lft-identity_binary64_10312 associate-*r*_binary64_10371
2×*-commutative_binary64_10380 diff-log_binary64_10223 associate-*l*_binary64_10372
1×associate--r+_binary64_10367 sub-neg_binary64_10316 sum-log_binary64_10222 flip3--_binary64_10311 difference-of-squares_binary64_10341 flip--_binary64_10338
Counts
3 → 54
Calls
3 calls:
6.0ms
(*.f64 (*.f64 y t) -4)
15.0ms
(-.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 y 4) (*.f64 z z)) (*.f64 (*.f64 y t) -4)))
9.0ms
(*.f64 (*.f64 y 4) (*.f64 z z))

series779.0ms

Counts
3 → 9
Calls
3 calls:
116.0ms
(*.f64 (*.f64 y t) -4)
533.0ms
(-.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 y 4) (*.f64 z z)) (*.f64 (*.f64 y t) -4)))
130.0ms
(*.f64 (*.f64 y 4) (*.f64 z z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01042523
11042523
0192250
1192250
01042523
11042523
0192250
1192250
013
113
0854731
1854731
048044527
148044527
0854731
1854731
048044527
148044527
013
113
0952410
1952410
0152223
1152223
0952410
1952410
0152223
1152223
013
113

simplify111.0ms

Counts
63 → 63
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04892828
14892828

prune42.0ms

Filtered
35 candidates to 63 candidates (-80.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New62163
Fresh437
Picked011
Done000
Total66571

Merged error: 0.0b

Counts
71 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (*.f64 y t) -4)
0.0b
(-.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 (*.f64 y 4) z) z) (*.f64 (*.f64 y t) -4)))
0.2b
(*.f64 (*.f64 (*.f64 y 4) z) z)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log_binary64_10276 pow1_binary64_10254 add-cbrt-cube_binary64_10284
9×prod-exp_binary64_10259 pow-prod-down_binary64_10235 cbrt-unprod_binary64_10281
8×add-log-exp_binary64_10277
6×add-sqr-sqrt_binary64_10297 associate-*r*_binary64_10371
5×add-cube-cbrt_binary64_10283 *-un-lft-identity_binary64_10312
2×*-commutative_binary64_10380 diff-log_binary64_10223 associate-*l*_binary64_10372
1×associate--r+_binary64_10367 sub-neg_binary64_10316 sum-log_binary64_10222 flip3--_binary64_10311 difference-of-squares_binary64_10341 flip--_binary64_10338
Counts
3 → 53
Calls
3 calls:
6.0ms
(*.f64 (*.f64 y t) -4)
12.0ms
(-.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 (*.f64 y 4) z) z) (*.f64 (*.f64 y t) -4)))
9.0ms
(*.f64 (*.f64 (*.f64 y 4) z) z)

series1.7s

Counts
3 → 9
Calls
3 calls:
121.0ms
(*.f64 (*.f64 y t) -4)
1.4s
(-.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 (*.f64 y 4) z) z) (*.f64 (*.f64 y t) -4)))
140.0ms
(*.f64 (*.f64 (*.f64 y 4) z) z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01092532
11092532
0152250
1152250
01092532
11092532
0152250
1152250
013
113
0854731
1854731
032074527
132074527
0854731
1854731
032074527
132074527
013
113
0952410
1952410
0152223
1152223
0952410
1952410
0152223
1152223
013
113

simplify116.0ms

Counts
62 → 62
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
04880819
14880819

prune45.0ms

Filtered
37 candidates to 62 candidates (-67.6%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New60262
Fresh123
Picked011
Done011
Total61667

Merged error: 0.0b

Counts
67 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.7b
(cbrt.f64 z)
0.7b
(cbrt.f64 z)
0.7b
(cbrt.f64 z)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod_binary64_10279
23×add-sqr-sqrt_binary64_10297
15×add-cube-cbrt_binary64_10283 *-un-lft-identity_binary64_10312
11×pow1_binary64_10254
9×pow1/3_binary64_10246
6×add-exp-log_binary64_10276 associate-*l*_binary64_10372 swap-sqr_binary64_10339 associate-*r*_binary64_10371
4×add-log-exp_binary64_10277 add-cbrt-cube_binary64_10284 unswap-sqr_binary64_10340
2×pow-prod-up_binary64_10234 pow-sqr_binary64_10345 pow-prod-down_binary64_10235
1×prod-exp_binary64_10259 *-commutative_binary64_10380 pow2_binary64_10245 pow-plus_binary64_10249 cbrt-unprod_binary64_10281
Counts
4 → 73
Calls
4 calls:
7.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)

series410.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
107.0ms
(cbrt.f64 z)
89.0ms
(cbrt.f64 z)
91.0ms
(cbrt.f64 z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0631983
1631983
03001962
13001962
0631983
1631983
03001962
13001962
013
113

simplify118.0ms

Counts
85 → 85
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
05073526

prune64.0ms

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

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New84185
Fresh033
Picked011
Done022
Total84791

Merged error: 0.0b

Counts
91 → 7

regimes200.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
011525
111525

end0.0ms

sample707.0ms

Algorithm
intervals
Results
314.0ms8000×body80valid
113.0ms2864×body80invalid

Profiling

Loading profile data...