Details

Time bar (total: 4.4m)

sample110.0ms

Algorithm
intervals
Results
63.0ms386×body80valid
20.0ms127×body80nan

simplify305.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
305.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.3b

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

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log
14×add-sqr-sqrt
11×add-cbrt-cube add-log-exp
9×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×prod-exp
4×pow1 sum-log unpow-prod-down div-exp insert-posit16
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 → 78
Calls
4 calls:
Slowest
41.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
15.0ms
(+ (+ 1 (* 10 k)) (* k k))
13.0ms
(* a (pow k m))
4.0ms
(+ 1 (* 10 k))

series336.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
151.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))
90.0ms
(* a (pow k m))
64.0ms
(+ 1 (* 10 k))
31.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify7.0s

Counts
51 → 90
Calls
51 calls:
Slowest
675.0ms
(* a (exp (* m (- (log -1) (log (/ -1 k))))))
587.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))))
579.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))))
430.0ms
(* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m)))
361.0ms
(/ (pow k m) (cbrt (+ (+ 1 (* 10 k)) (* k k))))

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

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

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
102×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×div-inv associate-/l*
4×pow1 cbrt-undiv sum-log insert-posit16
3×flip3-+ flip-+
2×pow-to-exp +-commutative clear-num frac-2neg pow-exp associate-/l/
1×associate-+l+ associate-/r/
Counts
4 → 195
Calls
4 calls:
Slowest
53.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m))
20.0ms
(/ a (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))
18.0ms
(+ (+ 1 (* 10 k)) (* k k))
4.0ms
(+ 1 (* 10 k))

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
150.0ms
(/ a (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)))
95.0ms
(/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m))
53.0ms
(+ 1 (* 10 k))
24.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify1.0m

Counts
256 → 207
Calls
256 calls:
Slowest
761.0ms
(/ (sqrt a) (/ (* (cbrt (+ (+ 1 (* 10 k)) (* k k))) (cbrt (+ (+ 1 (* 10 k)) (* k k)))) (pow (* (cbrt k) (cbrt k)) m)))
750.0ms
(/ 1 (/ 1 (pow (sqrt k) m)))
717.0ms
(/ (cbrt a) (/ (+ (+ 1 (* 10 k)) (* k k)) (sqrt (pow k m))))
710.0ms
(/ 1 (/ 1 (pow k (/ m 2))))
686.0ms
(/ 1 (/ 1 (pow (* (cbrt k) (cbrt k)) m)))

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

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

rewrite69.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×pow1 insert-posit16 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 → 75
Calls
4 calls:
Slowest
63.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.3s

Counts
4 → 12
Calls
4 calls:
Slowest
492.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1 (* 10 k)) (* k k)))
280.0ms
(cbrt k)
270.0ms
(cbrt k)
262.0ms
(cbrt k)

simplify13.8s

Counts
52 → 87
Calls
52 calls:
Slowest
1.2s
(/ (* (* (* (* 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))))
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))))
948.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))))
937.0ms
(/ (* a (pow (* (cbrt k) (cbrt k)) m)) (* (cbrt (+ (+ 1 (* 10 k)) (* k k))) (cbrt (+ (+ 1 (* 10 k)) (* k k)))))
700.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))))

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize36.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
438×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
5×pow1 rec-exp 1-exp
4×pow-to-exp sum-log pow-exp insert-posit16
2×+-commutative clear-num frac-2neg flip3-+ flip-+
1×associate-+l+ associate-/r/ pow-flip inv-pow associate-/l/
Counts
4 → 498
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))
18.0ms
(+ (+ 1 (* 10 k)) (* k k))
7.0ms
(+ 1 (* 10 k))

series355.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
150.0ms
(/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a)
142.0ms
(/ 1 (/ (/ (+ (+ 1 (* 10 k)) (* k k)) (pow k m)) a))
44.0ms
(+ 1 (* 10 k))
20.0ms
(+ (+ 1 (* 10 k)) (* k k))

simplify2.8m

Counts
767 → 510
Calls
767 calls:
Slowest
784.0ms
(/ (/ (sqrt (+ (+ 1 (* 10 k)) (* k k))) (pow k m)) (sqrt a))
597.0ms
(/ (/ (* (cbrt (+ (+ 1 (* 10 k)) (* k k))) (cbrt (+ (+ 1 (* 10 k)) (* k k)))) (pow (* (cbrt k) (cbrt k)) m)) (sqrt a))
575.0ms
(/ (/ (* (cbrt (+ (+ 1 (* 10 k)) (* k k))) (cbrt (+ (+ 1 (* 10 k)) (* k k)))) (pow (sqrt k) m)) (sqrt a))
556.0ms
(/ (/ (cbrt (+ (+ 1 (* 10 k)) (* k k))) (pow k m)) (cbrt a))
532.0ms
(/ (/ (cbrt (+ (+ 1 (* 10 k)) (* k k))) (pow (cbrt k) m)) (cbrt a))

prune3.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes100.0ms

Accuracy

97.5% (0.1b remaining)

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

bsearch62.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s11830×body80valid
600.0ms4218×body80nan