Details

Time bar (total: 17.0s)

sample110.0ms

Algorithm
intervals
Results
77.0ms450×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
02129
14527
210627
332327
4106627
done500027

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize53.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- (* x x) (* 7.0 x)) x)
0.2b
(+ (* (- (* x x) (* 7.0 x)) x) (* 28.0 (pow x 2.0)))
0.2b
(* 56.0 (pow x 3.0))
0.2b
(* 28.0 (pow x 2.0))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
17×associate-*r*
16×add-exp-log
12×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube associate-*l*
unpow-prod-down
prod-exp unswap-sqr
pow1 add-log-exp
sqr-pow
*-commutative cbrt-unprod
pow-to-exp associate-*l/ pow-exp
+-commutative sum-log flip3-+ flip3-- distribute-rgt-out-- pow-prod-down flip-+ flip--
Counts
4 → 82
Calls
4 calls:
59.0ms
(* (- (* x x) (* 7.0 x)) x)
37.0ms
(+ (* (- (* x x) (* 7.0 x)) x) (* 28.0 (pow x 2.0)))
23.0ms
(* 56.0 (pow x 3.0))
26.0ms
(* 28.0 (pow x 2.0))

series2.0s

Counts
4 → 12
Calls
4 calls:
204.0ms
(* (- (* x x) (* 7.0 x)) x)
127.0ms
(+ (* (- (* x x) (* 7.0 x)) x) (* 28.0 (pow x 2.0)))
833.0ms
(* 56.0 (pow x 3.0))
837.0ms
(* 28.0 (pow x 2.0))

simplify2.7s

Counts
94 → 94
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01671078
1417934
21932856
done5000854

prune863.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 28.0 (pow x 2.0))
0.3b
(* (sqrt (* 28.0 (pow x 2.0))) (sqrt (* 28.0 (pow x 2.0))))
24.0b
(sqrt (* 28.0 (pow x 2.0)))
24.0b
(sqrt (* 28.0 (pow x 2.0)))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1
18×add-sqr-sqrt
11×*-un-lft-identity associate-*r* add-exp-log add-cube-cbrt
10×sqrt-pow1 pow1/2
add-cbrt-cube
associate-*l*
sqrt-prod
pow-prod-up
unpow-prod-down swap-sqr prod-exp add-log-exp unswap-sqr
pow-prod-down pow-sqr
*-commutative cbrt-unprod sqr-pow
pow2 pow-to-exp rem-square-sqrt pow-plus sqrt-unprod pow-exp
Counts
4 → 83
Calls
4 calls:
23.0ms
(* 28.0 (pow x 2.0))
90.0ms
(* (sqrt (* 28.0 (pow x 2.0))) (sqrt (* 28.0 (pow x 2.0))))
9.0ms
(sqrt (* 28.0 (pow x 2.0)))
9.0ms
(sqrt (* 28.0 (pow x 2.0)))

series3.8s

Counts
4 → 12
Calls
4 calls:
925.0ms
(* 28.0 (pow x 2.0))
1.0s
(* (sqrt (* 28.0 (pow x 2.0))) (sqrt (* 28.0 (pow x 2.0))))
965.0ms
(sqrt (* 28.0 (pow x 2.0)))
869.0ms
(sqrt (* 28.0 (pow x 2.0)))

simplify1.6s

Counts
95 → 95
Iterations

Useful iterations: done (1.6s)

IterNodesCost
096983
1224736
21098654
done5000640

prune811.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

regimes147.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02743
13843
done3843

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.6s13377×body80valid