Details

Time bar (total: 52.4s)

sample37.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify4.9s

Counts
1 → 1
Iterations
IterNodes
done5001
464941
454830
444694
434582
424448
414337
404201
394089
383955
373844
363708
353596
343462
333351
323215
313103
302969
292858
282722
272610
262476
252365
242229
232117
221983
211872
201736
191624
181490
171379
161243
151131
14997
13891
12766
11659
10532
9428
8292
7199
6118
565
450
339
227
117
07

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite154.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-exp-log add-cbrt-cube
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u frac-2neg div-sub div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 60
Calls
1 calls:
150.0ms
(/ (- x y) (- 2.0 (+ x y)))

series87.0ms

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

simplify5.4s

Counts
63 → 63
Iterations
IterNodes
done5013
33449
2797
1289
0114

prune360.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite856.0ms

Algorithm
rewrite-expression-head
Rules
1352×*-un-lft-identity
946×times-frac
843×add-sqr-sqrt
576×prod-diff
517×add-cube-cbrt
335×distribute-lft-out--
161×distribute-lft-out difference-of-squares
106×associate-/r/
54×flip3-- flip--
53×div-inv
24×fma-neg
12×associate-/r*
7×add-exp-log add-cbrt-cube
6×associate-/l*
5×add-log-exp
3×pow1 expm1-log1p-u distribute-rgt-out-- log1p-expm1-u
2×cbrt-undiv frac-2neg div-exp clear-num
1×sub-neg diff-log frac-sub sub-div
Counts
3 → 722
Calls
3 calls:
60.0ms
(/ y (- 2.0 (+ x y)))
553.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
59.0ms
(/ x (- 2.0 (+ x y)))

series297.0ms

Counts
3 → 9
Calls
3 calls:
86.0ms
(/ y (- 2.0 (+ x y)))
125.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
85.0ms
(/ x (- 2.0 (+ x y)))

simplify4.9s

Counts
731 → 731
Iterations
IterNodes
done5000
23296
11337
0580

prune10.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite493.0ms

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
82×add-sqr-sqrt
74×times-frac
47×add-cube-cbrt
28×distribute-lft-out--
24×associate-*r* prod-diff
19×add-exp-log
14×distribute-lft-out difference-of-squares
13×add-cbrt-cube
12×associate-/r*
8×associate-/r/
7×pow1
6×associate-/l* add-log-exp
5×flip3-- div-exp flip-- div-inv
4×expm1-log1p-u prod-exp log1p-expm1-u
3×cbrt-undiv associate-*r/ associate-*l* un-div-inv unswap-sqr
2×rec-exp frac-2neg 1-exp clear-num frac-sub cbrt-unprod sub-div
1×sub-neg distribute-rgt-out-- pow-flip fma-neg diff-log pow-prod-down *-commutative inv-pow
Counts
4 → 183
Calls
4 calls:
69.0ms
(/ y (- 2.0 (+ x y)))
145.0ms
(- (* x (/ 1 (- 2.0 (+ x y)))) (/ y (- 2.0 (+ x y))))
102.0ms
(/ 1 (- 2.0 (+ x y)))
160.0ms
(* x (/ 1 (- 2.0 (+ x y))))

series389.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(/ y (- 2.0 (+ x y)))
134.0ms
(- (* x (/ 1 (- 2.0 (+ x y)))) (/ y (- 2.0 (+ x y))))
67.0ms
(/ 1 (- 2.0 (+ x y)))
104.0ms
(* x (/ 1 (- 2.0 (+ x y))))

simplify6.8s

Counts
195 → 195
Iterations
IterNodes
done5001
22575
1831
0308

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
606×*-un-lft-identity
293×times-frac
276×add-sqr-sqrt
199×distribute-lft-out--
93×add-cube-cbrt
90×swap-sqr
84×difference-of-squares
72×associate-*r*
63×distribute-lft-out
59×add-exp-log add-cbrt-cube
37×associate-*l*
30×pow1
22×prod-exp cbrt-unprod
18×cbrt-undiv div-exp
12×associate-/r/
11×frac-times associate-*l/
7×cbrt-div flip3-- pow-plus associate-*r/ pow-prod-up flip--
6×associate-/r* div-inv unswap-sqr
5×associate-/l*
4×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
3×pow2 pow-sqr
2×pow3 *-commutative associate-/l/
1×cbrt-prod frac-2neg pow1/3 div-sub clear-num rem-cbrt-cube
Counts
4 → 358
Calls
4 calls:
93.0ms
(/ (- x y) (- 2.0 (+ x y)))
321.0ms
(* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))
509.0ms
(* (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))) (/ (- x y) (- 2.0 (+ x y))))
394.0ms
(cbrt (* (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))) (/ (- x y) (- 2.0 (+ x y)))))

series802.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(/ (- x y) (- 2.0 (+ x y)))
151.0ms
(* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))
296.0ms
(* (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))) (/ (- x y) (- 2.0 (+ x y))))
98.0ms
(cbrt (* (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))) (/ (- x y) (- 2.0 (+ x y)))))

simplify7.7s

Counts
370 → 370
Iterations
IterNodes
done5002
23780
11158
0321

prune2.9s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes221.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done14
114
010

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.7s7999×body80valid
0.0ms1×body160valid