Details

Time bar (total: 6.7s)

analyze449.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
6.2%93.6%0.1%6
12.5%87.4%0.1%7
15.6%84.3%0.1%8
18.7%71.8%9.5%9
23.4%56%20.6%10
26.3%52.2%21.5%11
31%40.1%28.9%12
35.6%28.9%35.5%13
36.8%27.5%35.7%14

sample25.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
4.0ms84×body80nan

simplify25.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
03818
13818

prune4.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: 21.4b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

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

series883.0ms

Counts
3 → 9
Calls
3 calls:
313.0ms
(*.f64 x (+.f64 y z))
230.0ms
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z))
340.0ms
(sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0449471
1449471
02935
12935
0449471
1449471
02935
12935
055215
155215
0374303
1374303
099
199
0374303
1374303
099
199
013
113
0262183
1262183
02133
12133
0262183
1262183
02133
12133
057493

simplify65.0ms

Counts
63 → 63
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05651852

prune63.0ms

Filtered
46 candidates to 63 candidates (-37.0%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New511263
Fresh000
Picked011
Done000
Total511364

Merged error: 20.7b

Counts
64 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

1.0b
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z))
1.0b
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z))
20.3b
(sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z)))
20.3b
(sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z)))

rewrite35.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
225.0ms
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z))
225.0ms
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z))
344.0ms
(sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z)))
342.0ms
(sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0449471
1449471
02935
12935
0449471
1449471
02935
12935
055215
155215
0449471
1449471
02935
12935
0449471
1449471
02935
12935
055215
155215
0374303
1374303
099
199
0374303
1374303
099
199
013
113
0374303
1374303
099
199
0374303
1374303
099
199
013
113

simplify100.0ms

Counts
72 → 72
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
050711244

prune67.0ms

Filtered
56 candidates to 72 candidates (-28.6%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New72072
Fresh01111
Picked011
Done011
Total721385

Merged error: 20.7b

Counts
85 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
1.0b
(+.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 y z) (cbrt.f64 x))) (*.f64 y z))
20.3b
(sqrt.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 y z) (cbrt.f64 x))) (*.f64 y z)))

rewrite39.0ms

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

series1.2s

Counts
4 → 12
Calls
4 calls:
277.0ms
(cbrt.f64 x)
280.0ms
(cbrt.f64 x)
330.0ms
(+.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 y z) (cbrt.f64 x))) (*.f64 y z))
356.0ms
(sqrt.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (+.f64 y z) (cbrt.f64 x))) (*.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
06401932
16401932
0311305
1311305
06401932
16401932
0311305
1311305
011533
111533
05671908
15671908
0169
1169
05671908
15671908
0169
1169
013
113
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050

simplify143.0ms

Counts
64 → 64
Iterations

Useful iterations: 0 (119.0ms)

IterNodesCost
04949864
14949864

prune60.0ms

Filtered
49 candidates to 64 candidates (-30.6%)
Pruning

14 alts after pruning (11 fresh and 3 done)

PrunedKeptTotal
New63164
Fresh01010
Picked011
Done022
Total631477

Merged error: 20.5b

Counts
77 → 14

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (+.f64 y z))
0.6b
(cbrt.f64 (+.f64 y z))
1.0b
(+.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) (cbrt.f64 (+.f64 y z))) (*.f64 y z))
20.3b
(sqrt.f64 (+.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) (cbrt.f64 (+.f64 y z))) (*.f64 y z)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64 cbrt-prod_binary64
7×add-cube-cbrt_binary64
6×add-log-exp_binary64
5×pow1_binary64
4×cbrt-div_binary64 flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip-+_binary64
3×sqrt-prod_binary64
2×distribute-lft-out_binary64 pow1/3_binary64 sqrt-div_binary64
1×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 58
Calls
4 calls:
4.0ms
(cbrt.f64 (+.f64 y z))
4.0ms
(cbrt.f64 (+.f64 y z))
25.0ms
(+.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) (cbrt.f64 (+.f64 y z))) (*.f64 y z))
24.0ms
(sqrt.f64 (+.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) (cbrt.f64 (+.f64 y z))) (*.f64 y z)))

series1.3s

Counts
4 → 12
Calls
4 calls:
296.0ms
(cbrt.f64 (+.f64 y z))
299.0ms
(cbrt.f64 (+.f64 y z))
334.0ms
(+.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) (cbrt.f64 (+.f64 y z))) (*.f64 y z))
364.0ms
(sqrt.f64 (+.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))) (cbrt.f64 (+.f64 y z))) (*.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
06552028
16552028
02315
12315
06552028
16552028
02315
12315
011533
111533
05822004
15822004
0169
1169
05822004
15822004
0169
1169
013
113
0841650
1841650
0791611
1791611
0841650
1841650
0791611
1791611
0491548
1491548
0841650
1841650
0791611
1791611
0841650
1841650
0791611
1791611
0491548
1491548

simplify74.0ms

Counts
70 → 70
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
059291066

prune50.0ms

Filtered
52 candidates to 70 candidates (-34.6%)
Pruning

16 alts after pruning (12 fresh and 4 done)

PrunedKeptTotal
New68270
Fresh01010
Picked011
Done033
Total681684

Merged error: 20.5b

Counts
84 → 16

regimes98.0ms

Accuracy

0% (0.8b remaining)

Error of 20.1b against oracle of 19.3b and baseline of 20.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01618
11618

end0.0ms

sample678.0ms

Algorithm
intervals
Results
357.0ms8000×body80valid
99.0ms2272×body80nan

Profiling

Loading profile data...