Details

Time bar (total: 18.0s)

sample73.0ms

Algorithm
intervals
Results
26.0ms68×body640valid
12.0ms126×body80valid
11.0ms21×body160valid
11.0ms41×body320valid

simplify24.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.1b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite90.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
51.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
8.0ms
(/ 1 (- x 1))
8.0ms
(/ 1 (+ x 1))

series140.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
88.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
28.0ms
(/ 1 (+ x 1))
24.0ms
(/ 1 (- x 1))

simplify907.0ms

Counts
647 → 647

prune6.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt prod-diff
36×*-un-lft-identity
31×add-cube-cbrt
22×distribute-rgt-in distribute-lft-in associate--l+
12×flip3-- associate-*l/ associate-*r/ flip--
10×flip3-+ add-cbrt-cube add-exp-log flip-+
8×frac-times associate-/r/ frac-sub
7×associate-*r*
6×associate-/l/
5×pow1 sub-neg add-log-exp
4×associate-*l*
3×expm1-log1p-u times-frac insert-posit16 log1p-expm1-u associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod difference-of-squares
1×clear-num associate-/r* frac-2neg fma-neg diff-log difference-of-sqr-1 div-sub pow-prod-down *-commutative div-inv distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
3 → 138
Calls
3 calls:
Slowest
67.0ms
(/ (- (* 1 (- x 1)) (* (+ x 1) 1)) (* (+ x 1) (- x 1)))
36.0ms
(- (* 1 (- x 1)) (* (+ x 1) 1))
34.0ms
(* (+ x 1) (- x 1))

series187.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
109.0ms
(* (+ x 1) (- x 1))
68.0ms
(/ (- (* 1 (- x 1)) (* (+ x 1) 1)) (* (+ x 1) (- x 1)))
10.0ms
(- (* 1 (- x 1)) (* (+ x 1) 1))

simplify1.8s

Counts
147 → 147

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ -2 (* (+ x 1) (- x 1)))
0.0b
(* (+ x 1) (- x 1))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
23×*-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×associate-*r*
6×flip3-+ flip3-- flip-+ flip--
4×pow1 associate-*l* associate-*l/ associate-*r/
3×times-frac associate-/l*
2×expm1-log1p-u cbrt-undiv sub-neg div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
1×clear-num associate-/r* frac-2neg difference-of-sqr-1 pow-prod-down *-commutative div-inv distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
2 → 88
Calls
2 calls:
Slowest
56.0ms
(* (+ x 1) (- x 1))
18.0ms
(/ -2 (* (+ x 1) (- x 1)))

series177.0ms

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

simplify1.5s

Counts
94 → 94

prune618.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite63.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
41.0ms
(/ (/ -2 (+ x 1)) (- x 1))
15.0ms
(/ -2 (+ x 1))

series83.0ms

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

simplify843.0ms

Counts
213 → 213

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes50.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.9s

Algorithm
intervals
Results
665.0ms1967×body640valid
493.0ms651×body160valid
337.0ms4135×body80valid
303.0ms1247×body320valid