Details

Time bar (total: 16.5s)

sample63.0ms

Algorithm
intervals
Results
20.0ms53×body640valid
14.0ms139×body80valid
13.0ms44×body320valid
4.0ms20×body160valid

simplify54.0ms

Counts
1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
850×*-un-lft-identity
783×times-frac
710×add-sqr-sqrt
486×prod-diff
454×add-cube-cbrt
125×difference-of-squares
98×associate-/r/
94×distribute-lft-out
81×distribute-lft-out--
58×difference-of-sqr-1
52×div-inv
30×flip-+
29×flip3-+
21×flip--
20×flip3--
18×fma-neg
11×associate-/r* add-exp-log
7×add-cbrt-cube
6×associate-/l*
5×pow1 add-log-exp
4×div-exp
3×expm1-log1p-u insert-posit16 log1p-expm1-u
2×cbrt-undiv rec-exp clear-num frac-2neg 1-exp pow-flip inv-pow
1×sub-neg diff-log frac-sub
Counts
3 → 638
Calls
3 calls:
Slowest
86.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
8.0ms
(/ 1 (- x 1))
8.0ms
(/ 1 (+ x 1))

series101.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
72.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
14.0ms
(/ 1 (- x 1))
14.0ms
(/ 1 (+ x 1))

simplify1.1s

Counts
1178 → 647

prune7.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.4b

localize23.0ms

Local error

Found 3 expressions with local error:

2.9b
(- (- x 1) x)
0.4b
(/ (- (- (- x 1) x) 1) (* (+ x 1) (- x 1)))
0.0b
(* (+ x 1) (- x 1))

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
68×add-sqr-sqrt
48×prod-diff
36×add-cube-cbrt
20×distribute-lft-out--
15×difference-of-squares
11×distribute-rgt-in distribute-lft-in associate--l+
10×add-cbrt-cube add-exp-log
9×times-frac associate-/l*
8×frac-times flip3-- associate-/r/ flip-- add-log-exp
7×fma-neg difference-of-sqr-1 associate-*r*
6×flip3-+ flip-+
5×pow1
4×sub-neg associate-*l* associate-*l/ associate-*r/
3×expm1-log1p-u diff-log insert-posit16 log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod associate-/l/
1×associate--l- clear-num associate-/r* frac-2neg div-sub pow-prod-down *-commutative div-inv distribute-lft-out unswap-sqr
Counts
3 → 162
Calls
3 calls:
Slowest
282.0ms
(/ (- (- (- x 1) x) 1) (* (+ x 1) (- x 1)))
49.0ms
(- (- x 1) x)
27.0ms
(* (+ x 1) (- x 1))

series136.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
79.0ms
(* (+ x 1) (- x 1))
50.0ms
(/ (- (- (- x 1) x) 1) (* (+ x 1) (- x 1)))
7.0ms
(- (- x 1) x)

simplify349.0ms

Counts
232 → 171

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ (- -1 1) (* (+ x 1) (- x 1)))
0.0b
(* (+ x 1) (- x 1))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
29×*-un-lft-identity
18×prod-diff add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
9×add-cbrt-cube add-exp-log
8×frac-times associate-/r/
7×times-frac flip3-- associate-*r* flip-- associate-/l*
6×flip3-+ flip-+ difference-of-squares
4×pow1 associate-*l* associate-*l/ associate-*r/
3×difference-of-sqr-1 distribute-lft-out--
2×expm1-log1p-u cbrt-undiv sub-neg div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×clear-num associate-/r* frac-2neg div-sub pow-prod-down *-commutative div-inv distribute-lft-out unswap-sqr
Counts
2 → 99
Calls
2 calls:
Slowest
35.0ms
(* (+ x 1) (- x 1))
19.0ms
(/ (- -1 1) (* (+ x 1) (- x 1)))

series166.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
104.0ms
(* (+ x 1) (- x 1))
61.0ms
(/ (- -1 1) (* (+ x 1) (- x 1)))

simplify905.0ms

Counts
140 → 105

prune831.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
234×times-frac
207×*-un-lft-identity
170×add-sqr-sqrt
94×add-cube-cbrt
38×difference-of-squares
28×distribute-lft-out
21×associate-/l*
20×associate-/r/
19×difference-of-sqr-1 distribute-lft-out--
11×associate-/r*
10×div-inv
9×flip3-+ add-cbrt-cube add-exp-log flip-+
4×cbrt-undiv div-exp
2×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
1×flip3-- flip-- associate-/l/
Counts
2 → 207
Calls
2 calls:
Slowest
37.0ms
(/ (/ -2 (+ 1 x)) (- x 1))
14.0ms
(/ -2 (+ 1 x))

series86.0ms

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

simplify466.0ms

Counts
353 → 213

prune1.5s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes59.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
619.0ms1935×body640valid
382.0ms1258×body320valid
380.0ms4209×body80valid
125.0ms598×body160valid