Details

Time bar (total: 8.5s)

sample65.0ms

Algorithm
intervals
Results
23.0ms256×pre80true
21.0ms256×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
23920
22920
21906
20834
19658
18514
17420
16268
15176
14140
13128
12118
11110
10102
986
873
762
650
543
436
323
218
111
07

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x (- 1 k)) k)
0.0b
(/ x (+ (* x (- 1 k)) k))
0.3b
(* x (- 1 k))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
13×add-cube-cbrt
times-frac
add-cbrt-cube add-exp-log
associate-*r*
pow1 add-log-exp
distribute-rgt-in associate-+l+ sub-neg distribute-lft-in
associate-/r* associate-*l* insert-posit16 associate-/l*
flip3-+ associate-*r/ associate-/r/ flip-+ difference-of-squares
cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- unswap-sqr
Counts
3 → 74
Calls
3 calls:
25.0ms
(+ (* x (- 1 k)) k)
37.0ms
(/ x (+ (* x (- 1 k)) k))
38.0ms
(* x (- 1 k))

series219.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(+ (* x (- 1 k)) k)
103.0ms
(/ x (+ (* x (- 1 k)) k))
73.0ms
(* x (- 1 k))

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
32078
2688
1262
0122

prune908.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (- x (* x k)) k)
0.0b
(/ x (+ (- x (* x k)) k))
0.2b
(- x (* x k))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
12×add-sqr-sqrt times-frac add-cube-cbrt
10×add-log-exp
add-cbrt-cube add-exp-log distribute-lft-out
associate-/r*
pow1 insert-posit16 associate-/l*
associate-+l+ sum-log sub-neg flip3-+ diff-log associate-/r/ flip-+
cbrt-undiv +-commutative clear-num frac-2neg flip3-- div-exp associate-+l- div-inv flip--
Counts
3 → 64
Calls
3 calls:
38.0ms
(+ (- x (* x k)) k)
51.0ms
(/ x (+ (- x (* x k)) k))
12.0ms
(- x (* x k))

series221.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(+ (- x (* x k)) k)
100.0ms
(/ x (+ (- x (* x k)) k))
77.0ms
(- x (* x k))

simplify988.0ms

Counts
73 → 73
Iterations
IterNodes
32067
2606
1226
0104

prune764.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes88.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
28
18
06

end0.0ms

sample1.5s

Algorithm
intervals
Results
772.0ms8000×body80valid
552.0ms8000×pre80true