Details

Time bar (total: 27.2s)

sample62.0ms

Algorithm
intervals
Results
35.0ms53×body1280valid
8.0ms39×body640valid
7.0ms132×body80valid
3.0ms21×body320valid
1.0ms11×body160valid

simplify38.0ms

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite79.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
52.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
16.0ms
(/ (+ x 1) (- x 1))
8.0ms
(/ x (+ x 1))

series187.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
105.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
42.0ms
(/ (+ x 1) (- x 1))
40.0ms
(/ x (+ x 1))

simplify4.6s

Counts
142 → 126
Calls
142 calls:
Slowest
375.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
305.0ms
(/ (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))
287.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
206.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
204.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 2)) 1)))

prune819.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
81×*-un-lft-identity
62×add-sqr-sqrt
54×times-frac
35×add-cube-cbrt
19×add-exp-log
18×associate-*r*
15×distribute-lft-out
13×add-cbrt-cube
11×associate-/r*
10×difference-of-squares
7×pow1 associate-/l*
6×associate-/r/ add-log-exp
5×difference-of-sqr-1 div-exp distribute-lft-out--
4×prod-exp insert-posit16
3×cbrt-undiv flip3-+ associate-*l* flip-+ div-inv unswap-sqr
2×rec-exp clear-num frac-2neg flip3-- 1-exp associate-*r/ un-div-inv frac-sub cbrt-unprod flip-- associate-/l/
1×sub-neg diff-log pow-prod-down *-commutative pow-flip inv-pow
Counts
4 → 151
Calls
4 calls:
Slowest
38.0ms
(/ (+ x 1) (- x 1))
37.0ms
(- (* x (/ 1 (+ x 1))) (/ (+ x 1) (- x 1)))
32.0ms
(* x (/ 1 (+ x 1)))
16.0ms
(/ 1 (+ x 1))

series204.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
107.0ms
(- (* x (/ 1 (+ x 1))) (/ (+ x 1) (- x 1)))
37.0ms
(* x (/ 1 (+ x 1)))
37.0ms
(/ (+ x 1) (- x 1))
22.0ms
(/ 1 (+ x 1))

simplify6.7s

Counts
159 → 163
Calls
159 calls:
Slowest
496.0ms
(* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1))))
496.0ms
(/ (* (* 1 1) 1) (* (* (+ x 1) (+ x 1)) (+ x 1)))
452.0ms
(* (* (* x x) x) (* (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (/ 1 (+ x 1))))
387.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
361.0ms
(- (* (* x 1) (- x 1)) (* (+ x 1) (+ x 1)))

prune976.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x 3) x)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity
4×associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
2×associate-*l/
1×flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 distribute-lft-out add-log-exp unswap-sqr
Counts
1 → 22
Calls
1 calls:
Slowest
14.0ms
(* (+ x 3) x)

series64.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
64.0ms
(* (+ x 3) x)

simplify1.2s

Counts
14 → 25
Calls
14 calls:
Slowest
585.0ms
(* (* (* (+ x 3) (+ x 3)) (+ x 3)) (* (* x x) x))
272.0ms
(* (- (* x x) (* 3 3)) x)
219.0ms
(* (+ (pow x 3) (pow 3 3)) x)
36.0ms
(+ (* 3 x) (pow x 2))
34.0ms
(+ (* 3 x) (pow x 2))

prune155.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 4 expressions with local error:

8.2b
(+ (* 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))

rewrite140.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
80.0ms
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
32.0ms
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))
17.0ms
(/ (/ -1 x) (* x x))
9.0ms
(/ -1 (* x x))

series228.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
88.0ms
(* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x)))
51.0ms
(/ (/ -1 x) (* x x))
46.0ms
(/ -1 (* x x))
42.0ms
(+ (* 3 (+ (/ (/ -1 x) (* x x)) (/ -1 x))) (/ -1 (* x x)))

simplify8.0s

Counts
94 → 123
Calls
94 calls:
Slowest
535.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
459.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
447.0ms
(/ (* (* -1 -1) -1) (* (* (* x x) x) (* (* x x) x)))
406.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (* 3 (/ 1 x))))
404.0ms
(* (+ (* (/ (/ -1 x) (* x x)) (/ (/ -1 x) (* x x))) (- (* (/ -1 x) (/ -1 x)) (* (/ (/ -1 x) (* x x)) (/ -1 x)))) (* x x))

prune881.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes54.0ms

Accuracy

100% (0.0b remaining)

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

bsearch181.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
679.0ms1646×body1280valid
544.0ms633×body320valid
480.0ms4215×body80valid
448.0ms1226×body640valid
42.0ms280×body160valid