Details

Time bar (total: 6.5s)

sample49.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
5.0ms256×pre80true
4.0ms224×pre80false

simplify11.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
2189
done189

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize32.0ms

Local error

Found 1 expressions with local error:

7.3b
(/ (+ a b) (- 1.0 (* a b)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
distribute-lft-out associate-/l*
associate-/r* add-cbrt-cube add-exp-log
associate-/r/ associate-/l/
pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- add-log-exp
Counts
1 → 35
Calls
1 calls:
44.0ms
(/ (+ a b) (- 1.0 (* a b)))

series88.0ms

Counts
1 → 3
Calls
1 calls:
88.0ms
(/ (+ a b) (- 1.0 (* a b)))

simplify845.0ms

Counts
38 → 38
Iterations

Useful iterations: done (842.0ms)

IterNodesCost
084600
1215585
2928543
done5001541

prune177.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ 1 (/ (- 1.0 (* a b)) (+ a b)))
7.2b
(/ (- 1.0 (* a b)) (+ a b))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
94×*-un-lft-identity
62×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
16×distribute-lft-out
15×add-exp-log
11×associate-/r/
add-cbrt-cube
div-exp
div-inv associate-/l*
flip3-+ flip-+
cbrt-undiv
pow1
rec-exp clear-num frac-2neg 1-exp add-log-exp associate-/l/
flip3-- div-sub pow-flip flip-- inv-pow
Counts
2 → 132
Calls
2 calls:
39.0ms
(/ 1 (/ (- 1.0 (* a b)) (+ a b)))
38.0ms
(/ (- 1.0 (* a b)) (+ a b))

series315.0ms

Counts
2 → 6
Calls
2 calls:
84.0ms
(/ 1 (/ (- 1.0 (* a b)) (+ a b)))
231.0ms
(/ (- 1.0 (* a b)) (+ a b))

simplify2.6s

Counts
138 → 138
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02022650
15402348
234962222
done50002175

prune390.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

regimes107.0ms

Accuracy

63.5% (2.8b remaining)

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

bsearch133.0ms

Steps
ItersRangePoint
9
8.333801048120717e-46
4.418896076470367e-39
4.35485736957138e-39
8
-1.6410517352338118e+192
-3.7080620464004215e+189
-1.1039655744561852e+191

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02249
13235
done3235

end0.0ms

sample1.7s

Algorithm
intervals
Results
435.0ms7999×body80valid
300.0ms8000×pre80true
192.0ms8023×pre80false
0.0msbody2560valid