Details

Time bar (total: 6.1s)

analyze303.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
25%74.9%0.1%6
34.3%40.6%25.1%7
35.9%39%25.1%8
42.1%32.8%25.1%9
42.9%19.5%37.6%10
43.3%19.1%37.6%11
45%17.5%37.6%12
45.1%10.3%44.6%13
45.2%10.2%44.6%14

sample20.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
1.0ms31×body80nan
1.0ms16×body80invalid

simplify24.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
03012
13012

prune3.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.4b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (*.f64 y (sqrt.f64 z)))
0.2b
(*.f64 1/2 (+.f64 x (*.f64 y (sqrt.f64 z))))
0.2b
(*.f64 y (sqrt.f64 z))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_1672
9×associate-*r*_binary64_1746
8×add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
7×pow1_binary64_1629 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
6×associate-*l*_binary64_1747
5×add-log-exp_binary64_1652
4×sqrt-prod_binary64_1666
3×unswap-sqr_binary64_1715
2×prod-exp_binary64_1634 associate-*r/_binary64_1748 flip3-+_binary64_1685 pow-prod-down_binary64_1610 *-commutative_binary64_1755 flip-+_binary64_1712 cbrt-unprod_binary64_1656
1×distribute-rgt-in_binary64_1730 distribute-lft-in_binary64_1729 +-commutative_binary64_1754 sum-log_binary64_1597
Counts
3 → 55
Calls
3 calls:
4.0ms
(+.f64 x (*.f64 y (sqrt.f64 z)))
7.0ms
(*.f64 1/2 (+.f64 x (*.f64 y (sqrt.f64 z))))
7.0ms
(*.f64 y (sqrt.f64 z))

series753.0ms

Counts
3 → 9
Calls
3 calls:
207.0ms
(+.f64 x (*.f64 y (sqrt.f64 z)))
421.0ms
(*.f64 1/2 (+.f64 x (*.f64 y (sqrt.f64 z))))
125.0ms
(*.f64 y (sqrt.f64 z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0932390
1932390
0162214
1162214
0932390
1932390
0162214
1162214
013
113
0653591
1653591
011793537
111793537
0653591
1653591
011793537
111793537
013
113
0613564
1613564
04593510
14593510
0613564
1613564
04593510
14593510
013
113

simplify125.0ms

Counts
64 → 64
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
04951691
14951691

prune48.0ms

Filtered
45 candidates to 64 candidates (-42.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New58664
Fresh000
Picked011
Done000
Total58765

Merged error: 0.3b

Counts
65 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (sqrt.f64 z))
0.2b
(*.f64 1/2 (+.f64 x (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))))
0.2b
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
0.4b
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
31×sqrt-prod_binary64_1666
25×add-sqr-sqrt_binary64_1672
21×associate-*r*_binary64_1746
15×add-cube-cbrt_binary64_1658 pow1_binary64_1629 *-un-lft-identity_binary64_1687
13×add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
7×associate-*l*_binary64_1747
5×prod-exp_binary64_1634 pow-prod-down_binary64_1610 cbrt-unprod_binary64_1656
4×unswap-sqr_binary64_1715 add-log-exp_binary64_1652 sqrt-pow1_binary64_1668
3×*-commutative_binary64_1755
2×rem-sqrt-square_binary64_1675 associate-*r/_binary64_1748 pow1/2_binary64_1619
1×distribute-rgt-in_binary64_1730 distribute-lft-in_binary64_1729 flip3-+_binary64_1685 flip-+_binary64_1712
Counts
4 → 91
Calls
4 calls:
2.0ms
(sqrt.f64 (sqrt.f64 z))
7.0ms
(*.f64 1/2 (+.f64 x (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))))
8.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
12.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))

series1.5s

Counts
4 → 12
Calls
4 calls:
259.0ms
(sqrt.f64 (sqrt.f64 z))
872.0ms
(*.f64 1/2 (+.f64 x (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))))
128.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
233.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01202644
11202644
048192285
148192285
01202644
11202644
048192285
148192285
013
113
01052446
11052446
0162232
1162232
01052446
11052446
0162232
1162232
013
113
0713696
1713696
022153537
122153537
0713696
1713696
022153537
122153537
013
113
01851480
11851480
049721316
149721316
01851480
11851480
049721316
149721316
013
113

simplify123.0ms

Counts
103 → 103
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
048681006
148681006

prune55.0ms

Filtered
58 candidates to 103 candidates (-77.6%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1012103
Fresh145
Picked011
Done011
Total1028110

Merged error: 0.2b

Counts
110 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 1/2 (+.f64 x (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))))
0.2b
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
0.3b
(*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))
0.3b
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
48×sqrt-prod_binary64_1666
36×associate-*r*_binary64_1746
26×add-sqr-sqrt_binary64_1672
22×pow1_binary64_1629 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
18×add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
11×prod-exp_binary64_1634 pow-prod-down_binary64_1610 cbrt-unprod_binary64_1656
8×associate-*l*_binary64_1747
4×unswap-sqr_binary64_1715 add-log-exp_binary64_1652 *-commutative_binary64_1755
2×associate-*r/_binary64_1748
1×distribute-rgt-in_binary64_1730 distribute-lft-in_binary64_1729 flip3-+_binary64_1685 flip-+_binary64_1712
Counts
4 → 105
Calls
4 calls:
7.0ms
(*.f64 1/2 (+.f64 x (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))))
8.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
21.0ms
(*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))
14.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))

series1.3s

Counts
4 → 12
Calls
4 calls:
585.0ms
(*.f64 1/2 (+.f64 x (*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))))
127.0ms
(*.f64 y (sqrt.f64 (sqrt.f64 z)))
285.0ms
(*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))
275.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 (sqrt.f64 z))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01322674
11322674
049002544
149002544
01322674
11322674
049002544
149002544
013
113
01472814
11472814
053422302
01472814
11472814
053422302
013
113
01052446
11052446
0162232
1162232
01052446
11052446
0162232
1162232
013
113
0773819
1773819
047273537
147273537
0773819
1773819
047273537
147273537
013
113

simplify77.0ms

Counts
117 → 117
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049841437
149841437

prune77.0ms

Filtered
63 candidates to 117 candidates (-85.7%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1161117
Fresh145
Picked011
Done022
Total1178125

Merged error: 0.2b

Counts
125 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (fabs.f64 (cbrt.f64 (sqrt.f64 z)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 z))))
0.3b
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (fabs.f64 (cbrt.f64 (sqrt.f64 z))))
0.6b
(cbrt.f64 (sqrt.f64 z))
0.6b
(cbrt.f64 (sqrt.f64 z))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1_binary64_1629 add-cbrt-cube_binary64_1659 cbrt-prod_binary64_1654 sqrt-prod_binary64_1666 add-exp-log_binary64_1651
15×associate-*r*_binary64_1746
13×add-sqr-sqrt_binary64_1672 add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
9×prod-exp_binary64_1634 pow-prod-down_binary64_1610 cbrt-unprod_binary64_1656
4×add-log-exp_binary64_1652
2×*-commutative_binary64_1755 pow1/3_binary64_1621 associate-*l*_binary64_1747
Counts
4 → 76
Calls
4 calls:
15.0ms
(*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (fabs.f64 (cbrt.f64 (sqrt.f64 z)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 z))))
9.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (fabs.f64 (cbrt.f64 (sqrt.f64 z))))
2.0ms
(cbrt.f64 (sqrt.f64 z))
2.0ms
(cbrt.f64 (sqrt.f64 z))

series711.0ms

Counts
4 → 12
Calls
4 calls:
290.0ms
(*.f64 (*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (fabs.f64 (cbrt.f64 (sqrt.f64 z)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 z))))
243.0ms
(*.f64 (*.f64 y (sqrt.f64 (sqrt.f64 z))) (fabs.f64 (cbrt.f64 (sqrt.f64 z))))
88.0ms
(cbrt.f64 (sqrt.f64 z))
90.0ms
(cbrt.f64 (sqrt.f64 z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
0361932
1361932
0451917
1451917
0361932
1361932
0451917
1451917
013
113
01292709
11292709
052952661
01292709
11292709
052952661
013
113
01592814
11592814
048892760
148892760
01592814
11592814
048892760
148892760
013
113

simplify133.0ms

Counts
88 → 88
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
049451426
149451426

prune54.0ms

Filtered
56 candidates to 88 candidates (-57.1%)
Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New88088
Fresh044
Picked011
Done033
Total88896

Merged error: 0.2b

Counts
96 → 8

regimes103.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01212
11212

end0.0ms

sample546.0ms

Algorithm
intervals
Results
300.0ms8000×body80valid
36.0ms1079×body80nan
17.0ms396×body80invalid

Profiling

Loading profile data...