Details

Time bar (total: 11.5s)

sample49.0ms

Algorithm
intervals
Results
18.0ms61×body640valid
11.0ms45×body320valid
9.0ms130×body80valid
3.0ms20×body160valid

simplify16.0ms

Counts
1 → 1

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.1b

localize14.0ms

Local error

Found 2 expressions with local error:

3.5b
(- (/ 1 (+ x 1)) (/ 1 x))
0.0b
(/ 1 (+ x 1))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
39×add-sqr-sqrt
36×times-frac
15×add-cube-cbrt
10×distribute-lft-out--
9×difference-of-squares
7×distribute-lft-out
6×add-exp-log
5×div-inv
4×associate-/r* add-cbrt-cube add-log-exp
3×pow1 associate-/l*
2×div-exp associate-/r/ insert-posit16
1×cbrt-undiv rec-exp clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log 1-exp frac-sub flip-+ pow-flip flip-- inv-pow
Counts
2 → 71
Calls
2 calls:
Slowest
42.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
9.0ms
(/ 1 (+ x 1))

series44.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
29.0ms
(- (/ 1 (+ x 1)) (/ 1 x))
15.0ms
(/ 1 (+ x 1))

simplify1.3s

Counts
77 → 77

prune645.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (- 1) (* (+ x 1) x))
0.0b
(* (+ x 1) x)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity
10×times-frac add-cube-cbrt associate-/l*
9×add-cbrt-cube add-exp-log
6×distribute-lft-neg-in distribute-rgt-neg-in
4×pow1 associate-*l* associate-*l/
3×associate-*r*
2×cbrt-undiv neg-mul-1 flip3-+ div-exp prod-exp associate-/r/ cbrt-unprod flip-+ insert-posit16 add-log-exp
1×neg-sub0 clear-num associate-/r* frac-2neg div-sub pow-prod-down distribute-frac-neg *-commutative div-inv distribute-lft-out unswap-sqr
Counts
2 → 62
Calls
2 calls:
Slowest
27.0ms
(* (+ x 1) x)
11.0ms
(/ (- 1) (* (+ x 1) x))

series114.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
74.0ms
(* (+ x 1) x)
40.0ms
(/ (- 1) (* (+ x 1) x))

simplify1.2s

Counts
68 → 68

prune587.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ -1 (+ x (* x x)))
0.0b
(+ x (* x x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
15×times-frac
12×add-sqr-sqrt add-cube-cbrt
5×associate-/r* distribute-rgt-out distribute-rgt1-in
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/l*
2×pow1 flip3-+ associate-/r/ flip-+ insert-posit16
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 52
Calls
2 calls:
Slowest
7.0ms
(/ -1 (+ x (* x x)))
5.0ms
(+ x (* x x))

series91.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
64.0ms
(+ x (* x x))
28.0ms
(/ -1 (+ x (* x x)))

simplify2.2s

Counts
58 → 58

prune436.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (/ -1 (+ x 1)) x)
0.0b
(/ -1 (+ x 1))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
94×*-un-lft-identity
62×add-sqr-sqrt add-cube-cbrt
21×associate-/l*
16×distribute-lft-out
10×associate-/r/
9×add-cbrt-cube add-exp-log
7×associate-/r*
6×div-inv
5×flip3-+ flip-+
4×cbrt-undiv div-exp
2×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 125
Calls
2 calls:
Slowest
14.0ms
(/ (/ -1 (+ x 1)) x)
8.0ms
(/ -1 (+ x 1))

series47.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
30.0ms
(/ (/ -1 (+ x 1)) x)
16.0ms
(/ -1 (+ x 1))

simplify1.4s

Counts
131 → 131

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes52.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch1.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
713.0ms1244×body320valid
674.0ms1845×body640valid
407.0ms4270×body80valid
133.0ms642×body160valid