Details

Time bar (total: 17.1s)

sample141.0ms

Algorithm
intervals
Results
66.0ms104×body1280valid
34.0ms95×body640valid
20.0ms276×body80nan
6.0ms24×body320valid
4.0ms27×body160valid
0.0ms6×body80valid

simplify36.0ms

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize26.0ms

Local error

Found 2 expressions with local error:

6.2b
(log (/ (- 1 eps) (+ 1 eps)))
0.0b
(/ (- 1 eps) (+ 1 eps))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
52×add-sqr-sqrt
48×times-frac
30×log-prod
25×add-cube-cbrt
18×difference-of-squares
13×distribute-lft-out
9×distribute-lft-out--
7×add-exp-log
6×associate-/l*
4×associate-/r* add-cbrt-cube associate-/r/
3×pow1
2×expm1-log1p-u flip3-+ div-exp rem-log-exp flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-- div-sub log-pow flip--
Counts
2 → 98
Calls
2 calls:
Slowest
31.0ms
(/ (- 1 eps) (+ 1 eps))
27.0ms
(log (/ (- 1 eps) (+ 1 eps)))

series124.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
100.0ms
(log (/ (- 1 eps) (+ 1 eps)))
25.0ms
(/ (- 1 eps) (+ 1 eps))

simplify946.0ms

Counts
104 → 104

prune622.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.2b
(* 2/3 (* eps eps))
0.0b
(* eps (+ (* 2/3 (* eps eps)) 2))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×associate-*l*
5×*-un-lft-identity add-cube-cbrt
4×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u associate-*r/ *-commutative insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+
Counts
2 → 47
Calls
2 calls:
Slowest
64.0ms
(* eps (+ (* 2/3 (* eps eps)) 2))
19.0ms
(* 2/3 (* eps eps))

series173.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
120.0ms
(* eps (+ (* 2/3 (* eps eps)) 2))
52.0ms
(* 2/3 (* eps eps))

simplify1.3s

Counts
53 → 53

prune564.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 2 expressions with local error:

0.2b
(* 2/3 (* eps eps))
0.1b
(* (* 2/3 (* eps eps)) eps)

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt
4×*-un-lft-identity associate-*r* associate-*l* add-cube-cbrt
2×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
1×unswap-sqr
Counts
2 → 46
Calls
2 calls:
Slowest
45.0ms
(* (* 2/3 (* eps eps)) eps)
25.0ms
(* 2/3 (* eps eps))

series110.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
74.0ms
(* (* 2/3 (* eps eps)) eps)
36.0ms
(* 2/3 (* eps eps))

simplify5.4s

Counts
52 → 52

prune452.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

6.3b
(log (- 1 eps))
0.0b
(- (log (- 1 eps)) (log1p eps))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
20×add-sqr-sqrt
12×log-prod prod-diff add-cube-cbrt
8×pow1
6×associate--l+ log-pow
5×difference-of-squares
4×log-div fma-neg distribute-lft-out--
3×flip3-- add-exp-log flip-- add-log-exp
2×associate--l- expm1-log1p-u sub-neg log1p-def add-cbrt-cube diff-log insert-posit16 log1p-expm1-u
1×log1p-udef rem-log-exp
Counts
2 → 65
Calls
2 calls:
Slowest
17.0ms
(- (log (- 1 eps)) (log1p eps))
7.0ms
(log (- 1 eps))

series183.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
143.0ms
(- (log (- 1 eps)) (log1p eps))
40.0ms
(log (- 1 eps))

simplify717.0ms

Counts
71 → 71

prune312.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes30.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample5.6s

Algorithm
intervals
Results
2.8s3426×body1280valid
1.5s2494×body640valid
515.0ms7886×body80nan
391.0ms1216×body320valid
137.0ms661×body160valid
19.0ms203×body80valid