Details

Time bar (total: 1.8m)

sample42.5s

Algorithm
intervals
Results
42.2s3389×body10240exit
88.0ms3646×pre80true
21.0ms249×body80valid
3.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)))

rewrite164.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:
11.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
22.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
11.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
97.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)))

series924.0ms

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

prune613.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))))

rewrite7.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:
6.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))))

simplify45.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 3 (42.0ms)

IterNodesCost
0119166
1417140
21818137
35001132

prune82.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)))

series396.0ms

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

simplify94.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 3 (89.0ms)

IterNodesCost
0212478
1738427
23536370
35002365

prune250.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.8b

localize9.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))))

series342.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))))))
234.0ms
(expm1 (log1p (* 0.5 (* s c_n))))

simplify57.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0215289
1688244
22775232
35001220

prune130.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.8b

regimes250.0ms

bsearch6.1s

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

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06266
16266

end0.0ms

sample55.6s

Algorithm
intervals
Results
55.3s4569×body10240exit
99.0ms4907×pre80true
26.0ms324×body80valid
8.0ms2×body2560valid
6.0ms3×body1280valid
3.0ms4×body640valid
1.0ms2×body320valid
1.0ms3×body160valid