Details

Time bar (total: 1.2m)

sample96.0ms

Algorithm
intervals
Results
57.0ms365×body80valid
18.0ms121×body80nan

simplify132.0ms

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-/r*
5×add-exp-log
4×add-cbrt-cube
3×div-inv associate-/l*
2×expm1-log1p-u pow1 clear-num frac-2neg div-exp insert-posit16 log1p-expm1-u add-log-exp
1×pow-to-exp cbrt-undiv associate-/r/
Calls
2 calls:
Slowest
4.0ms
(/ (fma k (+ k 10) 1) (pow k m))
1.0ms
(/ a (/ (fma k (+ k 10) 1) (pow k m)))

series236.0ms

Calls
2 calls:
Slowest
139.0ms
(/ a (/ (fma k (+ k 10) 1) (pow k m)))
96.0ms
(/ (fma k (+ k 10) 1) (pow k m))

simplify3.5s

Calls
46 calls:
Slowest
386.0ms
(/ (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)) (* (* (pow k m) (pow k m)) (pow k m)))
304.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
303.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))))))))
238.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))))))
151.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))))

prune773.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize16.0ms

Local error

Found 4 expressions with local error:

5.1b
(sqrt (/ (fma k (+ k 10) 1) (pow k m)))
5.1b
(sqrt (/ (fma k (+ k 10) 1) (pow k m)))
0.0b
(/ (/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m)))) (sqrt (/ (fma k (+ k 10) 1) (pow k m))))
0.0b
(/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
163×times-frac
117×sqrt-prod
97×add-sqr-sqrt
91×*-un-lft-identity add-cube-cbrt
32×associate-/r*
28×div-inv
21×sqrt-div
19×associate-/r/
6×add-cbrt-cube add-exp-log
5×associate-/l*
4×expm1-log1p-u pow1 rem-sqrt-square insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow1/2
1×cbrt-undiv div-exp associate-/l/
Calls
4 calls:
Slowest
11.0ms
(/ (/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m)))) (sqrt (/ (fma k (+ k 10) 1) (pow k m))))
4.0ms
(sqrt (/ (fma k (+ k 10) 1) (pow k m)))
3.0ms
(sqrt (/ (fma k (+ k 10) 1) (pow k m)))
3.0ms
(/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m))))

series643.0ms

Calls
4 calls:
Slowest
216.0ms
(/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m))))
157.0ms
(/ (/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m)))) (sqrt (/ (fma k (+ k 10) 1) (pow k m))))
140.0ms
(sqrt (/ (fma k (+ k 10) 1) (pow k m)))
130.0ms
(sqrt (/ (fma k (+ k 10) 1) (pow k m)))

simplify18.8s

Calls
243 calls:
Slowest
857.0ms
(/ (* (* (/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m)))) (/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m))))) (/ a (sqrt (/ (fma k (+ k 10) 1) (pow k m))))) (* (* (sqrt (/ (fma k (+ k 10) 1) (pow k m))) (sqrt (/ (fma k (+ k 10) 1) (pow k m)))) (sqrt (/ (fma k (+ k 10) 1) (pow k m)))))
388.0ms
(- (+ a (* 1/2 (* (log k) (* m a)))) (* 5 (* a k)))
317.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
299.0ms
(- (+ (* (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))) k) (* 5 (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))))) (* 12 (* (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))) (/ 1 k))))
278.0ms
(- (+ (* (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))) k) (* 5 (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))))) (* 12 (* (sqrt (/ 1 (exp (* -1 (* (log (/ 1 k)) m))))) (/ 1 k))))

prune3.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-*r*
5×add-exp-log
4×add-cbrt-cube
3×associate-/r* associate-/l*
2×expm1-log1p-u pow1 div-exp insert-posit16 log1p-expm1-u div-inv add-log-exp
1×pow-to-exp cbrt-undiv clear-num frac-2neg associate-*r/ *-commutative
Calls
2 calls:
Slowest
11.0ms
(/ (pow k m) (fma k (+ k 10) 1))
4.0ms
(* a (/ (pow k m) (fma k (+ k 10) 1)))

series292.0ms

Calls
2 calls:
Slowest
184.0ms
(* a (/ (pow k m) (fma k (+ k 10) 1)))
108.0ms
(/ (pow k m) (fma k (+ k 10) 1))

simplify3.5s

Calls
46 calls:
Slowest
341.0ms
(/ (* (* (pow k m) (pow k m)) (pow k m)) (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)))
326.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
269.0ms
(- (+ (* 99 (/ (exp (* m (- (log -1) (log (/ -1 k))))) (pow k 4))) (/ (exp (* m (- (log -1) (log (/ -1 k))))) (pow k 2))) (* 10 (/ (exp (* m (- (log -1) (log (/ -1 k))))) (pow k 3))))
242.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))))
202.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))))

prune740.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
498×times-frac
268×add-sqr-sqrt
266×*-un-lft-identity add-cube-cbrt
258×sqrt-prod
136×associate-*r*
22×associate-/l*
15×div-inv
11×add-exp-log
9×add-cbrt-cube
6×associate-/r*
5×div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv
2×rem-sqrt-square pow1/2
1×pow-to-exp clear-num frac-2neg associate-*r/ *-commutative associate-/l/
Calls
4 calls:
Slowest
16.0ms
(/ (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1)))
9.0ms
(* a (/ (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1))))
2.0ms
(sqrt (fma k (+ k 10) 1))
2.0ms
(sqrt (fma k (+ k 10) 1))

series291.0ms

Calls
4 calls:
Slowest
113.0ms
(* a (/ (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1))))
94.0ms
(/ (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1)))
44.0ms
(sqrt (fma k (+ k 10) 1))
39.0ms
(sqrt (fma k (+ k 10) 1))

simplify32.4s

Calls
454 calls:
Slowest
491.0ms
(/ (* (* (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (/ (pow k m) (sqrt (fma k (+ k 10) 1)))) (/ (pow k m) (sqrt (fma k (+ k 10) 1)))) (* (* (sqrt (fma k (+ k 10) 1)) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1))))
449.0ms
(/ (/ (sqrt (pow k m)) (sqrt (fma k (+ k 10) 1))) (cbrt (sqrt (fma k (+ k 10) 1))))
426.0ms
(/ (/ (* (* (pow k m) (pow k m)) (pow k m)) (* (* (sqrt (fma k (+ k 10) 1)) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1)))) (* (* (sqrt (fma k (+ k 10) 1)) (sqrt (fma k (+ k 10) 1))) (sqrt (fma k (+ k 10) 1))))
269.0ms
(/ (/ (* (cbrt (pow k m)) (cbrt (pow k m))) (* (cbrt (sqrt (fma k (+ k 10) 1))) (cbrt (sqrt (fma k (+ k 10) 1))))) (sqrt (sqrt (fma k (+ k 10) 1))))
255.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))

prune4.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

regimes159.0ms

Accuracy

98.5% (0.0b remaining)

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

bsearch83.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s12017×body80valid
477.0ms4189×body80nan