Details

Time bar (total: 2.6s)

analyze280.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
12.5%71.8%15.7%8
25%56.2%18.9%9
31.2%43.7%25.1%10
39%34.7%26.3%11
44.9%27.9%27.3%12
47.8%22%30.2%13
52.6%16.8%30.7%14

sample16.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
1.0ms18×body80invalid

simplify38.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
020213
120213

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp_binary64_1652
1×add-sqr-sqrt_binary64_1672 add-cube-cbrt_binary64_1658 pow1_binary64_1629 flip--_binary64_1713 add-cbrt-cube_binary64_1659 *-un-lft-identity_binary64_1687 diff-log_binary64_1598 sub-neg_binary64_1691 flip3--_binary64_1686 add-exp-log_binary64_1651
Counts
1 → 11
Calls
1 calls:
5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

series271.0ms

Counts
1 → 3
Calls
1 calls:
271.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0653624
1653624
09853528
19853528
0653624
1653624
09853528
19853528
013
113

simplify110.0ms

Counts
14 → 14
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
05035224

prune12.0ms

Filtered
11 candidates to 14 candidates (-27.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New13114
Fresh000
Picked011
Done000
Total13215

Merged error: 0b

Counts
15 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))
0.1b
(*.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))))
3.0b
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
3.0b
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64_1672
24×sqrt-prod_binary64_1666
21×pow1_binary64_1629
16×sqrt-div_binary64_1667
14×add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
10×pow1/2_binary64_1619 sqrt-pow1_binary64_1668
9×flip--_binary64_1713 flip3--_binary64_1686
8×swap-sqr_binary64_1714
6×add-log-exp_binary64_1652 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651 associate-*r*_binary64_1746 associate-*l*_binary64_1747
5×pow-prod-up_binary64_1609
4×unswap-sqr_binary64_1715 frac-times_binary64_1679
3×pow-prod-down_binary64_1610 pow-sqr_binary64_1720
2×rem-sqrt-square_binary64_1675 associate-*r/_binary64_1748 associate-*l/_binary64_1749
1×prod-exp_binary64_1634 pow-plus_binary64_1624 sqrt-unprod_binary64_1670 *-commutative_binary64_1755 diff-log_binary64_1598 sub-neg_binary64_1691 pow2_binary64_1620 rem-square-sqrt_binary64_1674 cbrt-unprod_binary64_1656
Counts
4 → 98
Calls
4 calls:
5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))
16.0ms
(*.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))

series1.1s

Counts
4 → 12
Calls
4 calls:
271.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))
304.0ms
(*.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))))
273.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
276.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0683642
1683642
09873546
19873546
0683642
1683642
09873546
19873546
013
113
0683642
1683642
09873546
19873546
0683642
1683642
09873546
19873546
013
113
0713891
1713891
010353528
110353528
0713891
1713891
010353528
110353528
013
113
0653624
1653624
09853528
19853528
0653624
1653624
09853528
19853528
013
113

simplify116.0ms

Counts
110 → 110
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
050232008

prune75.0ms

Filtered
63 candidates to 110 candidates (-74.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1100110
Fresh000
Picked011
Done011
Total1102112

Merged error: 0b

Counts
112 → 2

regimes62.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05313
15313

end0.0ms

sample425.0ms

Algorithm
intervals
Results
234.0ms8000×body80valid
16.0ms489×body80invalid

Profiling

Loading profile data...