Details

Time bar (total: 52.2s)

sample68.0ms

Algorithm
intervals
Results
23.0ms49×body1280valid
15.0ms39×body640valid
13.0ms138×body80valid
5.0ms21×body320valid
2.0ms9×body160valid

simplify219.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite114.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
70.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
34.0ms
(/ (+ x 1) (- x 1))
8.0ms
(/ x (+ x 1))

series161.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
100.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
31.0ms
(/ x (+ x 1))
29.0ms
(/ (+ x 1) (- x 1))

simplify1.3s

Counts
126 → 126

prune850.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite788.0ms

Algorithm
rewrite-expression-head
Rules
164×frac-times associate-*r/
98×associate-*l/ frac-sub
88×*-un-lft-identity
54×times-frac
52×add-cbrt-cube add-exp-log
51×associate-/l/
38×add-sqr-sqrt
36×associate-*l*
30×add-cube-cbrt
29×frac-add
27×associate-/r/
23×distribute-lft-out
20×pow1 prod-exp cbrt-unprod
15×cbrt-undiv div-exp
13×associate-*r*
11×flip3-+ cube-unmult flip-+
6×add-log-exp
5×difference-cubes pow-prod-up
4×pow-prod-down insert-posit16 associate-/l* distribute-lft-out-- unswap-sqr
3×associate-/r* div-inv
2×flip3-- *-commutative flip--
1×pow2 distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in pow-plus diff-log div-sub pow-sqr
Counts
4 → 289
Calls
4 calls:
Slowest
396.0ms
(/ (- (* (/ x (+ 1 x)) (* (/ x (+ 1 x)) (/ x (+ 1 x)))) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))))) (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))))
212.0ms
(* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))
116.0ms
(- (* (/ x (+ 1 x)) (* (/ x (+ 1 x)) (/ x (+ 1 x)))) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1)))))
55.0ms
(* (/ x (+ 1 x)) (* (/ x (+ 1 x)) (/ x (+ 1 x))))

series986.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
526.0ms
(/ (- (* (/ x (+ 1 x)) (* (/ x (+ 1 x)) (/ x (+ 1 x)))) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))))) (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))))
243.0ms
(- (* (/ x (+ 1 x)) (* (/ x (+ 1 x)) (/ x (+ 1 x)))) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1)))))
156.0ms
(* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))
61.0ms
(* (/ x (+ 1 x)) (* (/ x (+ 1 x)) (/ x (+ 1 x))))

simplify794.0ms

Counts
301 → 301

prune3.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite348.0ms

Algorithm
rewrite-expression-head
Rules
56×add-cbrt-cube add-exp-log
32×*-un-lft-identity associate-*r/
28×frac-times
27×frac-add associate-/r/
25×times-frac
22×add-sqr-sqrt add-cube-cbrt
20×prod-exp cbrt-unprod
18×cbrt-undiv div-exp associate-*l* associate-*l/
14×frac-sub
12×associate-/l/
9×pow1 flip3-+ flip-+
7×associate-/r*
6×add-log-exp
5×distribute-lft-out
4×insert-posit16 associate-/l*
3×pow-prod-down div-inv
2×clear-num frac-2neg flip3-- flip--
1×sub-neg diff-log div-sub associate-*r* *-commutative
Counts
4 → 165
Calls
4 calls:
Slowest
182.0ms
(/ (- (/ (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (+ 1 x)) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))))) (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))))
72.0ms
(- (/ (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (+ 1 x)) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1)))))
53.0ms
(/ (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (+ 1 x))
39.0ms
(* (/ x (+ 1 x)) (* x (/ x (+ 1 x))))

series813.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
488.0ms
(/ (- (/ (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (+ 1 x)) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))))) (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))))
231.0ms
(- (/ (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (+ 1 x)) (* (/ (+ 1 x) (- x 1)) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1)))))
58.0ms
(* (/ x (+ 1 x)) (* x (/ x (+ 1 x))))
36.0ms
(/ (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (+ 1 x))

simplify2.6s

Counts
177 → 177

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
2557×frac-times
1811×associate-*r/
1117×associate-*l/
799×flip3-+ flip-+
770×frac-sub
486×frac-add
426×flip3-- flip--
387×associate-/l/
217×associate-/r/
39×add-cbrt-cube add-exp-log
21×*-un-lft-identity associate-*l*
16×prod-exp cbrt-unprod
15×add-sqr-sqrt times-frac add-cube-cbrt
14×pow1
10×distribute-rgt-in distribute-lft-in
8×cbrt-undiv div-exp
7×sub-neg
6×pow-prod-down add-log-exp
4×associate--l+ insert-posit16
3×distribute-lft-out associate-/l*
2×associate-*r* *-commutative div-inv
1×clear-num associate-/r* frac-2neg diff-log div-sub
Counts
4 → 1316
Calls
4 calls:
Slowest
516.0ms
(/ (- (* (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (- x 1)) (* (+ 1 x) (* (+ 1 x) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1)))))) (* (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))) (* (+ 1 x) (- x 1))))
217.0ms
(- (* (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (- x 1)) (* (+ 1 x) (* (+ 1 x) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))))))
128.0ms
(* (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))) (* (+ 1 x) (- x 1)))
50.0ms
(* (/ x (+ 1 x)) (* x (/ x (+ 1 x))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
515.0ms
(/ (- (* (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (- x 1)) (* (+ 1 x) (* (+ 1 x) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1)))))) (* (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))) (* (+ 1 x) (- x 1))))
279.0ms
(- (* (* (/ x (+ 1 x)) (* x (/ x (+ 1 x)))) (- x 1)) (* (+ 1 x) (* (+ 1 x) (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))))))
247.0ms
(* (+ (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (* (/ x (+ 1 x)) (+ (/ x (+ 1 x)) (/ (+ 1 x) (- x 1))))) (* (+ 1 x) (- x 1)))
41.0ms
(* (/ x (+ 1 x)) (* x (/ x (+ 1 x))))

simplify8.6s

Counts
1328 → 1328

prune24.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes98.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch199.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.2s1746×body1280valid
446.0ms1217×body640valid
359.0ms4041×body80valid
152.0ms667×body320valid
50.0ms329×body160valid