Details

Time bar (total: 2.2m)

sample73.0ms

Algorithm
intervals
Results
42.0ms408×body80valid
13.0ms135×body80nan

simplify285.0ms

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.1b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×add-sqr-sqrt
10×add-cbrt-cube
8×*-un-lft-identity add-cube-cbrt
7×associate-*l*
6×prod-exp
4×unpow-prod-down div-exp
3×expm1-log1p-u pow1 associate-/r* times-frac associate-*r* insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-to-exp cbrt-undiv pow-exp cbrt-unprod sqr-pow
1×clear-num frac-2neg *-commutative fma-udef div-inv associate-/l*
Counts
3 → 65
Calls
3 calls:
Slowest
13.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
13.0ms
(* (pow k m) a)
0.0ms
(fma (+ k 10) k 1)

series292.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
143.0ms
(* (pow k m) a)
130.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
19.0ms
(fma (+ k 10) k 1)

simplify5.1s

Counts
43 → 74
Calls
43 calls:
Slowest
441.0ms
(* (cbrt (pow k m)) (cbrt (pow k m)))
421.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
399.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
348.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
299.0ms
(- (log (* (pow k m) a)) (log (fma (+ k 10) k 1)))

prune854.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log
45×prod-exp
20×add-cbrt-cube
16×add-sqr-sqrt
15×pow-to-exp pow-exp
14×associate-*l*
13×div-exp
11×*-un-lft-identity add-cube-cbrt
7×unpow-prod-down cbrt-unprod
4×expm1-log1p-u pow1 associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac unswap-sqr sqr-pow
2×*-commutative
1×clear-num frac-2neg fma-udef div-inv associate-/l*
Counts
4 → 108
Calls
4 calls:
Slowest
48.0ms
(/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (fma (+ k 10) k 1))
30.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
19.0ms
(* (pow k (/ m 2)) a)
0.0ms
(fma (+ k 10) k 1)

series469.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
165.0ms
(/ (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (fma (+ k 10) k 1))
154.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
122.0ms
(* (pow k (/ m 2)) a)
28.0ms
(fma (+ k 10) k 1)

simplify15.5s

Counts
76 → 120
Calls
76 calls:
Slowest
861.0ms
(/ (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
696.0ms
(/ (* (* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
690.0ms
(/ (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
440.0ms
(* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))
407.0ms
(+ (* (log k) (/ m 2)) (log (* (pow k (/ m 2)) a)))

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ 1 (fma (+ k 10) k 1)))
0.1b
(/ 1 (fma (+ k 10) k 1))
0.0b
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
0.0b
(* (pow k (/ m 2)) a)

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
212×add-exp-log
160×prod-exp
36×pow-to-exp pow-exp
34×add-cbrt-cube
29×add-sqr-sqrt
28×div-exp
24×*-un-lft-identity add-cube-cbrt
18×times-frac
17×associate-*r*
16×cbrt-unprod
15×associate-*l*
14×rec-exp 1-exp
7×pow1 unpow-prod-down
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* *-commutative associate-/l* unswap-sqr sqr-pow
2×div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 181
Calls
4 calls:
Slowest
109.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ 1 (fma (+ k 10) k 1)))
39.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
10.0ms
(* (pow k (/ m 2)) a)
8.0ms
(/ 1 (fma (+ k 10) k 1))

series520.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
180.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ 1 (fma (+ k 10) k 1)))
153.0ms
(* (pow k (/ m 2)) a)
148.0ms
(* (pow k (/ m 2)) (* (pow k (/ m 2)) a))
39.0ms
(/ 1 (fma (+ k 10) k 1))

simplify29.0s

Counts
152 → 193
Calls
152 calls:
Slowest
678.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
640.0ms
(+ (log (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (- (log 1) (log (fma (+ k 10) k 1))))
594.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
558.0ms
(* (* (* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
550.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

15.4b
(sqrt (fma (+ k 10) k 1))
15.4b
(sqrt (fma (+ k 10) k 1))
3.1b
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ (/ 1 (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1))))
0.0b
(/ (/ 1 (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
498×times-frac
278×add-exp-log
268×add-sqr-sqrt
266×*-un-lft-identity add-cube-cbrt
258×sqrt-prod
170×prod-exp
136×associate-*r*
84×div-exp
45×add-cbrt-cube
35×pow-to-exp pow-exp
22×associate-/l*
18×cbrt-unprod
15×pow1 div-inv
14×rec-exp 1-exp
12×cbrt-undiv
6×associate-/r* sqrt-pow1 pow1/2 pow-div
5×pow-flip
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square
1×clear-num frac-2neg associate-*l* pow-prod-down associate-*r/ *-commutative inv-pow associate-/l/
Counts
4 → 442
Calls
4 calls:
Slowest
71.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ (/ 1 (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1))))
19.0ms
(/ (/ 1 (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
2.0ms
(sqrt (fma (+ k 10) k 1))
1.0ms
(sqrt (fma (+ k 10) k 1))

series303.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
167.0ms
(* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (/ (/ 1 (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1))))
55.0ms
(sqrt (fma (+ k 10) k 1))
49.0ms
(sqrt (fma (+ k 10) k 1))
32.0ms
(/ (/ 1 (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))

simplify1.1m

Counts
543 → 454
Calls
543 calls:
Slowest
805.0ms
(+ (+ (log (pow k (/ m 2))) (+ (* (log k) (/ m 2)) (log a))) (- (log (/ 1 (sqrt (fma (+ k 10) k 1)))) (log (sqrt (fma (+ k 10) k 1)))))
775.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (/ (/ (* (* 1 1) 1) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))))
715.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* a a) a))) (/ (* (* (/ 1 (sqrt (fma (+ k 10) k 1))) (/ 1 (sqrt (fma (+ k 10) k 1)))) (/ 1 (sqrt (fma (+ k 10) k 1)))) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))))
701.0ms
(* (* (* (* (pow k (/ m 2)) (pow k (/ m 2))) (pow k (/ m 2))) (* (* (* (pow k (/ m 2)) a) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) a))) (/ (* (* (/ 1 (sqrt (fma (+ k 10) k 1))) (/ 1 (sqrt (fma (+ k 10) k 1)))) (/ 1 (sqrt (fma (+ k 10) k 1)))) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))))
647.0ms
(* (* (* (* (pow k (/ m 2)) (* (pow k (/ m 2)) a)) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (* (pow k (/ m 2)) (* (pow k (/ m 2)) a))) (/ (* (* (/ 1 (sqrt (fma (+ k 10) k 1))) (/ 1 (sqrt (fma (+ k 10) k 1)))) (/ 1 (sqrt (fma (+ k 10) k 1)))) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))))

prune7.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes158.0ms

Accuracy

93.5% (0.2b remaining)

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

bsearch100.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.8s11966×body80valid
498.0ms4109×body80nan