Details

Time bar (total: 1.2m)

sample249.0ms

Algorithm
intervals
Results
68.0ms90×body1280valid
60.0ms68×body640valid
22.0ms29×body1280nan
21.0ms151×body80valid
19.0ms31×body10240exit
15.0ms173×body80nan
12.0ms31×body320valid
11.0ms15×body640nan
3.0ms8×body320nan
2.0ms10×body160valid
1.0ms5×body160nan

simplify15.0ms

Calls
1 calls:
Slowest
15.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.6b

localize16.0ms

Local error

Found 3 expressions with local error:

1.2b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.7b
(pow (+ x 1) (/ 1 n))
0.2b
(pow x (/ 1 n))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
18×prod-diff
16×unpow-prod-down
8×pow-unpow
6×fma-neg
5×add-log-exp
4×pow1 add-exp-log
3×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
2×pow-to-exp div-inv difference-of-squares
1×sub-neg pow-pow flip3-- diff-log pow-exp flip-- distribute-lft-out--
Calls
3 calls:
Slowest
13.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ x 1) (/ 1 n))
1.0ms
(pow x (/ 1 n))

series400.0ms

Calls
3 calls:
Slowest
231.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
99.0ms
(pow (+ x 1) (/ 1 n))
70.0ms
(pow x (/ 1 n))

simplify3.7s

Calls
69 calls:
Slowest
357.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
336.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
275.0ms
(- (+ (/ (log -1) n) (+ (* 1/2 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1/2 (/ (pow (log (/ -1 x)) 2) (pow n 2))) 1))) (+ (/ (log (/ -1 x)) n) (/ (* (log (/ -1 x)) (log -1)) (pow n 2))))
227.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
196.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune871.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 19.8b

localize20.0ms

Local error

Found 4 expressions with local error:

1.2b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.2b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.2b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.7b
(pow (+ x 1) (/ 1 n))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
60×add-sqr-sqrt
54×*-un-lft-identity prod-diff
48×add-cube-cbrt
42×unpow-prod-down
18×fma-neg
10×add-log-exp
6×difference-of-squares
5×pow1 add-exp-log
4×expm1-log1p-u pow-unpow add-cbrt-cube insert-posit16 log1p-expm1-u
3×sub-neg flip3-- diff-log flip-- distribute-lft-out--
1×pow-to-exp pow-pow pow-exp div-inv
Calls
4 calls:
Slowest
27.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
27.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
24.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ x 1) (/ 1 n))

series755.0ms

Calls
4 calls:
Slowest
241.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
217.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
204.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
93.0ms
(pow (+ x 1) (/ 1 n))

simplify8.0s

Calls
162 calls:
Slowest
438.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
364.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
296.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
233.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
230.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune2.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 19.8b

localize20.0ms

Local error

Found 3 expressions with local error:

1.2b
(- (exp (/ (log1p x) n)) (pow x (/ 1 n)))
0.2b
(pow x (/ 1 n))
0.1b
(/ (log1p x) n)

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity
12×add-cube-cbrt
9×prod-diff
5×add-log-exp
4×pow-unpow
3×expm1-log1p-u pow1 add-cbrt-cube fma-neg add-exp-log insert-posit16 log1p-expm1-u associate-/l*
2×div-inv
1×pow-to-exp clear-num sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares
Calls
3 calls:
Slowest
26.0ms
(- (exp (/ (log1p x) n)) (pow x (/ 1 n)))
6.0ms
(/ (log1p x) n)
2.0ms
(pow x (/ 1 n))

series445.0ms

Calls
3 calls:
Slowest
272.0ms
(- (exp (/ (log1p x) n)) (pow x (/ 1 n)))
99.0ms
(/ (log1p x) n)
74.0ms
(pow x (/ 1 n))

simplify3.6s

Calls
39 calls:
Slowest
446.0ms
(- (+ (/ (log -1) n) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) n)))
418.0ms
(- (+ (/ x n) (* 1/3 (/ (pow x 3) n))) (* 1/2 (/ (pow x 2) n)))
407.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
390.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
267.0ms
(- (/ 1 (* x n)) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ 1 x)) n)))

prune694.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 19.6b

localize33.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
0.7b
(/ 1 (* n x))
0.7b
(/ 1 (* n x))
0.4b
(/ (- (log x)) (* n (* n x)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
56×prod-diff
50×times-frac
44×*-un-lft-identity
43×add-sqr-sqrt
41×add-cube-cbrt
23×div-inv
18×distribute-lft-neg-in distribute-rgt-neg-in
10×associate-/l*
8×add-exp-log
6×pow1 neg-mul-1 add-cbrt-cube add-log-exp
4×expm1-log1p-u fma-neg insert-posit16 log1p-expm1-u
3×clear-num associate-/r* frac-2neg
2×neg-sub0 rec-exp div-sub pow-flip distribute-lft-out-- inv-pow
1×cbrt-undiv sub-neg flip3-- diff-log div-exp distribute-frac-neg frac-sub flip-- associate--r- difference-of-squares
Calls
4 calls:
Slowest
11.0ms
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
7.0ms
(/ (- (log x)) (* n (* n x)))
1.0ms
(/ 1 (* n x))
1.0ms
(/ 1 (* n x))

series217.0ms

Calls
4 calls:
Slowest
109.0ms
(/ (- (log x)) (* n (* n x)))
86.0ms
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
12.0ms
(/ 1 (* n x))
11.0ms
(/ 1 (* n x))

simplify33.5s

Calls
168 calls:
Slowest
656.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
656.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
637.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
589.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
553.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))

prune1.7s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 19.0b

regimes867.0ms

Accuracy

88.3% (1.4b remaining)

Error of 19.0b against oracle of 17.6b and baseline of 29.4b

bsearch1.1s

end0.0ms

sample10.6s

Algorithm
intervals
Results
3.3s3149×body1280valid
1.4s1685×body640valid
1.2s4675×body80valid
1.2s1158×body10240exit
1.0s4932×body80nan
765.0ms664×body1280nan
460.0ms614×body640nan
454.0ms823×body320valid
148.0ms319×body320nan
143.0ms383×body160valid
53.0ms184×body160nan