Details

Time bar (total: 7.9s)

analyze487.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
18.7%81.1%0.1%8
28.1%71.8%0.1%9
42.1%57.7%0.1%10
49.1%50.7%0.1%11
57.3%42.5%0.1%12
66.9%33%0.1%13
71.7%28.2%0.1%14

sample18.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify21.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
02018
12018

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 37.4b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (*.f64 y y))
34.7b
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
4×add-log-exp_binary64 add-sqr-sqrt_binary64
3×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 sqrt-prod_binary64
2×flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip-+_binary64 sqrt-div_binary64
1×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 +-commutative_binary64 sum-log_binary64
Counts
2 → 28
Calls
2 calls:
5.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
8.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

series435.0ms

Counts
2 → 6
Calls
2 calls:
179.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
256.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0376555
1376555
01215
11215
0376555
1376555
01215
11215
011533
111533
0233243
1233243
089
189
0233243
1233243
089
189
013
113

simplify165.0ms

Counts
34 → 34
Iterations

Useful iterations: 0 (144.0ms)

IterNodesCost
05027597

prune32.0ms

Filtered
28 candidates to 34 candidates (-21.4%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New30434
Fresh000
Picked011
Done000
Total30535

Merged error: 36.5b

Counts
35 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))))
0.3b
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
14×sqrt-prod_binary64 cbrt-prod_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×associate-*r*_binary64
8×cbrt-div_binary64
7×pow1_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
4×flip3-+_binary64 add-log-exp_binary64 insert-posit16 flip-+_binary64 sqrt-div_binary64
3×pow1/3_binary64 associate-*l*_binary64 unswap-sqr_binary64
2×associate-*r/_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
1×pow-prod-down_binary64 pow1/2_binary64 cbrt-unprod_binary64 prod-exp_binary64 *-commutative_binary64
Counts
4 → 78
Calls
4 calls:
8.0ms
(sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))))
14.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
7.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
7.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

series2.3s

Counts
4 → 12
Calls
4 calls:
748.0ms
(sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))))
930.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
312.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
309.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Iterations

Useful iterations: 0 (260.0ms)

IterNodesCost
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
03632121
13632121
046771787
146771787
03632121
13632121
046771787
146771787
0491626
1491626
02301830
12301830
044871664
144871664
02301830
12301830
044871664
144871664
012043
112043

simplify96.0ms

Counts
90 → 90
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049462845
149462845

prune86.0ms

Filtered
78 candidates to 90 candidates (-15.4%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New89190
Fresh123
Picked101
Done011
Total91495

Merged error: 36.5b

Counts
95 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (fabs.f64 (exp.f64 (log.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))) (sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
5.3b
(exp.f64 (log.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64 add-cube-cbrt_binary64 cbrt-prod_binary64
9×associate-*r*_binary64
8×cbrt-div_binary64 sqrt-prod_binary64
7×pow1_binary64
6×log-prod_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 exp-sum_binary64
5×exp-prod_binary64
4×flip3-+_binary64 add-log-exp_binary64 insert-posit16 flip-+_binary64
3×pow1/3_binary64 associate-*l*_binary64 unswap-sqr_binary64
2×associate-*r/_binary64 log-pow_binary64 exp-diff_binary64 log-div_binary64 sqrt-div_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 rem-exp-log_binary64 prod-exp_binary64 *-commutative_binary64
Counts
4 → 79
Calls
4 calls:
14.0ms
(*.f64 (fabs.f64 (exp.f64 (log.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))) (sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
10.0ms
(exp.f64 (log.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
7.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
7.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

series1.8s

Counts
4 → 12
Calls
4 calls:
848.0ms
(*.f64 (fabs.f64 (exp.f64 (log.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))) (sqrt.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
296.0ms
(exp.f64 (log.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))))
312.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
318.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Iterations

Useful iterations: 0 (379.0ms)

IterNodesCost
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
02651848
12651848
04527
14527
02651848
12651848
04527
14527
031151
131151
04032157
14032157
052151807
04032157
14032157
052151807
0506326

simplify136.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
048462817
148462817

prune91.0ms

Filtered
77 candidates to 91 candidates (-18.2%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New90191
Fresh022
Picked011
Done011
Total90595

Merged error: 36.5b

Counts
95 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
35.8b
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod_binary64
8×cbrt-div_binary64 *-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×flip3-+_binary64 add-log-exp_binary64 pow1_binary64 pow1/3_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip-+_binary64
Counts
4 → 56
Calls
4 calls:
8.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
8.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
8.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
7.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))

series1.2s

Counts
4 → 12
Calls
4 calls:
310.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
310.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
316.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
313.0ms
(cbrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)))
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533
01561812
11561812
03151602
13151602
01561812
11561812
03151602
13151602
011533
111533

simplify120.0ms

Counts
68 → 68
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
049371740
149371740

prune109.0ms

Filtered
64 candidates to 68 candidates (-6.3%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New67168
Fresh022
Picked101
Done022
Total68573

Merged error: 36.5b

Counts
73 → 5

regimes119.0ms

Accuracy

0% (1.0b remaining)

Error of 37.7b against oracle of 36.8b and baseline of 37.7b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01218
11218

end0.0ms

sample502.0ms

Algorithm
intervals
Results
322.0ms8000×body80valid

Profiling

Loading profile data...