Details

Time bar (total: 33.9s)

sample48.0ms

Algorithm
intervals
Results
17.0ms56×body1280valid
10.0ms46×body640valid
7.0ms124×body80valid
4.0ms20×body320valid
1.0ms10×body160valid

simplify64.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.2b

localize44.0ms

Local error

Found 2 expressions with local error:

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

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
32×times-frac
23×add-sqr-sqrt
13×distribute-lft-out--
12×distribute-lft-out
11×add-cube-cbrt
4×associate-/r* add-cbrt-cube add-exp-log add-log-exp difference-of-squares
3×associate-/l*
2×pow1 associate-/r/ insert-posit16
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log div-exp frac-sub flip-+ div-inv flip--
Counts
2 → 61
Calls
2 calls:
Slowest
80.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
18.0ms
(/ x (+ x 1))

series133.0ms

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

simplify2.4s

Counts
68 → 67
Calls
68 calls:
Slowest
294.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
236.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
203.0ms
(/ (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))
179.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
168.0ms
(- (+ x (pow x 3)) (pow x 2))

prune393.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize37.0ms

Local error

Found 4 expressions with local error:

5.4b
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))
0.4b
(/ -1 (* x x))
0.2b
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
0.1b
(/ (/ -1 x) (* x x))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
34×times-frac
24×add-sqr-sqrt *-un-lft-identity
23×add-cbrt-cube add-exp-log
22×add-cube-cbrt
16×associate-/l*
8×cbrt-undiv div-exp
6×pow1 associate-*r/ add-log-exp
5×frac-add
4×associate-*r* prod-exp cbrt-unprod insert-posit16 div-inv
3×flip3-+ associate-*l* flip-+
2×distribute-rgt-in associate-+l+ clear-num associate-/r* frac-2neg distribute-lft-in
1×+-commutative sum-log pow-prod-down *-commutative distribute-lft-out unswap-sqr associate-/l/
Counts
4 → 111
Calls
4 calls:
Slowest
89.0ms
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
57.0ms
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))
11.0ms
(/ -1 (* x x))
10.0ms
(/ (/ -1 x) (* x x))

series206.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
40.0ms
(/ (/ -1 x) (* x x))
31.0ms
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))
30.0ms
(/ -1 (* x x))

simplify7.5s

Counts
94 → 123
Calls
94 calls:
Slowest
463.0ms
(/ (* (* -1 -1) -1) (* (* (* x x) x) (* (* x x) x)))
433.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
377.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
372.0ms
(* (+ (* (/ (/ -1 x) (* x x)) (/ (/ -1 x) (* x x))) (- (* (/ -1 x) (/ -1 x)) (* (/ (/ -1 x) (* x x)) (/ -1 x)))) (* x x))
349.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))

prune737.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

5.4b
(+ (+ (/ -3 x) (/ -3 (* x (* x x)))) (/ -1 (* x x)))
0.4b
(/ -1 (* x x))
0.2b
(/ -3 (* x (* x x)))
0.1b
(* x (* x x))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube add-exp-log
18×pow1
14×*-un-lft-identity
10×add-sqr-sqrt
9×add-cube-cbrt add-log-exp
7×prod-exp cbrt-unprod
6×times-frac associate-/l*
5×cbrt-undiv div-exp pow-prod-up
4×frac-add insert-posit16
3×sum-log associate-*l* pow-prod-down distribute-lft-out
2×clear-num associate-/r* frac-2neg flip3-+ flip-+ div-inv
1×pow2 +-commutative associate-+l+ pow-plus cube-unmult associate-*r* pow-sqr *-commutative unswap-sqr
Counts
4 → 90
Calls
4 calls:
Slowest
160.0ms
(+ (+ (/ -3 x) (/ -3 (* x (* x x)))) (/ -1 (* x x)))
23.0ms
(* x (* x x))
12.0ms
(/ -3 (* x (* x x)))
6.0ms
(/ -1 (* x x))

series151.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
53.0ms
(/ -3 (* x (* x x)))
41.0ms
(* x (* x x))
31.0ms
(/ -1 (* x x))
26.0ms
(+ (+ (/ -3 x) (/ -3 (* x (* x x)))) (/ -1 (* x x)))

simplify5.8s

Counts
64 → 102
Calls
64 calls:
Slowest
508.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
478.0ms
(/ (* (* -1 -1) -1) (* (* (* x x) x) (* (* x x) x)))
474.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
443.0ms
(* (+ (* (/ -3 x) (/ -3 x)) (- (* (/ -3 (* x (* x x))) (/ -3 (* x (* x x)))) (* (/ -3 x) (/ -3 (* x (* x x)))))) (* x x))
408.0ms
(* (* x (* x (* x x))) (* x x))

prune693.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

5.4b
(+ (* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))) (/ -1 (* x x)))
0.4b
(/ -1 (* x x))
0.3b
(* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x))))
0.2b
(* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))

rewrite343.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
15×add-sqr-sqrt associate-*r/
13×*-un-lft-identity
12×associate-*l*
11×pow1 add-cube-cbrt
9×distribute-rgt-in distribute-lft-in
7×sqrt-prod
6×frac-add add-log-exp
5×associate-*r* prod-exp cbrt-unprod
4×associate-+l+ flip3-+ pow-prod-down flip-+ insert-posit16
3×times-frac associate-/l*
2×cbrt-undiv div-exp *-commutative unswap-sqr
1×+-commutative clear-num associate-/r* sum-log frac-2neg div-inv distribute-lft-out
Counts
4 → 99
Calls
4 calls:
Slowest
128.0ms
(* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x))))
105.0ms
(+ (* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))) (/ -1 (* x x)))
101.0ms
(* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
6.0ms
(/ -1 (* x x))

series521.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
239.0ms
(* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x))))
145.0ms
(* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
99.0ms
(+ (* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))) (/ -1 (* x x)))
38.0ms
(/ -1 (* x x))

simplify11.2s

Counts
75 → 111
Calls
75 calls:
Slowest
791.0ms
(* (- (/ (/ -1 x) (* x x)) (/ -1 x)) (* x x))
459.0ms
(/ (* (* -1 -1) -1) (* (* (* x x) (* x x)) (* x x)))
458.0ms
(+ (* (* (sqrt 3) (* (sqrt 3) (+ (pow (/ (/ -1 x) (* x x)) 3) (pow (/ -1 x) 3)))) (* x x)) (* (+ (* (/ (/ -1 x) (* x x)) (/ (/ -1 x) (* x x))) (- (* (/ -1 x) (/ -1 x)) (* (/ (/ -1 x) (* x x)) (/ -1 x)))) -1))
445.0ms
(* (sqrt 3) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x))))
414.0ms
(* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))) (* (sqrt 3) (+ (/ (/ -1 x) (* x x)) (/ -1 x)))))

prune839.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes42.0ms

Accuracy

100% (0.0b remaining)

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

bsearch151.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
813.0ms1750×body1280valid
507.0ms1212×body640valid
372.0ms4086×body80valid
180.0ms648×body320valid
46.0ms304×body160valid