Details

Time bar (total: 1.7m)

sample74.0ms

Algorithm
intervals
Results
39.0ms361×body80valid
18.0ms139×body80nan

simplify275.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.4b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite68.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*
Counts
3 → 76
Calls
3 calls:
Slowest
28.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
22.0ms
(* (pow k m) a)
17.0ms
(* k (+ k 10))

series315.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
141.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
119.0ms
(* (pow k m) a)
55.0ms
(* k (+ k 10))

simplify6.1s

Counts
60 → 85
Calls
60 calls:
Slowest
725.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
521.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)))
499.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)))
453.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
405.0ms
(/ (pow k m) (sqrt (+ (* k (+ k 10)) 1)))

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log
17×add-sqr-sqrt
12×*-un-lft-identity add-cbrt-cube
11×associate-*l*
10×add-cube-cbrt
7×prod-exp
6×associate-*r*
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-+ associate-*l/ pow-exp associate-/r/ *-commutative flip-+ sqr-pow
1×clear-num frac-2neg pow-prod-down div-inv distribute-lft-out associate-/l*
Counts
3 → 74
Calls
3 calls:
Slowest
27.0ms
(* (+ 10 k) k)
20.0ms
(/ (* (pow k m) a) (+ (* (+ 10 k) k) 1))
9.0ms
(* (pow k m) a)

series350.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
150.0ms
(/ (* (pow k m) a) (+ (* (+ 10 k) k) 1))
122.0ms
(* (pow k m) a)
78.0ms
(* (+ 10 k) k)

simplify7.2s

Counts
56 → 83
Calls
56 calls:
Slowest
736.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
560.0ms
(* (* (* (+ 10 k) (+ 10 k)) (+ 10 k)) (* (* k k) k))
544.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (+ (* (+ 10 k) k) 1) (+ (* (+ 10 k) k) 1)) (+ (* (+ 10 k) k) 1)))
455.0ms
(/ (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (* (* (+ (* (+ 10 k) k) 1) (+ (* (+ 10 k) k) 1)) (+ (* (+ 10 k) k) 1)))
423.0ms
(+ (* (* (+ 10 k) k) (* (+ 10 k) k)) (- (* 1 1) (* (* (+ 10 k) k) 1)))

prune893.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite85.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
Counts
3 → 185
Calls
3 calls:
Slowest
50.0ms
(/ (+ (* k (+ k 10)) 1) a)
17.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
13.0ms
(* k (+ k 10))

series287.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
167.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
64.0ms
(/ (+ (* k (+ k 10)) 1) a)
55.0ms
(* k (+ k 10))

simplify54.8s

Counts
259 → 194
Calls
259 calls:
Slowest
849.0ms
(/ (* (* (pow k m) (pow k m)) (pow k m)) (/ (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)) (* (* a a) a)))
785.0ms
(+ (pow (* k (+ k 10)) 3) (pow 1 3))
658.0ms
(/ (sqrt (pow k m)) (/ (cbrt (+ (* k (+ k 10)) 1)) (cbrt a)))
639.0ms
(/ (pow k (/ m 2)) (/ (* (cbrt (+ (* k (+ k 10)) 1)) (cbrt (+ (* k (+ k 10)) 1))) (sqrt a)))
607.0ms
(/ (pow (sqrt k) m) (/ 1 (* (cbrt a) (cbrt a))))

prune2.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize38.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))

rewrite69.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
Counts
3 → 108
Calls
3 calls:
Slowest
30.0ms
(* (+ 10 k) (/ k a))
21.0ms
(/ (pow k m) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
16.0ms
(+ (* (+ 10 k) (/ k a)) (/ 1 a))

series184.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
106.0ms
(/ (pow k m) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
48.0ms
(* (+ 10 k) (/ k a))
30.0ms
(+ (* (+ 10 k) (/ k a)) (/ 1 a))

simplify21.5s

Counts
112 → 117
Calls
112 calls:
Slowest
840.0ms
(/ (pow k m) (cbrt (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
482.0ms
(/ (pow (cbrt k) m) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
480.0ms
(/ (pow k (/ m 2)) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
461.0ms
(/ (pow k (/ m 2)) (sqrt (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
459.0ms
(+ (* (* (+ (pow 10 3) (pow k 3)) k) a) (* (* (+ (* 10 10) (- (* k k) (* 10 k))) a) 1))

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes188.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.2s11944×body80valid
640.0ms4289×body80nan