Details

Time bar (total: 1.6m)

sample316.0ms

Algorithm
intervals
Results
83.0ms97×body1280valid
49.0ms21×body1280nan
45.0ms35×body10240exit
33.0ms47×body640valid
20.0ms131×body80valid
18.0ms39×body320valid
18.0ms23×body640nan
17.0ms181×body80nan
5.0ms13×body320nan
3.0ms13×body160valid
3.0ms8×body160nan

simplify304.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
304.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize16.0ms

Local error

Found 3 expressions with local error:

2.3b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0b
(pow (+ x 1) (/ 1 n))
0.2b
(pow x (/ 1 n))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
28×*-un-lft-identity
26×pow-unpow
19×add-cube-cbrt
18×times-frac
17×unpow-prod-down
9×difference-of-squares
8×sqr-pow
5×pow1 add-exp-log add-log-exp
3×add-cbrt-cube insert-posit16 distribute-lft-out--
2×pow-to-exp pow-pow pow-exp div-inv distribute-lft-out
1×sub-neg flip3-- diff-log flip--
Counts
3 → 82
Calls
3 calls:
Slowest
56.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
13.0ms
(pow (+ x 1) (/ 1 n))
5.0ms
(pow x (/ 1 n))

series441.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
263.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
107.0ms
(pow (+ x 1) (/ 1 n))
71.0ms
(pow x (/ 1 n))

simplify22.1s

Counts
111 → 91
Calls
111 calls:
Slowest
825.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
728.0ms
(pow (+ x 1) (/ 1 (* (cbrt n) (cbrt n))))
695.0ms
(pow x (/ 1 (* (cbrt n) (cbrt n))))
672.0ms
(* (* (pow (+ x 1) (/ 1 n)) (pow (+ x 1) (/ 1 n))) (pow (+ x 1) (/ 1 n)))
614.0ms
(pow (+ x 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt n) (cbrt n))))

prune893.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 23.9b

localize30.0ms

Local error

Found 3 expressions with local error:

2.3b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
1.0b
(pow (+ 1 x) (/ 1 n))
0.2b
(pow x (/ 1 n))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
28×*-un-lft-identity
26×pow-unpow
19×add-cube-cbrt
18×times-frac
17×unpow-prod-down
9×difference-of-squares
8×sqr-pow
5×pow1 add-exp-log add-log-exp
3×add-cbrt-cube insert-posit16 distribute-lft-out--
2×pow-to-exp pow-pow pow-exp div-inv distribute-lft-out
1×sub-neg flip3-- diff-log flip--
Counts
3 → 82
Calls
3 calls:
Slowest
65.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
11.0ms
(pow (+ 1 x) (/ 1 n))
3.0ms
(pow x (/ 1 n))

series484.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
279.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
118.0ms
(pow (+ 1 x) (/ 1 n))
88.0ms
(pow x (/ 1 n))

simplify21.5s

Counts
111 → 91
Calls
111 calls:
Slowest
652.0ms
(pow x (/ 1 (* (cbrt n) (cbrt n))))
620.0ms
(pow x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt n) (cbrt n))))
615.0ms
(pow (+ 1 x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt n) (cbrt n))))
603.0ms
(+ (sqrt (pow (+ 1 x) (/ 1 n))) (sqrt (pow x (/ 1 n))))
578.0ms
(pow (+ 1 x) (/ 1 (* (cbrt n) (cbrt n))))

prune833.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 23.9b

localize31.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (* (pow (sqrt (+ 1 x)) (/ 1 n)) (pow (sqrt (+ 1 x)) (/ 1 n))) (pow x (/ 1 n)))
1.0b
(pow (sqrt (+ 1 x)) (/ 1 n))
1.0b
(pow (sqrt (+ 1 x)) (/ 1 n))
0.2b
(pow x (/ 1 n))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
39×pow-unpow
34×*-un-lft-identity
32×add-sqr-sqrt
30×add-cube-cbrt
27×times-frac
18×unpow-prod-down
9×pow1
8×sqrt-prod
7×pow-pow add-exp-log
6×add-log-exp
4×add-cbrt-cube insert-posit16 sqr-pow
3×pow-to-exp pow-exp div-inv difference-of-squares
2×sqrt-pow1 pow1/2 sqrt-pow2 distribute-lft-out
1×sub-neg flip3-- diff-log flip--
Counts
4 → 114
Calls
4 calls:
Slowest
31.0ms
(- (* (pow (sqrt (+ 1 x)) (/ 1 n)) (pow (sqrt (+ 1 x)) (/ 1 n))) (pow x (/ 1 n)))
13.0ms
(pow (sqrt (+ 1 x)) (/ 1 n))
13.0ms
(pow (sqrt (+ 1 x)) (/ 1 n))
5.0ms
(pow x (/ 1 n))

series758.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
330.0ms
(- (* (pow (sqrt (+ 1 x)) (/ 1 n)) (pow (sqrt (+ 1 x)) (/ 1 n))) (pow x (/ 1 n)))
201.0ms
(pow (sqrt (+ 1 x)) (/ 1 n))
147.0ms
(pow (sqrt (+ 1 x)) (/ 1 n))
79.0ms
(pow x (/ 1 n))

simplify25.2s

Counts
151 → 126
Calls
151 calls:
Slowest
774.0ms
(+ (pow (sqrt (+ 1 x)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))
598.0ms
(pow (sqrt (+ 1 x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt n) (cbrt n))))
596.0ms
(pow x (/ 1 (* (cbrt n) (cbrt n))))
590.0ms
(pow x (/ (* (cbrt 1) (cbrt 1)) (* (cbrt n) (cbrt n))))
581.0ms
(pow (sqrt (+ 1 x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt n) (cbrt n))))

prune1.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 23.9b

localize41.0ms

Local error

Found 4 expressions with local error:

3.3b
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
1.0b
(/ 1 (* n x))
1.0b
(/ 1/2 (* n x))
0.7b
(/ (- (log x)) (* n (* n x)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
24×times-frac
23×add-cbrt-cube
22×*-un-lft-identity
18×associate-/l*
16×add-sqr-sqrt
14×add-cube-cbrt
12×pow1
10×distribute-rgt-neg-in
9×div-exp
8×distribute-lft-neg-in
7×cbrt-undiv prod-exp
6×add-log-exp
5×log-pow cbrt-unprod distribute-lft-out--
4×insert-posit16 div-inv
3×clear-num associate-/r* frac-2neg
2×neg-sub0 rec-exp neg-mul-1 1-exp div-sub pow-flip
1×sub-neg flip3-- diff-log pow-prod-down distribute-frac-neg frac-sub flip-- inv-pow associate--r- difference-of-squares
Counts
4 → 116
Calls
4 calls:
Slowest
53.0ms
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
29.0ms
(/ (- (log x)) (* n (* n x)))
17.0ms
(/ 1 (* n x))
11.0ms
(/ 1/2 (* n x))

series235.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
105.0ms
(/ (- (log x)) (* n (* n x)))
78.0ms
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
34.0ms
(/ 1/2 (* n x))
18.0ms
(/ 1 (* n x))

simplify10.6s

Counts
153 → 128
Calls
153 calls:
Slowest
612.0ms
(/ (* (* (- (log x)) (- (log x))) (- (log x))) (* (* (* n (* n x)) (* n (* n x))) (* n (* n x))))
437.0ms
(/ (* (* (- (log x)) (- (log x))) (- (log x))) (* (* (* n n) n) (* (* (* n x) (* n x)) (* n x))))
378.0ms
(/ (* (* (- (log x)) (- (log x))) (- (log x))) (* (* (* n n) n) (* (* (* n n) n) (* (* x x) x))))
367.0ms
(* (* (/ 1/2 (* n x)) (/ 1/2 (* n x))) (/ 1/2 (* n x)))
360.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (/ (log (/ -1 x)) (* x (pow n 2))))

prune1.4s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 22.9b

regimes335.0ms

Accuracy

83.4% (1.5b remaining)

Error of 21.5b against oracle of 20.1b and baseline of 28.9b

bsearch8.0ms

end0.0ms

sample11.2s

Algorithm
intervals
Results
3.7s3152×body1280valid
1.9s1228×body10240exit
1.3s1554×body640valid
1.1s4868×body80valid
756.0ms669×body1280nan
695.0ms5281×body80nan
487.0ms860×body320valid
481.0ms627×body640nan
168.0ms466×body160valid
153.0ms340×body320nan
62.0ms214×body160nan