Details

Time bar (total: 1.3m)

sample39.0s

Algorithm
intervals
Results
38.8s3144×body10240exit
76.0ms3400×pre80true
22.0ms247×body80valid
8.0ms4×body1280valid
1.0ms1×body640valid
1.0ms4×body160valid

simplify677.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02243
15343
214743
372843
done500043

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize22.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))))
2.4b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
4.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)))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
557×add-exp-log
312×prod-exp
262×pow-exp
250×div-exp
183×pow-to-exp
53×*-un-lft-identity
37×times-frac
31×add-sqr-sqrt add-cube-cbrt
20×add-cbrt-cube
18×unpow-prod-down
11×distribute-lft-out
9×associate-/r*
7×associate-/l*
6×cbrt-undiv associate-/r/
5×pow1
4×expm1-log1p-u cbrt-unprod log1p-expm1-u div-inv add-log-exp
3×pow-unpow frac-2neg flip3-+ clear-num flip-+
1×pow-pow sqr-pow
Counts
4 → 293
Calls
4 calls:
8.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
9.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
10.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
90.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)))

series686.0ms

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

simplify756.0ms

Counts
305 → 305
Iterations

Useful iterations: 2 (295.0ms)

IterNodesCost
032410909
188410115
223809801
done50019801

prune582.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
172×add-exp-log
87×prod-exp
67×div-exp
55×*-un-lft-identity
53×pow-exp
41×pow-to-exp
37×times-frac
31×add-sqr-sqrt add-cube-cbrt
22×add-cbrt-cube
13×associate-/r*
12×distribute-lft-out
10×associate-/l*
7×cbrt-undiv
6×associate-/r/
4×pow1 expm1-log1p-u frac-2neg clear-num cbrt-unprod log1p-expm1-u div-inv add-log-exp
3×flip3-+ flip-+
Counts
4 → 176
Calls
4 calls:
10.0ms
(/ 1.0 (+ 1.0 (exp (- t))))
8.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
8.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
79.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)))

series767.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ 1.0 (+ 1.0 (exp (- t))))
29.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
25.0ms
(/ 1.0 (+ 1.0 (exp (- s))))
689.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)))

simplify977.0ms

Counts
188 → 188
Iterations

Useful iterations: 2 (455.0ms)

IterNodesCost
02805372
17415031
225324627
done50004627

prune663.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

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)

series52.0ms

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

simplify3.7s

Counts
36 → 36
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
052276
1110270
2338227
31031227
42525227
done5000227

prune79.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 1.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1/2 (* (pow (log 0.5) 2) (pow c_p 2)) (fma 0.5 (* s c_p) 1))
0.2b
(* (pow (log 0.5) 2) (pow c_p 2))
0.2b
(fma 0.5 (* s c_p) 1)
1.0b
(pow (log 0.5) 2)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
19×unpow-prod-down
17×add-exp-log
16×unswap-sqr
11×unpow2 sqr-pow
10×add-cube-cbrt *-un-lft-identity
9×associate-*l* prod-exp
8×associate-*r*
7×pow1 pow-to-exp pow-exp
6×add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow
2×log-pow fma-udef
1×pow-pow pow-prod-down *-commutative cbrt-unprod
Counts
4 → 95
Calls
4 calls:
0.0ms
(fma 1/2 (* (pow (log 0.5) 2) (pow c_p 2)) (fma 0.5 (* s c_p) 1))
9.0ms
(* (pow (log 0.5) 2) (pow c_p 2))
0.0ms
(fma 0.5 (* s c_p) 1)
1.0ms
(pow (log 0.5) 2)

series268.0ms

Counts
4 → 10
Calls
4 calls:
83.0ms
(fma 1/2 (* (pow (log 0.5) 2) (pow c_p 2)) (fma 0.5 (* s c_p) 1))
150.0ms
(* (pow (log 0.5) 2) (pow c_p 2))
35.0ms
(fma 0.5 (* s c_p) 1)
0.0ms
(pow (log 0.5) 2)

simplify1.7s

Counts
105 → 105
Iterations

Useful iterations: 3 (732.0ms)

IterNodesCost
01201224
12321095
2841911
33062902
done5001902

prune240.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 1.0b

regimes385.0ms

bsearch22.6s

Steps
ItersRangePoint
12
66230935.316549905
1.317735661468664e+52
1089626354.9279778
4
1.4962517392744832e-65
2.952938552295555e-65
2.894827657829975e-65

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
038108
15165
done5165

end0.0ms

sample7.2s

Algorithm
intervals
Results
7.1s611×body10240exit
12.0ms646×pre80true
3.0ms35×body80valid