Details

Time bar (total: 1.2m)

sample247.0ms

Algorithm
intervals
Results
72.0ms92×body1280valid
54.0ms54×body640valid
19.0ms29×body10240exit
17.0ms15×body1280nan
16.0ms138×body80valid
15.0ms169×body80nan
14.0ms20×body640nan
11.0ms28×body320valid
7.0ms13×body320nan
3.0ms11×body160valid
1.0ms5×body160nan

simplify26.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.7b

localize16.0ms

Local error

Found 3 expressions with local error:

1.8b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.8b
(pow x (/ 1 n))
0.5b
(pow (+ x 1) (/ 1 n))

rewrite17.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
14.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ x 1) (/ 1 n))
1.0ms
(pow x (/ 1 n))

series391.0ms

Calls
3 calls:
Slowest
237.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
80.0ms
(pow x (/ 1 n))
73.0ms
(pow (+ x 1) (/ 1 n))

simplify4.0s

Calls
69 calls:
Slowest
479.0ms
(fma (* (cbrt (pow (+ x 1) (/ 1 n))) (cbrt (pow (+ x 1) (/ 1 n)))) (cbrt (pow (+ x 1) (/ 1 n))) (- (* (pow x (/ 1 n)) 1)))
415.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
263.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
196.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
195.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))))

prune888.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 19.0b

localize15.0ms

Local error

Found 4 expressions with local error:

1.8b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.8b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.8b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.8b
(pow x (/ 1 n))

rewrite55.0ms

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

series667.0ms

Calls
4 calls:
Slowest
230.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
184.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
181.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
73.0ms
(pow x (/ 1 n))

simplify8.6s

Calls
157 calls:
Slowest
388.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
372.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
358.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
322.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
254.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))))

prune2.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 19.0b

localize13.0ms

Local error

Found 3 expressions with local error:

1.8b
(- (exp (/ (log1p x) n)) (pow x (/ 1 n)))
0.8b
(pow x (/ 1 n))
0.1b
(/ (log1p x) n)

rewrite30.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
21.0ms
(- (exp (/ (log1p x) n)) (pow x (/ 1 n)))
6.0ms
(/ (log1p x) n)
1.0ms
(pow x (/ 1 n))

series364.0ms

Calls
3 calls:
Slowest
227.0ms
(- (exp (/ (log1p x) n)) (pow x (/ 1 n)))
71.0ms
(pow x (/ 1 n))
65.0ms
(/ (log1p x) n)

simplify3.3s

Calls
39 calls:
Slowest
422.0ms
(- (+ (/ (log -1) n) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) n)))
420.0ms
(- (+ (/ x n) (* 1/3 (/ (pow x 3) n))) (* 1/2 (/ (pow x 2) n)))
309.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
304.0ms
(- (/ 1 (* x n)) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ 1 x)) n)))
295.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))

prune645.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 18.8b

localize45.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
0.6b
(/ 1 (* n x))
0.6b
(/ 1 (* n x))
0.5b
(/ (- (log x)) (* n (* n x)))

rewrite29.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
20.0ms
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
5.0ms
(/ (- (log x)) (* n (* n x)))
1.0ms
(/ 1 (* n x))
1.0ms
(/ 1 (* n x))

series138.0ms

Calls
4 calls:
Slowest
66.0ms
(/ (- (log x)) (* n (* n x)))
54.0ms
(- (/ 1 (* n x)) (/ (- (log x)) (* n (* n x))))
12.0ms
(/ 1 (* n x))
7.0ms
(/ 1 (* n x))

simplify34.7s

Calls
168 calls:
Slowest
824.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
705.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
646.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
629.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))
622.0ms
(fma (- (/ (- (log x)) (* n x))) (/ 1 n) (* (/ (- (log x)) (* n x)) (/ 1 n)))

prune1.8s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 18.4b

regimes419.0ms

Accuracy

86.8% (1.6b remaining)

Error of 18.6b against oracle of 17.1b and baseline of 29.0b

bsearch16.0ms

end0.0ms

sample11.1s

Algorithm
intervals
Results
3.7s3148×body1280valid
1.7s1580×body640valid
1.2s1102×body10240exit
929.0ms884×body320valid
907.0ms613×body1280nan
734.0ms4647×body80valid
572.0ms652×body640nan
560.0ms4985×body80nan
207.0ms349×body320nan
162.0ms411×body160valid
57.0ms188×body160nan