Details

Time bar (total: 10.0m)

sample48.4s

Algorithm
intervals
Results
48.0s3219×body10240exit
91.0ms3475×pre80true
31.0ms243×body80valid
20.0ms1×body5120valid
11.0ms4×body1280valid
4.0ms3×body640valid
1.0ms3×body320valid
0.0ms2×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: 7.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.5b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
2.7b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
2.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)))

rewrite218.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:
31.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
16.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
134.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)))

series789.0ms

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

Counts
344 → 344
Iterations
IterNodes
done5000
11517
0477

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.6b

localize80.0ms

Local error

Found 4 expressions with local error:

0.3b
(log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0))))
0.5b
(log (/ 1.0 (+ 1.0 (exp (- s)))))
2.7b
(log (/ 1.0 (+ (exp (- t)) 1.0)))
10.6b
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
42×log-prod
35×add-sqr-sqrt
28×add-cube-cbrt
25×times-frac
11×add-exp-log
9×prod-diff
7×pow1
6×distribute-lft-out add-log-exp
5×rem-log-exp
4×expm1-log1p-u log-div add-cbrt-cube associate-/r/ log1p-expm1-u
3×fma-neg log-pow difference-of-squares
2×flip3-+ flip3-- div-exp flip-+ fma-udef div-inv flip-- distribute-lft-out--
1×sub-neg diff-log associate--l+ associate--r+
Counts
4 → 111
Calls
4 calls:
46.0ms
(log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0))))
8.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
11.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
5.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))

series629.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0))))
72.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
73.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
387.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))

simplify1.0s

Counts
123 → 123
Iterations
IterNodes
done5000
22129
1655
0313

prune842.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize84.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
36×log-prod
33×add-sqr-sqrt
29×add-cube-cbrt
24×times-frac
12×add-exp-log
9×pow1 prod-diff
6×add-cbrt-cube distribute-lft-out add-log-exp
4×expm1-log1p-u rem-log-exp associate-*l* associate-/r/ log1p-expm1-u
3×fma-neg associate-*r* log-pow
2×log-div flip3-+ div-exp flip-+ fma-udef div-inv
1×sub-neg flip3-- diff-log pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 113
Calls
4 calls:
6.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)
8.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
11.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
5.0ms
(- (fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (- (log 0.5) (fma (* (/ t 0.5) (/ t 0.5)) 0.03125 (* 0.5 t))) c_n)))

series711.0ms

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

simplify1.1s

Counts
125 → 125
Iterations
IterNodes
done5001
22170
1650
0305

prune957.0ms

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
done0
00

prune0.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes382.0ms

bsearch4.0s

Steps
ItersRangePoint
7
-1633.4135693106575
-54.23239259073968
-126.54595203432804

simplify11.0ms

Iterations
IterNodes
done56
156
047

end0.0ms

sample8.9m

Algorithm
intervals
Results
8.9m41350×body10240exit
2.8s44568×pre80true
344.0ms3099×body80valid
274.0ms6×body2560valid
109.0ms9×body5120valid
46.0ms24×body1280valid
16.0ms18×body640valid
12.0ms41×body160valid
9.0ms20×body320valid