Details

Time bar (total: 13.1s)

sample100.0ms

Algorithm
intervals
Results
38.0ms256×pre80true
21.0ms199×body80valid
6.0ms17×body640valid
6.0ms19×body320valid
3.0ms17×body160valid
3.0msbody1280valid

simplify402.0ms

Counts
1 → 1
Iterations
IterNodes
11202
10202
9193
8161
7136
6108
598
479
352
235
116
09

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x2 7) x2)
0.1b
(- (* (- x2 7) x2) (* x1 12))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
*-un-lft-identity
associate-*l*
pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
associate-*r*
flip3-- associate-*l/ insert-posit16 flip--
sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 36
Calls
2 calls:
40.0ms
(* (- x2 7) x2)
46.0ms
(- (* (- x2 7) x2) (* x1 12))

series120.0ms

Counts
2 → 6
Calls
2 calls:
79.0ms
(* (- x2 7) x2)
41.0ms
(- (* (- x2 7) x2) (* x1 12))

simplify3.6s

Counts
42 → 42
Iterations
IterNodes
43887
31304
2474
1186
074

prune435.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 3 expressions with local error:

0.0b
(* x2 (+ (* x2 x2) -49))
0.1b
(- (/ (* x2 (+ (* x2 x2) -49)) (+ x2 7)) (* x1 12))
0.3b
(/ (* x2 (+ (* x2 x2) -49)) (+ x2 7))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-cbrt-cube add-exp-log
add-sqr-sqrt
add-cube-cbrt
pow1 add-log-exp
associate-/r* times-frac associate-*r/
flip3-+ associate-*r* associate-*l* flip-+ insert-posit16
cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod distribute-lft-out associate-/l/
distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in flip3-- diff-log pow-prod-down *-commutative div-inv flip-- associate-/l* unswap-sqr
Counts
3 → 64
Calls
3 calls:
50.0ms
(* x2 (+ (* x2 x2) -49))
96.0ms
(- (/ (* x2 (+ (* x2 x2) -49)) (+ x2 7)) (* x1 12))
47.0ms
(/ (* x2 (+ (* x2 x2) -49)) (+ x2 7))

series460.0ms

Counts
3 → 9
Calls
3 calls:
143.0ms
(* x2 (+ (* x2 x2) -49))
87.0ms
(- (/ (* x2 (+ (* x2 x2) -49)) (+ x2 7)) (* x1 12))
230.0ms
(/ (* x2 (+ (* x2 x2) -49)) (+ x2 7))

simplify3.6s

Counts
73 → 73
Iterations
IterNodes
36233
21259
1363
0126

prune932.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

regimes174.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
216
116
012

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.2s8000×pre80true
854.0ms6441×body80valid
228.0ms512×body640valid
143.0ms505×body320valid
135.0ms198×body1280valid
65.0ms344×body160valid
2.0ms16×pre80false