Details

Time bar (total: 42.2s)

sample81.0ms

Algorithm
intervals
Results
48.0ms365×body80valid
15.0ms121×body80nan

simplify79.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-cbrt-cube add-exp-log
3×pow1 associate-/r* times-frac associate-*r* associate-*l* insert-posit16 add-log-exp
2×flip3-+ associate-*r/ associate-/r/ *-commutative flip-+
1×distribute-rgt-in cbrt-undiv clear-num frac-2neg distribute-lft-in div-exp div-inv associate-/l*
Calls
3 calls:
Slowest
10.0ms
(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
5.0ms
(* (pow k m) a)
2.0ms
(* k (+ k 10))

series341.0ms

Calls
3 calls:
Slowest
137.0ms
(* (pow k m) a)
127.0ms
(/ (* (pow k m) a) (+ 1 (* k (+ k 10))))
77.0ms
(* k (+ k 10))

simplify2.2s

Calls
32 calls:
Slowest
345.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (+ 1 (* k (+ k 10))) (+ 1 (* k (+ k 10)))) (+ 1 (* k (+ k 10)))))
223.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
184.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))))
184.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
170.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))))

prune579.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
66×sqrt-prod
56×add-sqr-sqrt
54×*-un-lft-identity add-cube-cbrt
20×sqrt-div
16×associate-/r/
12×associate-/l*
10×flip3-+ flip-+
9×add-cbrt-cube add-exp-log
8×div-inv
6×associate-/r*
4×pow1 insert-posit16 add-log-exp
3×cbrt-undiv div-exp associate-*l*
2×rem-sqrt-square pow1/2
1×clear-num frac-2neg *-commutative associate-/l/
Calls
4 calls:
Slowest
10.0ms
(/ (/ (* (pow k m) a) (sqrt (+ 1 (* k (+ k 10))))) (sqrt (+ 1 (* k (+ k 10)))))
2.0ms
(* (pow k m) a)
1.0ms
(sqrt (+ 1 (* k (+ k 10))))
1.0ms
(sqrt (+ 1 (* k (+ k 10))))

series314.0ms

Calls
4 calls:
Slowest
127.0ms
(* (pow k m) a)
109.0ms
(/ (/ (* (pow k m) a) (sqrt (+ 1 (* k (+ k 10))))) (sqrt (+ 1 (* k (+ k 10)))))
42.0ms
(sqrt (+ 1 (* k (+ k 10))))
36.0ms
(sqrt (+ 1 (* k (+ k 10))))

simplify21.7s

Calls
194 calls:
Slowest
599.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt (sqrt (+ 1 (* k (+ k 10))))))
597.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt (sqrt (+ 1 (* k (+ k 10))))))
583.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt 1))
553.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))) (sqrt (* (cbrt (+ 1 (* k (+ k 10)))) (cbrt (+ 1 (* k (+ k 10)))))))
532.0ms
(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

15.0b
(cbrt (+ 1 (* k (+ k 10))))
15.0b
(cbrt (+ 1 (* k (+ k 10))))
15.0b
(cbrt (+ 1 (* k (+ k 10))))
14.4b
(sqrt (+ 1 (* k (+ k 10))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-div
4×pow1 flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 add-log-exp
3×pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square pow1/2
Calls
4 calls:
Slowest
1.0ms
(cbrt (+ 1 (* k (+ k 10))))
1.0ms
(sqrt (+ 1 (* k (+ k 10))))
1.0ms
(cbrt (+ 1 (* k (+ k 10))))
1.0ms
(cbrt (+ 1 (* k (+ k 10))))

series212.0ms

Calls
4 calls:
Slowest
74.0ms
(cbrt (+ 1 (* k (+ k 10))))
52.0ms
(cbrt (+ 1 (* k (+ k 10))))
45.0ms
(cbrt (+ 1 (* k (+ k 10))))
42.0ms
(sqrt (+ 1 (* k (+ k 10))))

simplify5.1s

Calls
33 calls:
Slowest
598.0ms
(cbrt (- (* 1 1) (* (* k (+ k 10)) (* k (+ k 10)))))
531.0ms
(cbrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
503.0ms
(sqrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
501.0ms
(cbrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))
445.0ms
(cbrt (+ (pow 1 3) (pow (* k (+ k 10)) 3)))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 3 expressions with local error:

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

rewrite14.0ms

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

series261.0ms

Calls
3 calls:
Slowest
138.0ms
(/ (pow k m) (/ (+ 1 (* k (+ k 10))) a))
63.0ms
(* k (+ k 10))
59.0ms
(/ (+ 1 (* k (+ k 10))) a)

simplify3.7s

Calls
53 calls:
Slowest
634.0ms
(+ (pow 1 3) (pow (* k (+ k 10)) 3))
320.0ms
(- (* 1 1) (* (* k (+ k 10)) (* k (+ k 10))))
198.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
173.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))))
141.0ms
(/ (* (* (pow k m) (pow k m)) (pow k m)) (* (* (/ (+ 1 (* k (+ k 10))) a) (/ (+ 1 (* k (+ k 10))) a)) (/ (+ 1 (* k (+ k 10))) a)))

prune777.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes143.0ms

Accuracy

97% (0.1b remaining)

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

bsearch137.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.1s12017×body80valid
564.0ms4189×body80nan