Details

Time bar (total: 11.3s)

sample12.0ms

Algorithm
intervals
Results
4.0ms256×body80valid
2.0ms256×pre80true

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
049
1137
2267
3397
4577
51127
62067
75807
818687
done50007

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (pow x 3) (* x x))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
2×cube-mult
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt distribute-rgt-out *-un-lft-identity distribute-lft1-in flip3-+ unpow3 sum-log add-cbrt-cube flip-+ distribute-lft-out
Counts
1 → 14
Calls
1 calls:
8.0ms
(+ (pow x 3) (* x x))

series65.0ms

Counts
1 → 3
Calls
1 calls:
65.0ms
(+ (pow x 3) (* x x))

simplify1.3s

Counts
17 → 17
Iterations

Useful iterations: 3 (323.0ms)

IterNodesCost
031179
192162
2344144
31635142
done5000142

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) x)
0.0b
(* x (+ (* x x) x))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
5×associate-*r*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
3×associate-*l*
2×distribute-rgt-out distribute-lft1-in flip3-+ associate-*r/ flip-+
1×+-commutative distribute-rgt-in distribute-lft-in pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
2 → 37
Calls
2 calls:
3.0ms
(+ (* x x) x)
11.0ms
(* x (+ (* x x) x))

series100.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(+ (* x x) x)
59.0ms
(* x (+ (* x x) x))

simplify1.7s

Counts
43 → 43
Iterations

Useful iterations: 3 (395.0ms)

IterNodesCost
052385
1144367
2464321
31738317
done5001317

prune71.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (pow x 3) (* x x))
0.0b
(- (pow x 6) (pow x 4))
44.3b
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
204×add-sqr-sqrt
159×difference-of-squares
117×times-frac
81×unpow-prod-down sqr-pow
49×*-un-lft-identity
27×add-cube-cbrt
26×distribute-lft-out--
15×cube-mult distribute-rgt-out-- unpow3 cube-prod
13×associate-/l*
9×associate-/r*
7×add-log-exp
5×add-exp-log add-cbrt-cube
4×flip3-- flip--
3×pow1
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv
Counts
3 → 196
Calls
3 calls:
13.0ms
(- (pow x 3) (* x x))
10.0ms
(- (pow x 6) (pow x 4))
39.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

series364.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(- (pow x 3) (* x x))
107.0ms
(- (pow x 6) (pow x 4))
183.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

simplify995.0ms

Counts
205 → 205
Iterations

Useful iterations: 2 (375.0ms)

IterNodesCost
02985086
16714691
219484473
done50014473

prune360.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (pow x 6) (pow x 4))
4.1b
(/ (- (pow x 6) (pow x 4)) (- (* x x) x))
9.9b
(* (/ 1 x) (/ (- (pow x 6) (pow x 4)) (- (* x x) x)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
237×add-sqr-sqrt
146×times-frac
135×difference-of-squares
102×*-un-lft-identity
72×unpow-prod-down sqr-pow
71×associate-*r*
49×add-cube-cbrt
27×add-exp-log distribute-rgt-out--
17×add-cbrt-cube
13×associate-*l* associate-/l*
12×distribute-lft-out--
9×div-exp
8×prod-exp
6×unswap-sqr
5×pow1 cbrt-undiv associate-/r* add-log-exp
4×flip3-- associate-/r/ flip-- cbrt-unprod
3×div-inv
2×rec-exp 1-exp associate-/l/
1×frac-times sub-neg frac-2neg diff-log div-sub associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
3 → 236
Calls
3 calls:
10.0ms
(- (pow x 6) (pow x 4))
31.0ms
(/ (- (pow x 6) (pow x 4)) (- (* x x) x))
73.0ms
(* (/ 1 x) (/ (- (pow x 6) (pow x 4)) (- (* x x) x)))

series454.0ms

Counts
3 → 9
Calls
3 calls:
103.0ms
(- (pow x 6) (pow x 4))
150.0ms
(/ (- (pow x 6) (pow x 4)) (- (* x x) x))
200.0ms
(* (/ 1 x) (/ (- (pow x 6) (pow x 4)) (- (* x x) x)))

simplify1.3s

Counts
245 → 245
Iterations

Useful iterations: 2 (642.0ms)

IterNodesCost
03595316
110544876
235014520
done50004520

prune664.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes10.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047
167
done67

end0.0ms

sample282.0ms

Algorithm
intervals
Results
111.0ms8000×body80valid
74.0ms8000×pre80true