Details

Time bar (total: 11.5s)

sample197.0ms

Algorithm
intervals
Results
50.0ms634×body80nan
26.0ms256×body80valid

simplify26.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
25.0ms
(- (log (- (/ 1 x) 1)))

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite24.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
13.0ms
(- (/ 1 x) 1)
7.0ms
(log (- (/ 1 x) 1))

series58.0ms

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

simplify4.7s

Counts
134 → 116
Calls
134 calls:
Slowest
217.0ms
(log (- (pow (/ 1 x) 3) (pow 1 3)))
165.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
153.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
142.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
135.0ms
(log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))

prune956.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1))
0.1b
(sqrt (/ 1 x))
0.1b
(sqrt (/ 1 x))
0.0b
(log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
26×sqrt-prod
22×times-frac
21×*-un-lft-identity
19×add-cube-cbrt
9×pow1
6×rem-sqrt-square sqrt-pow1
5×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×log-prod
2×pow1/2 sqrt-div div-inv pow-flip inv-pow
1×rem-log-exp log-pow fma-udef
Counts
4 → 88
Calls
4 calls:
Slowest
3.0ms
(sqrt (/ 1 x))
2.0ms
(sqrt (/ 1 x))
2.0ms
(log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))
0.0ms
(fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1))

series801.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
531.0ms
(fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1))
207.0ms
(log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))
39.0ms
(sqrt (/ 1 x))
24.0ms
(sqrt (/ 1 x))

simplify727.0ms

Counts
52 → 100
Calls
52 calls:
Slowest
85.0ms
(log (sqrt (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1))))
83.0ms
(log (* (cbrt (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1))) (cbrt (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))
70.0ms
(sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))
63.0ms
(sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))))
33.0ms
(sqrt (/ (sqrt 1) (* (cbrt x) (cbrt x))))

prune915.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes182.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.6s23777×body80nan
731.0ms8000×body80valid