Details

Time bar (total: 10.7s)

sample25.0ms

Algorithm
intervals
Results
16.0ms347×body80valid

simplify57.0ms

Counts
1 → 1
Iterations
IterNodes
done81
481
353
236
118
07

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (* 2.0 x) (+ x y))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
15×associate-*l*
12×add-sqr-sqrt
7×*-un-lft-identity associate-*r*
6×pow1 add-cbrt-cube add-exp-log
5×add-cube-cbrt
4×unswap-sqr
3×pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in +-commutative distribute-lft-in associate-*r/ *-commutative
1×flip3-+ flip-+ insert-posit16 distribute-lft-out add-log-exp
Counts
1 → 39
Calls
1 calls:
52.0ms
(* (* 2.0 x) (+ x y))

series61.0ms

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

simplify4.0s

Counts
42 → 42
Iterations
IterNodes
done5002
34576
2864
1259
077

prune169.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x (* 2.0 x)) (* y (* 2.0 x)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
47×associate-*r*
26×*-un-lft-identity
23×distribute-rgt-out
14×associate-*l*
11×add-sqr-sqrt
7×add-cube-cbrt
6×*-commutative
5×distribute-lft-out
3×add-log-exp
2×unswap-sqr
1×pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16
Counts
1 → 40
Calls
1 calls:
158.0ms
(+ (* x (* 2.0 x)) (* y (* 2.0 x)))

series69.0ms

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

simplify945.0ms

Counts
43 → 43
Iterations
IterNodes
done5002
21008
1266
089

prune115.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

6.6b
(* (* (- x y) (+ x y)) (* x 2.0))
18.6b
(/ (* (* (- x y) (+ x y)) (* x 2.0)) (- x y))

rewrite658.0ms

Algorithm
rewrite-expression-head
Rules
287×add-sqr-sqrt
189×*-un-lft-identity
180×times-frac
161×associate-*l*
133×associate-*r*
87×add-cube-cbrt
70×unswap-sqr
44×distribute-lft-out-- difference-of-squares
36×associate-/l*
32×add-cbrt-cube add-exp-log
21×*-commutative
20×associate-*l/
16×prod-exp cbrt-unprod
14×pow1
8×frac-times pow-prod-down associate-/l/
7×flip3-- flip-- distribute-lft-out
6×flip3-+ flip-+
5×cbrt-undiv associate-/r* div-exp
4×associate-*r/
2×associate-/r/ insert-posit16 add-log-exp
1×clear-num frac-2neg div-inv
Counts
2 → 312
Calls
2 calls:
163.0ms
(* (* (- x y) (+ x y)) (* x 2.0))
480.0ms
(/ (* (* (- x y) (+ x y)) (* x 2.0)) (- x y))

series190.0ms

Counts
2 → 6
Calls
2 calls:
121.0ms
(* (* (- x y) (+ x y)) (* x 2.0))
69.0ms
(/ (* (* (- x y) (+ x y)) (* x 2.0)) (- x y))

simplify1.8s

Counts
318 → 318
Iterations
IterNodes
done5000
11380
0437

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes69.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
done11
111
07

end0.0ms

sample1.2s

Algorithm
intervals
Results
906.0ms10983×body80valid