Details

Time bar (total: 23.1s)Debug log

sample83.0ms

Algorithm
intervals
Results
49.0ms373×body80valid
17.0ms131×body80nan

simplify47.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
6×add-cube-cbrt
6×*-un-lft-identity
6×add-sqr-sqrt
5×add-log-exp
5×add-exp-log
5×add-cbrt-cube
3×associate-*r*
3×times-frac
3×associate-/r*
3×pow1
2×flip-+
2×associate-/r/
2×flip3-+
1×associate-/l*
1×div-inv
1×*-commutative
1×div-exp
1×frac-2neg
1×sum-log
1×clear-num
1×associate-+l+
1×+-commutative
1×cbrt-undiv
Calls
3 calls:
Slowest
7.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
4.0ms
(+ (+ 1 (* 10 k)) (* k k))
1.0ms
(* a (pow k m))

series233.0ms

Calls
3 calls:
Slowest
126.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
95.0ms
(* a (pow k m))
12.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify1.9s

Calls
26 calls:
Slowest
447.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
278.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))
246.0ms
(- (+ (* 99 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
161.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
152.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))))

prune566.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.4b

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
18×add-cube-cbrt
18×times-frac
18×*-un-lft-identity
18×add-sqr-sqrt
16×associate-/r*
6×add-exp-log
5×add-log-exp
5×add-cbrt-cube
3×associate-/l*
3×div-inv
3×pow1
2×associate-/l/
2×flip-+
2×div-exp
2×flip3-+
2×frac-2neg
2×clear-num
1×associate-/r/
1×sum-log
1×associate-+l+
1×+-commutative
1×cbrt-undiv
1×pow-to-exp
Calls
3 calls:
Slowest
13.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m))
4.0ms
(+ (+ 1 (* 10 k)) (* k k))
2.0ms
(/ a (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))

series199.0ms

Calls
3 calls:
Slowest
102.0ms
(/ a (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))
83.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m))
14.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify2.6s

Calls
52 calls:
Slowest
538.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
314.0ms
(- (+ (* 99 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
200.0ms
(+ (* 10 (/ k (exp (* m (- (log -1) (log (/ -1 k))))))) (+ (/ (pow k 2) (exp (* m (- (log -1) (log (/ -1 k)))))) (/ 1 (exp (* m (- (log -1) (log (/ -1 k))))))))
192.0ms
(+ (* 10 (/ k (exp (* -1 (* (log (/ 1 k)) m))))) (+ (/ (pow k 2) (exp (* -1 (* (log (/ 1 k)) m)))) (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))))
175.0ms
(+ (pow (+ 1 (* 10 k)) 3) (pow (* k k) 3))

prune913.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.4b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cube-cbrt
19×*-un-lft-identity
19×add-sqr-sqrt
18×times-frac
16×associate-/r*
7×add-exp-log
6×add-log-exp
6×add-cbrt-cube
4×pow1
3×associate-/l*
3×div-inv
3×flip-+
3×flip3-+
2×associate-/l/
2×div-exp
2×frac-2neg
2×clear-num
2×+-commutative
1×associate-/r/
1×distribute-rgt-out
1×sum-log
1×associate-+r+
1×cbrt-undiv
1×pow-to-exp
Calls
4 calls:
Slowest
24.0ms
(/ (+ 1 (+ (* 10 k) (* k k))) (pow k m))
4.0ms
(+ 1 (+ (* 10 k) (* k k)))
4.0ms
(+ (* 10 k) (* k k))
3.0ms
(/ a (/ (+ 1 (+ (* 10 k) (* k k))) (pow k m)))

series280.0ms

Calls
4 calls:
Slowest
154.0ms
(/ a (/ (+ 1 (+ (* 10 k) (* k k))) (pow k m)))
70.0ms
(/ (+ 1 (+ (* 10 k) (* k k))) (pow k m))
40.0ms
(+ (* 10 k) (* k k))
15.0ms
(+ 1 (+ (* 10 k) (* k k)))

simplify2.5s

Calls
57 calls:
Slowest
492.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
256.0ms
(- (+ (* 99 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
187.0ms
(+ (pow 1 3) (pow (+ (* 10 k) (* k k)) 3))
185.0ms
(- (* 1 1) (* (+ (* 10 k) (* k k)) (+ (* 10 k) (* k k))))
177.0ms
(+ (* 10 (/ k (exp (* m (- (log -1) (log (/ -1 k))))))) (+ (/ (pow k 2) (exp (* m (- (log -1) (log (/ -1 k)))))) (/ 1 (exp (* m (- (log -1) (log (/ -1 k))))))))

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.4b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
36×times-frac
35×add-cube-cbrt
35×*-un-lft-identity
27×sqrt-prod
24×associate-*r*
14×add-exp-log
11×add-cbrt-cube
10×sqrt-div
6×associate-/r/
6×associate-*l*
6×associate-/r*
6×pow1
5×flip-+
5×flip3-+
4×add-log-exp
4×div-exp
3×associate-/l*
3×div-inv
3×prod-exp
2×cbrt-unprod
2×pow1/2
2×rem-sqrt-square
2×cbrt-undiv
2×pow-to-exp
1×*-commutative
1×associate-*r/
1×associate-*l/
1×pow-prod-down
1×frac-2neg
1×clear-num
1×frac-times
Calls
4 calls:
Slowest
7.0ms
(* (/ a (sqrt (+ (* k (+ k 10)) 1))) (/ (pow k m) (sqrt (+ 1 (* k (+ k 10))))))
4.0ms
(/ (pow k m) (sqrt (+ 1 (* k (+ k 10)))))
3.0ms
(sqrt (+ (* k (+ k 10)) 1))
1.0ms
(sqrt (+ 1 (* k (+ k 10))))

series234.0ms

Calls
4 calls:
Slowest
127.0ms
(* (/ a (sqrt (+ (* k (+ k 10)) 1))) (/ (pow k m) (sqrt (+ 1 (* k (+ k 10))))))
79.0ms
(/ (pow k m) (sqrt (+ 1 (* k (+ k 10)))))
14.0ms
(sqrt (+ (* k (+ k 10)) 1))
14.0ms
(sqrt (+ 1 (* k (+ k 10))))

simplify7.3s

Calls
111 calls:
Slowest
540.0ms
(* (* (* (/ a (sqrt (+ (* k (+ k 10)) 1))) (/ a (sqrt (+ (* k (+ k 10)) 1)))) (/ a (sqrt (+ (* k (+ k 10)) 1)))) (* (* (/ (pow k m) (sqrt (+ 1 (* k (+ k 10))))) (/ (pow k m) (sqrt (+ 1 (* k (+ k 10)))))) (/ (pow k m) (sqrt (+ 1 (* k (+ k 10)))))))
523.0ms
(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
465.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
380.0ms
(sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
355.0ms
(+ (log (/ a (sqrt (+ (* k (+ k 10)) 1)))) (- (log (pow k m)) (log (sqrt (+ 1 (* k (+ k 10)))))))

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 1.4b

regimes164.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.2s11876×body80valid
609.0ms4243×body80nan