Details

Time bar (total: 1.2m)

sample69.0ms

Algorithm
intervals
Results
35.0ms367×body80valid
13.0ms149×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: 1.4b

localize20.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))

rewrite69.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 add-log-exp
7×associate-*r*
6×prod-exp
4×unpow-prod-down div-exp
3×pow1 associate-/r* sum-log times-frac associate-*l* insert-posit16 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 → 66
Calls
3 calls:
Slowest
43.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
17.0ms
(+ (+ 1 (* 10 k)) (* k k))
8.0ms
(* a (pow k m))

series251.0ms

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

simplify7.2s

Counts
47 → 75
Calls
47 calls:
Slowest
1.1s
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
561.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))))
558.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))))
402.0ms
(* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))
393.0ms
(/ (pow k m) (sqrt (+ (+ 1 (* 10 k)) (* k k))))

prune831.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize25.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))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
57×add-exp-log
31×prod-exp
27×add-sqr-sqrt
22×*-un-lft-identity associate-*r* add-cube-cbrt
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×unpow-prod-down associate-*l* associate-/r/ insert-posit16
3×cbrt-undiv associate-/r* sum-log 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 → 122
Calls
4 calls:
Slowest
63.0ms
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
28.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
17.0ms
(+ (+ 1 (* 10 k)) (* k k))
10.0ms
(* a (pow k m))

series308.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
101.0ms
(* a (pow k m))
42.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
36.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify12.2s

Counts
100 → 134
Calls
100 calls:
Slowest
800.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
542.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)))))
534.0ms
(* (* a (pow k m)) (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
482.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)))))
468.0ms
(+ (log (* a (pow k m))) (- (log 1) (log (+ (+ 1 (* 10 k)) (* k k)))))

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize32.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)))

rewrite143.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×flip3-+ div-exp flip-+ insert-posit16 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 → 130
Calls
4 calls:
Slowest
41.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
37.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
33.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
29.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))

series191.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
62.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
60.0ms
(sqrt (/ 1 (+ (+ 1 (* 10 k)) (* k k))))
42.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))
27.0ms
(/ 1 (+ (+ 1 (* 10 k)) (* k k)))

simplify7.6s

Counts
114 → 142
Calls
114 calls:
Slowest
465.0ms
(- (+ (/ 1 k) (* 37 (/ 1 (pow k 3)))) (* 5 (/ 1 (pow k 2))))
430.0ms
(- (+ (/ 1 k) (* 37 (/ 1 (pow k 3)))) (* 5 (/ 1 (pow k 2))))
313.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))
257.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))
253.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

localize86.0ms

Local error

Found 4 expressions with local error:

7.8b
(/ (* (exp (* m (+ 0 (log k)))) a) (* (* k k) (* k k)))
6.7b
(+ (* 99 (/ (* (exp (* m (+ 0 (log k)))) a) (* (* k k) (* k k)))) (- (* (/ (/ a k) k) (exp (* m (+ 0 (log k))))) (* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k)))))))
5.7b
(- (* (/ (/ a k) k) (exp (* m (+ 0 (log k))))) (* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k))))))
4.7b
(* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k)))))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
74×add-cbrt-cube
62×add-exp-log
34×prod-exp cbrt-unprod
28×associate-*l/
19×cbrt-undiv div-exp
12×associate-*r/
11×add-log-exp
9×pow1
7×frac-add
6×frac-sub
5×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
4×insert-posit16 sub-div
3×frac-times pow-prod-down
2×associate-+r+ sum-log sub-neg flip3-- diff-log exp-sum flip--
1×distribute-rgt-in +-commutative clear-num associate-+r- associate-/r* frac-2neg distribute-lft-in flip3-+ times-frac distribute-rgt-out-- associate-*l* *-commutative flip-+ div-inv associate-/l*
Counts
4 → 110
Calls
4 calls:
Slowest
126.0ms
(+ (* 99 (/ (* (exp (* m (+ 0 (log k)))) a) (* (* k k) (* k k)))) (- (* (/ (/ a k) k) (exp (* m (+ 0 (log k))))) (* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k)))))))
55.0ms
(* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k)))))
32.0ms
(/ (* (exp (* m (+ 0 (log k)))) a) (* (* k k) (* k k)))
29.0ms
(- (* (/ (/ a k) k) (exp (* m (+ 0 (log k))))) (* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k))))))

series774.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
237.0ms
(+ (* 99 (/ (* (exp (* m (+ 0 (log k)))) a) (* (* k k) (* k k)))) (- (* (/ (/ a k) k) (exp (* m (+ 0 (log k))))) (* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k)))))))
218.0ms
(- (* (/ (/ a k) k) (exp (* m (+ 0 (log k))))) (* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k))))))
175.0ms
(* (* (/ 10 k) (/ (/ a k) k)) (exp (* m (+ 0 (log k)))))
144.0ms
(/ (* (exp (* m (+ 0 (log k)))) a) (* (* k k) (* k k)))

simplify34.7s

Counts
91 → 122
Calls
91 calls:
Slowest
1.6s
(/ (* (* (* (exp (* m (+ 0 (log k)))) a) (* (exp (* m (+ 0 (log k)))) a)) (* (exp (* m (+ 0 (log k)))) a)) (* (* (* (* k k) k) (* (* k k) k)) (* (* (* k k) (* k k)) (* k k))))
1.5s
(/ (* (* (* (exp (* m (+ 0 (log k)))) a) (* (exp (* m (+ 0 (log k)))) a)) (* (exp (* m (+ 0 (log k)))) a)) (* (* (* (* k k) (* k k)) (* k k)) (* (* (* k k) k) (* (* k k) k))))
1.5s
(/ (* (* (* (exp (* m (+ 0 (log k)))) a) (* (exp (* m (+ 0 (log k)))) a)) (* (exp (* m (+ 0 (log k)))) a)) (* (* (* (* k k) (* k k)) (* k k)) (* (* (* k k) (* k k)) (* k k))))
1.4s
(/ (* (* (* (exp (* m (+ 0 (log k)))) (exp (* m (+ 0 (log k))))) (exp (* m (+ 0 (log k))))) (* (* a a) a)) (* (* (* (* k k) k) (* (* k k) k)) (* (* (* k k) (* k k)) (* k k))))
1.3s
(/ (* (* (* (exp (* m (+ 0 (log k)))) a) (* (exp (* m (+ 0 (log k)))) a)) (* (exp (* m (+ 0 (log k)))) a)) (* (* (* (* k k) (* k k)) (* (* k k) (* k k))) (* (* k k) (* k k))))

prune1.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes196.0ms

Accuracy

97.9% (0.0b remaining)

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

bsearch98.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s12125×body80valid
1.0s4464×body80nan