Details

Time bar (total: 15.0s)

sample17.0ms

Algorithm
intervals
Results
10.0ms281×body80valid

simplify6.0s

Counts
1 → 1
Iterations
IterNodes
done5000
133231
122411
111715
101170
9817
8428
7225
6115
560
444
337
225
111
05

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (+ x y) (* x y))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
6×add-sqr-sqrt add-log-exp
4×distribute-lft-out--
2×diff-log associate-*l* associate--l+ distribute-lft-out difference-of-squares
1×pow1 +-commutative sum-log sub-neg flip3-- add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 flip-- unswap-sqr
Counts
1 → 22
Calls
1 calls:
62.0ms
(- (+ x y) (* x y))

series19.0ms

Counts
1 → 3
Calls
1 calls:
19.0ms
(- (+ x y) (* x y))

simplify1.4s

Counts
25 → 25
Iterations
IterNodes
done5001
31222
2326
1107
043

prune72.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ x y) (* x y))
0.0b
(sqrt (- (+ x y) (* x y)))
0.0b
(sqrt (- (+ x y) (* x y)))
0.3b
(* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))

rewrite549.0ms

Algorithm
rewrite-expression-head
Rules
172×*-un-lft-identity
100×sqrt-prod
63×add-sqr-sqrt
60×distribute-lft-out--
42×associate-*l*
34×swap-sqr
30×distribute-lft-out
21×pow1
16×sqrt-div
14×add-cube-cbrt difference-of-squares
12×associate-*r*
11×unswap-sqr
10×sqrt-pow1 pow1/2
9×flip3-- flip-- add-log-exp
6×add-cbrt-cube add-exp-log
5×pow-prod-up
4×frac-times insert-posit16
3×pow-prod-down pow-sqr
2×rem-sqrt-square diff-log associate-*l/ associate--l+ associate-*r/
1×pow2 +-commutative sum-log sub-neg rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 162
Calls
4 calls:
58.0ms
(- (+ x y) (* x y))
60.0ms
(sqrt (- (+ x y) (* x y)))
79.0ms
(sqrt (- (+ x y) (* x y)))
340.0ms
(* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))

series315.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(- (+ x y) (* x y))
94.0ms
(sqrt (- (+ x y) (* x y)))
97.0ms
(sqrt (- (+ x y) (* x y)))
101.0ms
(* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))

simplify1.9s

Counts
174 → 174
Iterations
IterNodes
done5000
33010
2854
1309
0143

prune566.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (sqrt (+ x y)) (sqrt (* x y)))
0.1b
(* (+ (sqrt (+ x y)) (sqrt (* x y))) (- (sqrt (+ x y)) (sqrt (* x y))))
7.3b
(sqrt (* x y))
7.3b
(sqrt (* x y))

rewrite578.0ms

Algorithm
rewrite-expression-head
Rules
62×sqrt-prod
52×add-sqr-sqrt
48×*-un-lft-identity
20×associate-*r* associate-*l*
12×pow1 add-cube-cbrt difference-of-squares
11×distribute-lft-out
10×distribute-lft-out--
9×unswap-sqr
6×add-cbrt-cube add-exp-log add-log-exp
4×frac-times rem-sqrt-square sqrt-pow1 flip3-- insert-posit16 flip--
3×sub-neg flip3-+ pow-prod-down *-commutative flip-+
2×distribute-rgt-in distribute-lft-in pow1/2 associate-*l/ associate-*r/
1×diff-log prod-exp cbrt-unprod
Counts
4 → 121
Calls
4 calls:
79.0ms
(- (sqrt (+ x y)) (sqrt (* x y)))
475.0ms
(* (+ (sqrt (+ x y)) (sqrt (* x y))) (- (sqrt (+ x y)) (sqrt (* x y))))
8.0ms
(sqrt (* x y))
8.0ms
(sqrt (* x y))

series408.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- (sqrt (+ x y)) (sqrt (* x y)))
177.0ms
(* (+ (sqrt (+ x y)) (sqrt (* x y))) (- (sqrt (+ x y)) (sqrt (* x y))))
65.0ms
(sqrt (* x y))
77.0ms
(sqrt (* x y))

simplify1.7s

Counts
133 → 133
Iterations
IterNodes
done5004
21290
1400
0155

prune525.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes144.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done7
17
05

end0.0ms

sample742.0ms

Algorithm
intervals
Results
521.0ms9095×body80valid