Details

Time bar (total: 1.9m)

sample58.7s

Algorithm
intervals
Results
58.2s3336×body10240exit
230.0ms3592×pre80true
82.0ms4×body5120valid
55.0ms241×body80valid
4.0ms8×body160valid
2.0ms2×body320valid
1.0ms1×body640valid

simplify132.0ms

Calls
1 calls:
Slowest
131.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize42.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
0.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
476×add-exp-log
312×prod-exp
264×pow-exp
184×pow-to-exp
169×div-exp
80×rec-exp
16×add-cbrt-cube
12×unpow-prod-down
8×pow1
6×add-sqr-sqrt pow-pow *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u cbrt-undiv associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×div-inv
2×flip3-+ flip-+ pow-flip inv-pow
1×clear-num associate-/r* sub-neg frac-2neg times-frac flip3-- flip-- associate-/l*
Calls
4 calls:
Slowest
21.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
2.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
2.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

series567.0ms

Calls
4 calls:
Slowest
452.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
48.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
47.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
19.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify45.0s

Calls
211 calls:
Slowest
1.1s
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
863.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
799.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (pow (/ 1 (+ 1 (exp (- t)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
703.0ms
(/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))
596.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (+ (* (- (log (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

prune3.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize37.0ms

Local error

Found 4 expressions with local error:

47.7b
(fma (log1p (exp (- t))) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))
8.9b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.7b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
9×prod-diff
8×add-log-exp
6×expm1-log1p-u log1p-udef
4×pow1 add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u
3×fma-neg
2×log1p-expm1
1×sub-neg flip3-- fma-udef flip-- distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
5.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.0ms
(log1p (exp (- t)))
0.0ms
(log1p (exp (- s)))
0.0ms
(fma (log1p (exp (- t))) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))

series476.0ms

Calls
4 calls:
Slowest
297.0ms
(fma (log1p (exp (- t))) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))
84.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
47.0ms
(log1p (exp (- s)))
47.0ms
(log1p (exp (- t)))

simplify2.1s

Calls
41 calls:
Slowest
265.0ms
(- (+ (* c_p (log (+ (exp (* -1 t)) 1))) (* c_n (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))) (+ (* c_p (log (+ (exp (* -1 s)) 1))) (* (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) c_n)))
239.0ms
(- (+ (* c_n (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (* c_p (log (+ (exp (- t)) 1)))) (+ (* c_p (log (+ (exp (- s)) 1))) (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
160.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
78.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t))
76.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize21.0ms

Local error

Found 4 expressions with local error:

39.3b
(fma (log1p (exp (- t))) c_p (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p)))
0.7b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))
0.2b
(* (log1p (exp (- s))) c_p)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
6×expm1-log1p-u
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l*
2×log1p-udef log1p-expm1
1×*-commutative fma-udef
Calls
4 calls:
Slowest
3.0ms
(* (log1p (exp (- s))) c_p)
0.0ms
(log1p (exp (- t)))
0.0ms
(log1p (exp (- s)))
0.0ms
(fma (log1p (exp (- t))) c_p (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p)))

series269.0ms

Calls
4 calls:
Slowest
122.0ms
(fma (log1p (exp (- t))) c_p (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p)))
54.0ms
(* (log1p (exp (- s))) c_p)
48.0ms
(log1p (exp (- s)))
46.0ms
(log1p (exp (- t)))

simplify734.0ms

Calls
16 calls:
Slowest
192.0ms
(- (+ (* (log 2) c_p) (* 1/8 (* c_p (pow s 2)))) (* 1/2 (* c_p s)))
125.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
122.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
81.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))
79.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t))

prune835.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize8.0ms

Local error

Found 4 expressions with local error:

7.3b
(+ (* (log1p (exp (- t))) c_p) (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p)))
0.7b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))
0.2b
(* (log1p (exp (- s))) c_p)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
6×expm1-log1p-u
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×associate-+r+ associate-*l*
2×log1p-udef sum-log log1p-expm1
1×+-commutative associate-+r- sub-neg fma-def flip3-+ diff-log prod-diff *-commutative flip-+
Calls
4 calls:
Slowest
10.0ms
(+ (* (log1p (exp (- t))) c_p) (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p)))
3.0ms
(* (log1p (exp (- s))) c_p)
0.0ms
(log1p (exp (- t)))
0.0ms
(log1p (exp (- s)))

series270.0ms

Calls
4 calls:
Slowest
116.0ms
(+ (* (log1p (exp (- t))) c_p) (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p)))
57.0ms
(* (log1p (exp (- s))) c_p)
49.0ms
(log1p (exp (- s)))
48.0ms
(log1p (exp (- t)))

simplify1.1s

Calls
23 calls:
Slowest
189.0ms
(- (+ (* (log 2) c_p) (* 1/8 (* c_p (pow s 2)))) (* 1/2 (* c_p s)))
147.0ms
(* (exp (* (log1p (exp (- t))) c_p)) (exp (- (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n) (* (log1p (exp (- s))) c_p))))
129.0ms
(* (exp (* (log1p (exp (- t))) c_p)) (/ (exp (* (fma (fma s -1/8 -1/2) s (* 1/2 t)) c_n)) (exp (* (log1p (exp (- s))) c_p))))
125.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))
124.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune929.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

regimes693.0ms

bsearch5.0ms

end0.0ms