Details

Time bar (total: 9.9s)

sample157.0ms

Algorithm
intervals
Results
40.0ms724×body80nan
12.0ms255×body80valid
0.0ms1×body160valid

simplify12.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

localize36.0ms

Local error

Found 1 expressions with local error:

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

rewrite20.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 flip-- distribute-lft-out-- add-log-exp
Counts
1 → 36
Calls
1 calls:
18.0ms
(* (sqrt (- x 1)) (sqrt x))

series92.0ms

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

simplify1.0s

Counts
39 → 39
Iterations
IterNodes
42027
3936
2388
1183
084

prune323.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity add-log-exp
3×add-sqr-sqrt diff-log distribute-lft-out--
2×sub-neg associate--r+
1×pow1 flip3-- add-cbrt-cube add-exp-log add-cube-cbrt flip-- associate--r- difference-of-squares
Counts
1 → 19
Calls
1 calls:
16.0ms
(- -1/2 (- (/ 1/8 x) x))

series33.0ms

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

simplify1.5s

Counts
22 → 22
Iterations
IterNodes
44376
3976
2246
190
043

prune85.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1
2×sqrt-pow1 sqrt-div associate-*l/
1×add-sqr-sqrt *-un-lft-identity flip3-- add-cbrt-cube pow1/2 pow-prod-down add-exp-log add-cube-cbrt sqrt-prod flip-- add-log-exp
Counts
1 → 13
Calls
1 calls:
11.0ms
(sqrt (* (- x 1) x))

series32.0ms

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

simplify2.5s

Counts
16 → 16
Iterations
IterNodes
53235
41284
3536
2222
1104
050

prune109.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes18.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
16
06

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.7s24120×body80nan
736.0ms7991×body80valid
1.0ms9×body160valid