Details

Time bar (total: 4.6m)

sample106.0ms

Algorithm
intervals
Results
60.0ms386×body80valid
19.0ms127×body80nan

simplify289.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.3b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

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

series267.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
127.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
77.0ms
(* a (pow k m))
37.0ms
(+ 1 (* 10 k))
25.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify7.0s

Counts
55 → 104
Calls
55 calls:
Slowest
552.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))))
512.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))))
442.0ms
(* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))
429.0ms
(/ (pow k m) (sqrt (+ (+ 1 (* 10 k)) (* k k))))
401.0ms
(+ (* (+ 1 (* 10 k)) (+ 1 (* 10 k))) (- (* (* k k) (* k k)) (* (+ 1 (* 10 k)) (* k k))))

prune1.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
104×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
48×unpow-prod-down
32×associate-/r*
19×add-exp-log
16×sqr-pow
11×add-cbrt-cube add-log-exp
10×div-exp
6×fma-def div-inv associate-/l*
4×expm1-log1p-u pow1 cbrt-undiv sum-log insert-posit16 log1p-expm1-u
3×flip3-+ flip-+
2×pow-to-exp +-commutative clear-num frac-2neg pow-exp associate-/l/
1×associate-+l+ associate-/r/
Counts
4 → 209
Calls
4 calls:
Slowest
69.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m))
40.0ms
(/ a (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))
17.0ms
(+ (+ 1 (* 10 k)) (* k k))
5.0ms
(+ 1 (* 10 k))

series293.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
148.0ms
(/ a (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))
74.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m))
45.0ms
(+ 1 (* 10 k))
25.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify1.0m

Counts
260 → 221
Calls
260 calls:
Slowest
860.0ms
(/ 1 (/ 1 (pow k (/ m 2))))
816.0ms
(/ (sqrt (+ (+ 1 (* 10 k)) (* k k))) (pow k (/ m 2)))
791.0ms
(/ 1 (/ 1 (pow (* (cbrt k) (cbrt k)) m)))
756.0ms
(/ (cbrt a) (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))
709.0ms
(/ 1 (/ 1 (pow (sqrt k) m)))

prune2.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
58×add-exp-log
30×prod-exp
16×div-exp
13×add-cbrt-cube
11×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
2×associate-/r/
1×clear-num frac-2neg flip3-+ flip-+ div-inv associate-/l*
Counts
4 → 83
Calls
4 calls:
Slowest
55.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1 (* 10 k)) (* k k)))
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
411.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1 (* 10 k)) (* k k)))
274.0ms
(cbrt k)
273.0ms
(cbrt k)
260.0ms
(cbrt k)

simplify12.4s

Counts
52 → 95
Calls
52 calls:
Slowest
1.1s
(/ (* (* (* (* a (pow (* (cbrt k) (cbrt k)) m)) (* a (pow (* (cbrt k) (cbrt k)) m))) (* a (pow (* (cbrt k) (cbrt k)) m))) (* (* (pow (cbrt k) m) (pow (cbrt k) m)) (pow (cbrt k) m))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
957.0ms
(/ (* (* (* (* a a) a) (* (* (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))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
941.0ms
(/ (* (* (* (* a (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))) (* (* (+ (+ 1 (* 10 k)) (* k k)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k))))
695.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))))
491.0ms
(* a (pow (* (cbrt k) (cbrt k)) m))

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
948×times-frac
440×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
144×unpow-prod-down
82×associate-/r*
52×add-exp-log
48×sqr-pow
38×div-exp
28×associate-/l*
22×div-inv
18×add-cbrt-cube
11×add-log-exp
9×cbrt-undiv
6×fma-def
5×pow1 rec-exp 1-exp
4×expm1-log1p-u pow-to-exp sum-log pow-exp insert-posit16 log1p-expm1-u
2×+-commutative clear-num frac-2neg flip3-+ flip-+
1×associate-+l+ associate-/r/ pow-flip inv-pow associate-/l/
Counts
4 → 512
Calls
4 calls:
Slowest
73.0ms
(/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a)
33.0ms
(/ 1 (/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a))
17.0ms
(+ (+ 1 (* 10 k)) (* k k))
7.0ms
(+ 1 (* 10 k))

series392.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
174.0ms
(/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a)
134.0ms
(/ 1 (/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a))
58.0ms
(+ 1 (* 10 k))
26.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify3.0m

Counts
771 → 524
Calls
771 calls:
Slowest
1.2s
(/ (/ (cbrt (+ (+ 1 (* 10 k)) (* k k))) (pow k m)) a)
746.0ms
(- 0 (log (/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a)))
652.0ms
(/ 1 (/ (/ 1 (pow k (/ m 2))) (* (cbrt a) (cbrt a))))
621.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (pow (* (cbrt k) (cbrt k)) m)) (* (cbrt a) (cbrt a))))
605.0ms
(/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a)

prune4.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes98.0ms

Accuracy

98.3% (0.0b remaining)

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

bsearch74.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.1s11830×body80valid
352.0ms4218×body80nan