Details

Time bar (total: 3.2m)

sample314.0ms

Algorithm
intervals
Results
107.0ms109×body1280valid
48.0ms38×body10240exit
32.0ms49×body640valid
24.0ms31×body640nan
20.0ms138×body80valid
18.0ms17×body1280nan
17.0ms174×body80nan
14.0ms29×body320valid
5.0ms10×body320nan
5.0ms17×body160valid
2.0ms7×body160nan

simplify280.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize28.0ms

Local error

Found 3 expressions with local error:

1.7b
(pow (+ x 1) (/ 1 n))
1.0b
(pow x (/ 1 n))
1.0b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

rewrite96.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
76.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
13.0ms
(pow (+ x 1) (/ 1 n))
5.0ms
(pow x (/ 1 n))

series443.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
272.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
113.0ms
(pow (+ x 1) (/ 1 n))
57.0ms
(pow x (/ 1 n))

simplify39.1s

Counts
188 → 161
Calls
188 calls:
Slowest
637.0ms
(fma (- (pow (sqrt x) (/ 1 n))) (pow (sqrt x) (/ 1 n)) (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n))))
604.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))
552.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))
499.0ms
(fma (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow (+ x 1) (/ 1 n))) (- (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n)))))
499.0ms
(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))

prune1.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 18.7b

localize41.0ms

Local error

Found 4 expressions with local error:

1.7b
(pow (+ x 1) (/ 1 n))
1.0b
(pow x (/ 1 n))
1.0b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.9b
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
135×unpow-prod-down
130×*-un-lft-identity
112×prod-diff
108×add-sqr-sqrt
84×add-cube-cbrt
61×log-prod
58×exp-sum
45×sqr-pow
26×pow-unpow
18×times-frac distribute-lft-out difference-of-squares
16×log-pow
15×exp-prod
8×fma-neg
7×pow1
6×add-exp-log distribute-lft-out-- add-log-exp
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
2×pow-to-exp sub-neg pow-pow pow-exp div-inv
1×log-div flip3-- exp-diff diff-log rem-log-exp flip--
Counts
4 → 241
Calls
4 calls:
Slowest
130.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
64.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
11.0ms
(pow (+ x 1) (/ 1 n))
3.0ms
(pow x (/ 1 n))

series708.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
256.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
240.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
121.0ms
(pow (+ x 1) (/ 1 n))
91.0ms
(pow x (/ 1 n))

simplify1.1m

Counts
269 → 253
Calls
269 calls:
Slowest
733.0ms
(log (exp (fma (* (cbrt (pow (+ x 1) (/ 1 n))) (cbrt (pow (+ x 1) (/ 1 n)))) (cbrt (pow (+ x 1) (/ 1 n))) (- (* (sqrt (pow x (/ 1 n))) (sqrt (pow x (/ 1 n))))))))
666.0ms
(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
661.0ms
(fma (- (pow (sqrt x) (/ 1 n))) (pow (sqrt x) (/ 1 n)) (* (pow (sqrt x) (/ 1 n)) (pow (sqrt x) (/ 1 n))))
599.0ms
(log (exp (fma (pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n)) (pow (cbrt (+ x 1)) (/ 1 n)) (- (* (pow (cbrt x) (/ 1 n)) (pow (* (cbrt x) (cbrt x)) (/ 1 n)))))))
545.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (pow (sqrt x) (/ 1 n)))

prune3.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 18.7b

localize51.0ms

Local error

Found 4 expressions with local error:

2.2b
(log (pow x (/ 1 n)))
1.7b
(pow (+ x 1) (/ 1 n))
1.0b
(pow x (/ 1 n))
1.0b
(- (pow (+ x 1) (/ 1 n)) (exp (log (pow x (/ 1 n)))))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
94×*-un-lft-identity
85×add-sqr-sqrt unpow-prod-down
80×prod-diff
72×log-prod
68×add-cube-cbrt
65×exp-sum
29×sqr-pow
26×pow-unpow
18×times-frac
12×distribute-lft-out difference-of-squares
8×fma-neg add-exp-log
6×pow1 add-log-exp
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×pow-to-exp rem-log-exp pow-exp
2×pow-pow div-inv
1×sub-neg flip3-- diff-log log-pow flip-- distribute-lft-out--
Counts
4 → 198
Calls
4 calls:
Slowest
93.0ms
(- (pow (+ x 1) (/ 1 n)) (exp (log (pow x (/ 1 n)))))
14.0ms
(pow (+ x 1) (/ 1 n))
6.0ms
(log (pow x (/ 1 n)))
5.0ms
(pow x (/ 1 n))

series579.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
280.0ms
(- (pow (+ x 1) (/ 1 n)) (exp (log (pow x (/ 1 n)))))
120.0ms
(log (pow x (/ 1 n)))
106.0ms
(pow (+ x 1) (/ 1 n))
73.0ms
(pow x (/ 1 n))

simplify1.0m

Counts
252 → 210
Calls
252 calls:
Slowest
827.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (exp (log (sqrt (pow x (/ 1 n))))))
805.0ms
(fma (* (cbrt (pow (+ x 1) (/ 1 n))) (cbrt (pow (+ x 1) (/ 1 n)))) (cbrt (pow (+ x 1) (/ 1 n))) (- (* (cbrt (exp (log (pow x (/ 1 n))))) (* (cbrt (exp (log (pow x (/ 1 n))))) (cbrt (exp (log (pow x (/ 1 n)))))))))
630.0ms
(fma (pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n)) (pow (cbrt (+ x 1)) (/ 1 n)) (- (* (exp (log (pow (cbrt x) (/ 1 n)))) (exp (log (pow (* (cbrt x) (cbrt x)) (/ 1 n)))))))
596.0ms
(fma (- (exp (log (pow x (/ 1 n))))) 1 (* (exp (log (pow x (/ 1 n)))) 1))
583.0ms
(+ (pow (sqrt (+ x 1)) (/ 1 n)) (exp (log (pow x (/ (/ 1 n) 2)))))

prune3.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 18.7b

localize71.0ms

Local error

Found 4 expressions with local error:

1.7b
(pow (+ x 1) (/ 1 n))
1.7b
(pow (+ x 1) (/ 1 n))
1.7b
(pow (+ x 1) (/ 1 n))
1.0b
(pow x (/ 1 n))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
52×pow-unpow
42×*-un-lft-identity
36×add-sqr-sqrt times-frac add-cube-cbrt
15×unpow-prod-down
8×pow1 add-exp-log
4×expm1-log1p-u pow-to-exp pow-pow add-cbrt-cube pow-exp insert-posit16 log1p-expm1-u div-inv add-log-exp sqr-pow
3×distribute-lft-out
Counts
4 → 123
Calls
4 calls:
Slowest
14.0ms
(pow (+ x 1) (/ 1 n))
14.0ms
(pow (+ x 1) (/ 1 n))
13.0ms
(pow (+ x 1) (/ 1 n))
5.0ms
(pow x (/ 1 n))

series386.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
107.0ms
(pow (+ x 1) (/ 1 n))
100.0ms
(pow (+ x 1) (/ 1 n))
95.0ms
(pow (+ x 1) (/ 1 n))
84.0ms
(pow x (/ 1 n))

simplify3.3s

Counts
86 → 135
Calls
86 calls:
Slowest
422.0ms
(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
343.0ms
(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
301.0ms
(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
290.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
248.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 18.7b

regimes343.0ms

Accuracy

89.5% (1.2b remaining)

Error of 19.6b against oracle of 18.4b and baseline of 29.5b

bsearch454.0ms

end0.0ms

sample10.4s

Algorithm
intervals
Results
3.2s3225×body1280valid
1.6s1572×body640valid
1.2s1178×body10240exit
1.2s4682×body80valid
812.0ms606×body1280nan
564.0ms5068×body80nan
560.0ms653×body640nan
480.0ms846×body320valid
174.0ms442×body160valid
158.0ms340×body320nan
51.0ms191×body160nan