Details

Time bar (total: 53.7s)

sample80.0ms

Algorithm
intervals
Results
43.0ms367×body80valid
16.0ms149×body80nan

simplify315.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize41.0ms

Local error

Found 3 expressions with local error:

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

rewrite71.0ms

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

series269.0ms

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

simplify6.6s

Counts
49 → 84
Calls
49 calls:
Slowest
560.0ms
(/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
475.0ms
(/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
435.0ms
(* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))
374.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))
367.0ms
(/ (pow k m) (cbrt (+ (+ 1 (* 10 k)) (* k k))))

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
0.2b
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
0.0b
(+ (+ 1 (* 10 k)) (* k k))
0.0b
(* a (pow k m))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
57×add-exp-log
31×prod-exp
28×add-sqr-sqrt
23×*-un-lft-identity add-cube-cbrt
22×associate-*r*
20×add-cbrt-cube
18×times-frac
10×div-exp
9×add-log-exp
7×pow1 cbrt-unprod
5×pow-to-exp rec-exp 1-exp pow-exp
4×expm1-log1p-u unpow-prod-down associate-*l* associate-/r/ insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-/r* sum-log fma-def flip3-+ flip-+ associate-/l* unswap-sqr
2×*-commutative div-inv sqr-pow
1×+-commutative associate-+l+ clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 133
Calls
4 calls:
Slowest
60.0ms
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
29.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
16.0ms
(+ (+ 1 (* 10 k)) (* k k))
8.0ms
(* a (pow k m))

series310.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
168.0ms
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
84.0ms
(* a (pow k m))
31.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
27.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify13.6s

Counts
102 → 145
Calls
102 calls:
Slowest
515.0ms
(+ (log (* a (pow k m))) (- (log 1) (log (+ (+ 1 (* 10 k)) (* k k)))))
503.0ms
(* (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (/ (* (* 1 1) 1) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k)))))
481.0ms
(* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))
462.0ms
(* (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (/ (* (* 1 1) 1) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k)))))
446.0ms
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

14.8b
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
14.8b
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
0.2b
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
0.2b
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
40×times-frac
36×*-un-lft-identity
34×add-cube-cbrt
30×sqrt-prod
12×add-exp-log
10×pow1
8×add-cbrt-cube associate-/r/
6×rem-sqrt-square associate-/r* sqrt-pow1 associate-/l*
4×expm1-log1p-u flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u div-inv pow-flip inv-pow add-log-exp
2×cbrt-undiv rec-exp clear-num frac-2neg pow1/2 sqrt-div 1-exp
Counts
4 → 138
Calls
4 calls:
Slowest
41.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
35.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
34.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
18.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))

series183.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
58.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
48.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
40.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
36.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))

simplify9.2s

Counts
114 → 150
Calls
114 calls:
Slowest
771.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))
396.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))
293.0ms
(sqrt (/ 1 (- (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (* (* k k) (* k k)))))
274.0ms
(sqrt (/ 1 (- (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (* (* k k) (* k k)))))
256.0ms
(- (* 5 (/ 1 (pow k 2))) (+ (/ 1 k) (* 37 (/ 1 (pow k 3)))))

prune2.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

10.5b
(fma (/ 99 (* k k)) (/ (* (/ a k) (exp (* m (+ 0 (log k))))) k) (* -10 (/ (/ (* (/ a k) (exp (* m (+ 0 (log k))))) k) k)))
2.2b
(* (/ a k) (exp (* m (+ 0 (log k)))))
2.2b
(* (/ a k) (exp (* m (+ 0 (log k)))))
2.2b
(* (/ a k) (exp (* m (+ 0 (log k)))))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
39×associate-*l*
30×times-frac
28×*-un-lft-identity add-cube-cbrt
19×add-cbrt-cube
15×associate-*r*
13×add-exp-log
10×pow1
6×exp-sum prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×fma-udef
Counts
4 → 122
Calls
4 calls:
Slowest
39.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))
22.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))
17.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))
0.0ms
(fma (/ 99 (* k k)) (/ (* (/ a k) (exp (* m (+ 0 (log k))))) k) (* -10 (/ (/ (* (/ a k) (exp (* m (+ 0 (log k))))) k) k)))

series571.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
195.0ms
(fma (/ 99 (* k k)) (/ (* (/ a k) (exp (* m (+ 0 (log k))))) k) (* -10 (/ (/ (* (/ a k) (exp (* m (+ 0 (log k))))) k) k)))
132.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))
125.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))
118.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))

simplify11.7s

Counts
90 → 134
Calls
90 calls:
Slowest
527.0ms
(* (* (* (/ a k) (/ a k)) (/ a k)) (* (* (exp (* m (+ 0 (log k)))) (exp (* m (+ 0 (log k))))) (exp (* m (+ 0 (log k))))))
485.0ms
(* (* (* (/ a k) (/ a k)) (/ a k)) (* (* (exp (* m (+ 0 (log k)))) (exp (* m (+ 0 (log k))))) (exp (* m (+ 0 (log k))))))
469.0ms
(* (* (* (/ a k) (/ a k)) (/ a k)) (* (* (exp (* m (+ 0 (log k)))) (exp (* m (+ 0 (log k))))) (exp (* m (+ 0 (log k))))))
434.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))
425.0ms
(* (/ a k) (exp (* m (+ 0 (log k)))))

prune2.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes203.0ms

Accuracy

98.7% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 2.1b

bsearch138.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.2s12125×body80valid
643.0ms4464×body80nan