Details

Time bar (total: 3.8s)

analyze252.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
31.2%68.6%0.1%8
39%57.7%3.3%9
47.6%46%6.4%10
58.1%35.5%6.4%11
62.2%29.1%8.7%12
66.2%22.7%11.1%13
71.3%17.6%11.1%14

sample16.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
0.0ms14×body80invalid

simplify36.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
021310
121310

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.4b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

3.2b
(*.f64 x (-.f64 1 (*.f64 y z)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64
3×*-un-lft-identity_binary64 pow1_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
2×sub-neg_binary64 associate-*r/_binary64
1×pow-prod-down_binary64 add-log-exp_binary64 flip3--_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 prod-exp_binary64 insert-posit16 flip--_binary64 *-commutative_binary64
Counts
1 → 23
Calls
1 calls:
7.0ms
(*.f64 x (-.f64 1 (*.f64 y z)))

series223.0ms

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

Useful iterations: 0 (6.0ms)

IterNodesCost
0341261
1341261
089
189
0341261
1341261
089
189
013
113

simplify212.0ms

Counts
26 → 26
Iterations

Useful iterations: 0 (194.0ms)

IterNodesCost
04807296
14807296

prune29.0ms

Filtered
18 candidates to 26 candidates (-44.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New18826
Fresh000
Picked101
Done000
Total19827

Merged error: 3.2b

Counts
27 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 x (neg.f64 (*.f64 y z))))
5.6b
(*.f64 x (neg.f64 (*.f64 y z)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*r*_binary64 add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×associate-*l*_binary64
2×distribute-rgt-neg-out_binary64 insert-posit16
1×pow-prod-down_binary64 flip3-+_binary64 cbrt-unprod_binary64 neg-mul-1_binary64 distribute-lft-neg-in_binary64 unswap-sqr_binary64 distribute-rgt-neg-in_binary64 prod-exp_binary64 +-commutative_binary64 flip-+_binary64 unsub-neg_binary64 sum-log_binary64 *-commutative_binary64
Counts
2 → 36
Calls
2 calls:
4.0ms
(+.f64 x (*.f64 x (neg.f64 (*.f64 y z))))
6.0ms
(*.f64 x (neg.f64 (*.f64 y z)))

series466.0ms

Counts
2 → 6
Calls
2 calls:
244.0ms
(+.f64 x (*.f64 x (neg.f64 (*.f64 y z))))
222.0ms
(*.f64 x (neg.f64 (*.f64 y z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0341251
1341251
089
189
0341251
1341251
089
189
013
113
0385287
1385287
089
189
0385287
1385287
089
189
013
113

simplify129.0ms

Counts
42 → 42
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
04994440
14994440

prune27.0ms

Filtered
31 candidates to 42 candidates (-35.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New40242
Fresh617
Picked011
Done000
Total46450

Merged error: 0.0b

Counts
50 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.9b
(*.f64 x (*.f64 (cbrt.f64 (neg.f64 (*.f64 y z))) (cbrt.f64 (neg.f64 (*.f64 y z)))))
12.1b
(cbrt.f64 (neg.f64 (*.f64 y z)))
12.1b
(cbrt.f64 (neg.f64 (*.f64 y z)))
12.1b
(cbrt.f64 (neg.f64 (*.f64 y z)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod_binary64
9×pow1_binary64 add-exp-log_binary64 add-sqr-sqrt_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×add-cbrt-cube_binary64
4×add-log-exp_binary64 insert-posit16
3×pow-prod-down_binary64 cbrt-unprod_binary64 pow1/3_binary64 neg-mul-1_binary64 distribute-lft-neg-in_binary64 associate-*l*_binary64 distribute-rgt-neg-in_binary64 prod-exp_binary64
1×associate-*r*_binary64 unswap-sqr_binary64 *-commutative_binary64
Counts
4 → 65
Calls
4 calls:
11.0ms
(*.f64 x (*.f64 (cbrt.f64 (neg.f64 (*.f64 y z))) (cbrt.f64 (neg.f64 (*.f64 y z)))))
2.0ms
(cbrt.f64 (neg.f64 (*.f64 y z)))
2.0ms
(cbrt.f64 (neg.f64 (*.f64 y z)))
2.0ms
(cbrt.f64 (neg.f64 (*.f64 y z)))

series992.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(*.f64 x (*.f64 (cbrt.f64 (neg.f64 (*.f64 y z))) (cbrt.f64 (neg.f64 (*.f64 y z)))))
266.0ms
(cbrt.f64 (neg.f64 (*.f64 y z)))
272.0ms
(cbrt.f64 (neg.f64 (*.f64 y z)))
270.0ms
(cbrt.f64 (neg.f64 (*.f64 y z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0961666
1961666
0161581
1161581
0961666
1961666
0161581
1161581
0490740
1490740
0961666
1961666
0161581
1161581
0961666
1961666
0161581
1161581
0490740
1490740
0961666
1961666
0161581
1161581
0961666
1961666
0161581
1161581
0490740
1490740
02911838
12911838
0739
1739
02911838
12911838
0739
1739
013
113

simplify158.0ms

Counts
77 → 77
Iterations

Useful iterations: 0 (134.0ms)

IterNodesCost
04866945
14866945

prune61.0ms

Filtered
64 candidates to 77 candidates (-20.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New77077
Fresh022
Picked011
Done011
Total77481

Merged error: 0.0b

Counts
81 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 (*.f64 x y) (neg.f64 z)))
6.2b
(*.f64 (*.f64 x y) (neg.f64 z))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r*_binary64
7×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64
3×pow-prod-down_binary64 cbrt-unprod_binary64 distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 prod-exp_binary64
2×distribute-rgt-neg-out_binary64 insert-posit16
1×flip3-+_binary64 neg-mul-1_binary64 associate-*l*_binary64 +-commutative_binary64 flip-+_binary64 unsub-neg_binary64 sum-log_binary64 *-commutative_binary64
Counts
2 → 40
Calls
2 calls:
4.0ms
(+.f64 x (*.f64 (*.f64 x y) (neg.f64 z)))
7.0ms
(*.f64 (*.f64 x y) (neg.f64 z))

series424.0ms

Counts
2 → 6
Calls
2 calls:
222.0ms
(+.f64 x (*.f64 (*.f64 x y) (neg.f64 z)))
201.0ms
(*.f64 (*.f64 x y) (neg.f64 z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0296251
1296251
089
189
0296251
1296251
089
189
013
113
0339287
1339287
089
189
0339287
1339287
089
189
013
113

simplify98.0ms

Counts
46 → 46
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04902474
14902474

prune24.0ms

Filtered
32 candidates to 46 candidates (-43.8%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New43346
Fresh011
Picked011
Done022
Total43750

Merged error: 0.0b

Counts
50 → 7

regimes157.0ms

Accuracy

96.6% (0.1b remaining)

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

bsearch2.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
08840
18840

end0.0ms

sample389.0ms

Algorithm
intervals
Results
197.0ms8000×body80valid
13.0ms533×body80invalid

Profiling

Loading profile data...