Details

Time bar (total: 15.9s)

sample124.0ms

Algorithm
intervals
Results
50.0ms88×body1280valid
26.0ms240×body80nan
11.0ms128×body80valid
8.0ms21×body640valid
4.0ms14×body320valid
1.0msbody160valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1109
2119
done119

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(log (+ x (/ 1.0 x)))
1.9b
(- (log x) (log (+ x (/ 1.0 x))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
11×log-prod
add-sqr-sqrt pow1
log-pow add-cube-cbrt
log-div associate--r+ distribute-lft-out--
associate--l+ add-exp-log
flip3-+ add-cbrt-cube flip-+ distribute-lft-out associate--r- add-log-exp
sub-neg flip3-- diff-log rem-log-exp flip-- difference-of-squares
Counts
2 → 41
Calls
2 calls:
17.0ms
(log (+ x (/ 1.0 x)))
34.0ms
(- (log x) (log (+ x (/ 1.0 x))))

series1.1s

Counts
2 → 6
Calls
2 calls:
260.0ms
(log (+ x (/ 1.0 x)))
830.0ms
(- (log x) (log (+ x (/ 1.0 x))))

simplify4.6s

Counts
47 → 47
Iterations

Useful iterations: 2 (230.0ms)

IterNodesCost
0108649
1244618
2787563
34362563
done5000563

prune262.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize44.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
24.3b
(+ (log (* (cbrt x) (cbrt x))) (- (log (cbrt x)) (log (+ x (/ 1.0 x)))))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
29×*-un-lft-identity
22×log-pow
15×distribute-lft-out
12×cbrt-prod distribute-lft-out--
10×associate-+r+
add-sqr-sqrt add-cube-cbrt
log-prod
associate--l+
pow-prod-down add-log-exp
add-cbrt-cube add-exp-log
pow1/3
log-div sum-log flip3-+ flip-+ associate--r-
+-commutative associate-+l+ associate-+r- sub-neg diff-log
Counts
4 → 72
Calls
4 calls:
1.0ms
(cbrt x)
2.0ms
(cbrt x)
1.0ms
(cbrt x)
109.0ms
(+ (log (* (cbrt x) (cbrt x))) (- (log (cbrt x)) (log (+ x (/ 1.0 x)))))

series2.0s

Counts
4 → 12
Calls
4 calls:
414.0ms
(cbrt x)
403.0ms
(cbrt x)
402.0ms
(cbrt x)
770.0ms
(+ (log (* (cbrt x) (cbrt x))) (- (log (cbrt x)) (log (+ x (/ 1.0 x)))))

simplify1.2s

Counts
84 → 84
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01261055
1329922
21459718
done5001644

prune445.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

regimes78.0ms

Accuracy

100% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 15.7b

bsearch86.0ms

Steps
ItersRangePoint
9
0.5400889846942166
2062480.9278555235
68.44198867238042

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02230
12330
done2330

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.6s7966×body80nan
1.9s2925×body1280valid
341.0ms631×body640valid
332.0ms3975×body80valid
91.0ms320×body320valid
24.0ms149×body160valid