Details

Time bar (total: 1.6m)

sample96.0ms

Algorithm
intervals
Results
56.0ms402×body80valid
17.0ms123×body80nan

simplify312.0ms

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

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize21.0ms

Local error

Found 2 expressions with local error:

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

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

series283.0ms

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

simplify4.6s

Counts
40 → 60
Calls
40 calls:
Slowest
440.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
371.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)))
334.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
324.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))
295.0ms
(- (log (* (pow k m) a)) (log (fma (+ k 10) k 1)))

prune788.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt sqrt-prod
20×add-cbrt-cube associate-*l* add-exp-log
15×*-un-lft-identity add-cube-cbrt
11×pow1 unpow-prod-down
7×prod-exp cbrt-unprod
5×sqr-pow
4×expm1-log1p-u associate-*r* pow-prod-down insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-undiv rem-sqrt-square associate-/r* times-frac div-exp
2×*-commutative
1×clear-num frac-2neg sqrt-pow1 pow1/2 div-inv associate-/l*
Counts
4 → 107
Calls
4 calls:
Slowest
54.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma (+ k 10) k 1))
24.0ms
(* (sqrt (pow k m)) (* (sqrt (pow k m)) a))
10.0ms
(* (sqrt (pow k m)) a)
5.0ms
(sqrt (pow k m))

series583.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
182.0ms
(* (sqrt (pow k m)) a)
172.0ms
(/ (* (sqrt (pow k m)) (* (sqrt (pow k m)) a)) (fma (+ k 10) k 1))
119.0ms
(* (sqrt (pow k m)) (* (sqrt (pow k m)) a))
110.0ms
(sqrt (pow k m))

simplify11.9s

Counts
75 → 119
Calls
75 calls:
Slowest
699.0ms
(/ (* (sqrt (pow k m)) a) (cbrt (fma (+ k 10) k 1)))
697.0ms
(* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* (* (sqrt (pow k m)) (sqrt (pow k m))) (sqrt (pow k m))) (* (* a a) a)))
661.0ms
(* a (sqrt (exp (* m (- (log -1) (log (/ -1 k)))))))
620.0ms
(sqrt (exp (* m (- (log -1) (log (/ -1 k))))))
444.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.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
56×add-exp-log
31×prod-exp
26×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube
18×times-frac
16×associate-*r*
10×div-exp
8×associate-*l*
7×cbrt-unprod
6×pow1
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down
3×expm1-log1p-u cbrt-undiv associate-/r* insert-posit16 log1p-expm1-u associate-/l* add-log-exp unswap-sqr
2×*-commutative div-inv sqr-pow
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv pow-flip inv-pow
Counts
3 → 110
Calls
3 calls:
Slowest
22.0ms
(* (* (pow k m) a) (/ 1 (fma (+ k 10) k 1)))
18.0ms
(* (pow k m) a)
8.0ms
(/ 1 (fma (+ k 10) k 1))

series274.0ms

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

simplify11.1s

Counts
91 → 119
Calls
91 calls:
Slowest
500.0ms
(* (* (pow k m) a) (/ 1 (fma (+ k 10) k 1)))
484.0ms
(+ (log (* (pow k m) a)) (log (/ 1 (fma (+ k 10) k 1))))
477.0ms
(+ (log (* (pow k m) a)) (- 0 (log (fma (+ k 10) k 1))))
466.0ms
(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
414.0ms
(+ (+ (log (pow k m)) (log a)) (- 0 (log (fma (+ k 10) k 1))))

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
146×add-sqr-sqrt
134×times-frac
76×*-un-lft-identity add-cube-cbrt sqrt-prod
46×associate-*l*
45×unpow-prod-down
33×add-exp-log
22×associate-*r*
21×unswap-sqr
19×sqr-pow
18×add-cbrt-cube
13×div-exp
8×pow1 prod-exp
7×associate-/l*
6×associate-/r*
5×cbrt-undiv
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow-to-exp pow-exp div-inv
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 220
Calls
4 calls:
Slowest
38.0ms
(* (/ (pow k m) (sqrt (fma (+ k 10) k 1))) (/ a (sqrt (fma (+ k 10) k 1))))
13.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
2.0ms
(sqrt (fma (+ k 10) k 1))
2.0ms
(sqrt (fma (+ k 10) k 1))

series328.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
128.0ms
(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
125.0ms
(* (/ (pow k m) (sqrt (fma (+ k 10) k 1))) (/ a (sqrt (fma (+ k 10) k 1))))
38.0ms
(sqrt (fma (+ k 10) k 1))
37.0ms
(sqrt (fma (+ k 10) k 1))

simplify57.8s

Counts
248 → 232
Calls
248 calls:
Slowest
929.0ms
(/ (* (* (pow k m) (pow k m)) (pow k m)) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1))))
751.0ms
(* (/ (sqrt (pow k m)) (sqrt (sqrt (fma (+ k 10) k 1)))) (/ (sqrt a) (sqrt (sqrt (fma (+ k 10) k 1)))))
665.0ms
(/ (sqrt (pow k m)) (sqrt (sqrt (fma (+ k 10) k 1))))
504.0ms
(- (+ (/ (exp (* -1 (* (log (/ 1 k)) m))) k) (* 37 (/ (exp (* -1 (* (log (/ 1 k)) m))) (pow k 3)))) (* 5 (/ (exp (* -1 (* (log (/ 1 k)) m))) (pow k 2))))
475.0ms
(/ (pow (* (cbrt k) (cbrt k)) m) (sqrt (sqrt (fma (+ k 10) k 1))))

prune3.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes161.0ms

Accuracy

0% (1.8b remaining)

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

bsearch2.0ms

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.4s11980×body80valid
540.0ms3988×body80nan