Details

Time bar (total: 9.9s)

sample25.0ms

Algorithm
intervals
Results
13.0ms382×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1139
2359
3829
41219
51269
61459
72149
84479
913499
done50019

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize9.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* x x) (- 3.0 (* x 2.0)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×add-sqr-sqrt associate-*r* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in add-cube-cbrt sub-neg *-un-lft-identity distribute-lft-in associate-*r/
1×flip3-- associate-*l* *-commutative flip-- add-log-exp unswap-sqr
Counts
1 → 25
Calls
1 calls:
49.0ms
(* (* x x) (- 3.0 (* x 2.0)))

series104.0ms

Counts
1 → 3
Calls
1 calls:
104.0ms
(* (* x x) (- 3.0 (* x 2.0)))

simplify1.1s

Counts
28 → 28
Iterations

Useful iterations: done (1.1s)

IterNodesCost
057367
1180354
21206308
done5000294

prune48.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- 3.0 (* x 2.0)))
0.1b
(* x (* x (- 3.0 (* x 2.0))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
10×distribute-rgt-in distribute-lft-in
9×pow1 add-exp-log add-cbrt-cube
7×add-sqr-sqrt
6×sub-neg associate-*r/ associate-*l*
5×add-cube-cbrt *-un-lft-identity
4×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×flip3-- *-commutative flip-- add-log-exp
1×unswap-sqr
Counts
2 → 52
Calls
2 calls:
18.0ms
(* x (- 3.0 (* x 2.0)))
45.0ms
(* x (* x (- 3.0 (* x 2.0))))

series238.0ms

Counts
2 → 6
Calls
2 calls:
113.0ms
(* x (- 3.0 (* x 2.0)))
125.0ms
(* x (* x (- 3.0 (* x 2.0))))

simplify899.0ms

Counts
58 → 58
Iterations

Useful iterations: done (896.0ms)

IterNodesCost
079669
1230655
21261585
done5000573

prune161.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x (* 3.0 x)) (* x (* (- (* x 2.0)) x)))
0.1b
(* x (* 3.0 x))
0.1b
(* x (* (- (* x 2.0)) x))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log add-cbrt-cube
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×distribute-lft-neg-out distribute-rgt-neg-out
2×associate-*r* *-commutative
1×+-commutative flip3-+ unsub-neg sum-log flip-+ distribute-lft-out
Counts
3 → 51
Calls
3 calls:
20.0ms
(+ (* x (* 3.0 x)) (* x (* (- (* x 2.0)) x)))
17.0ms
(* x (* 3.0 x))
41.0ms
(* x (* (- (* x 2.0)) x))

series261.0ms

Counts
3 → 9
Calls
3 calls:
182.0ms
(+ (* x (* 3.0 x)) (* x (* (- (* x 2.0)) x)))
27.0ms
(* x (* 3.0 x))
52.0ms
(* x (* (- (* x 2.0)) x))

simplify1.2s

Counts
60 → 60
Iterations

Useful iterations: done (1.2s)

IterNodesCost
087701
1255589
21541520
done5000516

prune159.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- 2.0) (pow x 3))
0.0b
(+ (* 3.0 (* x x)) (* (- 2.0) (pow x 3)))
0.2b
(* 3.0 (* x x))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×add-exp-log associate-*r* associate-*l*
10×add-cube-cbrt *-un-lft-identity add-cbrt-cube
8×pow1
6×prod-exp
5×add-log-exp unswap-sqr
4×unpow-prod-down cube-prod cbrt-unprod
3×distribute-lft-neg-out distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down
2×*-commutative sqr-pow
1×+-commutative cube-mult pow-to-exp neg-mul-1 flip3-+ unpow3 unsub-neg pow-exp sum-log flip-+
Counts
3 → 71
Calls
3 calls:
33.0ms
(* (- 2.0) (pow x 3))
34.0ms
(+ (* 3.0 (* x x)) (* (- 2.0) (pow x 3)))
17.0ms
(* 3.0 (* x x))

series229.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(* (- 2.0) (pow x 3))
153.0ms
(+ (* 3.0 (* x x)) (* (- 2.0) (pow x 3)))
31.0ms
(* 3.0 (* x x))

simplify2.1s

Counts
80 → 80
Iterations

Useful iterations: 2 (558.0ms)

IterNodesCost
0113779
1351711
22429633
done5003633

prune220.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01014
12214
23114
33414
done3414

end0.0ms

sample808.0ms

Algorithm
intervals
Results
535.0ms12103×body80valid