Details

Time bar (total: 15.1s)

sample24.0ms

Algorithm
intervals
Results
5.0ms52×body640valid
4.0ms50×body320valid
3.0ms123×body80valid
2.0ms31×body160valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done15
215
112
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.3b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1.0 (+ x 1.0))
4.2b
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
643×*-un-lft-identity
574×times-frac
477×add-sqr-sqrt
378×prod-diff
357×add-cube-cbrt
84×associate-/r/
76×distribute-lft-out
75×distribute-lft-out--
58×difference-of-squares
43×div-inv
24×flip-+
23×flip3-+
20×flip--
19×flip3--
18×fma-neg
4×associate-/r* add-cbrt-cube add-exp-log add-log-exp
3×associate-/l*
2×expm1-log1p-u pow1 log1p-expm1-u
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp frac-sub
Counts
2 → 465
Calls
2 calls:
9.0ms
(/ 1.0 (+ x 1.0))
134.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series302.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(/ 1.0 (+ x 1.0))
265.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify2.2s

Counts
471 → 471
Iterations
IterNodes
done5002
23001
11195
0506

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0)) (* (+ x 1.0) (- x 1.0)))
3.6b
(- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
22×associate--l+
19×prod-diff
16×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
10×associate-*l/ associate-*r/
9×flip3-- flip--
8×associate-/r/ frac-sub
7×flip3-+ add-cbrt-cube add-exp-log flip-+
6×associate-/l/
4×frac-times add-log-exp
3×sub-neg times-frac associate-/l*
2×expm1-log1p-u pow1 cbrt-undiv div-exp log1p-expm1-u
1×clear-num associate-/r* frac-2neg fma-neg diff-log div-sub prod-exp cbrt-unprod div-inv
Counts
2 → 80
Calls
2 calls:
62.0ms
(/ (- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0)) (* (+ x 1.0) (- x 1.0)))
32.0ms
(- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0))

series87.0ms

Counts
2 → 6
Calls
2 calls:
79.0ms
(/ (- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0)) (* (+ x 1.0) (- x 1.0)))
9.0ms
(- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0))

simplify2.8s

Counts
86 → 86
Iterations
IterNodes
done5002
22775
1592
0178

prune437.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize19.0ms

Local error

Found 1 expressions with local error:

0.5b
(/ (- 2.0) (* (+ x 1.0) (- x 1.0)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
10×times-frac associate-/l*
8×associate-/r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×distribute-lft-neg-in distribute-rgt-neg-in add-cbrt-cube add-exp-log
4×frac-times
3×flip3-+ flip3-- flip-+ flip--
2×cbrt-undiv neg-mul-1 div-exp associate-*l/ associate-*r/
1×neg-sub0 expm1-log1p-u pow1 clear-num associate-/r* frac-2neg div-sub prod-exp distribute-frac-neg cbrt-unprod log1p-expm1-u div-inv add-log-exp
Counts
1 → 47
Calls
1 calls:
24.0ms
(/ (- 2.0) (* (+ x 1.0) (- x 1.0)))

series81.0ms

Counts
1 → 3
Calls
1 calls:
81.0ms
(/ (- 2.0) (* (+ x 1.0) (- x 1.0)))

simplify1.2s

Counts
50 → 50
Iterations
IterNodes
done5005
21122
1309
0122

prune254.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 2.0) (+ x 1.0))
0.0b
(/ (/ (- 2.0) (+ x 1.0)) (- x 1.0))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
510×times-frac
449×*-un-lft-identity
307×add-sqr-sqrt
213×add-cube-cbrt
87×distribute-lft-neg-in distribute-rgt-neg-in
71×distribute-lft-out
56×associate-/l*
47×distribute-lft-out-- difference-of-squares
29×neg-mul-1
16×associate-/r/
9×associate-/r* add-cbrt-cube add-exp-log
8×div-inv
7×flip3-+ flip-+
4×cbrt-undiv div-exp
3×div-sub distribute-frac-neg
2×neg-sub0 expm1-log1p-u pow1 clear-num frac-2neg log1p-expm1-u add-log-exp
1×flip3-- flip-- associate-/l/
Counts
2 → 374
Calls
2 calls:
23.0ms
(/ (- 2.0) (+ x 1.0))
65.0ms
(/ (/ (- 2.0) (+ x 1.0)) (- x 1.0))

series132.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(/ (- 2.0) (+ x 1.0))
104.0ms
(/ (/ (- 2.0) (+ x 1.0)) (- x 1.0))

simplify2.5s

Counts
380 → 380
Iterations
IterNodes
done5001
22960
11125
0445

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done13
213
111
08

end0.0ms

sample1.5s

Algorithm
intervals
Results
724.0ms1353×body320valid
354.0ms1850×body640valid
190.0ms4179×body80valid
51.0ms618×body160valid