Details

Time bar (total: 10.0m)

sample45.1s

Algorithm
intervals
Results
44.4s3138×body10240exit
378.0ms3395×pre80true
29.0ms248×body80valid
7.0ms1×body5120valid
5.0ms3×body1280valid
2.0ms5×body160valid

simplify286.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.8b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
553×add-exp-log
312×prod-exp
262×pow-exp
248×div-exp
183×pow-to-exp
23×add-sqr-sqrt *-un-lft-identity
18×unpow-prod-down
16×add-cbrt-cube
15×times-frac
13×add-cube-cbrt
8×add-log-exp
5×pow1
4×cbrt-undiv cbrt-unprod difference-of-squares
3×pow-unpow distribute-lft-out
2×sub-neg flip3-- diff-log associate-/r/ flip-- div-inv distribute-lft-out--
1×pow-pow frac-2neg flip3-+ clear-num associate-/r* flip-+ associate-/l* sqr-pow
Counts
4 → 249
Calls
4 calls:
30.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
30.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
20.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
185.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)))

series837.0ms

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

simplify899.0ms

Counts
261 → 261

prune391.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (/ 1.0 2.0) (* s c_n))
0.0b
(* (/ 1.0 2.0) (* s c_p))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log associate-*l* add-cbrt-cube
18×times-frac
16×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×pow1 prod-exp cbrt-unprod
6×pow-prod-down
4×cbrt-undiv div-exp
2×associate-*r* associate-*l/ *-commutative div-inv add-log-exp
Counts
2 → 66
Calls
2 calls:
27.0ms
(* (/ 1.0 2.0) (* s c_n))
23.0ms
(* (/ 1.0 2.0) (* s c_p))

series43.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(* (/ 1.0 2.0) (* s c_n))
21.0ms
(* (/ 1.0 2.0) (* s c_p))

simplify446.0ms

Counts
72 → 72

prune146.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.2b
(* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t)))
0.3b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
1.5b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
168×add-exp-log
88×prod-exp
64×div-exp
53×pow-exp
41×pow-to-exp
18×add-sqr-sqrt add-cbrt-cube
10×*-un-lft-identity
8×add-log-exp
6×pow1 add-cube-cbrt
5×cbrt-unprod
4×cbrt-undiv difference-of-squares
3×times-frac associate-*r* associate-*l*
2×sub-neg flip3-- flip3-+ diff-log associate-*r/ associate-*l/ associate-/r/ flip-- flip-+ distribute-lft-out--
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num associate-/r* *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 123
Calls
4 calls:
29.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
25.0ms
(* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t)))
30.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
164.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series990.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
108.0ms
(* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t)))
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
784.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify1.1s

Counts
135 → 135

prune388.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.5b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.2b
(* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t)))
0.2b
(- (pow 1.0 3) (pow (/ 1.0 (+ 1.0 (exp (- t)))) 3))
1.5b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t))) 1) (pow (/ (- (pow 1.0 3) (pow (/ 1.0 (+ 1.0 (exp (- t)))) 3)) (+ (* (/ 1.0 (+ 1.0 (exp (- t)))) (+ (/ 1.0 (+ 1.0 (exp (- t)))) 1.0)) (* 1.0 1.0))) c_n)))

rewrite532.0ms

Algorithm
rewrite-expression-head
Rules
228×add-exp-log
113×prod-exp
93×div-exp
76×pow-exp
59×add-sqr-sqrt
48×pow-to-exp
26×difference-of-squares
18×unpow-prod-down *-un-lft-identity cube-prod add-cbrt-cube
10×times-frac sqr-pow
8×add-log-exp
6×pow1 add-cube-cbrt distribute-lft-out--
5×cbrt-unprod
4×cbrt-undiv
3×associate-*r* associate-*l*
2×sub-neg flip3-- flip3-+ diff-log associate-*r/ associate-*l/ associate-/r/ flip-- flip-+
1×difference-cubes distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num associate-/r* *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 163
Calls
4 calls:
30.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
25.0ms
(* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t)))
84.0ms
(- (pow 1.0 3) (pow (/ 1.0 (+ 1.0 (exp (- t)))) 3))
384.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t))) 1) (pow (/ (- (pow 1.0 3) (pow (/ 1.0 (+ 1.0 (exp (- t)))) 3)) (+ (* (/ 1.0 (+ 1.0 (exp (- t)))) (+ (/ 1.0 (+ 1.0 (exp (- t)))) 1.0)) (* 1.0 1.0))) c_n)))

series1.5s

Counts
4 → 12
Calls
4 calls:
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
108.0ms
(* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t)))
76.0ms
(- (pow 1.0 3) (pow (/ 1.0 (+ 1.0 (exp (- t)))) 3))
1.3s
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log (/ 1.0 2.0)) (* (/ 1.0 2.0) t))) 1) (pow (/ (- (pow 1.0 3) (pow (/ 1.0 (+ 1.0 (exp (- t)))) 3)) (+ (* (/ 1.0 (+ 1.0 (exp (- t)))) (+ (/ 1.0 (+ 1.0 (exp (- t)))) 1.0)) (* 1.0 1.0))) c_n)))

simplify1.3s

Counts
175 → 175

prune609.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.5b

regimes206.0ms

bsearch1.0ms

simplify387.0ms

end0.0ms

sample9.1m

Algorithm
intervals
Results
9.0m42064×body10240exit
2.4s45409×pre80true
383.0ms3230×body80valid
85.0ms9×body5120valid
42.0ms23×body1280valid
24.0ms28×body640valid
14.0ms4×body2560valid
11.0ms41×body160valid
4.0ms9×body320valid