Details

Time bar (total: 4.2s)

analyze1.1s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.6%98.1%0.3%13
3.1%96.6%0.3%14

sample29.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
5.0ms146×body80invalid

simplify21.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
02516
12516

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x y) (*.f64 z t))
0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp_binary64
4×sum-log_binary64
2×flip3-+_binary64 *-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 insert-posit16 +-commutative_binary64 flip-+_binary64
1×associate-+l+_binary64
Counts
2 → 26
Calls
2 calls:
5.0ms
(+.f64 (*.f64 x y) (*.f64 z t))
9.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))

series126.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(+.f64 (*.f64 x y) (*.f64 z t))
64.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0499
1499
0499
1499
013
113
0329
1329
0329
1329
013
113

simplify86.0ms

Counts
32 → 32
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04991528
14991528

prune28.0ms

Filtered
25 candidates to 32 candidates (-28.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New29332
Fresh000
Picked011
Done000
Total29433

Merged error: 0.0b

Counts
33 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 a b))
0.2b
(*.f64 (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
1.1b
(sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
1.1b
(sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
24×sqrt-prod_binary64
21×pow1_binary64
16×sqrt-div_binary64
14×*-un-lft-identity_binary64 add-cube-cbrt_binary64
10×pow1/2_binary64 sqrt-pow1_binary64
9×flip3-+_binary64 flip-+_binary64
8×swap-sqr_binary64
6×add-log-exp_binary64 associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
5×pow-prod-up_binary64
4×unswap-sqr_binary64 insert-posit16 frac-times_binary64
3×pow-prod-down_binary64 pow-sqr_binary64
2×associate-*r/_binary64 rem-sqrt-square_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 rem-square-sqrt_binary64 pow-plus_binary64 sqrt-unprod_binary64 prod-exp_binary64 +-commutative_binary64 pow2_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 102
Calls
4 calls:
16.0ms
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 a b))
15.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
5.0ms
(sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
5.0ms
(sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))

series247.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 a b))
59.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
58.0ms
(sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
61.0ms
(sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0359
1359
0359
1359
013
113
0359
1359
0359
1359
013
113
0429
1429
0429
1429
013
113
0599
1599
0599
1599
013
113

simplify122.0ms

Counts
114 → 114
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
049911974
149911974

prune60.0ms

Filtered
65 candidates to 114 candidates (-75.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1140114
Fresh022
Picked011
Done011
Total1144118

Merged error: 0.0b

Counts
118 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
0.1b
(sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
0.1b
(sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
0.2b
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
24×sqrt-prod_binary64
21×pow1_binary64
16×sqrt-div_binary64
14×*-un-lft-identity_binary64 add-cube-cbrt_binary64
10×pow1/2_binary64 sqrt-pow1_binary64
9×flip3-+_binary64 add-log-exp_binary64 flip-+_binary64
8×swap-sqr_binary64
6×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
5×pow-prod-up_binary64
4×unswap-sqr_binary64 insert-posit16 frac-times_binary64
3×pow-prod-down_binary64 pow-sqr_binary64 sum-log_binary64
2×associate-*r/_binary64 rem-sqrt-square_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 rem-square-sqrt_binary64 associate-+l+_binary64 pow-plus_binary64 sqrt-unprod_binary64 prod-exp_binary64 +-commutative_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 104
Calls
4 calls:
11.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
7.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
7.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
21.0ms
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))

series273.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
68.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
70.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
71.0ms
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0599
1599
0599
1599
013
113
0529
1529
0529
1529
013
113
0529
1529
0529
1529
013
113
0499
1499
0499
1499
013
113

simplify158.0ms

Counts
116 → 116
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
049912675
149912675

prune67.0ms

Filtered
68 candidates to 116 candidates (-70.6%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1160116
Fresh011
Picked011
Done022
Total1164120

Merged error: 0.0b

Counts
120 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b
(+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
1.4b
(+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
4.8b
(*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
34.8b
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 times-frac_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
9×pow1_binary64
8×add-log-exp_binary64 sub-neg_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
5×distribute-lft-out_binary64 sum-cubes_binary64 associate-/l*_binary64
4×flip3-+_binary64 associate-*r/_binary64 insert-posit16 flip-+_binary64 associate-+r+_binary64
3×pow-prod-down_binary64 associate-/r*_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
2×associate-/l/_binary64 associate-/r/_binary64 +-commutative_binary64 sum-log_binary64
1×flip3--_binary64 associate-*r*_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 95
Calls
4 calls:
13.0ms
(+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
10.0ms
(+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
10.0ms
(*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
22.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))

series452.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
58.0ms
(+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
64.0ms
(*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
268.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0739
1739
0739
1739
013
113
0449
1449
0449
1449
013
113
0399
1399
0399
1399
013
113
0579
1579
0579
1579
013
113

simplify86.0ms

Counts
107 → 107
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
052714034

prune115.0ms

Filtered
77 candidates to 107 candidates (-39.0%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1070107
Fresh000
Picked011
Done033
Total1074111

Merged error: 0.0b

Counts
111 → 4

regimes146.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
01716
11716

end0.0ms

sample827.0ms

Algorithm
intervals
Results
291.0ms8000×body80valid
146.0ms3986×body80invalid

Profiling

Loading profile data...