Details

Time bar (total: 17.0s)

sample203.0ms

Algorithm
intervals
Results
68.0ms745×body80nan
18.0ms255×body80valid
0.0ms1×body160valid

simplify68.0ms

Counts
1 → 1
Iterations
IterNodes
done13
213
112
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite39.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:
36.0ms
(* (sqrt (- x 1)) (sqrt x))

series113.0ms

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

simplify2.7s

Counts
42 → 42
Iterations
IterNodes
done5000
44046
31266
2469
1199
087

prune171.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- x 1))
0.5b
(cbrt (- x 1))
0.5b
(cbrt (- x 1))
0.6b
(* (cbrt (- x 1)) (cbrt (- x 1)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
61×cbrt-prod
55×add-sqr-sqrt
44×*-un-lft-identity
18×cbrt-div
16×difference-of-squares
15×add-cube-cbrt
14×swap-sqr
11×pow1
10×associate-*r* associate-*l*
9×flip3-- pow1/3 difference-of-sqr-1 flip-- distribute-lft-out--
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 127
Calls
4 calls:
3.0ms
(cbrt (- x 1))
4.0ms
(cbrt (- x 1))
3.0ms
(cbrt (- x 1))
39.0ms
(* (cbrt (- x 1)) (cbrt (- x 1)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(cbrt (- x 1))
77.0ms
(cbrt (- x 1))
61.0ms
(cbrt (- x 1))
78.0ms
(* (cbrt (- x 1)) (cbrt (- x 1)))

simplify2.1s

Counts
139 → 139
Iterations
IterNodes
done5000
32809
2952
1360
0157

prune808.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
6×add-log-exp
4×fma-def distribute-lft-out
3×sum-log
2×add-sqr-sqrt flip3-+ frac-add add-cube-cbrt flip-+
1×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
Counts
1 → 24
Calls
1 calls:
43.0ms
(+ (+ x -1/2) (/ -1/8 x))

series27.0ms

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

simplify2.5s

Counts
27 → 27
Iterations
IterNodes
done5001
32700
2532
1174
060

prune93.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x 1) x)
32.5b
(sqrt (* (- x 1) x))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×pow1 *-un-lft-identity associate-*l*
4×add-cbrt-cube associate-*l/ add-exp-log add-cube-cbrt
3×associate-*r*
2×expm1-log1p-u sqrt-pow1 flip3-- sqrt-div pow-prod-down insert-posit16 log1p-expm1-u flip-- add-log-exp difference-of-squares
1×pow1/2 difference-of-sqr-1 prod-exp *-commutative sqrt-prod cbrt-unprod distribute-lft-out-- unswap-sqr
Counts
2 → 43
Calls
2 calls:
33.0ms
(* (- x 1) x)
21.0ms
(sqrt (* (- x 1) x))

series111.0ms

Counts
2 → 6
Calls
2 calls:
60.0ms
(* (- x 1) x)
51.0ms
(sqrt (* (- x 1) x))

simplify3.5s

Counts
49 → 49
Iterations
IterNodes
done5000
43856
31286
2441
1193
084

prune164.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes41.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
010

end0.0ms

sample3.9s

Algorithm
intervals
Results
2.8s23634×body80nan
634.0ms7994×body80valid
1.0ms6×body160valid