Details

Time bar (total: 5.3m)

sample284.0ms

Algorithm
intervals
Results
67.0ms82×body1280valid
65.0ms41×body10240exit
36.0ms59×body640valid
26.0ms28×body1280nan
19.0ms160×body80valid
15.0ms171×body80nan
15.0ms23×body640nan
13.0ms31×body320valid
5.0ms17×body160valid
4.0ms9×body320nan
1.0ms4×body160nan

simplify244.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.5b

localize29.0ms

Local error

Found 3 expressions with local error:

3.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.2b
(pow (+ x 1) (/ 1 n))
1.0b
(pow x (/ 1 n))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
73×unpow-prod-down
63×add-sqr-sqrt
56×prod-diff
51×add-cube-cbrt
26×pow-unpow
24×sqr-pow
18×times-frac
10×distribute-lft-out
9×difference-of-squares
8×fma-neg
5×pow1 add-exp-log add-log-exp
3×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u distribute-lft-out--
2×pow-to-exp pow-pow pow-exp div-inv
1×sub-neg flip3-- diff-log flip--
Counts
3 → 152
Calls
3 calls:
Slowest
88.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
9.0ms
(pow (+ x 1) (/ 1 n))
3.0ms
(pow x (/ 1 n))

series465.0ms

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

simplify41.2s

Counts
188 → 161
Calls
188 calls:
Slowest
628.0ms
(fma (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow (+ x 1) (/ 1 n))) (- (* (pow x (/ 1 n)) (pow 1 (/ 1 n)))))
599.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))
530.0ms
(+ (sqrt (pow (+ x 1) (/ 1 n))) (pow (sqrt x) (/ 1 n)))
522.0ms
(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
520.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 20.2b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
202×unpow-prod-down
179×*-un-lft-identity
168×prod-diff
144×add-sqr-sqrt
108×add-cube-cbrt
67×sqr-pow
28×distribute-lft-out
27×difference-of-squares
24×fma-neg
13×pow-unpow
10×add-log-exp
9×times-frac distribute-lft-out--
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×sub-neg flip3-- diff-log flip--
1×pow-to-exp pow-pow pow-exp div-inv
Counts
4 → 304
Calls
4 calls:
Slowest
119.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
85.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
71.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
14.0ms
(pow (+ x 1) (/ 1 n))

series904.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
294.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
252.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
251.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
107.0ms
(pow (+ x 1) (/ 1 n))

simplify2.0m

Counts
460 → 316
Calls
460 calls:
Slowest
819.0ms
(fma (- (pow (sqrt x) (/ 1 n))) (pow (sqrt x) (/ 1 n)) (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n))))
763.0ms
(fma (- (sqrt (pow x (/ 1 n)))) (sqrt (pow x (/ 1 n))) (* (sqrt (pow x (/ 1 n))) (sqrt (pow x (/ 1 n)))))
698.0ms
(- (pow (+ x 1) (/ (/ 1 n) 2)) (pow x (/ (/ 1 n) 2)))
595.0ms
(fma (pow 1 (/ 1 n)) (pow (+ x 1) (/ 1 n)) (- (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n)))))
564.0ms
(fma (pow (+ x 1) (/ (/ 1 n) 2)) (pow (+ x 1) (/ (/ 1 n) 2)) (- (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n)))))

prune4.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 20.2b

localize104.0ms

Local error

Found 4 expressions with local error:

4.3b
(fma (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow (+ x 1) (/ 1 n))) (- (* (pow x (/ (/ 1 n) 2)) (pow x (/ (/ 1 n) 2)))))
3.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
3.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.2b
(pow (+ x 1) (/ 1 n))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
136×unpow-prod-down
124×*-un-lft-identity
112×prod-diff
100×add-sqr-sqrt
76×add-cube-cbrt
45×sqr-pow
19×distribute-lft-out
18×difference-of-squares
16×fma-neg
13×pow-unpow
9×times-frac
8×add-log-exp
6×distribute-lft-out--
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
2×sub-neg flip3-- diff-log flip--
1×pow-to-exp pow-pow pow-exp fma-udef div-inv
Counts
4 → 224
Calls
4 calls:
Slowest
79.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
76.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
7.0ms
(pow (+ x 1) (/ 1 n))
0.0ms
(fma (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow (+ x 1) (/ 1 n))) (- (* (pow x (/ (/ 1 n) 2)) (pow x (/ (/ 1 n) 2)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
499.0ms
(fma (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow (+ x 1) (/ 1 n))) (- (* (pow x (/ (/ 1 n) 2)) (pow x (/ (/ 1 n) 2)))))
256.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
236.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
118.0ms
(pow (+ x 1) (/ 1 n))

simplify1.2m

Counts
317 → 236
Calls
317 calls:
Slowest
766.0ms
(fma (- (sqrt (pow x (/ 1 n)))) (sqrt (pow x (/ 1 n))) (* (sqrt (pow x (/ 1 n))) (sqrt (pow x (/ 1 n)))))
727.0ms
(fma (- (pow (sqrt x) (/ 1 n))) (pow (sqrt x) (/ 1 n)) (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n))))
629.0ms
(fma (pow 1 (/ 1 n)) (pow (+ x 1) (/ 1 n)) (- (* (pow x (/ 1 n)) (pow 1 (/ 1 n)))))
554.0ms
(fma (pow 1 (/ 1 n)) (pow (+ x 1) (/ 1 n)) (- (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n)))))
543.0ms
(fma (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow (+ x 1) (/ 1 n))) (- (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n)))))

prune3.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 20.2b

localize46.0ms

Local error

Found 4 expressions with local error:

3.6b
(log (/ (exp (pow (+ x 1) (/ 1 n))) (exp (pow x (/ 1 n)))))
3.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
3.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.2b
(pow (+ x 1) (/ 1 n))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
140×unpow-prod-down
138×*-un-lft-identity
112×prod-diff
107×add-sqr-sqrt
83×add-cube-cbrt
45×sqr-pow
20×distribute-lft-out
18×times-frac difference-of-squares
16×fma-neg
13×pow-unpow log-prod
8×add-log-exp
6×pow1 exp-prod add-exp-log distribute-lft-out--
4×expm1-log1p-u add-cbrt-cube log-pow insert-posit16 log1p-expm1-u
3×pow-div
2×sub-neg flip3-- diff-log rem-log-exp div-inv flip--
1×pow-to-exp log-div pow-pow div-exp pow-exp
Counts
4 → 243
Calls
4 calls:
Slowest
59.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
57.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
22.0ms
(log (/ (exp (pow (+ x 1) (/ 1 n))) (exp (pow x (/ 1 n)))))
7.0ms
(pow (+ x 1) (/ 1 n))

series671.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
236.0ms
(log (/ (exp (pow (+ x 1) (/ 1 n))) (exp (pow x (/ 1 n)))))
179.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
177.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
79.0ms
(pow (+ x 1) (/ 1 n))

simplify56.5s

Counts
336 → 255
Calls
336 calls:
Slowest
454.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
451.0ms
(fma (pow 1 (/ 1 n)) (pow (+ x 1) (/ 1 n)) (- (* (cbrt (pow x (/ 1 n))) (* (cbrt (pow x (/ 1 n))) (cbrt (pow x (/ 1 n)))))))
443.0ms
(fma 1 (pow (+ x 1) (/ 1 n)) (- (* (pow x (/ 1 n)) (pow 1 (/ 1 n)))))
365.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))
363.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))

prune3.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 20.1b

regimes417.0ms

Accuracy

89.7% (1.2b remaining)

Error of 19.2b against oracle of 18.1b and baseline of 29.5b

bsearch11.0ms

end0.0ms

sample7.7s

Algorithm
intervals
Results
3.1s3092×body1280valid
954.0ms1158×body10240exit
901.0ms1625×body640valid
548.0ms4717×body80valid
519.0ms642×body1280nan
435.0ms5107×body80nan
382.0ms626×body640nan
332.0ms862×body320valid
149.0ms363×body320nan
111.0ms493×body160valid
60.0ms186×body160nan