Details

Time bar (total: 2.4m)

sample87.0ms

Algorithm
intervals
Results
48.0ms408×body80valid
15.0ms135×body80nan

simplify324.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
324.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.1b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log
17×add-sqr-sqrt
12×*-un-lft-identity add-cbrt-cube
10×associate-*l* add-cube-cbrt
7×associate-*r* prod-exp
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-+ pow-exp associate-*r/ associate-/r/ *-commutative flip-+ sqr-pow
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down div-inv distribute-lft-out associate-/l*
Counts
3 → 76
Calls
3 calls:
Slowest
24.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
14.0ms
(* k (+ k 10))
8.0ms
(* (pow k m) a)

series329.0ms

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

simplify6.4s

Counts
60 → 85
Calls
60 calls:
Slowest
1.1s
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
579.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
497.0ms
(/ (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
447.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
338.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))

prune977.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
46×prod-exp
22×add-cbrt-cube
20×add-sqr-sqrt
17×associate-*l*
15×pow-to-exp *-un-lft-identity pow-exp
13×div-exp add-cube-cbrt
8×associate-*r* cbrt-unprod
7×unpow-prod-down
6×pow1
4×insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* times-frac *-commutative sqr-pow
2×flip3-+ associate-*r/ associate-/r/ flip-+
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down div-inv distribute-lft-out associate-/l*
Counts
4 → 117
Calls
4 calls:
Slowest
46.0ms
(/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (+ (* k (+ k 10)) 1))
29.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
24.0ms
(* k (+ k 10))
19.0ms
(* (pow k (/ m 2)) a)

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
167.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
162.0ms
(/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (+ (* k (+ k 10)) 1))
135.0ms
(* (pow k (/ m 2)) a)
55.0ms
(* k (+ k 10))

simplify15.8s

Counts
93 → 129
Calls
93 calls:
Slowest
1.0s
(/ (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
951.0ms
(/ (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
854.0ms
(/ (* (* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))
483.0ms
(* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))
469.0ms
(+ (log (pow k (/ m 2))) (log a))

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
212×add-exp-log
160×prod-exp
36×pow-to-exp pow-exp
34×add-cbrt-cube
29×add-sqr-sqrt
28×div-exp
24×*-un-lft-identity add-cube-cbrt
19×associate-*r*
18×times-frac
16×cbrt-unprod
15×associate-*l*
14×rec-exp 1-exp
7×pow1 unpow-prod-down
4×cbrt-undiv associate-/r/ insert-posit16 add-log-exp
3×associate-/r* *-commutative associate-/l* unswap-sqr sqr-pow
2×flip3-+ flip-+ div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 177
Calls
4 calls:
Slowest
131.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ 1 (+ (* k (+ k 10)) 1)))
33.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
16.0ms
(/ 1 (+ (* k (+ k 10)) 1))
9.0ms
(* (pow k (/ m 2)) a)

series492.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
180.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ 1 (+ (* k (+ k 10)) 1)))
145.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
135.0ms
(* (pow k (/ m 2)) a)
32.0ms
(/ 1 (+ (* k (+ k 10)) 1))

simplify29.4s

Counts
156 → 189
Calls
156 calls:
Slowest
904.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
746.0ms
(* (* (* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
716.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
604.0ms
(+ (+ (log (pow k (/ m 2))) (+ (* (log k) (/ m 2)) (log a))) (- (log (+ (* k (+ k 10)) 1))))
473.0ms
(+ (+ (* (log k) (/ m 2)) (+ (* (log k) (/ m 2)) (log a))) (- 0 (log (+ (* k (+ k 10)) 1))))

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

15.4b
(sqrt (+ (* k (+ k 10)) 1))
15.4b
(sqrt (+ (* k (+ k 10)) 1))
3.1b
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1))))
0.0b
(/ (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
522×times-frac
278×add-exp-log
276×add-sqr-sqrt
274×*-un-lft-identity add-cube-cbrt
270×sqrt-prod
170×prod-exp
150×associate-*r*
84×div-exp
45×add-cbrt-cube
35×pow-to-exp pow-exp
34×sqrt-div
30×associate-/r/
24×associate-/l*
18×cbrt-unprod
17×flip3-+ flip-+
15×pow1 div-inv
14×rec-exp 1-exp
12×cbrt-undiv
6×associate-/r* sqrt-pow1 pow1/2 pow-div
5×pow-flip
4×insert-posit16 add-log-exp
2×rem-sqrt-square
1×clear-num frac-2neg associate-*l* pow-prod-down associate-*r/ *-commutative inv-pow associate-/l/
Counts
4 → 468
Calls
4 calls:
Slowest
130.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1))))
47.0ms
(/ (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))
17.0ms
(sqrt (+ (* k (+ k 10)) 1))
10.0ms
(sqrt (+ (* k (+ k 10)) 1))

series270.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
142.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1))))
58.0ms
(sqrt (+ (* k (+ k 10)) 1))
39.0ms
(sqrt (+ (* k (+ k 10)) 1))
31.0ms
(/ (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))

simplify1.2m

Counts
589 → 480
Calls
589 calls:
Slowest
806.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (/ (/ (* (* 1 1) 1) (* (* (sqrt (+ (* k (+ k 10)) 1)) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))) (* (* (sqrt (+ (* k (+ k 10)) 1)) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))))
800.0ms
(+ (+ (* (log k) (/ m 2)) (log (* (pow k (/ m 2)) a))) (- (- (log 1) (log (sqrt (+ (* k (+ k 10)) 1)))) (log (sqrt (+ (* k (+ k 10)) 1)))))
790.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (/ (* (* (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (/ 1 (sqrt (+ (* k (+ k 10)) 1)))) (/ 1 (sqrt (+ (* k (+ k 10)) 1)))) (* (* (sqrt (+ (* k (+ k 10)) 1)) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))))
776.0ms
(/ 1 (sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3))))
761.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))) (/ (* (* (/ 1 (sqrt (+ (* k (+ k 10)) 1))) (/ 1 (sqrt (+ (* k (+ k 10)) 1)))) (/ 1 (sqrt (+ (* k (+ k 10)) 1)))) (* (* (sqrt (+ (* k (+ k 10)) 1)) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))))

prune6.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes158.0ms

Accuracy

95.8% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 2.4b

bsearch140.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.1s11966×body80valid
568.0ms4109×body80nan