Details

Time bar (total: 1.7m)

sample95.0ms

Algorithm
intervals
Results
54.0ms387×body80valid
19.0ms141×body80nan

simplify601.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.3b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite63.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
36.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
13.0ms
(* k (+ k 10))
13.0ms
(* (pow k m) a)

series290.0ms

Calls
3 calls:
Slowest
128.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
117.0ms
(* (pow k m) a)
45.0ms
(* k (+ k 10))

simplify5.5s

Calls
60 calls:
Slowest
624.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
470.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)))
432.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)))
401.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
294.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))

prune994.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
32×prod-exp
31×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
22×add-cbrt-cube associate-*r*
18×times-frac
11×associate-*l*
10×div-exp
9×pow1
8×cbrt-unprod
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down associate-/r/ insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* flip3-+ associate-*r/ *-commutative flip-+ associate-/l*
2×pow-prod-down div-inv sqr-pow
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in un-div-inv pow-flip distribute-lft-out inv-pow
Calls
4 calls:
Slowest
53.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
31.0ms
(/ 1 (+ (* k (+ k 10)) 1))
27.0ms
(* k (+ k 10))
17.0ms
(* (pow k m) a)

series374.0ms

Calls
4 calls:
Slowest
151.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
123.0ms
(* (pow k m) a)
70.0ms
(* k (+ k 10))
29.0ms
(/ 1 (+ (* k (+ k 10)) 1))

simplify12.2s

Calls
113 calls:
Slowest
717.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
583.0ms
(* (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
504.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))
461.0ms
(* (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (/ (* (* 1 1) 1) (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
434.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))

prune1.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite88.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
32.0ms
(/ (+ (* k (+ k 10)) 1) a)
27.0ms
(* k (+ k 10))
21.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))

series301.0ms

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

simplify54.1s

Calls
259 calls:
Slowest
814.0ms
(+ (pow (* k (+ k 10)) 3) (pow 1 3))
751.0ms
(/ (sqrt (pow k m)) (/ (sqrt (+ (* k (+ k 10)) 1)) (* (cbrt a) (cbrt a))))
690.0ms
(/ (pow (* (cbrt k) (cbrt k)) m) (/ (* (cbrt (+ (* k (+ k 10)) 1)) (cbrt (+ (* k (+ k 10)) 1))) (sqrt a)))
649.0ms
(/ (pow k (/ m 2)) (/ 1 (* (cbrt a) (cbrt a))))
622.0ms
(/ (pow k (/ m 2)) (/ (* (cbrt (+ (* k (+ k 10)) 1)) (cbrt (+ (* k (+ k 10)) 1))) (sqrt a)))

prune2.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite82.0ms

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

series201.0ms

Calls
3 calls:
Slowest
122.0ms
(/ (pow k m) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
45.0ms
(* (+ 10 k) (/ k a))
34.0ms
(+ (* (+ 10 k) (/ k a)) (/ 1 a))

simplify20.9s

Calls
112 calls:
Slowest
714.0ms
(/ (* (cbrt (pow k m)) (cbrt (pow k m))) (sqrt (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
527.0ms
(/ (pow k (/ m 2)) (sqrt (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
445.0ms
(+ (* (* (- (* 10 10) (* k k)) (/ k a)) a) (* (- 10 k) 1))
435.0ms
(/ (pow (sqrt k) m) (cbrt (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
431.0ms
(/ (pow k (/ m 2)) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes191.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch3.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.0s12062×body80valid
1.0s4413×body80nan