Details

Time bar (total: 9.4m)

sample53.2s

Algorithm
intervals
Results
52.7s3532×body10240exit
186.0ms3789×pre80true
51.0ms249×body80valid
22.0ms4×body160valid
5.0ms2×body1280valid
1.0ms1×body640valid
1.0ms1×body320valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
48112
3742
2141
152
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.0b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
3.2b
(/ (* (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)))

rewrite220.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:
35.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
144.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)))

series660.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
57.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
57.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
519.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.6s

Counts
553 → 553
Iterations
IterNodes
23330
11351
0555

prune1.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* c_p (log1p (exp (- t))))
0.3b
(log1p (exp (- s)))
1.0b
(log1p (exp (- t)))
11.6b
(- (- (* (log1p (/ -1 (+ 1 (exp (- s))))) c_n) (* c_p (log1p (exp (- s))))) (fma (log1p (/ -1 (+ (exp (- t)) 1))) c_n (- (* c_p (log1p (exp (- t)))))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×*-un-lft-identity
13×add-cube-cbrt
10×prod-diff
9×add-log-exp
6×expm1-log1p-u pow1 add-cbrt-cube add-exp-log
4×insert-posit16 log1p-expm1-u
3×fma-neg diff-log associate-*r* associate-*l* associate--l+
2×log1p-udef sub-neg log1p-expm1
1×associate--l- flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 80
Calls
4 calls:
6.0ms
(* c_p (log1p (exp (- t))))
0.0ms
(log1p (exp (- s)))
0.0ms
(log1p (exp (- t)))
36.0ms
(- (- (* (log1p (/ -1 (+ 1 (exp (- s))))) c_n) (* c_p (log1p (exp (- s))))) (fma (log1p (/ -1 (+ (exp (- t)) 1))) c_n (- (* c_p (log1p (exp (- t)))))))

series438.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* c_p (log1p (exp (- t))))
49.0ms
(log1p (exp (- s)))
48.0ms
(log1p (exp (- t)))
290.0ms
(- (- (* (log1p (/ -1 (+ 1 (exp (- s))))) c_n) (* c_p (log1p (exp (- s))))) (fma (log1p (/ -1 (+ (exp (- t)) 1))) c_n (- (* c_p (log1p (exp (- t)))))))

simplify960.0ms

Counts
92 → 92
Iterations
IterNodes
32736
2867
1376
0194

prune1.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

0.2b
(* c_p (log1p (exp (- s))))
0.3b
(* c_p (fma -1/2 t (fma (* t t) 1/8 (log 2))))
0.3b
(log1p (exp (- s)))
11.6b
(- (- (* (log1p (/ -1 (+ 1 (exp (- s))))) c_n) (* c_p (log1p (exp (- s))))) (fma (log1p (/ -1 (+ (exp (- t)) 1))) c_n (- (* c_p (fma -1/2 t (fma (* t t) 1/8 (log 2)))))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
17×*-un-lft-identity
15×add-cube-cbrt
10×prod-diff
9×add-log-exp
8×pow1 add-cbrt-cube add-exp-log
6×associate-*r* associate-*l*
5×expm1-log1p-u
4×insert-posit16 log1p-expm1-u
3×fma-neg diff-log associate--l+ fma-udef
2×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×associate--l- distribute-rgt-in log1p-udef distribute-lft-in flip3-- log1p-expm1 flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 91
Calls
4 calls:
6.0ms
(* c_p (log1p (exp (- s))))
6.0ms
(* c_p (fma -1/2 t (fma (* t t) 1/8 (log 2))))
0.0ms
(log1p (exp (- s)))
37.0ms
(- (- (* (log1p (/ -1 (+ 1 (exp (- s))))) c_n) (* c_p (log1p (exp (- s))))) (fma (log1p (/ -1 (+ (exp (- t)) 1))) c_n (- (* c_p (fma -1/2 t (fma (* t t) 1/8 (log 2)))))))

series547.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* c_p (log1p (exp (- s))))
73.0ms
(* c_p (fma -1/2 t (fma (* t t) 1/8 (log 2))))
50.0ms
(log1p (exp (- s)))
371.0ms
(- (- (* (log1p (/ -1 (+ 1 (exp (- s))))) c_n) (* c_p (log1p (exp (- s))))) (fma (log1p (/ -1 (+ (exp (- t)) 1))) c_n (- (* c_p (fma -1/2 t (fma (* t t) 1/8 (log 2)))))))

simplify1.4s

Counts
103 → 103
Iterations
IterNodes
33767
2976
1397
0190

prune1.4s

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

regimes497.0ms

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
343
243
141
032

end0.0ms

sample8.3m

Algorithm
intervals
Results
8.2m36325×body10240exit
2.1s39126×pre80true
613.0ms2707×body80valid
100.0ms9×body5120valid
56.0ms25×body1280valid
22.0ms19×body640valid
14.0ms30×body160valid
11.0ms3×body2560valid
5.0ms8×body320valid