Details

Time bar (total: 1.9m)

sample50.8s

Algorithm
intervals
Results
50.2s3258×body10240exit
281.0ms3514×pre80true
78.0ms248×body80valid
4.0ms1×body2560valid
2.0ms2×body640valid
2.0ms4×body160valid
1.0ms1×body320valid

simplify404.0ms

Calls
1 calls:
Slowest
404.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.6b

localize48.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (* (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.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.2b
(pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
477×add-exp-log
312×prod-exp
265×pow-exp
185×pow-to-exp
169×div-exp
80×rec-exp
16×add-cbrt-cube
15×unpow-prod-down
9×pow1
7×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* frac-2neg times-frac associate-/l*
Calls
4 calls:
Slowest
17.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)))
3.0ms
(pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)
2.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
2.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series615.0ms

Calls
4 calls:
Slowest
461.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)))
56.0ms
(pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)
49.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
49.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

simplify45.7s

Calls
216 calls:
Slowest
1.3s
(/ (* (* (* (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))))
848.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))))
792.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))))
692.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))))
450.0ms
(- (+ (* (log (/ 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.3b

localize34.0ms

Local error

Found 4 expressions with local error:

9.4b
(- (log1p (exp (- t))) (log1p (exp (- s))))
8.9b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
1.2b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))

rewrite12.0ms

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

series248.0ms

Calls
4 calls:
Slowest
83.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
71.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
48.0ms
(log1p (exp (- t)))
46.0ms
(log1p (exp (- s)))

simplify2.8s

Calls
68 calls:
Slowest
161.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
99.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))
83.0ms
(- (+ (log 2) (* 1/8 (pow t 2))) (* 1/2 t))
82.0ms
(- (+ (log 2) (* 1/8 (pow s 2))) (* 1/2 s))
82.0ms
(fma (sqrt (log1p (/ -1 (+ (exp (- s)) 1)))) (sqrt (log1p (/ -1 (+ (exp (- s)) 1)))) (- (* (sqrt (log1p (/ -1 (+ (exp (- t)) 1)))) (sqrt (log1p (/ -1 (+ (exp (- t)) 1)))))))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

8.9b
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
0.0b
(* c_p (fma 1/2 s (* t (fma t 1/8 -1/2))))
0.0b
(/ -1 (+ (exp (- t)) 1))
0.0b
(/ -1 (+ (exp (- s)) 1))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
14×add-cube-cbrt
9×prod-diff
8×add-log-exp
6×associate-/r*
4×expm1-log1p-u pow1 log1p-udef add-cbrt-cube diff-log add-exp-log associate-/r/ insert-posit16 log1p-expm1-u
3×fma-neg associate-*r*
2×clear-num frac-2neg flip3-+ flip-+ fma-udef div-inv
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- *-commutative flip-- distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
9.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
5.0ms
(/ -1 (+ (exp (- s)) 1))
4.0ms
(/ -1 (+ (exp (- t)) 1))
1.0ms
(* c_p (fma 1/2 s (* t (fma t 1/8 -1/2))))

series153.0ms

Calls
4 calls:
Slowest
84.0ms
(- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1))))
37.0ms
(* c_p (fma 1/2 s (* t (fma t 1/8 -1/2))))
16.0ms
(/ -1 (+ (exp (- t)) 1))
15.0ms
(/ -1 (+ (exp (- s)) 1))

simplify2.9s

Calls
54 calls:
Slowest
230.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
227.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
163.0ms
(- (* 1/2 t) (+ (* 1/8 (pow s 2)) (* 1/2 s)))
131.0ms
(+ (* (exp (- s)) (exp (- s))) (- (* 1 1) (* (exp (- s)) 1)))
123.0ms
(+ (* (exp (- t)) (exp (- t))) (- (* 1 1) (* (exp (- t)) 1)))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

9.4b
(- (log1p (exp (- t))) (log1p (exp (- s))))
1.2b
(log1p (exp (- t)))
0.7b
(log1p (exp (- s)))
0.1b
(* c_p (- (log1p (exp (- t))) (log1p (exp (- s)))))

rewrite14.0ms

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

series257.0ms

Calls
4 calls:
Slowest
93.0ms
(* c_p (- (log1p (exp (- t))) (log1p (exp (- s)))))
69.0ms
(- (log1p (exp (- t))) (log1p (exp (- s))))
48.0ms
(log1p (exp (- s)))
47.0ms
(log1p (exp (- t)))

simplify3.3s

Calls
70 calls:
Slowest
231.0ms
(- (+ (* 1/8 (* (pow t 2) c_p)) (* 1/2 (* c_p s))) (* 1/2 (* t c_p)))
107.0ms
(- (+ (* 1/8 (pow t 2)) (* 1/2 s)) (* 1/2 t))
103.0ms
(* (fma (- (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))))) c_p)
101.0ms
(* (fma (- (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))))) c_p)
101.0ms
(* (fma (- (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))) (* (cbrt (log1p (exp (- s)))) (* (cbrt (log1p (exp (- s)))) (cbrt (log1p (exp (- s))))))) c_p)

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes137.0ms

bsearch4.0ms

end0.0ms