Details

Time bar (total: 1.9m)

sample53.4s

Algorithm
intervals
Results
53.0s3039×body10240exit
183.0ms3295×pre80true
60.0ms250×body80valid
4.0ms3×body640valid
3.0ms1×body1280valid
2.0ms2×body160valid

simplify154.0ms

Calls
1 calls:
Slowest
154.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)))

prune10.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:

3.2b
(/ (* (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)))
1.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

rewrite31.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
16.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)))))

series552.0ms

Calls
4 calls:
Slowest
435.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)))
51.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
47.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
18.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify43.8s

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))))
853.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))))
793.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))))
685.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))))
554.0ms
(- (+ (log (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (log (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))

prune3.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize37.0ms

Local error

Found 4 expressions with local error:

47.4b
(fma (log1p (exp (- t))) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))
10.4b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
1.2b
(log1p (exp (- t)))
0.3b
(log1p (/ -1 (+ (exp (- t)) 1)))

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 (/ -1 (+ (exp (- t)) 1)))
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)))

series469.0ms

Calls
4 calls:
Slowest
285.0ms
(fma (log1p (exp (- t))) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))
80.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
57.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))
48.0ms
(log1p (exp (- t)))

simplify2.1s

Calls
41 calls:
Slowest
251.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)))
231.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)))
149.0ms
(- (log 1/2) (+ (* 1/2 t) (* 1/8 (pow t 2))))
79.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

47.4b
(fma (fma t (fma 1/8 t -1/2) (log 2)) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))
10.4b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.3b
(log1p (/ -1 (+ (exp (- t)) 1)))
0.2b
(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 (/ -1 (+ (exp (- t)) 1)))
0.0ms
(log1p (exp (- s)))
0.0ms
(fma (fma t (fma 1/8 t -1/2) (log 2)) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))

series331.0ms

Calls
4 calls:
Slowest
150.0ms
(fma (fma t (fma 1/8 t -1/2) (log 2)) c_p (- (* (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) c_n) (* (log1p (exp (- s))) c_p)))
80.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
55.0ms
(log1p (/ -1 (+ (exp (- t)) 1)))
46.0ms
(log1p (exp (- s)))

simplify2.1s

Calls
41 calls:
Slowest
207.0ms
(- (+ (* c_n (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (* 1/8 (* (pow t 2) c_p))) (+ (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n) (* 1/2 (* t c_p))))
204.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* c_n (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))) (+ (* 1/2 (* t c_p)) (* (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) c_n)))
164.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
147.0ms
(- (log 1/2) (+ (* 1/2 t) (* 1/8 (pow t 2))))
78.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

10.4b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ 1 (exp (- t))))))
0.3b
(log1p (/ -1 (+ 1 (exp (- t)))))
0.1b
(fma (* 1/8 t) (* t c_p) (* c_n (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ 1 (exp (- t))))))))
0.1b
(log1p (/ -1 (+ (exp (- s)) 1)))

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 (+ 1 (exp (- t))))))
0.0ms
(log1p (/ -1 (+ 1 (exp (- t)))))
0.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))
0.0ms
(fma (* 1/8 t) (* t c_p) (* c_n (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ 1 (exp (- t))))))))

series288.0ms

Calls
4 calls:
Slowest
93.0ms
(fma (* 1/8 t) (* t c_p) (* c_n (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ 1 (exp (- t))))))))
83.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ 1 (exp (- t))))))
58.0ms
(log1p (/ -1 (+ (exp (- s)) 1)))
54.0ms
(log1p (/ -1 (+ 1 (exp (- t)))))

simplify2.1s

Calls
41 calls:
Slowest
203.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* c_n (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))))) (* (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))) c_n))
178.0ms
(- (+ (* c_n (log (- 1 (/ 1 (+ (exp (- s)) 1))))) (* 1/8 (* (pow t 2) c_p))) (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n))
156.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
149.0ms
(- (log 1/2) (+ (* 1/2 t) (* 1/8 (pow t 2))))
138.0ms
(- (log 1/2) (+ (* 1/8 (pow s 2)) (* 1/2 s)))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes193.0ms

bsearch5.0ms

end0.0ms