Details

Time bar (total: 1.2m)

sample100.0ms

Algorithm
intervals
Results
43.0ms77×body640valid
16.0ms118×body80valid
14.0ms21×body1280valid
13.0ms30×body320valid
3.0ms11×body160valid

simplify137.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
136.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.5b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
58×add-sqr-sqrt
56×times-frac
25×add-cube-cbrt
18×distribute-lft-out--
17×distribute-lft-out
14×difference-of-squares
12×add-exp-log
11×associate-/r* add-log-exp
8×add-cbrt-cube div-inv
6×pow1 associate-/l*
4×difference-of-sqr-1 div-exp associate-/r/ insert-posit16
3×flip3-- frac-add flip--
2×cbrt-undiv rec-exp associate-+l+ clear-num sum-log sub-neg frac-2neg flip3-+ diff-log 1-exp frac-sub flip-+ pow-flip inv-pow
1×+-commutative associate-+l-
Counts
4 → 141
Calls
4 calls:
Slowest
186.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
35.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
16.0ms
(/ 1 (- x 1))
16.0ms
(/ 1 (+ x 1))

series185.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
114.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
25.0ms
(/ 1 (- x 1))
25.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
21.0ms
(/ 1 (+ x 1))

simplify8.3s

Counts
151 → 153
Calls
151 calls:
Slowest
638.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
447.0ms
(/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1)))
354.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- x 1)) (* (+ (/ 1 (+ x 1)) (/ 2 x)) 1))
302.0ms
(/ (* (* 1 1) 1) (* (* (- x 1) (- x 1)) (- x 1)))
296.0ms
(* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (- x 1))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 2 x) (* x x))
0.1b
(/ 2 (pow x 5))
0.0b
(/ 2 (pow x 7))
0.0b
(+ (/ (/ 2 x) (* x x)) (/ 2 (pow x 5)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
73×times-frac
52×*-un-lft-identity
50×add-sqr-sqrt add-cube-cbrt
26×add-exp-log
24×unpow-prod-down
20×add-cbrt-cube
19×associate-/l*
15×associate-/r*
12×div-exp
8×cbrt-undiv sqr-pow
6×add-log-exp
5×div-inv
4×pow1 insert-posit16
3×clear-num frac-2neg
2×pow-to-exp pow-exp prod-exp cbrt-unprod
1×+-commutative sum-log flip3-+ frac-add flip-+ distribute-lft-out associate-/l/
Counts
4 → 153
Calls
4 calls:
Slowest
47.0ms
(+ (/ (/ 2 x) (* x x)) (/ 2 (pow x 5)))
14.0ms
(/ (/ 2 x) (* x x))
7.0ms
(/ 2 (pow x 7))
5.0ms
(/ 2 (pow x 5))

series418.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
170.0ms
(+ (/ (/ 2 x) (* x x)) (/ 2 (pow x 5)))
102.0ms
(/ 2 (pow x 7))
77.0ms
(/ (/ 2 x) (* x x))
69.0ms
(/ 2 (pow x 5))

simplify11.3s

Counts
171 → 165
Calls
171 calls:
Slowest
405.0ms
(/ (* (* 2 2) 2) (* (* (pow x 7) (pow x 7)) (pow x 7)))
330.0ms
(/ (* (* 2 2) 2) (* (* (pow x 5) (pow x 5)) (pow x 5)))
321.0ms
(/ (* (cbrt 2) (cbrt 2)) (* (cbrt (pow x 5)) (cbrt (pow x 5))))
294.0ms
(/ (* (cbrt 2) (cbrt 2)) (* (cbrt (pow x 7)) (cbrt (pow x 7))))
267.0ms
(+ (* (/ 2 x) (pow x 5)) (* (* x x) 2))

prune1.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 2 x) x)
0.1b
(/ (/ (/ 2 x) x) x)
0.1b
(/ 2 (pow x 5))
0.0b
(/ 2 (pow x 7))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
510×times-frac
262×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
62×associate-/l*
28×add-exp-log
24×unpow-prod-down div-inv
22×add-cbrt-cube
20×associate-/r*
15×div-exp
11×cbrt-undiv
8×sqr-pow
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×pow-to-exp pow-exp associate-/l/
Counts
4 → 356
Calls
4 calls:
Slowest
14.0ms
(/ (/ 2 x) x)
14.0ms
(/ (/ (/ 2 x) x) x)
5.0ms
(/ 2 (pow x 5))
5.0ms
(/ 2 (pow x 7))

series274.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
117.0ms
(/ 2 (pow x 7))
84.0ms
(/ 2 (pow x 5))
43.0ms
(/ (/ (/ 2 x) x) x)
28.0ms
(/ (/ 2 x) x)

simplify27.1s

Counts
526 → 368
Calls
526 calls:
Slowest
510.0ms
(/ (* (* (/ (/ 2 x) x) (/ (/ 2 x) x)) (/ (/ 2 x) x)) (* (* x x) x))
455.0ms
(/ (/ (/ (* (cbrt 2) (cbrt 2)) (sqrt x)) (* (cbrt x) (cbrt x))) (sqrt x))
407.0ms
(/ (/ (/ (* (cbrt 2) (cbrt 2)) 1) (* (cbrt x) (cbrt x))) (sqrt x))
342.0ms
(/ (/ (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt x))
340.0ms
(/ (/ (/ (* (cbrt 2) (cbrt 2)) (sqrt x)) (* (cbrt x) (cbrt x))) 1)

prune3.5s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

28.5b
(sqrt (/ (/ 2 x) x))
28.5b
(sqrt (/ (/ 2 x) x))
0.2b
(/ (sqrt (/ (/ 2 x) x)) x)
0.1b
(/ (/ 2 x) x)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
615×times-frac
319×add-sqr-sqrt
307×*-un-lft-identity add-cube-cbrt
258×sqrt-prod
59×associate-/l*
30×div-inv
11×add-cbrt-cube add-exp-log
6×pow1 rem-sqrt-square associate-/r*
4×cbrt-undiv div-exp insert-posit16 add-log-exp
3×sqrt-div
2×clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 386
Calls
4 calls:
Slowest
14.0ms
(/ (/ 2 x) x)
8.0ms
(/ (sqrt (/ (/ 2 x) x)) x)
4.0ms
(sqrt (/ (/ 2 x) x))
3.0ms
(sqrt (/ (/ 2 x) x))

series523.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
357.0ms
(/ (/ 2 x) x)
67.0ms
(/ (sqrt (/ (/ 2 x) x)) x)
60.0ms
(sqrt (/ (/ 2 x) x))
40.0ms
(sqrt (/ (/ 2 x) x))

simplify12.4s

Counts
529 → 398
Calls
529 calls:
Slowest
372.0ms
(/ (* (* (sqrt (/ (/ 2 x) x)) (sqrt (/ (/ 2 x) x))) (sqrt (/ (/ 2 x) x))) (* (* x x) x))
184.0ms
(/ (/ (* (* 2 2) 2) (* (* x x) x)) (* (* x x) x))
162.0ms
(/ (* (* (/ 2 x) (/ 2 x)) (/ 2 x)) (* (* x x) x))
154.0ms
(sqrt (/ (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (sqrt x)))
153.0ms
(/ (sqrt (/ (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) 1)

prune3.8s

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0.0b

regimes89.0ms

Accuracy

99.4% (0.1b remaining)

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

bsearch151.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
664.0ms4138×body80valid
609.0ms1870×body640valid
235.0ms952×body320valid
234.0ms568×body1280valid
91.0ms473×body160valid