Details

Time bar (total: 16.3s)

sample35.0ms

Algorithm
intervals
Results
10.0ms58×body1280valid
8.0ms36×body640valid
5.0ms139×body80valid
2.0ms15×body320valid
1.0msbody160valid

simplify164.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
11213
21613
31913
42113
52713
63913
75813
87713
99913
1011313
1111913
1212313
done12313

prune1.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.7b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x 1.0))
0.0b
(/ (+ x 1.0) (- x 1.0))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
52×times-frac
45×add-sqr-sqrt
23×add-cube-cbrt
18×distribute-lft-out distribute-lft-out--
associate-/r* difference-of-squares
add-exp-log add-cbrt-cube associate-/l*
add-log-exp
associate-/r/
pow1
cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv associate-/l/
sub-neg diff-log frac-sub
Counts
3 → 104
Calls
3 calls:
23.0ms
(/ x (+ x 1.0))
55.0ms
(/ (+ x 1.0) (- x 1.0))
150.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series267.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(/ x (+ x 1.0))
49.0ms
(/ (+ x 1.0) (- x 1.0))
161.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify2.1s

Counts
113 → 113
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01761584
13901503
210221427
323881414
done50001412

prune363.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x 1.0) (- x 1.0))
0.0b
(/ x (+ x 1.0))
2.9b
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite668.0ms

Algorithm
rewrite-expression-head
Rules
148×*-un-lft-identity
72×times-frac
60×add-sqr-sqrt
31×distribute-lft-out--
26×add-cube-cbrt distribute-lft-out
17×log-pow
16×exp-prod
13×difference-of-squares
associate-/r*
add-exp-log add-cbrt-cube
associate-/l*
add-log-exp
pow1 log-prod
associate-/r/
cbrt-undiv sub-neg flip3-- frac-2neg flip3-+ div-exp exp-sum clear-num flip-- flip-+ div-inv associate-/l/
log-div exp-diff diff-log rem-log-exp frac-sub
Counts
4 → 135
Calls
4 calls:
33.0ms
(/ (+ x 1.0) (- x 1.0))
14.0ms
(/ x (+ x 1.0))
424.0ms
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
185.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series449.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(/ (+ x 1.0) (- x 1.0))
43.0ms
(/ x (+ x 1.0))
169.0ms
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
165.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify2.1s

Counts
147 → 147
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02112126
14381956
210861832
324801817
done50011813

prune422.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite469.0ms

Algorithm
rewrite-expression-head
Rules
189×*-un-lft-identity
80×times-frac
53×add-sqr-sqrt
52×distribute-lft-out--
32×distribute-lft-out
16×cbrt-prod difference-of-squares
10×add-log-exp
add-cube-cbrt
pow1 add-exp-log flip3-- frac-sub add-cbrt-cube flip--
sub-neg cbrt-div diff-log
pow1/3
Counts
4 → 105
Calls
4 calls:
90.0ms
(cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
111.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
113.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
142.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series869.0ms

Counts
4 → 12
Calls
4 calls:
335.0ms
(cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
184.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
163.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
187.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify2.1s

Counts
117 → 117
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01472593
13472512
28952375
326922329
done50002286

prune351.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize39.0ms

Local error

Found 4 expressions with local error:

2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite475.0ms

Algorithm
rewrite-expression-head
Rules
188×*-un-lft-identity
80×times-frac
52×add-sqr-sqrt distribute-lft-out--
32×distribute-lft-out
16×difference-of-squares
12×add-log-exp
pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log frac-sub add-cbrt-cube flip--
Counts
4 → 104
Calls
4 calls:
111.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
114.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
99.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
145.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series739.0ms

Counts
4 → 12
Calls
4 calls:
206.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
163.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
159.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
211.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify2.2s

Counts
116 → 116
Iterations

Useful iterations: 4 (1.1s)

IterNodesCost
0662356
11642304
24162168
310762160
433072136
done50002136

prune426.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.2b

regimes72.0ms

Accuracy

100% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 29.0b

bsearch119.0ms

Steps
ItersRangePoint
8
1902.9075791774285
6884452.324493753
11573.998562574065
9
-3592450.023809973
-45.38980787391071
-12435.329388671693

simplify18.0ms

Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
02553
13139
done3139

end0.0ms

sample1.7s

Algorithm
intervals
Results
748.0ms1264×body640valid
408.0ms1673×body1280valid
226.0ms4157×body80valid
73.0ms602×body320valid
27.0ms304×body160valid