Details

Time bar (total: 4.6m)

sample36.4s

Algorithm
intervals
Results
36.2s2836×body10240exit
63.0ms3092×pre80true
21.0ms253×body80valid
2.0ms1×body1280valid
1.0ms2×body160valid

simplify24.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05325
114725
285025
3500125

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.5b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)
0.5b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.2b
(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)))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
557×add-exp-log
312×prod-exp
265×pow-exp
249×div-exp
185×pow-to-exp
42×unpow-prod-down
38×*-un-lft-identity
29×add-sqr-sqrt
26×times-frac
24×add-cube-cbrt
16×add-cbrt-cube
9×pow-unpow
7×pow1
6×distribute-lft-out
4×cbrt-undiv expm1-log1p-u associate-/r/ cbrt-unprod log1p-expm1-u add-log-exp
3×pow-pow div-inv sqr-pow
2×flip3-+ flip-+ difference-of-squares
1×frac-2neg clear-num associate-/r* associate-/l* distribute-lft-out--
Counts
4 → 280
Calls
4 calls:
32.0ms
(pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)
11.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
12.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
93.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)))

series831.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)
73.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
72.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
596.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)))

simplify110.0ms

Algorithm
egg-herbie
Counts
292 → 292
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
010076085
133375843
250025843

prune500.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 0.5 (* s c_n))

rewrite6.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:
6.0ms
(* 0.5 (* s c_n))

series20.0ms

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

simplify72.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
08877
132062
2123462
3343862
4500262

prune49.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
170×add-exp-log
87×prod-exp
86×*-un-lft-identity
68×add-sqr-sqrt
65×div-exp
58×add-cube-cbrt
56×pow-exp
54×prod-diff
51×times-frac
43×pow-to-exp
24×unpow-prod-down
16×add-cbrt-cube
12×distribute-lft-out
8×associate-/r/
6×pow1 pow-unpow add-log-exp
5×div-inv
4×cbrt-undiv expm1-log1p-u flip3-+ cbrt-unprod flip-+ log1p-expm1-u difference-of-squares
3×fma-neg
2×pow-pow distribute-lft-out-- sqr-pow
1×sub-neg flip3-- frac-2neg diff-log clear-num associate-/r* flip-- associate-/l*
Counts
4 → 202
Calls
4 calls:
23.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
32.0ms
(pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)
10.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
81.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)))

series950.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
90.0ms
(pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)
73.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
733.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)))

simplify121.0ms

Algorithm
egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
011734936
148123905
250013905

prune642.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite268.0ms

Algorithm
rewrite-expression-head
Rules
493×add-exp-log
261×prod-exp
193×div-exp
161×pow-exp
124×pow-to-exp
40×add-cbrt-cube
19×*-un-lft-identity
18×unpow-prod-down
15×times-frac
13×add-sqr-sqrt add-cube-cbrt
12×cbrt-undiv cbrt-unprod
5×pow1
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×pow-unpow frac-2neg clear-num associate-/r* distribute-lft-out associate-/l*
2×associate-/r/
1×pow-pow flip3-+ flip-+ sqr-pow
Counts
4 → 248
Calls
4 calls:
10.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
81.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)))
80.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)))
81.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)))

series2.3s

Counts
4 → 12
Calls
4 calls:
74.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
739.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)))
743.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)))
737.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)))

simplify113.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
06946627
128585986
250035974

prune626.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes281.0ms

bsearch3.6s

Steps
ItersRangePoint
6
-3.444845483985724e-119
-2.422812615369833e-120
-2.469112325337647e-120

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04982
14982

end0.0ms

sample3.8m

Algorithm
intervals
Results
3.8m18376×body10240exit
380.0ms19848×pre80true
118.0ms1429×body80valid
15.0ms10×body1280valid
9.0ms3×body2560valid
8.0ms12×body640valid
3.0ms13×body160valid
2.0ms5×body320valid