Details

Time bar (total: 7.2s)

analyze936.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
0%99.8%0.2%9
0%99.8%0.2%10
16.4%83.4%0.2%11
19.9%79.9%0.2%12
21.6%77.2%1.2%13
24.8%73.7%1.4%14

sample26.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
3.0ms100×body80invalid

simplify60.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
051013
151013

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.4b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.5b
(-.f64 (*.f64 x y) (*.f64 z t))
7.8b
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity_binary64_13762 add-sqr-sqrt_binary64_13747 add-cube-cbrt_binary64_13733
9×times-frac_binary64_13757
4×add-exp-log_binary64_13726 add-cbrt-cube_binary64_13734 add-log-exp_binary64_13727
3×associate-/r*_binary64_13825 associate-/l*_binary64_13826
2×associate-/l/_binary64_13828 flip--_binary64_13788 pow1_binary64_13704 flip3--_binary64_13761
1×clear-num_binary64_13765 div-exp_binary64_13711 diff-log_binary64_13673 div-inv_binary64_13763 frac-2neg_binary64_13755 sub-neg_binary64_13766 div-sub_binary64_13756 cbrt-undiv_binary64_13732
Counts
2 → 41
Calls
2 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
7.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)

series775.0ms

Counts
2 → 6
Calls
2 calls:
173.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
602.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) a)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0895502
1895502
014695382
114695382
0895502
1895502
014695382
114695382
013
113
0684524
1684524
04064446
14064446
0684524
1684524
04064446
14064446
013
113

simplify100.0ms

Counts
47 → 47
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
05975832

prune46.0ms

Filtered
37 candidates to 47 candidates (-27.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New38947
Fresh000
Picked011
Done000
Total381048

Merged error: 8.0b

Counts
48 → 10

localize8.0ms

Local error

Found 2 expressions with local error:

0.5b
(-.f64 (*.f64 x y) (*.f64 z t))
7.9b
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_13747
13×associate-*r*_binary64_13821
11×add-exp-log_binary64_13726 times-frac_binary64_13757 *-un-lft-identity_binary64_13762
10×add-cube-cbrt_binary64_13733
7×add-cbrt-cube_binary64_13734
4×prod-exp_binary64_13709 add-log-exp_binary64_13727 pow1_binary64_13704
3×associate-*l*_binary64_13822 unswap-sqr_binary64_13790 flip--_binary64_13788 flip3--_binary64_13761
2×div-exp_binary64_13711 associate-*l/_binary64_13824 cbrt-unprod_binary64_13731 frac-times_binary64_13754
1×rec-exp_binary64_13710 un-div-inv_binary64_13764 associate-*r/_binary64_13823 diff-log_binary64_13673 div-inv_binary64_13763 *-commutative_binary64_13830 pow-prod-down_binary64_13685 1-exp_binary64_13722 sub-neg_binary64_13766 cbrt-undiv_binary64_13732
Counts
2 → 51
Calls
2 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
14.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))

series733.0ms

Counts
2 → 6
Calls
2 calls:
183.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
550.0ms
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 a))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0805529
1805529
014695382
114695382
0805529
1805529
014695382
114695382
013
113
0684524
1684524
04064446
14064446
0684524
1684524
04064446
14064446
013
113

simplify111.0ms

Counts
57 → 57
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
05259943

prune39.0ms

Filtered
37 candidates to 57 candidates (-54.1%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New56157
Fresh178
Picked011
Done011
Total571067

Merged error: 8.0b

Counts
67 → 10

localize9.0ms

Local error

Found 3 expressions with local error:

0.5b
(-.f64 (*.f64 x y) (*.f64 z t))
0.8b
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
7.8b
(/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac_binary64_13757
55×*-un-lft-identity_binary64_13762 add-sqr-sqrt_binary64_13747 add-cube-cbrt_binary64_13733
18×associate-/r*_binary64_13825
16×add-exp-log_binary64_13726
11×associate-/r/_binary64_13827
10×add-cbrt-cube_binary64_13734
8×div-exp_binary64_13711
6×div-inv_binary64_13763 flip--_binary64_13788 flip3--_binary64_13761 associate-/l*_binary64_13826
5×add-log-exp_binary64_13727
4×pow1_binary64_13704 cbrt-undiv_binary64_13732
2×clear-num_binary64_13765 rec-exp_binary64_13710 frac-2neg_binary64_13755 1-exp_binary64_13722
1×pow-flip_binary64_13688 inv-pow_binary64_13680 diff-log_binary64_13673 sub-neg_binary64_13766
Counts
3 → 124
Calls
3 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
13.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
7.0ms
(/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))

series1.3s

Counts
3 → 9
Calls
3 calls:
178.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
594.0ms
(/.f64 1 (/.f64 a (-.f64 (*.f64 x y) (*.f64 z t))))
553.0ms
(/.f64 a (-.f64 (*.f64 x y) (*.f64 z t)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0895502
1895502
014695400
114695400
0895502
1895502
014695400
114695400
013
113
0985529
1985529
014685382
114685382
0985529
1985529
014685382
114685382
013
113
0684524
1684524
04064446
14064446
0684524
1684524
04064446
14064446
013
113

simplify135.0ms

Counts
133 → 133
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
050773146

prune88.0ms

Filtered
84 candidates to 133 candidates (-58.3%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1276133
Fresh347
Picked101
Done022
Total13112143

Merged error: 8.0b

Counts
143 → 12

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b
(-.f64 (*.f64 x y) (*.f64 z t))
0.6b
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
0.8b
(/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
7.3b
(*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
52×add-exp-log_binary64_13726
29×add-sqr-sqrt_binary64_13747
23×times-frac_binary64_13757 *-un-lft-identity_binary64_13762
22×add-cube-cbrt_binary64_13733
20×div-exp_binary64_13711 add-cbrt-cube_binary64_13734
16×prod-exp_binary64_13709
15×associate-*r*_binary64_13821
10×rec-exp_binary64_13710 1-exp_binary64_13722 pow1_binary64_13704
6×associate-/r/_binary64_13827 add-log-exp_binary64_13727 associate-/l*_binary64_13826 cbrt-undiv_binary64_13732
4×associate-/r*_binary64_13825 cbrt-unprod_binary64_13731
3×pow-flip_binary64_13688 associate-*l*_binary64_13822 unswap-sqr_binary64_13790 div-inv_binary64_13763 flip--_binary64_13788 flip3--_binary64_13761
2×clear-num_binary64_13765 un-div-inv_binary64_13764 inv-pow_binary64_13680 associate-*r/_binary64_13823 pow-prod-down_binary64_13685 frac-2neg_binary64_13755
1×diff-log_binary64_13673 *-commutative_binary64_13830 sub-neg_binary64_13766
Counts
4 → 122
Calls
4 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
7.0ms
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
13.0ms
(/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
13.0ms
(*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))

series1.6s

Counts
4 → 12
Calls
4 calls:
172.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
181.0ms
(/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
659.0ms
(/.f64 1 (*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
557.0ms
(*.f64 a (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0815529
1815529
014685400
114685400
0815529
1815529
014685400
114685400
013
113
0905556
1905556
014685382
114685382
0905556
1905556
014685382
114685382
013
113
0774551
1774551
04444473
14444473
0774551
1774551
04444473
14444473
013
113
0684524
1684524
04064446
14064446
0684524
1684524
04064446
14064446
013
113

simplify118.0ms

Counts
134 → 134
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
051642027

prune66.0ms

Filtered
73 candidates to 134 candidates (-83.6%)
Pruning

12 alts after pruning (9 fresh and 3 done)

PrunedKeptTotal
New1331134
Fresh189
Picked011
Done022
Total13412146

Merged error: 8.0b

Counts
146 → 12

regimes215.0ms

Accuracy

0% (0.3b remaining)

Error of 7.7b against oracle of 7.4b and baseline of 7.7b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03813
13813

end0.0ms

sample739.0ms

Algorithm
intervals
Results
295.0ms8000×body80valid
102.0ms2887×body80invalid

Profiling

Loading profile data...