Details

Time bar (total: 11.2s)

sample19.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
444883
434767
424627
414512
404370
394254
384114
373999
363857
353741
343601
333486
323344
313228
303088
292973
282831
272715
262575
252460
242318
232202
222062
211947
201805
191689
181549
171434
161292
151176
141036
13926
12792
11680
10550
9445
8302
7199
6118
565
450
339
227
117
07

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) (- 2.0 (+ x y)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
40×add-sqr-sqrt
30×times-frac
19×distribute-lft-out--
14×add-cube-cbrt
13×difference-of-squares
6×associate-/r* distribute-lft-out
5×associate-/l*
3×add-cbrt-cube add-exp-log
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv clear-num frac-2neg div-sub div-exp insert-posit16 div-inv add-log-exp
Counts
1 → 59
Calls
1 calls:
30.0ms
(/ (- x y) (- 2.0 (+ x y)))

series72.0ms

Counts
1 → 3
Calls
1 calls:
72.0ms
(/ (- x y) (- 2.0 (+ x y)))

simplify2.1s

Counts
62 → 62
Iterations
IterNodes
done5014
33283
2768
1282
0113

prune185.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
0.0b
(/ y (- 2.0 (+ x y)))
0.0b
(/ x (- 2.0 (+ x y)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
127×*-un-lft-identity
64×times-frac
59×add-sqr-sqrt
41×distribute-lft-out--
27×add-cube-cbrt
14×distribute-lft-out difference-of-squares
12×associate-/r*
8×associate-/r/
7×add-cbrt-cube add-exp-log
6×associate-/l*
5×flip3-- flip-- add-log-exp
4×div-inv
3×pow1 distribute-rgt-out-- insert-posit16
2×cbrt-undiv clear-num frac-2neg div-exp
1×sub-neg diff-log frac-sub sub-div
Counts
3 → 119
Calls
3 calls:
113.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
22.0ms
(/ y (- 2.0 (+ x y)))
25.0ms
(/ x (- 2.0 (+ x y)))

series210.0ms

Counts
3 → 9
Calls
3 calls:
87.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
61.0ms
(/ y (- 2.0 (+ x y)))
61.0ms
(/ x (- 2.0 (+ x y)))

simplify1.7s

Counts
128 → 128
Iterations
IterNodes
done5013
33347
21045
1395
0179

prune388.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (+ x y) (+ x y))
0.1b
(* (/ (- x y) (- (* 2.0 2.0) (* (+ x y) (+ x y)))) (+ 2.0 (+ x y)))
24.8b
(/ (- x y) (- (* 2.0 2.0) (* (+ x y) (+ x y))))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
54×add-sqr-sqrt
41×times-frac
30×associate-*l*
29×add-cube-cbrt
20×difference-of-squares
12×pow1 add-cbrt-cube add-exp-log
9×associate-*r* distribute-lft-out distribute-lft-out--
8×flip3-+ flip-+
6×frac-times swap-sqr
5×associate-/l*
4×associate-/r* associate-*r/ associate-/r/
3×flip3-- associate-*l/ prod-exp cbrt-unprod insert-posit16 flip-- add-log-exp unswap-sqr
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down *-commutative div-inv associate-/l/
1×pow2 clear-num frac-2neg pow-plus div-sub pow-sqr pow-prod-up
Counts
3 → 142
Calls
3 calls:
23.0ms
(* (+ x y) (+ x y))
65.0ms
(* (/ (- x y) (- (* 2.0 2.0) (* (+ x y) (+ x y)))) (+ 2.0 (+ x y)))
17.0ms
(/ (- x y) (- (* 2.0 2.0) (* (+ x y) (+ x y))))

series291.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(* (+ x y) (+ x y))
153.0ms
(* (/ (- x y) (- (* 2.0 2.0) (* (+ x y) (+ x y)))) (+ 2.0 (+ x y)))
112.0ms
(/ (- x y) (- (* 2.0 2.0) (* (+ x y) (+ x y))))

simplify2.7s

Counts
151 → 151
Iterations
IterNodes
done5002
23975
1870
0234

prune495.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes42.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done9
19
08

end0.0ms

sample817.0ms

Algorithm
intervals
Results
598.0ms7998×body80valid
0.0ms2×body1280valid