Details

Time bar (total: 2.9m)

sample49.3s

Algorithm
intervals
Results
48.9s3330×body10240exit
127.0ms3586×pre80true
31.0ms252×body80valid
4.0ms2×body1280valid
1.0ms1×body640valid
0.0ms1×body160valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5001
3847
2147
153
022

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (+ 1.0 (exp (- t))))
1.2b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.5b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
2.5b
(/ (* (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)))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
558×add-exp-log
312×prod-exp
264×pow-exp
250×div-exp
184×pow-to-exp
51×*-un-lft-identity
37×times-frac
36×unpow-prod-down
31×add-sqr-sqrt add-cube-cbrt
18×add-cbrt-cube
10×distribute-lft-out
6×pow1 pow-unpow associate-/r/
5×cbrt-undiv associate-/r*
4×expm1-log1p-u cbrt-unprod log1p-expm1-u div-inv associate-/l* add-log-exp
3×flip3-+ flip-+
2×clear-num pow-pow frac-2neg sqr-pow
Counts
4 → 293
Calls
4 calls:
13.0ms
(/ 1.0 (+ 1.0 (exp (- t))))
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
133.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)))

series774.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(/ 1.0 (+ 1.0 (exp (- t))))
71.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
71.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
604.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)))

simplify1.8s

Counts
305 → 305
Iterations
IterNodes
done5000
24460
11223
0366

prune855.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune37.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize76.0ms

Local error

Found 4 expressions with local error:

1.2b
(log (/ 1.0 (+ (exp (- s)) 1.0)))
1.5b
(log (/ 1.0 (+ (exp (- t)) 1.0)))
9.9b
(- (* (log (- 1.0 (/ 1.0 (+ (exp (- s)) 1.0)))) c_n) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))
33.0b
(fma c_p (log (/ 1.0 (+ (exp (- s)) 1.0))) (- (* (log (- 1.0 (/ 1.0 (+ (exp (- s)) 1.0)))) c_n) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
36×log-prod
33×*-un-lft-identity
24×times-frac
21×add-sqr-sqrt add-cube-cbrt
10×add-exp-log
6×pow1 distribute-lft-out add-log-exp
4×expm1-log1p-u add-cbrt-cube rem-log-exp associate-/r/ log1p-expm1-u
3×prod-diff
2×log-div flip3-+ div-exp log-pow flip-+ fma-udef div-inv
1×sub-neg flip3-- fma-neg diff-log flip-- associate--r+
Counts
4 → 91
Calls
4 calls:
11.0ms
(log (/ 1.0 (+ (exp (- s)) 1.0)))
11.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
6.0ms
(- (* (log (- 1.0 (/ 1.0 (+ (exp (- s)) 1.0)))) c_n) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))
0.0ms
(fma c_p (log (/ 1.0 (+ (exp (- s)) 1.0))) (- (* (log (- 1.0 (/ 1.0 (+ (exp (- s)) 1.0)))) c_n) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n))))

series809.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(log (/ 1.0 (+ (exp (- s)) 1.0)))
71.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
333.0ms
(- (* (log (- 1.0 (/ 1.0 (+ (exp (- s)) 1.0)))) c_n) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))
333.0ms
(fma c_p (log (/ 1.0 (+ (exp (- s)) 1.0))) (- (* (log (- 1.0 (/ 1.0 (+ (exp (- s)) 1.0)))) c_n) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n))))

simplify1.1s

Counts
103 → 103
Iterations
IterNodes
done5000
22054
1605
0280

prune709.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp (- s)) 1.0)
0.2b
(* c_p (log 0.5))
1.2b
(log (/ 1.0 (+ (exp (- s)) 1.0)))
41.9b
(fma c_p (log (/ 1.0 (+ (exp (- s)) 1.0))) (- (* 0.5 (* t c_n)) (fma 0.5 (* c_n s) (* c_p (log 0.5)))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
24×log-prod
19×add-sqr-sqrt
17×add-cube-cbrt
12×times-frac
9×add-exp-log
8×pow1
6×add-cbrt-cube add-log-exp
4×expm1-log1p-u associate-*r* log1p-expm1-u distribute-lft-out
3×distribute-rgt-in fma-def distribute-lft-in associate-*l*
2×flip3-+ rem-log-exp associate-/r/ log-pow flip-+
1×+-commutative log-div sum-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
4 → 85
Calls
4 calls:
13.0ms
(+ (exp (- s)) 1.0)
6.0ms
(* c_p (log 0.5))
11.0ms
(log (/ 1.0 (+ (exp (- s)) 1.0)))
0.0ms
(fma c_p (log (/ 1.0 (+ (exp (- s)) 1.0))) (- (* 0.5 (* t c_n)) (fma 0.5 (* c_n s) (* c_p (log 0.5)))))

series419.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(+ (exp (- s)) 1.0)
168.0ms
(* c_p (log 0.5))
73.0ms
(log (/ 1.0 (+ (exp (- s)) 1.0)))
167.0ms
(fma c_p (log (/ 1.0 (+ (exp (- s)) 1.0))) (- (* 0.5 (* t c_n)) (fma 0.5 (* c_n s) (* c_p (log 0.5)))))

simplify914.0ms

Counts
97 → 97
Iterations
IterNodes
done5001
21203
1387
0185

prune521.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes918.0ms

bsearch2.0ms

simplify6.0ms

Iterations
IterNodes
done44
144
033

end0.0ms

sample1.9m

Algorithm
intervals
Results
1.9m8880×body10240exit
1.2s9565×pre80true
93.0ms672×body80valid
6.0ms3×body1280valid
2.0ms3×body640valid
2.0ms6×body160valid
1.0ms1×body320valid