Details

Time bar (total: 19.0s)

sample78.0ms

Algorithm
intervals
Results
28.0ms59×body640valid
17.0ms136×body80valid
13.0ms37×body320valid
6.0ms11×body1280valid
3.0ms13×body160valid

simplify223.0ms

Counts
1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.7b

localize42.0ms

Local error

Found 4 expressions with local error:

2.1b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
0.0b
(/ 1 (- x 1))
0.0b
(/ 1 (+ x 1))
0.0b
(- (/ 1 (+ x 1)) (/ 2 x))

rewrite351.0ms

Algorithm
rewrite-expression-head
Rules
743×*-un-lft-identity
715×times-frac
544×add-sqr-sqrt
494×add-cube-cbrt
468×prod-diff
236×associate-+l+
99×distribute-lft-out
72×div-inv
58×associate-/r/
29×flip3-+ flip-+
22×distribute-lft-out--
20×difference-of-squares
18×fma-neg
13×fma-def
12×add-exp-log
11×associate-/r* add-log-exp
8×add-cbrt-cube
6×pow1 associate-/l*
4×expm1-log1p-u difference-of-sqr-1 div-exp insert-posit16 log1p-expm1-u
3×flip3-- frac-add flip--
2×cbrt-undiv rec-exp clear-num sum-log sub-neg frac-2neg diff-log 1-exp frac-sub pow-flip inv-pow
1×+-commutative associate-+l-
Counts
4 → 648
Calls
4 calls:
Slowest
266.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
53.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
8.0ms
(/ 1 (- x 1))
8.0ms
(/ 1 (+ x 1))

series232.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
145.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
43.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
25.0ms
(/ 1 (+ x 1))
19.0ms
(/ 1 (- x 1))

simplify970.0ms

Counts
927 → 660

prune6.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

15.6b
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
0.0b
(* (* (+ x 1) x) (- x 1))
0.0b
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))
0.0b
(- (* 1 x) (* (+ x 1) 2))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
88×associate-*l/
37×prod-diff
35×add-sqr-sqrt
34×*-un-lft-identity
32×frac-add
31×flip3-- add-cube-cbrt flip--
24×frac-times flip3-+ flip-+
22×distribute-rgt-in associate-+l+ distribute-lft-in
18×add-cbrt-cube add-exp-log associate-/l/
12×associate-*r/
9×pow1
8×associate-/r/ add-log-exp
7×associate-*r*
6×prod-exp cbrt-unprod
5×sub-neg
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv times-frac div-exp pow-prod-down associate-/l*
2×difference-of-squares
1×+-commutative clear-num associate-/r* sum-log fma-def frac-2neg fma-neg diff-log difference-of-sqr-1 associate-*l* *-commutative div-inv distribute-lft-out--
Counts
4 → 177
Calls
4 calls:
Slowest
83.0ms
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))
34.0ms
(* (* (+ x 1) x) (- x 1))
24.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
10.0ms
(- (* 1 x) (* (+ x 1) 2))

series575.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
435.0ms
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))
105.0ms
(* (* (+ x 1) x) (- x 1))
33.0ms
(- (* 1 x) (* (+ x 1) 2))
2.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))

simplify691.0ms

Counts
237 → 189

prune2.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
25×*-un-lft-identity
20×add-cube-cbrt
19×add-cbrt-cube add-exp-log
18×prod-diff associate-*l/
11×distribute-rgt-in distribute-lft-in
10×pow1 associate-*r*
8×frac-times associate-/r/
7×flip3-+ prod-exp cbrt-unprod flip-+
6×flip3-- flip--
5×associate-*l*
4×pow-prod-down associate-*r/
3×expm1-log1p-u cbrt-undiv times-frac div-exp insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×sub-neg *-commutative difference-of-squares
1×clear-num associate-/r* frac-2neg difference-of-sqr-1 div-inv distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
3 → 113
Calls
3 calls:
Slowest
45.0ms
(* (* (+ x 1) x) (- x 1))
36.0ms
(/ 2 (* (* (+ x 1) x) (- x 1)))
15.0ms
(* (+ x 1) x)

series251.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
110.0ms
(* (* (+ x 1) x) (- x 1))
75.0ms
(* (+ x 1) x)
67.0ms
(/ 2 (* (* (+ x 1) x) (- x 1)))

simplify800.0ms

Counts
151 → 122

prune985.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.7b
(/ (sqrt 2) (fma x x x))
0.2b
(/ (sqrt 2) (- x 1))
0.2b
(* (/ (sqrt 2) (fma x x x)) (/ (sqrt 2) (- x 1)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
157×add-sqr-sqrt
132×times-frac
114×*-un-lft-identity
75×add-cube-cbrt
72×sqrt-prod
48×associate-*r*
26×difference-of-squares
22×associate-*l*
19×add-cbrt-cube add-exp-log
13×difference-of-sqr-1 distribute-lft-out--
12×associate-/l*
10×associate-/r*
9×unswap-sqr
6×cbrt-undiv div-exp
5×pow1
4×prod-exp associate-/r/ cbrt-unprod div-inv
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg flip3-- flip--
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 216
Calls
3 calls:
Slowest
39.0ms
(* (/ (sqrt 2) (fma x x x)) (/ (sqrt 2) (- x 1)))
9.0ms
(/ (sqrt 2) (- x 1))
5.0ms
(/ (sqrt 2) (fma x x x))

series307.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
188.0ms
(* (/ (sqrt 2) (fma x x x)) (/ (sqrt 2) (- x 1)))
63.0ms
(/ (sqrt 2) (- x 1))
55.0ms
(/ (sqrt 2) (fma x x x))

simplify313.0ms

Counts
296 → 225

prune1.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes28.0ms

Accuracy

0% (0.3b remaining)

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

bsearch1.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
833.0ms1867×body640valid
794.0ms579×body1280valid
488.0ms4161×body80valid
327.0ms957×body320valid
82.0ms438×body160valid