Details

Time bar (total: 3.5m)

sample47.1s

Algorithm
intervals
Results
46.8s3117×body10240exit
91.0ms3373×pre80true
31.0ms252×body80valid
2.0ms1×body1280valid
1.0ms1×body320valid
0.0ms2×body160valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0221425
1531425
21431425
37441425
done50021425

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.8b

localize60.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
0.7b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
0.7b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.7b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
556×add-exp-log
312×prod-exp
264×pow-exp
249×div-exp
184×pow-to-exp
97×*-un-lft-identity
70×add-sqr-sqrt
65×add-cube-cbrt
62×times-frac
54×prod-diff
36×unpow-prod-down
16×add-cbrt-cube
15×distribute-lft-out
10×associate-/r/
6×pow1 pow-unpow div-inv add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u cbrt-undiv cbrt-unprod log1p-expm1-u
3×fma-neg
2×pow-pow difference-of-squares sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l* distribute-lft-out--
Counts
4 → 332
Calls
4 calls:
32.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
16.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
137.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series798.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
70.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
71.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
606.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify5.0s

Counts
344 → 344
Iterations

Useful iterations: done (4.9s)

IterNodesCost
0477360243
11424298046
23905288084
done5113277096

prune999.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
1.0b
(log (/ 1.0 (+ 1.0 (exp (- t)))))
1.2b
(log (/ 1.0 (+ 1.0 (exp (- s)))))
9.5b
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
104×*-un-lft-identity
77×add-sqr-sqrt
70×add-cube-cbrt
63×prod-diff
61×times-frac
36×log-prod
15×distribute-lft-out
10×add-exp-log associate-/r/
8×add-log-exp
6×pow1 fma-neg
5×flip3-+ flip-+ div-inv
4×expm1-log1p-u add-cbrt-cube rem-log-exp log1p-expm1-u
3×difference-of-squares
2×log-div sub-neg flip3-- diff-log div-exp log-pow fma-udef flip-- distribute-lft-out--
1×associate--l+ associate--r+
Counts
4 → 166
Calls
4 calls:
32.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
7.0ms
(log (/ 1.0 (+ 1.0 (exp (- t)))))
8.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
9.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

series594.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
74.0ms
(log (/ 1.0 (+ 1.0 (exp (- t)))))
73.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
397.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

simplify2.7s

Counts
178 → 178
Iterations

Useful iterations: done (2.6s)

IterNodesCost
0414133478
1945123534
22402114428
done5000107265

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
1.2b
(log (/ 1.0 (+ 1.0 (exp (- s)))))
9.5b
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (fma t 0.5 (- (log 0.5) (* (* (/ t 0.5) (/ t 0.5)) 0.03125))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
153×*-un-lft-identity
117×add-sqr-sqrt prod-diff
105×add-cube-cbrt
86×times-frac
21×distribute-lft-out
18×log-prod
14×associate-/r/
10×add-log-exp
9×fma-neg
7×flip3-+ add-exp-log flip-+ div-inv
5×pow1 difference-of-squares
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×sub-neg flip3-- diff-log flip-- distribute-lft-out--
2×rem-log-exp fma-udef
1×log-div div-exp associate--l+ log-pow associate--r+
Counts
4 → 209
Calls
4 calls:
32.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
33.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
7.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
5.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (fma t 0.5 (- (log 0.5) (* (* (/ t 0.5) (/ t 0.5)) 0.03125))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

series640.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
74.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
464.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (fma t 0.5 (- (log 0.5) (* (* (/ t 0.5) (/ t 0.5)) 0.03125))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

simplify4.3s

Counts
221 → 221
Iterations

Useful iterations: done (4.3s)

IterNodesCost
0510187445
11239172439
23351156442
done5000144129

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize103.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
9.5b
(- (fma (- (fma s 0.5 (log 0.5)) (* 0.03125 (* (/ s 0.5) (/ s 0.5)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (fma t 0.5 (- (log 0.5) (* (* (/ t 0.5) (/ t 0.5)) 0.03125))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
141×*-un-lft-identity
117×prod-diff
113×add-sqr-sqrt
99×add-cube-cbrt
74×times-frac
18×distribute-lft-out
12×associate-/r/
10×add-log-exp
9×fma-neg
7×pow1
6×flip3-+ add-cbrt-cube add-exp-log flip-+ div-inv
5×difference-of-squares
4×expm1-log1p-u associate-*l* log1p-expm1-u
3×sub-neg flip3-- diff-log associate-*r* flip-- distribute-lft-out--
2×fma-udef
1×pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod associate--r+ unswap-sqr
Counts
4 → 199
Calls
4 calls:
6.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
32.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
31.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
5.0ms
(- (fma (- (fma s 0.5 (log 0.5)) (* 0.03125 (* (/ s 0.5) (/ s 0.5)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (fma t 0.5 (- (log 0.5) (* (* (/ t 0.5) (/ t 0.5)) 0.03125))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

series567.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
48.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
51.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
341.0ms
(- (fma (- (fma s 0.5 (log 0.5)) (* 0.03125 (* (/ s 0.5) (/ s 0.5)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma (fma t 0.5 (- (log 0.5) (* (* (/ t 0.5) (/ t 0.5)) 0.03125))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

simplify3.8s

Counts
211 → 211
Iterations

Useful iterations: done (3.7s)

IterNodesCost
0497184506
11215169782
23373154783
done5014141765

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes644.0ms

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0361407
1421407
done421407

end0.0ms

sample2.2m

Algorithm
intervals
Results
2.2m10584×body10240exit
413.0ms11412×pre80true
83.0ms808×body80valid
7.0ms2×body2560valid
5.0ms1×body5120valid
3.0ms2×body1280valid
2.0ms3×body640valid
2.0ms9×body160valid
1.0ms3×body320valid