Details

Time bar (total: 34.2s)

sample52.0ms

Algorithm
intervals
Results
19.0ms59×body1280valid
11.0ms41×body640valid
9.0ms126×body80valid
3.0ms18×body320valid
1.0ms12×body160valid

simplify73.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
60×times-frac
57×add-sqr-sqrt
25×add-cube-cbrt
20×distribute-lft-out
18×distribute-lft-out--
14×difference-of-squares
11×associate-/r*
7×add-cbrt-cube add-exp-log associate-/l*
5×difference-of-sqr-1 add-log-exp
4×associate-/r/
3×pow1 insert-posit16
2×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 117
Calls
3 calls:
Slowest
74.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
21.0ms
(/ (+ x 1) (- x 1))
7.0ms
(/ x (+ x 1))

series164.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
106.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
35.0ms
(/ (+ x 1) (- x 1))
23.0ms
(/ x (+ x 1))

simplify5.1s

Counts
142 → 126
Calls
142 calls:
Slowest
771.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
334.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
248.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
237.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
217.0ms
(/ (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))

prune856.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize39.0ms

Local error

Found 4 expressions with local error:

3.4b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
3.4b
(log (exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
0.0b
(/ x (+ x 1))
0.0b
(exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))

rewrite406.0ms

Algorithm
rewrite-expression-head
Rules
162×*-un-lft-identity
72×times-frac
52×add-sqr-sqrt
39×distribute-lft-out--
32×exp-prod
28×distribute-lft-out
17×log-pow
16×add-cube-cbrt
12×difference-of-squares
9×add-log-exp
6×add-cbrt-cube add-exp-log
5×pow1 log-prod
4×associate-/r* exp-sum insert-posit16
3×sub-neg associate-/l*
2×exp-diff diff-log associate-/r/ rem-exp-log
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ flip3-- div-exp rem-log-exp frac-sub flip-+ div-inv flip--
Counts
4 → 122
Calls
4 calls:
Slowest
173.0ms
(exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))
166.0ms
(log (exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
50.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
14.0ms
(/ x (+ x 1))

series384.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
124.0ms
(log (exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
115.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
108.0ms
(exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))
37.0ms
(/ x (+ x 1))

simplify5.1s

Counts
118 → 134
Calls
118 calls:
Slowest
314.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
277.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
257.0ms
(/ (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))
251.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
239.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize50.0ms

Local error

Found 4 expressions with local error:

3.4b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
3.4b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
3.4b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
3.4b
(log (exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))

rewrite365.0ms

Algorithm
rewrite-expression-head
Rules
190×*-un-lft-identity
80×times-frac
54×add-sqr-sqrt
52×distribute-lft-out--
32×distribute-lft-out
17×log-pow
16×exp-prod difference-of-squares
10×add-log-exp
6×add-cube-cbrt
5×pow1 log-prod
4×sub-neg add-cbrt-cube add-exp-log insert-posit16
3×flip3-- diff-log frac-sub flip--
2×exp-sum
1×log-div exp-diff rem-log-exp
Counts
4 → 113
Calls
4 calls:
Slowest
185.0ms
(log (exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
70.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
57.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
49.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

series399.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
124.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
109.0ms
(log (exp (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
83.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
82.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

simplify6.4s

Counts
119 → 125
Calls
119 calls:
Slowest
310.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
288.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
266.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
256.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
250.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 4 expressions with local error:

5.0b
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))
0.5b
(/ -1 (* x x))
0.2b
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
0.1b
(/ (/ -1 x) (* x x))

rewrite152.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
90.0ms
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
42.0ms
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))
12.0ms
(/ (/ -1 x) (* x x))
6.0ms
(/ -1 (* x x))

series212.0ms

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

simplify8.2s

Counts
94 → 123
Calls
94 calls:
Slowest
492.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
456.0ms
(/ (* (* -1 -1) -1) (* (* (* x x) x) (* (* x x) x)))
452.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
447.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
430.0ms
(* (+ (* (/ (/ -1 x) (* x x)) (/ (/ -1 x) (* x x))) (- (* (/ -1 x) (/ -1 x)) (* (/ (/ -1 x) (* x x)) (/ -1 x)))) (* x x))

prune996.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes71.0ms

Accuracy

100% (0.0b remaining)

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

bsearch137.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.1s1707×body1280valid
452.0ms4101×body80valid
399.0ms1255×body640valid
190.0ms603×body320valid
52.0ms334×body160valid