Details

Time bar (total: 25.2s)

sample107.0ms

Algorithm
intervals
Results
59.0ms374×body80valid
23.0ms157×body80nan

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
62026
5637
4204
387
247
126
012

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.6b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite58.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:
29.0ms
(* (+ k 10) k)
8.0ms
(* (pow k m) a)
19.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))

series306.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(* (+ k 10) k)
128.0ms
(* (pow k m) a)
133.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))

simplify2.8s

Counts
83 → 83
Iterations
IterNodes
36650
21383
1426
0165

prune950.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 2.5b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite72.0ms

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

series341.0ms

Counts
3 → 9
Calls
3 calls:
61.0ms
(* (+ k 10) k)
136.0ms
(* (pow k (/ m 2)) a)
143.0ms
(/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (+ (* (+ k 10) k) 1))

simplify5.1s

Counts
93 → 93
Iterations
IterNodes
310158
21769
1524
0192

prune844.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite58.0ms

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

series330.0ms

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

simplify4.5s

Counts
93 → 93
Iterations
IterNodes
310158
21769
1524
0192

prune980.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow k (/ m 2)) a)
0.1b
(/ (/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (sqrt (+ (* (+ k 10) k) 1))) (sqrt (+ (* (+ k 10) k) 1)))
16.9b
(sqrt (+ (* (+ k 10) k) 1))
16.9b
(sqrt (+ (* (+ k 10) k) 1))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
66×sqrt-prod
64×add-exp-log
63×add-sqr-sqrt
56×*-un-lft-identity add-cube-cbrt
27×div-exp
24×prod-exp
20×add-cbrt-cube sqrt-div
16×associate-/r/
12×associate-/l*
10×flip3-+ flip-+
8×pow-to-exp pow-exp div-inv
7×cbrt-undiv associate-*l*
6×pow1 associate-/r*
4×unpow-prod-down cbrt-unprod insert-posit16 add-log-exp
3×associate-*r* unswap-sqr
2×rem-sqrt-square sqrt-pow1 pow1/2 sqr-pow
1×clear-num frac-2neg *-commutative associate-/l/
Counts
4 → 180
Calls
4 calls:
15.0ms
(* (pow k (/ m 2)) a)
63.0ms
(/ (/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (sqrt (+ (* (+ k 10) k) 1))) (sqrt (+ (* (+ k 10) k) 1)))
22.0ms
(sqrt (+ (* (+ k 10) k) 1))
23.0ms
(sqrt (+ (* (+ k 10) k) 1))

series377.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(* (pow k (/ m 2)) a)
178.0ms
(/ (/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (sqrt (+ (* (+ k 10) k) 1))) (sqrt (+ (* (+ k 10) k) 1)))
34.0ms
(sqrt (+ (* (+ k 10) k) 1))
36.0ms
(sqrt (+ (* (+ k 10) k) 1))

simplify1.2s

Counts
192 → 192
Iterations
IterNodes
22973
1806
0314

prune2.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes148.0ms

Accuracy

98.8% (0.0b remaining)

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

bsearch94.0ms

Steps
ItersRangePoint
8
1.0103532339340568e+145
3.8522213716956475e+147
2.6905430635633034e+145

simplify6.0ms

Iterations
IterNodes
245
145
033

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.7s11957×body80valid
885.0ms4159×body80nan