Details

Time bar (total: 10.4s)

sample29.0ms

Algorithm
intervals
Results
11.0ms302×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1117
2227
3427
4657
5917
62197
75797
816347
948567
done50007

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.7b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- y z))
13.9b
(/ (* x (- y z)) y)

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×add-exp-log add-cbrt-cube
8×*-un-lft-identity
6×add-cube-cbrt
5×associate-*r*
4×pow1 associate-*r/
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv distribute-rgt-in sub-neg flip3-- distribute-lft-in div-exp prod-exp flip-- cbrt-unprod associate-/l/ add-log-exp
1×frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 49
Calls
2 calls:
36.0ms
(* x (- y z))
25.0ms
(/ (* x (- y z)) y)

series103.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(* x (- y z))
61.0ms
(/ (* x (- y z)) y)

simplify694.0ms

Counts
55 → 55
Iterations

Useful iterations: done (692.0ms)

IterNodesCost
090481
1236457
2976407
done5000399

prune130.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- y z))
2.4b
(/ x (/ y (- y z)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
102×add-sqr-sqrt *-un-lft-identity
70×add-cube-cbrt
26×associate-/r*
16×distribute-lft-out-- difference-of-squares
11×associate-/r/
9×add-exp-log add-cbrt-cube
6×div-inv associate-/l*
5×flip3-- flip--
4×cbrt-undiv div-exp
2×pow1 frac-2neg clear-num add-log-exp
Counts
2 → 139
Calls
2 calls:
17.0ms
(/ y (- y z))
27.0ms
(/ x (/ y (- y z)))

series129.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(/ y (- y z))
73.0ms
(/ x (/ y (- y z)))

simplify1.1s

Counts
145 → 145
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02182050
15601936
228181850
done50011842

prune428.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series994.0ms

Counts
4 → 12
Calls
4 calls:
227.0ms
(cbrt x)
237.0ms
(cbrt y)
266.0ms
(cbrt y)
263.0ms
(cbrt y)

simplify965.0ms

Counts
56 → 56
Iterations

Useful iterations: 3 (121.0ms)

IterNodesCost
042260
177244
2211220
3659208
41936208
done5000208

prune229.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (- y z))
0.2b
(/ 1 (/ (/ y (- y z)) x))
2.4b
(/ (/ y (- y z)) x)

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
771×times-frac
439×add-sqr-sqrt *-un-lft-identity
335×add-cube-cbrt
75×associate-/r*
52×distribute-lft-out-- difference-of-squares
35×associate-/r/
31×add-exp-log
27×associate-/l*
23×div-inv
19×div-exp add-cbrt-cube
17×flip3-- flip--
10×cbrt-undiv
4×pow1
3×rec-exp frac-2neg 1-exp clear-num add-log-exp
1×pow-flip associate-/l/ inv-pow
Counts
3 → 435
Calls
3 calls:
14.0ms
(/ y (- y z))
52.0ms
(/ 1 (/ (/ y (- y z)) x))
38.0ms
(/ (/ y (- y z)) x)

series213.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(/ y (- y z))
70.0ms
(/ 1 (/ (/ y (- y z)) x))
90.0ms
(/ (/ y (- y z)) x)

simplify1.1s

Counts
444 → 444
Iterations

Useful iterations: done (1.1s)

IterNodesCost
05778467
116477371
done50007087

prune852.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes100.0ms

Accuracy

24.2% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 1.9b

bsearch102.0ms

Steps
ItersRangePoint
9
4.0403307989120256e+166
9.7743658136685e+173
2.6125485154435965e+170
7
-2.6379924648064006e+103
-5.4060873445015506e+101
-9.212480238144807e+101

simplify4.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02379
12748
done2748

end0.0ms

sample892.0ms

Algorithm
intervals
Results
371.0ms9601×body80valid