Details

Time bar (total: 15.7s)

sample27.0ms

Algorithm
intervals
Results
11.0ms287×body80valid

simplify9.2s

Counts
1 → 1
Iterations
IterNodes
done5000
163947
153510
142565
132194
121549
111249
10839
9609
8379
7210
6100
552
433
325
219
110
05

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x y) x)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 11
Calls
1 calls:
6.0ms
(+ (* x y) x)

series43.0ms

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

simplify2.1s

Counts
14 → 14
Iterations
IterNodes
done5004
41669
3611
2218
174
026

prune86.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

2.0b
(+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
3.0b
(- (* x x) (* (* x y) x))
3.3b
(+ (* (* x y) (* (* x y) (* x y))) (* (* x x) x))
39.1b
(/ (+ (* (* x y) (* (* x y) (* x y))) (* (* x x) x)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))

rewrite512.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
12×times-frac
6×add-cbrt-cube add-exp-log
5×cube-unmult pow3 sum-cubes
4×pow1 flip3-+ flip-+ associate-/l*
3×associate-/r* sum-log
2×+-commutative associate-+r+ sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv clear-num associate-+r- frac-2neg flip3-- distribute-rgt-out-- div-exp div-inv flip--
Counts
4 → 75
Calls
4 calls:
28.0ms
(+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
7.0ms
(- (* x x) (* (* x y) x))
85.0ms
(+ (* (* x y) (* (* x y) (* x y))) (* (* x x) x))
390.0ms
(/ (+ (* (* x y) (* (* x y) (* x y))) (* (* x x) x)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))

series501.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
64.0ms
(- (* x x) (* (* x y) x))
163.0ms
(+ (* (* x y) (* (* x y) (* x y))) (* (* x x) x))
188.0ms
(/ (+ (* (* x y) (* (* x y) (* x y))) (* (* x x) x)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))

simplify2.0s

Counts
87 → 87
Iterations
IterNodes
done5001
21534
1389
0134

prune500.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes105.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
05

end0.0ms

sample585.0ms

Algorithm
intervals
Results
347.0ms9179×body80valid
0.0ms1×body160valid