Details

Time bar (total: 3.4m)

sample55.3s

Algorithm
intervals
Results
54.7s3409×body10240exit
291.0ms3666×pre80true
88.0ms246×body80valid
13.0ms4×body1280valid
4.0ms7×body160valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
48112
3742
2141
152
022

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
2.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
4.4b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

rewrite459.0ms

Algorithm
rewrite-expression-head
Rules
1192×add-exp-log
692×pow-exp
684×prod-exp
593×div-exp
344×pow-to-exp
116×rec-exp 1-exp
103×*-un-lft-identity
76×add-sqr-sqrt
65×times-frac add-cube-cbrt
54×prod-diff
36×unpow-prod-down
16×add-cbrt-cube
15×distribute-lft-out
10×associate-/r/
8×pow1
7×div-inv
6×pow-unpow pow-pow add-log-exp difference-of-squares
5×flip3-+ flip-+
4×expm1-log1p-u cbrt-undiv cbrt-unprod insert-posit16 log1p-expm1-u
3×fma-neg
2×pow-flip distribute-lft-out-- inv-pow sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l*
Counts
4 → 541
Calls
4 calls:
34.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
385.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

series694.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
60.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
60.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
545.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

simplify1.8s

Counts
553 → 553
Iterations
IterNodes
23382
11351
0555

prune7.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

0.4b
(log (- 1 (/ 1 (+ 1 (exp (- t))))))
1.0b
(log (/ 1 (+ 1 (exp (- s)))))
2.2b
(log (/ 1 (+ 1 (exp (- t)))))
8.3b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
47×log-prod
41×add-sqr-sqrt
28×times-frac add-cube-cbrt
16×add-log-exp
15×add-exp-log
9×pow1 rem-log-exp prod-diff
7×log-pow difference-of-squares
6×flip3-+ flip-+ distribute-lft-out
4×expm1-log1p-u log-div sum-log add-cbrt-cube diff-log div-exp associate-/r/ frac-sub insert-posit16 log1p-expm1-u
3×fma-neg div-inv distribute-lft-out--
2×rec-exp sub-neg log1p-def flip3-- 1-exp log-rec pow-flip flip-- inv-pow
1×associate--l+ associate--r+
Counts
4 → 139
Calls
4 calls:
33.0ms
(log (- 1 (/ 1 (+ 1 (exp (- t))))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))
7.0ms
(log (/ 1 (+ 1 (exp (- t)))))
61.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

series500.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(log (- 1 (/ 1 (+ 1 (exp (- t))))))
59.0ms
(log (/ 1 (+ 1 (exp (- s)))))
55.0ms
(log (/ 1 (+ 1 (exp (- t)))))
318.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

simplify959.0ms

Counts
151 → 151
Iterations
IterNodes
22727
1906
0362

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize81.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.4b
(log (- 1 (/ 1 (+ 1 (exp (- t))))))
1.0b
(log (/ 1 (+ 1 (exp (- s)))))
8.3b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma 1/2 t (log 1/2)) (* (* t t) 1/8)) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
105×*-un-lft-identity
87×add-sqr-sqrt
63×prod-diff add-cube-cbrt
56×times-frac
29×log-prod
18×add-log-exp
13×difference-of-squares
12×distribute-lft-out
10×add-exp-log
8×flip3-+ associate-/r/ flip-+
7×pow1
6×fma-neg div-inv
5×diff-log rem-log-exp distribute-lft-out--
4×expm1-log1p-u sum-log add-cbrt-cube log-pow frac-sub insert-posit16 log1p-expm1-u
3×log-div sub-neg flip3-- flip--
2×log1p-def div-exp
1×rec-exp 1-exp log-rec associate--l+ pow-flip associate--r+ inv-pow
Counts
4 → 182
Calls
4 calls:
34.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
32.0ms
(log (- 1 (/ 1 (+ 1 (exp (- t))))))
7.0ms
(log (/ 1 (+ 1 (exp (- s)))))
65.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma 1/2 t (log 1/2)) (* (* t t) 1/8)) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

series545.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
68.0ms
(log (- 1 (/ 1 (+ 1 (exp (- t))))))
55.0ms
(log (/ 1 (+ 1 (exp (- s)))))
394.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma 1/2 t (log 1/2)) (* (* t t) 1/8)) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

simplify1.6s

Counts
194 → 194
Iterations
IterNodes
23093
11132
0443

prune3.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
10
00

prune0.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes345.0ms

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
242
142
033

end0.0ms

sample2.0m

Algorithm
intervals
Results
2.0m8703×body10240exit
437.0ms9368×pre80true
122.0ms642×body80valid
16.0ms7×body1280valid
12.0ms1×body2560valid
5.0ms11×body160valid
3.0ms2×body640valid
1.0ms2×body320valid