Details

Time bar (total: 5.5m)

sample97.0ms

Algorithm
intervals
Results
58.0ms381×body80valid
17.0ms149×body80nan

simplify289.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
289.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.8b

localize33.0ms

Local error

Found 3 expressions with local error:

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

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

series333.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
172.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))
108.0ms
(* (pow k m) a)
53.0ms
(* k (+ k 10))

simplify12.7s

Counts
93 → 85
Calls
93 calls:
Slowest
854.0ms
(* (* (/ (* (pow k m) a) (+ (* k (+ k 10)) 1)) (/ (* (pow k m) a) (+ (* k (+ k 10)) 1))) (/ (* (pow k m) a) (+ (* k (+ k 10)) 1)))
508.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)))
507.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)))
486.0ms
(* (cbrt (* (pow k m) a)) (cbrt (* (pow k m) a)))
436.0ms
(* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a))

prune991.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

12.6b
(sqrt (+ (* k (+ k 10)) 1))
12.6b
(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)

rewrite93.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/
Counts
4 → 170
Calls
4 calls:
Slowest
54.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))
16.0ms
(sqrt (+ (* k (+ k 10)) 1))
10.0ms
(sqrt (+ (* k (+ k 10)) 1))
10.0ms
(* (pow k m) a)

series356.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
136.0ms
(* (pow k m) a)
119.0ms
(/ (/ (* (pow k m) a) (sqrt (+ (* k (+ k 10)) 1))) (sqrt (+ (* k (+ k 10)) 1)))
51.0ms
(sqrt (+ (* k (+ k 10)) 1))
48.0ms
(sqrt (+ (* k (+ k 10)) 1))

simplify50.1s

Counts
263 → 182
Calls
263 calls:
Slowest
972.0ms
(sqrt (+ (pow (* k (+ k 10)) 3) (pow 1 3)))
717.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)))))
714.0ms
(/ (/ (pow k m) (sqrt (sqrt (+ (* k (+ k 10)) 1)))) (* (cbrt (sqrt (+ (* k (+ k 10)) 1))) (cbrt (sqrt (+ (* k (+ k 10)) 1)))))
713.0ms
(/ (/ (pow k m) (* (cbrt (sqrt (+ (* k (+ k 10)) 1))) (cbrt (sqrt (+ (* k (+ k 10)) 1))))) 1)
709.0ms
(/ (/ (pow k m) 1) (sqrt (sqrt (+ (* k (+ k 10)) 1))))

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
862×times-frac
393×add-sqr-sqrt *-un-lft-identity
391×add-cube-cbrt
126×unpow-prod-down
44×add-exp-log
42×div-inv sqr-pow
34×div-exp
28×associate-/l*
19×add-cbrt-cube
16×associate-/r*
9×cbrt-undiv
6×1-exp
5×pow1
4×pow-to-exp associate-*r* pow-exp
3×associate-*l* insert-posit16 add-log-exp associate-/l/
2×clear-num frac-2neg flip3-+ associate-*r/ flip-+
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 448
Calls
3 calls:
Slowest
42.0ms
(/ (+ (* k (+ 10 k)) 1) a)
38.0ms
(/ (/ (pow k m) 1) (/ (+ (* k (+ 10 k)) 1) a))
18.0ms
(* k (+ 10 k))

series240.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
133.0ms
(/ (/ (pow k m) 1) (/ (+ (* k (+ 10 k)) 1) a))
57.0ms
(* k (+ 10 k))
51.0ms
(/ (+ (* k (+ 10 k)) 1) a)

simplify3.4m

Counts
795 → 457
Calls
795 calls:
Slowest
1.1s
(/ (/ (pow (* (cbrt k) (cbrt k)) m) 1) (/ 1 (* (cbrt a) (cbrt a))))
1.1s
(/ (/ (pow k m) 1) (/ (sqrt (+ (* k (+ 10 k)) 1)) (sqrt a)))
1.0s
(/ (/ (pow (sqrt k) m) 1) (/ 1 (* (cbrt a) (cbrt a))))
1.0s
(/ (/ (pow (cbrt k) m) 1) (/ (sqrt (+ (* k (+ 10 k)) 1)) a))
1.0s
(/ (sqrt (/ (pow k m) 1)) (/ (+ (* k (+ 10 k)) 1) a))

prune3.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
169×times-frac
98×add-sqr-sqrt
95×*-un-lft-identity
93×add-cube-cbrt
36×unpow-prod-down
25×associate-/l*
23×add-exp-log
14×div-exp
13×add-cbrt-cube associate-*r*
12×sqr-pow
10×frac-add
8×flip3-+ flip-+
7×associate-/r/
6×frac-times associate-*l/ div-inv
5×pow1 add-log-exp
4×cbrt-undiv associate-*l*
3×associate-/r* 1-exp associate-*r/ insert-posit16
2×pow-to-exp pow-exp prod-exp cbrt-unprod unswap-sqr
1×+-commutative clear-num sum-log frac-2neg pow-prod-down *-commutative distribute-lft-out associate-/l/
Counts
3 → 186
Calls
3 calls:
Slowest
28.0ms
(/ (/ (pow k m) 1) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
16.0ms
(* (+ 10 k) (/ k a))
11.0ms
(+ (* (+ 10 k) (/ k a)) (/ 1 a))

series154.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
88.0ms
(/ (/ (pow k m) 1) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
38.0ms
(* (+ 10 k) (/ k a))
28.0ms
(+ (* (+ 10 k) (/ k a)) (/ 1 a))

simplify47.3s

Counts
280 → 195
Calls
280 calls:
Slowest
550.0ms
(exp (/ (/ (pow k m) 1) (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
500.0ms
(/ (/ (cbrt (pow k m)) (cbrt 1)) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))
485.0ms
(/ (+ (* (+ 10 k) (/ k a)) (/ 1 a)) (/ (cbrt (pow k m)) (cbrt 1)))
481.0ms
(* (* (/ (/ (pow k m) 1) (+ (* (+ 10 k) (/ k a)) (/ 1 a))) (/ (/ (pow k m) 1) (+ (* (+ 10 k) (/ k a)) (/ 1 a)))) (/ (/ (pow k m) 1) (+ (* (+ 10 k) (/ k a)) (/ 1 a))))
407.0ms
(/ (/ (pow (* (cbrt k) (cbrt k)) m) (* (cbrt 1) (cbrt 1))) 1)

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes110.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.3s12055×body80valid
395.0ms4249×body80nan