Details

Time bar (total: 2.0m)

sample79.0ms

Algorithm
intervals
Results
43.0ms365×body80valid
19.0ms121×body80nan

simplify376.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite64.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*
Calls
3 calls:
Slowest
27.0ms
(* k (+ k 10))
22.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
13.0ms
(* (pow k m) a)

series365.0ms

Calls
3 calls:
Slowest
152.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
139.0ms
(* (pow k m) a)
73.0ms
(* k (+ k 10))

simplify6.2s

Calls
60 calls:
Slowest
723.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
574.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)))
499.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)))
417.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
398.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))

prune968.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
66×sqrt-prod
63×add-sqr-sqrt
56×*-un-lft-identity add-cube-cbrt
25×add-exp-log
20×sqrt-div
16×associate-/r/
15×add-cbrt-cube
12×associate-/l*
10×flip3-+ flip-+
9×div-exp
8×div-inv
7×associate-*l*
6×pow1 associate-/r* prod-exp
5×cbrt-undiv
4×unpow-prod-down insert-posit16 add-log-exp
3×associate-*r* unswap-sqr
2×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 pow-exp cbrt-unprod sqr-pow
1×clear-num frac-2neg *-commutative associate-/l/
Calls
4 calls:
Slowest
55.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))
23.0ms
(sqrt (+ (* k (+ k 10)) 1))
22.0ms
(sqrt (+ (* k (+ k 10)) 1))
17.0ms
(* (pow k m) a)

series381.0ms

Calls
4 calls:
Slowest
156.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))
143.0ms
(* (pow k m) a)
47.0ms
(sqrt (+ (* k (+ k 10)) 1))
35.0ms
(sqrt (+ (* k (+ k 10)) 1))

simplify41.9s

Calls
216 calls:
Slowest
755.0ms
(/ (/ (pow k m) (sqrt (* (cbrt (+ (* k (+ k 10)) 1)) (cbrt (+ (* k (+ k 10)) 1))))) (* (cbrt (sqrt (+ (* k (+ k 10)) 1))) (cbrt (sqrt (+ (* k (+ k 10)) 1)))))
752.0ms
(/ (/ (pow k m) (sqrt (sqrt (+ (* k (+ k 10)) 1)))) (* (cbrt (sqrt (+ (* k (+ k 10)) 1))) (cbrt (sqrt (+ (* k (+ k 10)) 1)))))
748.0ms
(sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
688.0ms
(/ (/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (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))))
686.0ms
(/ (/ (pow k m) (sqrt 1)) (* (cbrt (sqrt (+ (* k (+ k 10)) 1))) (cbrt (sqrt (+ (* k (+ k 10)) 1)))))

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-div
5×pow1
4×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 sqrt-pow1 pow1/2
Calls
4 calls:
Slowest
27.0ms
(sqrt (+ (* k (+ k 10)) 1))
14.0ms
(cbrt (+ (* k (+ k 10)) 1))
13.0ms
(cbrt (+ (* k (+ k 10)) 1))
12.0ms
(cbrt (+ (* k (+ k 10)) 1))

series228.0ms

Calls
4 calls:
Slowest
73.0ms
(cbrt (+ (* k (+ k 10)) 1))
62.0ms
(cbrt (+ (* k (+ k 10)) 1))
47.0ms
(sqrt (+ (* k (+ k 10)) 1))
46.0ms
(cbrt (+ (* k (+ k 10)) 1))

simplify6.6s

Calls
34 calls:
Slowest
677.0ms
(sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
658.0ms
(cbrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
655.0ms
(cbrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
612.0ms
(- (+ (pow (/ 1 k) -2/3) (* 10/3 (pow (/ 1 k) 1/3))) (* 97/9 (pow (/ 1 (pow k 4)) 1/3)))
589.0ms
(cbrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
172×times-frac
99×add-sqr-sqrt *-un-lft-identity
97×add-cube-cbrt
42×unpow-prod-down
20×add-exp-log
16×associate-/r*
14×sqr-pow
12×add-cbrt-cube
10×div-exp div-inv associate-/l*
5×pow1
4×cbrt-undiv associate-*r*
3×associate-*l* insert-posit16 add-log-exp
2×pow-to-exp clear-num frac-2neg flip3-+ pow-exp associate-*r/ flip-+ associate-/l/
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Calls
3 calls:
Slowest
56.0ms
(/ (+ (* k (+ k 10)) 1) a)
23.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
13.0ms
(* k (+ k 10))

series270.0ms

Calls
3 calls:
Slowest
129.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
74.0ms
(* k (+ k 10))
66.0ms
(/ (+ (* k (+ k 10)) 1) a)

simplify53.7s

Calls
259 calls:
Slowest
704.0ms
(+ (pow (* k (+ k 10)) 3) (pow 1 3))
683.0ms
(/ (pow (* (cbrt k) (cbrt k)) m) (/ (* (cbrt (+ (* k (+ k 10)) 1)) (cbrt (+ (* k (+ k 10)) 1))) (sqrt a)))
629.0ms
(/ (cbrt (pow k m)) (/ (sqrt (+ (* k (+ k 10)) 1)) a))
614.0ms
(/ (pow k (/ m 2)) (/ (* (cbrt (+ (* k (+ k 10)) 1)) (cbrt (+ (* k (+ k 10)) 1))) (sqrt a)))
593.0ms
(/ (pow (sqrt k) m) (/ 1 (* (cbrt a) (cbrt a))))

prune2.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes174.0ms

Accuracy

96.6% (0.1b remaining)

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

bsearch102.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.8s12017×body80valid
966.0ms4189×body80nan