Details

Time bar (total: 8.9s)

sample92.0ms

Algorithm
intervals
Results
44.0ms391×body80valid
28.0ms145×body80nan

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done2000
5639
4204
387
247
126
012

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.3b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (pow k m) a)
0.0b
(* (+ k 10) k)
2.3b
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log
17×add-sqr-sqrt
12×*-un-lft-identity add-cbrt-cube
11×associate-*l*
10×add-cube-cbrt
7×prod-exp
6×associate-*r*
5×pow1
4×unpow-prod-down div-exp unswap-sqr
3×associate-/r* times-frac cbrt-unprod insert-posit16 add-log-exp
2×pow-to-exp cbrt-undiv flip3-+ associate-*l/ pow-exp associate-/r/ *-commutative flip-+ sqr-pow
1×clear-num frac-2neg pow-prod-down div-inv distribute-lft-out associate-/l*
Counts
3 → 74
Calls
3 calls:
9.0ms
(* (pow k m) a)
17.0ms
(* (+ k 10) k)
33.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))

series375.0ms

Counts
3 → 9
Calls
3 calls:
142.0ms
(* (pow k m) a)
71.0ms
(* (+ k 10) k)
162.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))

simplify768.0ms

Counts
83 → 83
Iterations
IterNodes
done2018
21397
1425
0165

prune475.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (* (* k k) (* k k)) a)
3.7b
(/ (exp (* (- (- (log k))) m)) (* k k))
5.3b
(/ (exp (* (- (- (log k))) m)) (/ (* (* k k) (* k k)) a))
12.1b
(+ (* 99 (/ (exp (* (- (- (log k))) m)) (/ (* (* k k) (* k k)) a))) (* (* (/ a k) (/ (exp (* (- (- (log k))) m)) (* k k))) -10))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube
44×add-exp-log
39×times-frac
24×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×cbrt-undiv div-exp
17×prod-exp cbrt-unprod
11×associate-/r*
7×div-inv associate-/l*
6×add-log-exp
4×pow1 associate-*l/ associate-*r/ insert-posit16
3×clear-num frac-2neg frac-add
2×distribute-lft-neg-out exp-neg associate-/l/
1×frac-times +-commutative sum-log flip3-+ associate-/r/ flip-+
Counts
4 → 122
Calls
4 calls:
26.0ms
(/ (* (* k k) (* k k)) a)
24.0ms
(/ (exp (* (- (- (log k))) m)) (* k k))
45.0ms
(/ (exp (* (- (- (log k))) m)) (/ (* (* k k) (* k k)) a))
62.0ms
(+ (* 99 (/ (exp (* (- (- (log k))) m)) (/ (* (* k k) (* k k)) a))) (* (* (/ a k) (/ (exp (* (- (- (log k))) m)) (* k k))) -10))

series477.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(/ (* (* k k) (* k k)) a)
75.0ms
(/ (exp (* (- (- (log k))) m)) (* k k))
135.0ms
(/ (exp (* (- (- (log k))) m)) (/ (* (* k k) (* k k)) a))
234.0ms
(+ (* 99 (/ (exp (* (- (- (log k))) m)) (/ (* (* k k) (* k k)) a))) (* (* (/ a k) (/ (exp (* (- (- (log k))) m)) (* k k))) -10))

simplify1.2s

Counts
134 → 134
Iterations
IterNodes
done2002
1841
0276

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes81.0ms

Accuracy

99.4% (0.0b remaining)

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

bsearch112.0ms

Steps
ItersRangePoint
7
1.1611962541267347e+129
2.0056155501151023e+130
8.14236707063809e+129

simplify32.0ms

Iterations
IterNodes
done64
564
462
357
253
149
034

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.7s11992×body80valid
544.0ms4229×body80nan