Details

Time bar (total: 56.7s)

sample40.7s

Algorithm
intervals
Results
40.5s3206×body10240exit
74.0ms3462×pre80true
21.0ms245×body80valid
8.0ms4×body1280valid
6.0ms1×body5120valid
2.0ms2×body640valid
1.0ms3×body160valid
1.0ms1×body320valid

simplify24.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05325
114725
285025
3500125

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.5b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (+ 1.0 (exp (- s))))
0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
1.7b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
2.9b
(/ (* (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)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
555×add-exp-log
312×prod-exp
262×pow-exp
249×div-exp
183×pow-to-exp
99×*-un-lft-identity
70×add-sqr-sqrt
65×add-cube-cbrt
62×times-frac
54×prod-diff
18×unpow-prod-down add-cbrt-cube
16×distribute-lft-out
10×associate-/r/
6×div-inv add-log-exp
5×pow1 cbrt-undiv flip3-+ associate-/r* flip-+
4×expm1-log1p-u cbrt-unprod log1p-expm1-u associate-/l*
3×pow-unpow fma-neg
2×frac-2neg clear-num difference-of-squares
1×sub-neg flip3-- pow-pow diff-log flip-- distribute-lft-out-- sqr-pow
Counts
4 → 332
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
11.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
7.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
40.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)))

series713.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
64.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
574.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)))

simplify131.0ms

Algorithm
egg-herbie
Counts
344 → 344
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
012388034
144106999
250016999

prune582.0ms

Filtered
344 candidates to 105 candidates (30.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.9b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (+ 1.0 (exp (- s))))
0.0b
(/ 1.0 (+ 1.0 (exp (- s))))
0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
1.2b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
170×add-exp-log
101×*-un-lft-identity
87×prod-exp
70×add-sqr-sqrt
66×div-exp
65×add-cube-cbrt
62×times-frac
54×prod-diff
53×pow-exp
41×pow-to-exp
20×add-cbrt-cube
17×distribute-lft-out
10×associate-/r/
9×associate-/r*
7×associate-/l*
6×cbrt-undiv div-inv add-log-exp
5×flip3-+ flip-+
4×pow1 expm1-log1p-u cbrt-unprod log1p-expm1-u
3×frac-2neg fma-neg clear-num
2×difference-of-squares
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 215
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
5.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
11.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
34.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series800.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
29.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
45.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
701.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify106.0ms

Algorithm
egg-herbie
Counts
227 → 227
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
09774881
139853848
250013844

prune679.0ms

Filtered
227 candidates to 105 candidates (46.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.9b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 0.5 (* s c_n))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×expm1-log1p-u associate-*r* *-commutative log1p-expm1-u add-log-exp
Counts
1 → 20
Calls
1 calls:
5.0ms
(* 0.5 (* s c_n))

series19.0ms

Counts
1 → 3
Calls
1 calls:
18.0ms
(* 0.5 (* s c_n))

simplify73.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
08877
132062
2123462
3343862
4500262

prune44.0ms

Filtered
23 candidates to 13 candidates (56.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.9b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.5 (* s c_n))
0.0b
(exp (* 0.5 (* s c_n)))
0.3b
(log (exp (* 0.5 (* s c_n))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
8×add-exp-log add-cbrt-cube
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×expm1-log1p-u log-prod associate-*l* pow-prod-down prod-exp log-pow cbrt-unprod log1p-expm1-u
2×exp-prod exp-to-pow
1×rem-log-exp associate-*r* *-commutative rem-exp-log
Counts
3 → 48
Calls
3 calls:
5.0ms
(* 0.5 (* s c_n))
2.0ms
(exp (* 0.5 (* s c_n)))
2.0ms
(log (exp (* 0.5 (* s c_n))))

series57.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(* 0.5 (* s c_n))
17.0ms
(exp (* 0.5 (* s c_n)))
22.0ms
(log (exp (* 0.5 (* s c_n))))

simplify56.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 3 (53.0ms)

IterNodesCost
0143207
1544176
22332176
35001175

prune122.0ms

Filtered
57 candidates to 37 candidates (64.9%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.9b

regimes521.0ms

bsearch11.8s

Steps
ItersRangePoint
9
-6.653690959974512e-06
-4.4890644611903895e-11
-7.610044783902136e-08