Details

Time bar (total: 11.4s)

sample141.0ms

Algorithm
intervals
Results
38.0ms837×body80nan
13.0ms256×body80valid

simplify64.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
74×add-sqr-sqrt
62×*-un-lft-identity
48×times-frac
44×add-cube-cbrt
39×prod-diff
14×log-prod
13×fma-neg
12×difference-of-squares
8×add-exp-log
6×difference-of-sqr-1 div-inv
4×expm1-def distribute-lft-out-- add-log-exp
3×pow1
2×expm1-log1p-u log-div flip3-- add-cbrt-cube div-exp insert-posit16 log1p-expm1-u flip--
1×rec-exp sub-neg diff-log 1-exp rem-log-exp log-pow
Counts
2 → 110
Calls
2 calls:
Slowest
25.0ms
(- (/ 1 x) 1)
14.0ms
(log (- (/ 1 x) 1))

series56.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
38.0ms
(log (- (/ 1 x) 1))
18.0ms
(- (/ 1 x) 1)

simplify2.8s

Counts
116 → 116

prune858.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (/ 1 x) 1))
0.1b
(sqrt (- (/ 1 x) 1))
0.0b
(- (/ 1 x) 1)
0.0b
(- (/ 1 x) 1)

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
150×add-sqr-sqrt
124×*-un-lft-identity
96×times-frac
88×add-cube-cbrt
78×prod-diff
28×sqrt-prod
26×fma-neg
24×difference-of-squares
14×add-exp-log
12×difference-of-sqr-1 div-inv
8×expm1-def distribute-lft-out-- add-log-exp
6×pow1
4×expm1-log1p-u flip3-- add-cbrt-cube sqrt-div div-exp insert-posit16 log1p-expm1-u flip--
2×rem-sqrt-square rec-exp sub-neg sqrt-pow1 pow1/2 diff-log 1-exp
Counts
4 → 222
Calls
4 calls:
Slowest
31.0ms
(sqrt (- (/ 1 x) 1))
26.0ms
(sqrt (- (/ 1 x) 1))
24.0ms
(- (/ 1 x) 1)
24.0ms
(- (/ 1 x) 1)

series135.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
53.0ms
(sqrt (- (/ 1 x) 1))
41.0ms
(sqrt (- (/ 1 x) 1))
24.0ms
(- (/ 1 x) 1)
18.0ms
(- (/ 1 x) 1)

simplify1.0s

Counts
234 → 234

prune2.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes172.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.8s24071×body80nan
685.0ms8000×body80valid