Details

Time bar (total: 7.7s)

sample30.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify11.0ms

Counts
1 → 1
Iterations
IterNodes
done18
218
111
07

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.2b

localize17.0ms

Local error

Found 1 expressions with local error:

8.2b
(/ (+ m t) (- 1.0 (* t m)))

rewrite45.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:
42.0ms
(/ (+ m t) (- 1.0 (* t m)))

series92.0ms

Counts
1 → 3
Calls
1 calls:
92.0ms
(/ (+ m t) (- 1.0 (* t m)))

simplify1.2s

Counts
38 → 38
Iterations
IterNodes
done5001
2981
1215
085

prune259.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ 1 (/ (- 1.0 (* t m)) (+ m t)))
8.2b
(/ (- 1.0 (* t m)) (+ m t))

rewrite89.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 (* t m)) (+ m t)))
38.0ms
(/ (- 1.0 (* t m)) (+ m t))

series323.0ms

Counts
2 → 6
Calls
2 calls:
84.0ms
(/ 1 (/ (- 1.0 (* t m)) (+ m t)))
239.0ms
(/ (- 1.0 (* t m)) (+ m t))

simplify3.7s

Counts
138 → 138
Iterations
IterNodes
done5001
23562
1540
0203

prune821.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes243.0ms

Accuracy

96.1% (0.3b remaining)

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

bsearch2.0ms

simplify17.0ms

Iterations
IterNodes
done47
347
241
134
022

end0.0ms

sample768.0ms

Algorithm
intervals
Results
507.0ms7999×body80valid
0.0msbody2560valid