Details

Time bar (total: 41.5s)

sample15.8s

Algorithm
intervals
Results
15.1s1583×body10240exit
411.0ms1806×body80overflowed
104.0ms3646×pre80true
51.0ms249×body80valid
4.0ms2×body1280valid
3.0ms1×body2560valid
1.0ms3×body160valid
1.0ms2×body320valid

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: 6.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite161.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×cbrt-undiv expm1-log1p-u cbrt-unprod log1p-expm1-u
3×fma-neg
2×pow-pow difference-of-squares sqr-pow
1×sub-neg flip3-- frac-2neg diff-log clear-num associate-/r* flip-- associate-/l* distribute-lft-out--
Counts
4 → 332
Calls
4 calls:
10.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
22.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
10.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
94.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)))

series752.0ms

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

simplify132.0ms

Algorithm
egg-herbie
Counts
344 → 344
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
012818124
143807090
250017090

prune598.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 0.5 (* s c_n))
0.0b
(fma (* 0.5 s) c_p (- 1 (* 0.5 (* s c_n))))

rewrite6.0ms

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

series74.0ms

Counts
2 → 6
Calls
2 calls:
18.0ms
(* 0.5 (* s c_n))
56.0ms
(fma (* 0.5 s) c_p (- 1 (* 0.5 (* s c_n))))

simplify46.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 3 (43.0ms)

IterNodesCost
0119166
1417140
21818137
35001132

prune80.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.8b

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* 0.5 (* s c_n))) (cbrt (* 0.5 (* s c_n))))
25.8b
(cbrt (* 0.5 (* s c_n)))
25.8b
(cbrt (* 0.5 (* s c_n)))
25.8b
(cbrt (* 0.5 (* s c_n)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log
4×expm1-log1p-u swap-sqr associate-*r* associate-*l* add-cbrt-cube log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 66
Calls
4 calls:
7.0ms
(* (cbrt (* 0.5 (* s c_n))) (cbrt (* 0.5 (* s c_n))))
4.0ms
(cbrt (* 0.5 (* s c_n)))
4.0ms
(cbrt (* 0.5 (* s c_n)))
4.0ms
(cbrt (* 0.5 (* s c_n)))

series393.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(* (cbrt (* 0.5 (* s c_n))) (cbrt (* 0.5 (* s c_n))))
88.0ms
(cbrt (* 0.5 (* s c_n)))
87.0ms
(cbrt (* 0.5 (* s c_n)))
87.0ms
(cbrt (* 0.5 (* s c_n)))

simplify95.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 3 (90.0ms)

IterNodesCost
0212478
1738427
23536370
35002365

prune244.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.8b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.5 (* s c_n))
0.0b
(fma (* 0.5 s) c_p (- 1 (expm1 (log1p (* 0.5 (* s c_n))))))
0.2b
(expm1 (log1p (* 0.5 (* s c_n))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
1×expm1-log1p associate-*r* *-commutative fma-udef expm1-udef
Counts
3 → 41
Calls
3 calls:
6.0ms
(* 0.5 (* s c_n))
0.0ms
(fma (* 0.5 s) c_p (- 1 (expm1 (log1p (* 0.5 (* s c_n))))))
0.0ms
(expm1 (log1p (* 0.5 (* s c_n))))

series340.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(* 0.5 (* s c_n))
90.0ms
(fma (* 0.5 s) c_p (- 1 (expm1 (log1p (* 0.5 (* s c_n))))))
232.0ms
(expm1 (log1p (* 0.5 (* s c_n))))

simplify62.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0215289
1688244
22775232
35001220

prune122.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.8b

regimes246.0ms

bsearch1.9s

Steps
ItersRangePoint
8
0.0005850058467282994
30.07761708423463
19.786462679016903
4
2.714844958703177e-162
4.776588496579418e-162
2.7741014599241647e-162

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05740
15740

end0.0ms

sample20.3s

Algorithm
intervals
Results
19.4s2189×body10240exit
511.0ms2380×body80overflowed
121.0ms4907×pre80true
64.0ms324×body80valid
9.0ms2×body2560valid
7.0ms3×body1280valid
4.0ms4×body640valid
1.0ms3×body160valid
1.0ms2×body320valid