Details

Time bar (total: 13.9s)

sample21.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify13.0ms

Counts
1 → 1
Iterations
IterNodes
done25
325
224
114
07

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.4b

localize25.0ms

Local error

Found 1 expressions with local error:

12.4b
(/ (+ x y) (* (* x 2.0) y))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
95×*-un-lft-identity
88×times-frac
84×add-sqr-sqrt
75×associate-*l*
49×add-cube-cbrt
30×associate-*r*
23×distribute-lft-out
22×associate-/r*
20×unswap-sqr
10×add-cbrt-cube add-exp-log *-commutative
4×associate-/l*
3×cbrt-undiv div-exp prod-exp cbrt-unprod
2×associate-/l/
1×pow1 clear-num frac-2neg flip3-+ flip-+ insert-posit16 div-inv add-log-exp
Counts
1 → 133
Calls
1 calls:
68.0ms
(/ (+ x y) (* (* x 2.0) y))

series87.0ms

Counts
1 → 3
Calls
1 calls:
86.0ms
(/ (+ x y) (* (* x 2.0) y))

simplify1.8s

Counts
136 → 136
Iterations
IterNodes
done5000
21946
1616
0222

prune435.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ 0.5 y) (/ 0.5 x))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-add
54×associate-/r* associate-/l*
47×*-un-lft-identity
39×add-sqr-sqrt add-cube-cbrt
18×clear-num frac-2neg
6×times-frac
5×distribute-lft-out
3×add-log-exp
2×div-inv
1×pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16
Counts
1 → 98
Calls
1 calls:
56.0ms
(+ (/ 0.5 y) (/ 0.5 x))

series54.0ms

Counts
1 → 3
Calls
1 calls:
54.0ms
(+ (/ 0.5 y) (/ 0.5 x))

simplify2.1s

Counts
101 → 101
Iterations
IterNodes
done5001
23025
1963
0289

prune356.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ x y) y)
8.1b
(* (/ 1 (* x 2.0)) (/ (+ x y) y))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
216×frac-times associate-/r*
196×add-sqr-sqrt
190×*-un-lft-identity
131×add-cube-cbrt
121×associate-/l*
88×associate-*l*
73×times-frac
64×associate-*r*
49×add-exp-log
40×associate-/l/
34×clear-num
33×frac-2neg
30×unswap-sqr
27×distribute-lft-out
25×add-cbrt-cube
20×flip3-+ prod-exp flip-+
18×associate-*l/
17×*-commutative
16×div-exp
12×associate-*r/
8×cbrt-undiv cbrt-unprod
4×pow1 rec-exp 1-exp
3×un-div-inv div-inv
2×insert-posit16 add-log-exp
1×pow-prod-down
Counts
2 → 379
Calls
2 calls:
39.0ms
(/ (+ x y) y)
146.0ms
(* (/ 1 (* x 2.0)) (/ (+ x y) y))

series133.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(/ (+ x y) y)
89.0ms
(* (/ 1 (* x 2.0)) (/ (+ x y) y))

simplify1.9s

Counts
385 → 385
Iterations
IterNodes
done5002
12006
0533

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (/ 1 2.0) (* x (/ y (+ x y))))
0.0b
(/ y (+ x y))
7.8b
(* x (/ y (+ x y)))

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
832×times-frac
474×*-un-lft-identity
445×add-sqr-sqrt
370×add-cube-cbrt
270×associate-*r*
51×distribute-lft-out
49×add-exp-log
46×div-inv
45×associate-*l*
44×associate-/r/
43×associate-/r*
31×add-cbrt-cube
30×unswap-sqr
27×associate-/l*
24×div-exp
20×associate-*r/
16×flip3-+ flip-+
15×*-commutative
13×cbrt-undiv
10×prod-exp
9×associate-/l/
7×clear-num
6×cbrt-unprod
5×pow1 frac-2neg
4×un-div-inv
3×rec-exp 1-exp insert-posit16 add-log-exp
1×pow-prod-down
Counts
3 → 538
Calls
3 calls:
123.0ms
(/ (/ 1 2.0) (* x (/ y (+ x y))))
10.0ms
(/ y (+ x y))
74.0ms
(* x (/ y (+ x y)))

series240.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(/ (/ 1 2.0) (* x (/ y (+ x y))))
69.0ms
(/ y (+ x y))
96.0ms
(* x (/ y (+ x y)))

simplify2.0s

Counts
547 → 547
Iterations
IterNodes
done5001
12438
0739

prune2.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes60.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
done7
17
06

end0.0ms

sample791.0ms

Algorithm
intervals
Results
586.0ms8000×body80valid