Details

Time bar (total: 59.6s)

sample85.0ms

Algorithm
intervals
Results
47.0ms381×body80valid
18.0ms118×body80nan

simplify325.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.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
21.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
18.0ms
(* (pow k m) a)
0.0ms
(fma (+ k 10) k 1)

series347.0ms

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

simplify4.7s

Counts
43 → 74
Calls
43 calls:
Slowest
430.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
414.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
370.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)))
339.0ms
(- (log (* (pow k m) a)) (log (fma (+ k 10) k 1)))
286.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))

prune846.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
24×sqrt-prod
15×add-cbrt-cube add-exp-log
14×*-un-lft-identity add-cube-cbrt
12×unpow-prod-down
10×associate-*l*
6×pow1 rem-sqrt-square sqr-pow
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* times-frac div-exp associate-*r*
2×sqrt-pow1 pow1/2
1×clear-num frac-2neg pow-prod-down *-commutative div-inv associate-/l*
Counts
4 → 101
Calls
4 calls:
Slowest
30.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma (+ k 10) k 1))
16.0ms
(* (sqrt (pow k m)) a)
2.0ms
(sqrt (pow k m))
2.0ms
(sqrt (pow k m))

series511.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
193.0ms
(* (sqrt (pow k m)) a)
145.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma (+ k 10) k 1))
90.0ms
(sqrt (pow k m))
83.0ms
(sqrt (pow k m))

simplify10.3s

Counts
70 → 113
Calls
70 calls:
Slowest
675.0ms
(/ (* (sqrt (pow k m)) a) (fma (+ k 10) k 1))
657.0ms
(* a (sqrt (exp (* m (- (log -1) (log (/ -1 k)))))))
657.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
549.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
533.0ms
(/ (* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* (* (sqrt (pow k m)) a) (* (sqrt (pow k m)) a)) (* (sqrt (pow k m)) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))

prune1.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

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

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
157.0ms
(* (pow k m) a)
109.0ms
(* (* (pow k m) a) (/ 1 (fma (+ k 10) k 1)))
38.0ms
(/ 1 (fma (+ k 10) k 1))
18.0ms
(fma (+ k 10) k 1)

simplify11.1s

Counts
94 → 133
Calls
94 calls:
Slowest
589.0ms
(* (* (pow k m) a) (/ 1 (fma (+ k 10) k 1)))
423.0ms
(+ (log (* (pow k m) a)) (- 0 (log (fma (+ k 10) k 1))))
420.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
378.0ms
(+ (log (* (pow k m) a)) (log (/ 1 (fma (+ k 10) k 1))))
377.0ms
(+ (+ (log (pow k m)) (log a)) (- 0 (log (fma (+ k 10) k 1))))

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

8.9b
(cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))
2.4b
(* (* (pow k m) a) (cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1)))))
0.1b
(* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1)))
0.1b
(/ 1 (fma (+ k 10) k 1))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
58×add-exp-log
57×times-frac
49×*-un-lft-identity
41×add-cube-cbrt
23×prod-exp
22×pow1
21×add-cbrt-cube
20×cbrt-div
18×div-exp
17×associate-*r* associate-*r/
15×swap-sqr
14×associate-*l*
13×frac-times associate-*l/
9×rec-exp 1-exp pow-flip inv-pow unswap-sqr
7×un-div-inv cbrt-unprod div-inv
5×cbrt-undiv pow-prod-up
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* pow-sqr associate-/l*
2×cbrt-prod *-commutative
1×pow2 pow-to-exp clear-num frac-2neg pow-plus pow1/3 pow3 pow-exp rem-cbrt-cube
Counts
4 → 188
Calls
4 calls:
Slowest
56.0ms
(cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))
47.0ms
(* (* (pow k m) a) (cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1)))))
31.0ms
(* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1)))
8.0ms
(/ 1 (fma (+ k 10) k 1))

series264.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
132.0ms
(* (* (pow k m) a) (cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1)))))
52.0ms
(/ 1 (fma (+ k 10) k 1))
52.0ms
(* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1)))
29.0ms
(cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))

simplify21.1s

Counts
190 → 200
Calls
190 calls:
Slowest
580.0ms
(* (/ (cbrt 1) (fma (+ k 10) k 1)) (/ (cbrt 1) (fma (+ k 10) k 1)))
497.0ms
(* (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
479.0ms
(* (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))) (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))
456.0ms
(+ (+ (* (log k) m) (log a)) (log (cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))))
442.0ms
(+ (+ (* (log k) m) (log a)) (log (cbrt (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))))

prune2.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes175.0ms

Accuracy

98.5% (0.0b remaining)

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

bsearch122.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s11938×body80valid
907.0ms4177×body80nan