Details

Time bar (total: 6.7s)

sample306.0ms

Algorithm
intervals
Results
103.0ms775×body80nan
58.0ms256×body80valid

simplify40.0ms

Calls
1 calls:
Slowest
40.0ms
(- (log (- (/ 1 x) 1)))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 1 expressions with local error:

0.2b
(log (- (/ 1 x) 1))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×log-prod
3×add-sqr-sqrt
2×pow1 log-div *-un-lft-identity add-exp-log add-cube-cbrt
1×expm1-log1p-u flip3-- add-cbrt-cube difference-of-sqr-1 rem-log-exp log-pow insert-posit16 log1p-expm1-u flip-- add-log-exp
Calls
1 calls:
Slowest
9.0ms
(log (- (/ 1 x) 1))

series32.0ms

Calls
1 calls:
Slowest
32.0ms
(log (- (/ 1 x) 1))

simplify1.2s

Calls
10 calls:
Slowest
407.0ms
(log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
193.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
153.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
135.0ms
(log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
129.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))

prune177.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(sqrt (/ 1 x))
0.3b
(sqrt (/ 1 x))
0.0b
(+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))
0.0b
(- (sqrt (/ 1 x)) 1)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×sqrt-prod
13×*-un-lft-identity
10×add-cube-cbrt
7×fma-neg
5×pow1 associate-+r+ log-prod add-exp-log add-log-exp
4×expm1-log1p-u add-cbrt-cube difference-of-sqr-1 insert-posit16 log1p-expm1-u
3×fma-def div-inv
2×rem-sqrt-square log-div associate-+r- sum-log flip3-- pow1/2 sqrt-div flip-- distribute-lft-out
1×+-commutative expm1-def log1p-udef sub-neg flip3-+ log-pow flip-+
Calls
4 calls:
Slowest
12.0ms
(- (sqrt (/ 1 x)) 1)
10.0ms
(+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))
1.0ms
(sqrt (/ 1 x))
1.0ms
(sqrt (/ 1 x))

series126.0ms

Calls
4 calls:
Slowest
83.0ms
(+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))
17.0ms
(sqrt (/ 1 x))
17.0ms
(- (sqrt (/ 1 x)) 1)
10.0ms
(sqrt (/ 1 x))

simplify756.0ms

Calls
46 calls:
Slowest
241.0ms
(* (+ 1 (sqrt (/ 1 x))) (- (sqrt (/ 1 x)) 1))
75.0ms
(log (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))
56.0ms
(* (exp (log1p (sqrt (/ 1 x)))) (- (sqrt (/ 1 x)) 1))
26.0ms
(log (cbrt (- (sqrt (/ 1 x)) 1)))
26.0ms
(+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))

prune958.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune1.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes68.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.9s23860×body80nan
677.0ms8000×body80valid