Details

Time bar (total: 18.0s)

sample295.0ms

Algorithm
intervals
Results
83.0ms808×body80nan
23.0ms255×body80valid
0.0ms1×body160valid

simplify24.0ms

Counts
1 → 1
Iterations
IterNodes
311
211
110
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize25.0ms

Local error

Found 1 expressions with local error:

0.5b
(* (sqrt (- x 1)) (sqrt x))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×sqrt-prod
10×associate-*l*
8×*-un-lft-identity
6×associate-*r*
5×pow1 add-cube-cbrt
4×unswap-sqr
3×add-cbrt-cube pow-prod-down add-exp-log
2×sqrt-pow1 pow1/2 sqrt-div associate-*l/ difference-of-squares
1×flip3-- sqrt-unprod difference-of-sqr-1 prod-exp *-commutative cbrt-unprod insert-posit16 flip-- distribute-lft-out-- add-log-exp
Counts
1 → 37
Calls
1 calls:
29.0ms
(* (sqrt (- x 1)) (sqrt x))

series108.0ms

Counts
1 → 3
Calls
1 calls:
108.0ms
(* (sqrt (- x 1)) (sqrt x))

simplify4.2s

Counts
40 → 40
Iterations
IterNodes
54591
41986
3920
2390
1184
085

prune298.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity add-log-exp
2×associate-+r+ sum-log distribute-lft-out
1×add-sqr-sqrt pow1 +-commutative associate-+r- sub-neg flip3-+ add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip-+ insert-posit16 distribute-lft-out--
Counts
1 → 18
Calls
1 calls:
26.0ms
(+ x (- -1/2 (/ 1/8 x)))

series16.0ms

Counts
1 → 3
Calls
1 calls:
16.0ms
(+ x (- -1/2 (/ 1/8 x)))

simplify2.0s

Counts
21 → 21
Iterations
IterNodes
44275
31196
2270
195
039

prune61.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (sqrt x) 1))
0.1b
(sqrt (+ (sqrt x) 1))
0.3b
(* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))
0.3b
(* (sqrt (- (sqrt x) 1)) (sqrt x))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
49×sqrt-prod
42×add-sqr-sqrt
28×*-un-lft-identity
22×associate-*l*
18×pow1 sqrt-div
12×add-cube-cbrt
11×add-cbrt-cube add-exp-log
10×pow-prod-down associate-*l/
8×difference-of-squares
7×sqrt-pow1 pow1/2 associate-*r*
5×flip3-- flip--
4×frac-times flip3-+ difference-of-sqr-1 prod-exp cbrt-unprod flip-+ insert-posit16 distribute-lft-out distribute-lft-out-- add-log-exp unswap-sqr
3×sqrt-unprod
2×rem-sqrt-square associate-*r/ *-commutative
Counts
4 → 118
Calls
4 calls:
10.0ms
(sqrt (- (sqrt x) 1))
12.0ms
(sqrt (+ (sqrt x) 1))
72.0ms
(* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))
42.0ms
(* (sqrt (- (sqrt x) 1)) (sqrt x))

series785.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(sqrt (- (sqrt x) 1))
87.0ms
(sqrt (+ (sqrt x) 1))
345.0ms
(* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))
228.0ms
(* (sqrt (- (sqrt x) 1)) (sqrt x))

simplify1.7s

Counts
130 → 130
Iterations
IterNodes
33592
21216
1460
0193

prune938.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 1 expressions with local error:

30.2b
(pow (* (- x 1) x) (/ 1 2))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
13×pow-unpow
9×times-frac
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-exp-log
2×pow-pow pow-exp
1×pow-to-exp unpow-prod-down add-cbrt-cube pow-prod-down prod-exp insert-posit16 div-inv add-log-exp sqr-pow
Counts
1 → 28
Calls
1 calls:
19.0ms
(pow (* (- x 1) x) (/ 1 2))

series82.0ms

Counts
1 → 3
Calls
1 calls:
82.0ms
(pow (* (- x 1) x) (/ 1 2))

simplify3.2s

Counts
31 → 31
Iterations
IterNodes
44378
31741
2595
1226
078

prune173.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes24.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
27
17
06

end0.0ms

sample3.8s

Algorithm
intervals
Results
2.7s24425×body80nan
649.0ms7997×body80valid
0.0ms3×body160valid