Details

Time bar (total: 13.2s)

sample72.0ms

Algorithm
intervals
Results
46.0ms450×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
01523
13617
29817
331317
4192417
done500017

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (- x 7.0))
0.1b
(* x (- (* x (+ (* x (- x 7.0)) 28.0)) 56.0))
0.1b
(* x (+ (* x (- x 7.0)) 28.0))
0.1b
(* (+ (* x (- (* x (+ (* x (- x 7.0)) 28.0)) 56.0)) 1) x)

rewrite575.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
14×*-un-lft-identity associate-*r*
12×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
distribute-rgt-in distribute-lft-in
associate-*r/
sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod add-log-exp unswap-sqr
flip3-+ flip3-- associate-*l/ flip-+ flip--
distribute-lft-out-- difference-of-squares
Counts
4 → 96
Calls
4 calls:
39.0ms
(* x (- x 7.0))
175.0ms
(* x (- (* x (+ (* x (- x 7.0)) 28.0)) 56.0))
76.0ms
(* x (+ (* x (- x 7.0)) 28.0))
279.0ms
(* (+ (* x (- (* x (+ (* x (- x 7.0)) 28.0)) 56.0)) 1) x)

series370.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(* x (- x 7.0))
98.0ms
(* x (- (* x (+ (* x (- x 7.0)) 28.0)) 56.0))
74.0ms
(* x (+ (* x (- x 7.0)) 28.0))
117.0ms
(* (+ (* x (- (* x (+ (* x (- x 7.0)) 28.0)) 56.0)) 1) x)

simplify2.7s

Counts
108 → 108
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01791586
15151506
226421382
done50001376

prune551.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 28.0 x) (* (pow x 2) (- x 7.0)))
0.1b
(* x (- (+ (* 28.0 x) (* (pow x 2) (- x 7.0))) 56.0))
0.1b
(* (+ (* x (- (+ (* 28.0 x) (* (pow x 2) (- x 7.0))) 56.0)) 1) x)
0.2b
(* (pow x 2) (- x 7.0))

rewrite457.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
15×*-un-lft-identity
14×associate-*l*
13×associate-*r* add-exp-log
11×add-cube-cbrt
10×add-cbrt-cube
pow1
distribute-rgt-in distribute-lft-in
sub-neg add-log-exp unswap-sqr
prod-exp
associate-+r+ unpow-prod-down associate-*r/
*-commutative cbrt-unprod
flip3-+ flip3-- pow-prod-down associate-*l/ associate--l+ flip-+ flip-- distribute-lft-out-- unpow2 difference-of-squares sqr-pow
pow-to-exp +-commutative sum-log pow-exp
Counts
4 → 98
Calls
4 calls:
19.0ms
(+ (* 28.0 x) (* (pow x 2) (- x 7.0)))
152.0ms
(* x (- (+ (* 28.0 x) (* (pow x 2) (- x 7.0))) 56.0))
229.0ms
(* (+ (* x (- (+ (* 28.0 x) (* (pow x 2) (- x 7.0))) 56.0)) 1) x)
50.0ms
(* (pow x 2) (- x 7.0))

series404.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(+ (* 28.0 x) (* (pow x 2) (- x 7.0)))
90.0ms
(* x (- (+ (* 28.0 x) (* (pow x 2) (- x 7.0))) 56.0))
117.0ms
(* (+ (* x (- (+ (* 28.0 x) (* (pow x 2) (- x 7.0))) 56.0)) 1) x)
130.0ms
(* (pow x 2) (- x 7.0))

simplify3.0s

Counts
110 → 110
Iterations

Useful iterations: done (3.0s)

IterNodesCost
01861831
15141702
227741559
done50011555

prune602.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

regimes38.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01621
12519
22619
done2619

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.0s13377×body80valid