Details

Time bar (total: 11.2s)

sample172.0ms

Algorithm
intervals
Results
66.0ms102×body1280valid
47.0ms737×body80nan
21.0ms87×body640valid
9.0ms46×body320valid
2.0ms19×body160valid
0.0msbody80valid

simplify11.0ms

Counts
1 → 1
Iterations
IterNodes
313
213
111
06

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.6b

localize19.0ms

Local error

Found 1 expressions with local error:

6.4b
(- (sqrt (- x 12)) (sqrt x))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
*-un-lft-identity sqrt-prod
distribute-lft-out-- difference-of-squares
add-log-exp
pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip--
Counts
1 → 20
Calls
1 calls:
92.0ms
(- (sqrt (- x 12)) (sqrt x))

series147.0ms

Counts
1 → 3
Calls
1 calls:
147.0ms
(- (sqrt (- x 12)) (sqrt x))

simplify1.5s

Counts
23 → 23
Iterations
IterNodes
42341
3874
2323
1132
061

prune211.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize34.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (sqrt (- x 12)) (sqrt x))
0.3b
(/ (+ -12 (- x x)) (+ (sqrt (- x 12)) (sqrt x)))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
35×distribute-lft-out
30×times-frac
28×sqrt-prod
15×add-sqr-sqrt add-cube-cbrt
14×distribute-lft-out--
associate-/r*
associate-/l*
add-cbrt-cube add-exp-log add-log-exp
flip3-+ flip-+
pow1 associate-/r/ insert-posit16 associate-/l/
cbrt-undiv +-commutative clear-num associate-+r- sum-log frac-2neg div-sub div-exp div-inv
Counts
2 → 74
Calls
2 calls:
51.0ms
(+ (sqrt (- x 12)) (sqrt x))
146.0ms
(/ (+ -12 (- x x)) (+ (sqrt (- x 12)) (sqrt x)))

series473.0ms

Counts
2 → 6
Calls
2 calls:
143.0ms
(+ (sqrt (- x 12)) (sqrt x))
330.0ms
(/ (+ -12 (- x x)) (+ (sqrt (- x 12)) (sqrt x)))

simplify1.5s

Counts
80 → 80
Iterations
IterNodes
32373
2889
1354
0145

prune765.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes64.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
215
115
012

end0.0ms

sample6.1s

Algorithm
intervals
Results
2.3s3347×body1280valid
1.9s23840×body80nan
867.0ms2624×body640valid
285.0ms1229×body320valid
78.0ms619×body160valid
12.0ms181×body80valid