Details

Time bar (total: 1.6m)

sample94.0ms

Algorithm
intervals
Results
58.0ms361×body80valid
18.0ms139×body80nan

simplify351.0ms

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.4b

localize32.0ms

Local error

Found 2 expressions with local error:

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

rewrite35.0ms

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

series274.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
144.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
130.0ms
(* (pow k m) a)

simplify4.8s

Counts
40 → 60
Calls
40 calls:
Slowest
451.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
416.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
354.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)))
320.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
309.0ms
(- (+ (log (pow k m)) (log a)) (log (fma (+ k 10) k 1)))

prune649.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
32×prod-exp
17×div-exp
13×add-cbrt-cube
12×pow-exp
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow-to-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac pow1/3 cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 82
Calls
4 calls:
Slowest
26.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
464.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
335.0ms
(cbrt k)
306.0ms
(cbrt k)
271.0ms
(cbrt k)

simplify11.8s

Counts
51 → 94
Calls
51 calls:
Slowest
973.0ms
(/ (* (* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
819.0ms
(/ (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) (pow (cbrt k) m)) (pow (cbrt k) m)) (* (* a a) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
763.0ms
(/ (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) a) (* (pow (cbrt k) m) a)) (* (pow (cbrt k) m) a))) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
692.0ms
(- (+ (* 99 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 4))) (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 2))) (* 10 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 3))))
622.0ms
(- (+ (/ (* a (* (pow (pow (/ 1 k) -2/3) m) (pow (pow (/ 1 k) -1/3) m))) (pow k 2)) (* 99 (/ (* a (* (pow (pow (/ 1 k) -2/3) m) (pow (pow (/ 1 k) -1/3) m))) (pow k 4)))) (* 10 (/ (* a (* (pow (pow (/ 1 k) -2/3) m) (pow (pow (/ 1 k) -1/3) m))) (pow k 3))))

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (/ 1 (fma (+ k 10) k 1)))
0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
253×add-exp-log
196×prod-exp
48×pow-exp
34×div-exp
32×pow-to-exp
25×add-cbrt-cube
17×rec-exp 1-exp
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-*r*
12×cbrt-unprod
9×cbrt-prod times-frac
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv pow1/3
1×associate-*l* pow-prod-down associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 144
Calls
4 calls:
Slowest
69.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (/ 1 (fma (+ k 10) k 1)))
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
738.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (/ 1 (fma (+ k 10) k 1)))
259.0ms
(cbrt k)
250.0ms
(cbrt k)
230.0ms
(cbrt k)

simplify29.0s

Counts
112 → 156
Calls
112 calls:
Slowest
1.2s
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
790.0ms
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) (pow (cbrt k) m)) (pow (cbrt k) m)) (* (* a a) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))
671.0ms
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a))) (* (* (/ 1 (fma (+ k 10) k 1)) (/ 1 (fma (+ k 10) k 1))) (/ 1 (fma (+ k 10) k 1))))
671.0ms
(- (+ (* 99 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 4))) (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 2))) (* 10 (/ (* (exp (* (log (* (pow (cbrt -1) 2) (pow (pow k 2) 1/3))) m)) (* a (exp (* (log (* (pow (* k -1) 1/3) (cbrt -1))) m)))) (pow k 3))))
619.0ms
(* (* (* (* (pow (* (cbrt k) (cbrt k)) m) (pow (* (cbrt k) (cbrt k)) m)) (pow (* (cbrt k) (cbrt k)) m)) (* (* (* (pow (cbrt k) m) a) (* (pow (cbrt k) m) a)) (* (pow (cbrt k) m) a))) (/ (* (* 1 1) 1) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1))))

prune2.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
60×sqrt-prod
59×add-sqr-sqrt
52×*-un-lft-identity add-cube-cbrt
25×add-exp-log
15×add-cbrt-cube
10×associate-/l*
9×div-exp
8×div-inv
7×associate-*l*
6×pow1 associate-/r* prod-exp
5×cbrt-undiv
4×expm1-log1p-u unpow-prod-down insert-posit16 log1p-expm1-u 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 → 158
Calls
4 calls:
Slowest
26.0ms
(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
18.0ms
(* (pow k m) a)
2.0ms
(sqrt (fma (+ k 10) k 1))
1.0ms
(sqrt (fma (+ k 10) k 1))

series416.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
168.0ms
(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
142.0ms
(* (pow k m) a)
53.0ms
(sqrt (fma (+ k 10) k 1))
53.0ms
(sqrt (fma (+ k 10) k 1))

simplify33.5s

Counts
184 → 170
Calls
184 calls:
Slowest
696.0ms
(/ (/ (pow k m) (sqrt (sqrt (fma (+ k 10) k 1)))) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1)))))
657.0ms
(/ (/ (pow k m) 1) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1)))))
641.0ms
(/ (/ (pow k m) (sqrt (* (cbrt (fma (+ k 10) k 1)) (cbrt (fma (+ k 10) k 1))))) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1)))))
628.0ms
(/ (/ (pow k m) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1))))) 1)
616.0ms
(/ (/ (pow k m) (sqrt (sqrt (fma (+ k 10) k 1)))) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1)))))

prune2.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes248.0ms

Accuracy

97.9% (0.0b remaining)

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

bsearch64.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.6s11944×body80valid
501.0ms4289×body80nan