Details

Time bar (total: 19.6s)

sample27.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify1.5s

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

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite48.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 div-inv add-log-exp
Counts
1 → 58
Calls
1 calls:
45.0ms
(/ (- x y) (- 2.0 (+ x y)))

series68.0ms

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

simplify1.7s

Counts
61 → 61
Iterations
IterNodes
done5007
33256
2765
1281
0112

prune248.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite237.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--
2×cbrt-undiv clear-num frac-2neg div-exp
1×sub-neg diff-log frac-sub sub-div
Counts
3 → 116
Calls
3 calls:
162.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
33.0ms
(/ x (- 2.0 (+ x y)))
36.0ms
(/ y (- 2.0 (+ x y)))

series177.0ms

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

simplify1.4s

Counts
125 → 125
Iterations
IterNodes
done5003
33643
21081
1392
0176

prune424.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (- 2.0 (+ x y)))
0.0b
(* (+ x y) (+ x y))
8.0b
(* (/ y (- (* 2.0 2.0) (* (+ x y) (+ x y)))) (+ 2.0 (+ x y)))
14.7b
(/ y (- (* 2.0 2.0) (* (+ x y) (+ x y))))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
52×add-sqr-sqrt
43×times-frac
37×add-cube-cbrt
22×associate-*l*
15×add-cbrt-cube add-exp-log
13×pow1 distribute-lft-out
11×difference-of-squares
10×associate-/r*
9×associate-*r*
8×flip3-+ flip-+ distribute-lft-out--
6×frac-times swap-sqr associate-/r/ associate-/l*
4×associate-*r/ add-log-exp
3×cbrt-undiv flip3-- div-exp associate-*l/ prod-exp cbrt-unprod div-inv flip-- unswap-sqr
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative
1×pow2 pow-plus pow-sqr pow-prod-up
Counts
4 → 159
Calls
4 calls:
23.0ms
(/ x (- 2.0 (+ x y)))
39.0ms
(* (+ x y) (+ x y))
71.0ms
(* (/ y (- (* 2.0 2.0) (* (+ x y) (+ x y)))) (+ 2.0 (+ x y)))
10.0ms
(/ y (- (* 2.0 2.0) (* (+ x y) (+ x y))))

series320.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(/ x (- 2.0 (+ x y)))
17.0ms
(* (+ x y) (+ x y))
115.0ms
(* (/ y (- (* 2.0 2.0) (* (+ x y) (+ x y)))) (+ 2.0 (+ x y)))
125.0ms
(/ y (- (* 2.0 2.0) (* (+ x y) (+ x y))))

simplify2.2s

Counts
171 → 171
Iterations
IterNodes
done5002
23911
1870
0263

prune685.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 (+ (sqrt 2.0) (sqrt (+ x y)))) (- (/ x (- (sqrt 2.0) (sqrt (+ x y)))) (/ y (- (sqrt 2.0) (sqrt (+ x y))))))
0.1b
(/ x (- (sqrt 2.0) (sqrt (+ x y))))
0.1b
(/ y (- (sqrt 2.0) (sqrt (+ x y))))
0.2b
(/ 1 (+ (sqrt 2.0) (sqrt (+ x y))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
248×*-un-lft-identity
205×add-sqr-sqrt
154×times-frac
140×sqrt-prod
68×difference-of-squares
63×distribute-lft-out--
58×add-cube-cbrt
40×distribute-lft-out
37×associate-*r*
26×associate-/r*
24×associate-*l*
21×add-exp-log
15×add-cbrt-cube
12×associate-/r/
9×associate-/l*
7×pow1
6×flip3-- div-exp div-inv flip--
4×frac-times cbrt-undiv prod-exp associate-*r/ add-log-exp
3×clear-num frac-2neg distribute-rgt-out-- unswap-sqr
2×distribute-rgt-in rec-exp sub-neg distribute-lft-in flip3-+ 1-exp frac-sub cbrt-unprod flip-+ sub-div
1×pow-prod-down associate-*l/ *-commutative pow-flip inv-pow
Counts
4 → 251
Calls
4 calls:
931.0ms
(* (/ 1 (+ (sqrt 2.0) (sqrt (+ x y)))) (- (/ x (- (sqrt 2.0) (sqrt (+ x y)))) (/ y (- (sqrt 2.0) (sqrt (+ x y))))))
49.0ms
(/ x (- (sqrt 2.0) (sqrt (+ x y))))
42.0ms
(/ y (- (sqrt 2.0) (sqrt (+ x y))))
42.0ms
(/ 1 (+ (sqrt 2.0) (sqrt (+ x y))))

series4.8s

Counts
4 → 12
Calls
4 calls:
2.9s
(* (/ 1 (+ (sqrt 2.0) (sqrt (+ x y)))) (- (/ x (- (sqrt 2.0) (sqrt (+ x y)))) (/ y (- (sqrt 2.0) (sqrt (+ x y))))))
621.0ms
(/ x (- (sqrt 2.0) (sqrt (+ x y))))
693.0ms
(/ y (- (sqrt 2.0) (sqrt (+ x y))))
646.0ms
(/ 1 (+ (sqrt 2.0) (sqrt (+ x y))))

simplify2.6s

Counts
263 → 263
Iterations
IterNodes
done5001
23208
11017
0377

prune927.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

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

sample729.0ms

Algorithm
intervals
Results
426.0ms8000×body80valid