Details

Time bar (total: 13.0s)

sample24.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5001
83929
71054
6315
5117
455
341
228
117
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
43×add-sqr-sqrt
30×times-frac
21×distribute-lft-out--
15×add-cube-cbrt
14×difference-of-squares
7×distribute-lft-out add-log-exp
6×associate-/r*
5×associate-/l*
4×add-cbrt-cube add-exp-log
3×flip3-- flip--
2×pow1 diff-log associate-/r/ associate-/l/
1×cbrt-undiv clear-num sum-log sub-neg frac-2neg div-sub div-exp div-inv associate--r+
Counts
2 → 75
Calls
2 calls:
18.0ms
(- 2.0 (+ x y))
51.0ms
(/ (- x y) (- 2.0 (+ x y)))

series83.0ms

Counts
2 → 6
Calls
2 calls:
17.0ms
(- 2.0 (+ x y))
66.0ms
(/ (- x y) (- 2.0 (+ x y)))

simplify932.0ms

Counts
81 → 81
Iterations
IterNodes
done5000
21171
1313
0126

prune293.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 2.0 (+ x y))
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)))

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
133×*-un-lft-identity
64×times-frac
62×add-sqr-sqrt
43×distribute-lft-out--
28×add-cube-cbrt
15×distribute-lft-out difference-of-squares
12×associate-/r*
11×add-log-exp
8×add-cbrt-cube add-exp-log associate-/r/
6×flip3-- flip-- associate-/l*
4×pow1 div-inv
3×distribute-rgt-out-- diff-log
2×cbrt-undiv clear-num sub-neg frac-2neg div-exp
1×sum-log frac-sub associate--r+ sub-div
Counts
4 → 133
Calls
4 calls:
17.0ms
(- 2.0 (+ x y))
235.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
37.0ms
(/ x (- 2.0 (+ x y)))
27.0ms
(/ y (- 2.0 (+ x y)))

series212.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(- 2.0 (+ x y))
68.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
60.0ms
(/ x (- 2.0 (+ x y)))
65.0ms
(/ y (- 2.0 (+ x y)))

simplify941.0ms

Counts
145 → 145
Iterations
IterNodes
done5001
21453
1427
0190

prune579.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite414.0ms

Algorithm
rewrite-expression-head
Rules
211×*-un-lft-identity
197×times-frac
162×add-sqr-sqrt
89×add-cube-cbrt
47×distribute-lft-out--
31×associate-/r*
30×difference-of-squares
21×distribute-lft-out
19×add-exp-log
13×add-cbrt-cube
12×associate-/l*
9×div-exp
8×div-inv
6×add-log-exp
5×pow1 cbrt-undiv
3×clear-num frac-2neg flip3-- associate-/r/ flip--
2×rec-exp 1-exp associate-/l/
1×sub-neg diff-log div-sub frac-sub pow-flip inv-pow
Counts
4 → 223
Calls
4 calls:
280.0ms
(- (/ 1 (/ (- 2.0 (+ x y)) x)) (/ y (- 2.0 (+ x y))))
51.0ms
(/ (- 2.0 (+ x y)) x)
27.0ms
(/ y (- 2.0 (+ x y)))
46.0ms
(/ 1 (/ (- 2.0 (+ x y)) x))

series208.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(- (/ 1 (/ (- 2.0 (+ x y)) x)) (/ y (- 2.0 (+ x y))))
28.0ms
(/ (- 2.0 (+ x y)) x)
50.0ms
(/ y (- 2.0 (+ x y)))
54.0ms
(/ 1 (/ (- 2.0 (+ x y)) x))

simplify2.1s

Counts
235 → 235
Iterations
IterNodes
done5001
24157
1788
0308

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt y) (cbrt y))
0.6b
(cbrt (- 2.0 (+ x y)))
0.6b
(cbrt (- 2.0 (+ x y)))
0.6b
(cbrt (- 2.0 (+ x y)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
34×cbrt-prod
30×*-un-lft-identity
29×add-sqr-sqrt
15×add-cube-cbrt
11×pow1
9×pow1/3
6×cbrt-div swap-sqr associate-*r* associate-*l* add-exp-log distribute-lft-out--
4×add-cbrt-cube add-log-exp unswap-sqr
3×flip3-- flip-- distribute-lft-out difference-of-squares
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 88
Calls
4 calls:
14.0ms
(* (cbrt y) (cbrt y))
17.0ms
(cbrt (- 2.0 (+ x y)))
20.0ms
(cbrt (- 2.0 (+ x y)))
18.0ms
(cbrt (- 2.0 (+ x y)))

series594.0ms

Counts
4 → 12
Calls
4 calls:
262.0ms
(* (cbrt y) (cbrt y))
105.0ms
(cbrt (- 2.0 (+ x y)))
106.0ms
(cbrt (- 2.0 (+ x y)))
121.0ms
(cbrt (- 2.0 (+ x y)))

simplify945.0ms

Counts
100 → 100
Iterations
IterNodes
done5001
21020
1301
0127

prune587.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes174.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
done8
18
07

end0.0ms

sample608.0ms

Algorithm
intervals
Results
392.0ms7999×body80valid
0.0ms1×body640valid