Details

Time bar (total: 11.8s)

sample26.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
5.0ms256×pre80true

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
049
1137
2267
3417
4597
5927
61837
75247
821287
done50007

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite26.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:
25.0ms
(+ (pow x 3) (* x x))

series88.0ms

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

simplify1.7s

Counts
17 → 17
Iterations

Useful iterations: 3 (275.0ms)

IterNodesCost
031179
189162
2317144
31216142
done5000142

prune45.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite131.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:
26.0ms
(- (pow x 3) (* x x))
25.0ms
(- (pow x 6) (pow x 4))
68.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

series489.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(- (pow x 3) (* x x))
161.0ms
(- (pow x 6) (pow x 4))
241.0ms
(/ (- (pow x 6) (pow x 4)) (- (pow x 3) (* x x)))

simplify1.4s

Counts
205 → 205
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02985086
16664691
217634473
done50014247

prune446.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) x)
0.0b
(- (pow x 6) (pow x 4))
4.2b
(/ (- (pow x 6) (pow x 4)) (- (* x x) x))
9.6b
(* (/ 1 x) (/ (- (pow x 6) (pow x 4)) (- (* x x) x)))

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
239×add-sqr-sqrt
146×times-frac
136×difference-of-squares
104×*-un-lft-identity
72×unpow-prod-down sqr-pow
71×associate-*r*
50×add-cube-cbrt
28×add-exp-log distribute-rgt-out--
18×add-cbrt-cube
13×associate-*l* associate-/l*
12×distribute-lft-out--
9×div-exp
8×prod-exp add-log-exp
6×pow1 unswap-sqr
5×cbrt-undiv flip3-- associate-/r* flip--
4×associate-/r/ cbrt-unprod
3×div-inv
2×sub-neg rec-exp diff-log 1-exp associate-/l/
1×frac-times frac-2neg div-sub associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 250
Calls
4 calls:
12.0ms
(- (* x x) x)
27.0ms
(- (pow x 6) (pow x 4))
71.0ms
(/ (- (pow x 6) (pow x 4)) (- (* x x) x))
159.0ms
(* (/ 1 x) (/ (- (pow x 6) (pow x 4)) (- (* x x) x)))

series703.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(- (* x x) x)
165.0ms
(- (pow x 6) (pow x 4))
212.0ms
(/ (- (pow x 6) (pow x 4)) (- (* x x) x))
265.0ms
(* (/ 1 x) (/ (- (pow x 6) (pow x 4)) (- (* x x) x)))

simplify2.3s

Counts
262 → 262
Iterations

Useful iterations: done (2.3s)

IterNodesCost
03685455
110365002
235304636
done50014582

prune848.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes19.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
057
167
done67

end0.0ms

sample496.0ms

Algorithm
intervals
Results
248.0ms8000×body80valid
113.0ms8000×pre80true