Details

Time bar (total: 8.1s)

sample201.0ms

Algorithm
intervals
Results
58.0ms756×body80nan
16.0ms255×body80valid
0.0ms1×body160valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done13
213
112
06

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize55.0ms

Local error

Found 1 expressions with local error:

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

rewrite42.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×expm1-log1p-u flip3-- sqrt-unprod difference-of-sqr-1 prod-exp *-commutative cbrt-unprod insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- add-log-exp
Counts
1 → 39
Calls
1 calls:
39.0ms
(* (sqrt (- x 1)) (sqrt x))

series112.0ms

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

simplify964.0ms

Counts
42 → 42
Iterations
IterNodes
done2001
31266
2469
1199
087

prune132.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
67×add-sqr-sqrt
58×*-un-lft-identity
57×prod-diff
45×add-cube-cbrt
41×associate--l+
31×times-frac
9×difference-of-squares
7×distribute-lft-out--
6×fma-neg add-log-exp
3×diff-log div-inv
2×sub-neg
1×associate--l- expm1-log1p-u pow1 flip3-- add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u flip--
Counts
1 → 85
Calls
1 calls:
102.0ms
(- (- x (/ 1/8 x)) 1/2)

series22.0ms

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

simplify777.0ms

Counts
88 → 88
Iterations
IterNodes
done2000
21014
1384
0156

prune362.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

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

series36.0ms

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

simplify1.3s

Counts
19 → 19
Iterations
IterNodes
done2000
41841
3669
2265
1119
053

prune54.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes53.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
done6
06

end0.0ms

sample3.8s

Algorithm
intervals
Results
2.8s23859×body80nan
607.0ms7995×body80valid
1.0ms5×body160valid