Details

Time bar (total: 1.9m)

sample97.0ms

Algorithm
intervals
Results
56.0ms380×body80valid
19.0ms139×body80nan

simplify278.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.8b

localize40.0ms

Local error

Found 3 expressions with local error:

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

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×add-sqr-sqrt
10×add-cbrt-cube
8×*-un-lft-identity add-cube-cbrt add-log-exp
7×associate-*r*
6×prod-exp
4×unpow-prod-down div-exp
3×pow1 associate-/r* sum-log times-frac associate-*l* insert-posit16 unswap-sqr
2×pow-to-exp cbrt-undiv flip3-+ pow-exp associate-/r/ cbrt-unprod flip-+ sqr-pow
1×+-commutative associate-+l+ clear-num frac-2neg *-commutative div-inv associate-/l*
Counts
3 → 66
Calls
3 calls:
Slowest
38.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
18.0ms
(* a (pow k m))
15.0ms
(+ (+ 1 (* 10 k)) (* k k))

series258.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
153.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
75.0ms
(* a (pow k m))
30.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify7.0s

Counts
47 → 75
Calls
47 calls:
Slowest
724.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
544.0ms
(/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
502.0ms
(/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
470.0ms
(* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))
413.0ms
(/ (pow k m) (cbrt (+ (+ 1 (* 10 k)) (* k k))))

prune879.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
66×sqrt-prod
55×add-sqr-sqrt
53×*-un-lft-identity add-cube-cbrt
20×sqrt-div add-exp-log
16×associate-/r/
13×add-cbrt-cube
12×associate-/l*
11×flip3-+ flip-+
9×div-exp add-log-exp
8×div-inv
6×pow1 associate-/r*
5×cbrt-undiv
4×insert-posit16
3×sum-log prod-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×pow-to-exp +-commutative associate-+l+ clear-num frac-2neg pow-exp cbrt-unprod associate-/l/
Counts
4 → 158
Calls
4 calls:
Slowest
93.0ms
(/ (/ (* a (pow k m)) (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (sqrt (+ (+ 1 (* 10 k)) (* k k))))
20.0ms
(sqrt (+ (+ 1 (* 10 k)) (* k k)))
16.0ms
(+ (+ 1 (* 10 k)) (* k k))
14.0ms
(sqrt (+ (+ 1 (* 10 k)) (* k k)))

series281.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
173.0ms
(/ (/ (* a (pow k m)) (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (sqrt (+ (+ 1 (* 10 k)) (* k k))))
39.0ms
(sqrt (+ (+ 1 (* 10 k)) (* k k)))
37.0ms
(sqrt (+ (+ 1 (* 10 k)) (* k k)))
32.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify42.2s

Counts
200 → 170
Calls
200 calls:
Slowest
919.0ms
(/ (/ (* a (pow k m)) (sqrt (- (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (* (* k k) (* k k))))) (sqrt (sqrt (+ (+ 1 (* 10 k)) (* k k)))))
847.0ms
(/ (* a (pow k m)) (* (cbrt (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (cbrt (sqrt (+ (+ 1 (* 10 k)) (* k k))))))
818.0ms
(/ (/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (sqrt (+ (+ 1 (* 10 k)) (* k k))) (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (sqrt (+ (+ 1 (* 10 k)) (* k k))))) (* (* (sqrt (+ (+ 1 (* 10 k)) (* k k))) (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (sqrt (+ (+ 1 (* 10 k)) (* k k)))))
695.0ms
(/ (/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (sqrt (+ (+ 1 (* 10 k)) (* k k))) (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (sqrt (+ (+ 1 (* 10 k)) (* k k))))) (* (* (sqrt (+ (+ 1 (* 10 k)) (* k k))) (sqrt (+ (+ 1 (* 10 k)) (* k k)))) (sqrt (+ (+ 1 (* 10 k)) (* k k)))))
614.0ms
(/ (/ (* a (pow k m)) (sqrt (- (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (* (* k k) (* k k))))) (sqrt (sqrt (+ (+ 1 (* 10 k)) (* k k)))))

prune2.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
45×times-frac
38×*-un-lft-identity
36×add-cube-cbrt
31×associate-*r*
22×unpow-prod-down
20×add-exp-log
12×add-cbrt-cube
8×sqr-pow
7×pow1 associate-/l*
6×div-exp associate-*l*
5×prod-exp unswap-sqr
4×associate-/r/
3×associate-/r* flip3-+ associate-*r/ cbrt-unprod flip-+ insert-posit16 add-log-exp
2×pow-to-exp cbrt-undiv pow-prod-down pow-exp *-commutative div-inv
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in distribute-lft-out
Counts
3 → 123
Calls
3 calls:
Slowest
76.0ms
(* a (/ (pow k m) (+ (* k (+ k 10)) 1)))
32.0ms
(/ (pow k m) (+ (* k (+ k 10)) 1))
26.0ms
(* k (+ k 10))

series348.0ms

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

simplify27.8s

Counts
126 → 132
Calls
126 calls:
Slowest
896.0ms
(* (* (* a a) a) (* (* (/ (pow k m) (+ (* k (+ k 10)) 1)) (/ (pow k m) (+ (* k (+ k 10)) 1))) (/ (pow k m) (+ (* k (+ k 10)) 1))))
764.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))
488.0ms
(- (+ (/ (exp (* -1 (* (log (/ 1 k)) m))) (pow k 2)) (* 99 (/ (exp (* -1 (* (log (/ 1 k)) m))) (pow k 4)))) (* 10 (/ (exp (* -1 (* (log (/ 1 k)) m))) (pow k 3))))
441.0ms
(/ (pow (* (cbrt k) (cbrt k)) m) 1)
439.0ms
(/ (pow k m) (+ (* k (+ k 10)) 1))

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
57×add-exp-log
36×times-frac
30×add-sqr-sqrt
26×div-exp
25×*-un-lft-identity add-cube-cbrt
20×add-cbrt-cube
15×prod-exp
9×add-log-exp
8×associate-/r*
7×cbrt-undiv associate-*r*
6×div-inv associate-/l*
5×pow-to-exp pow1 rec-exp 1-exp pow-exp
4×unpow-prod-down insert-posit16
3×sum-log associate-*l* cbrt-unprod unswap-sqr
2×clear-num frac-2neg flip3-+ flip-+ sqr-pow associate-/l/
1×+-commutative associate-+l+ associate-/r/ *-commutative pow-flip inv-pow
Counts
4 → 129
Calls
4 calls:
Slowest
69.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (* a (pow k m)))
45.0ms
(/ 1 (/ (+ (+ 1 (* 10 k)) (* k k)) (* a (pow k m))))
17.0ms
(+ (+ 1 (* 10 k)) (* k k))
12.0ms
(* a (pow k m))

series388.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
142.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (* a (pow k m)))
141.0ms
(/ 1 (/ (+ (+ 1 (* 10 k)) (* k k)) (* a (pow k m))))
77.0ms
(* a (pow k m))
28.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify23.0s

Counts
116 → 141
Calls
116 calls:
Slowest
821.0ms
(/ (* (* 1 1) 1) (/ (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))) (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m)))))
724.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
662.0ms
(/ (sqrt (+ (+ 1 (* 10 k)) (* k k))) (pow k m))
633.0ms
(/ (* (* 1 1) 1) (/ (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))) (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))))
623.0ms
(/ (sqrt 1) (/ (+ (+ 1 (* 10 k)) (* k k)) (* a (pow k m))))

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes193.0ms

Accuracy

94.4% (0.1b remaining)

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

bsearch105.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.8s11998×body80valid
631.0ms4167×body80nan