Details

Time bar (total: 3.5m)

sample95.0ms

Algorithm
intervals
Results
59.0ms404×body80valid
14.0ms142×body80nan

simplify290.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.7b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite24.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
15.0ms
(/ (* (pow k m) a) (fma (+ k 10) k 1))
9.0ms
(* (pow k m) a)

series285.0ms

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

simplify4.7s

Counts
40 → 60
Calls
40 calls:
Slowest
434.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
399.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
352.0ms
(/ (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
350.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)))
340.0ms
(- (log (* (pow k m) a)) (log (fma (+ k 10) k 1)))

prune711.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

2.7b
(/ (* (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)

rewrite63.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
57.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
2.0ms
(cbrt k)
2.0ms
(cbrt k)
1.0ms
(cbrt k)

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
456.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma (+ k 10) k 1))
314.0ms
(cbrt k)
310.0ms
(cbrt k)
281.0ms
(cbrt k)

simplify12.0s

Counts
51 → 94
Calls
51 calls:
Slowest
1.3s
(/ (* (* (* (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)))
960.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)))
809.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)))
656.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))))
493.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

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

12.9b
(fma (/ (/ 99 k) k) (/ (/ (exp (* m (log k))) (/ k a)) k) (+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (exp (* m (log k))) (/ k a)) k)))
7.4b
(+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (exp (* m (log k))) (/ k a)) k))
3.0b
(/ (exp (* m (log k))) (/ k a))
3.0b
(/ (exp (* m (log k))) (/ k a))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
414×times-frac
228×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
168×log-prod exp-sum
84×distribute-rgt-in distribute-lft-in
26×associate-/r*
22×div-inv
18×associate-/l*
14×add-cbrt-cube
10×add-exp-log
6×cbrt-undiv div-exp add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×clear-num frac-2neg associate-/r/
1×+-commutative sum-log fma-def flip3-+ associate-*l/ frac-add flip-+ fma-udef
Counts
4 → 341
Calls
4 calls:
Slowest
53.0ms
(+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (exp (* m (log k))) (/ k a)) k))
24.0ms
(/ (exp (* m (log k))) (/ k a))
16.0ms
(/ (exp (* m (log k))) (/ k a))
0.0ms
(fma (/ (/ 99 k) k) (/ (/ (exp (* m (log k))) (/ k a)) k) (+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (exp (* m (log k))) (/ k a)) k)))

series787.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
228.0ms
(+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (exp (* m (log k))) (/ k a)) k))
220.0ms
(fma (/ (/ 99 k) k) (/ (/ (exp (* m (log k))) (/ k a)) k) (+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (exp (* m (log k))) (/ k a)) k)))
172.0ms
(/ (exp (* m (log k))) (/ k a))
167.0ms
(/ (exp (* m (log k))) (/ k a))

simplify1.7m

Counts
534 → 353
Calls
534 calls:
Slowest
826.0ms
(/ (exp (* (log 1) m)) (/ (* (cbrt k) (cbrt k)) (* (cbrt a) (cbrt a))))
783.0ms
(/ (exp (* (log (sqrt k)) m)) (/ (sqrt k) (cbrt a)))
707.0ms
(/ (* (* (exp (* m (log k))) (exp (* m (log k)))) (exp (* m (log k)))) (* (* (/ k a) (/ k a)) (/ k a)))
670.0ms
(/ (* (* (exp (* m (log k))) (exp (* m (log k)))) (exp (* m (log k)))) (* (* (/ k a) (/ k a)) (/ k a)))
593.0ms
(/ (exp (* (log (sqrt k)) m)) (/ (* (cbrt k) (cbrt k)) 1))

prune5.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

12.9b
(fma (/ (/ 99 k) k) (/ (/ (exp (* m (log k))) (/ k a)) k) (+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (* (exp (* m (log k))) a) k) k)))
7.4b
(+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (* (exp (* m (log k))) a) k) k))
3.0b
(/ (exp (* m (log k))) (/ k a))
3.0b
(/ (exp (* m (log k))) (/ k a))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
414×times-frac
228×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
168×log-prod exp-sum
84×distribute-rgt-in distribute-lft-in
26×associate-/r*
22×div-inv
18×associate-/l*
14×add-cbrt-cube
10×add-exp-log
6×cbrt-undiv div-exp add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×clear-num frac-2neg associate-/r/
1×+-commutative sum-log fma-def flip3-+ associate-*l/ frac-add flip-+ fma-udef
Counts
4 → 341
Calls
4 calls:
Slowest
39.0ms
(+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (* (exp (* m (log k))) a) k) k))
20.0ms
(/ (exp (* m (log k))) (/ k a))
18.0ms
(/ (exp (* m (log k))) (/ k a))
1.0ms
(fma (/ (/ 99 k) k) (/ (/ (exp (* m (log k))) (/ k a)) k) (+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (* (exp (* m (log k))) a) k) k)))

series784.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
268.0ms
(+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (* (exp (* m (log k))) a) k) k))
224.0ms
(fma (/ (/ 99 k) k) (/ (/ (exp (* m (log k))) (/ k a)) k) (+ (* (/ (/ (/ (exp (* m (log k))) (/ k a)) k) k) -10) (/ (/ (* (exp (* m (log k))) a) k) k)))
155.0ms
(/ (exp (* m (log k))) (/ k a))
138.0ms
(/ (exp (* m (log k))) (/ k a))

simplify1.2m

Counts
534 → 353
Calls
534 calls:
Slowest
747.0ms
(/ (* (* (exp (* m (log k))) (exp (* m (log k)))) (exp (* m (log k)))) (* (* (/ k a) (/ k a)) (/ k a)))
546.0ms
(/ (exp (* m (log (* (cbrt k) (cbrt k))))) (/ 1 (sqrt a)))
511.0ms
(/ (exp (* m (log (sqrt k)))) (/ (sqrt k) (cbrt a)))
484.0ms
(/ (* (* (exp (* m (log k))) (exp (* m (log k)))) (exp (* m (log k)))) (* (* (/ k a) (/ k a)) (/ k a)))
483.0ms
(/ (exp (* m (log (sqrt k)))) (/ (* (cbrt k) (cbrt k)) 1))

prune4.4s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes115.0ms

Accuracy

98.1% (0.0b remaining)

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

bsearch51.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.2s11896×body80valid
429.0ms4285×body80nan