Details

Time bar (total: 3.1m)

sample51.7s

Algorithm
intervals
Results
51.2s3192×body10240exit
204.0ms3448×pre80true
76.0ms247×body80valid
7.0ms1×body5120valid
4.0ms2×body1280valid
3.0ms6×body160valid

simplify261.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
261.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

localize50.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)))
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
1192×add-exp-log
692×pow-exp
684×prod-exp
593×div-exp
344×pow-to-exp
116×rec-exp 1-exp
42×*-un-lft-identity
36×unpow-prod-down
33×add-sqr-sqrt
29×times-frac
22×add-cube-cbrt
16×add-cbrt-cube
8×pow1
6×pow-unpow pow-pow distribute-lft-out add-log-exp difference-of-squares
4×cbrt-undiv associate-/r/ cbrt-unprod insert-posit16 div-inv
2×flip3-+ flip-+ pow-flip distribute-lft-out-- inv-pow sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l*
Counts
4 → 476
Calls
4 calls:
Slowest
128.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)))
26.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
11.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series680.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
535.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)))
59.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
59.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
27.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.8m

Counts
450 → 488
Calls
450 calls:
Slowest
2.6s
(/ (* (* (* (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))))
2.4s
(/ (* (* (* (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))))
2.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))))
2.0s
(/ (* (* (* (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))))
727.0ms
(/ (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))

prune5.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize55.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
10.5b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
1.0b
(log (/ 1 (+ (exp (- s)) 1)))
0.4b
(log (+ (exp (- t)) 1))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
66×log-prod
64×*-un-lft-identity
48×add-sqr-sqrt
32×times-frac
24×add-cube-cbrt
18×associate-+l+
15×pow1
13×difference-of-squares
12×log-pow distribute-lft-out
11×associate--l+ associate--r+
10×log-div add-exp-log
8×distribute-lft-out--
5×flip3-+ rem-log-exp flip-+
4×associate-+r+ add-cbrt-cube associate-/r/ insert-posit16 div-inv add-log-exp
3×flip3-- flip--
2×associate--l- associate-+r- div-exp associate--r-
1×+-commutative rec-exp sum-log sub-neg diff-log 1-exp log-rec associate-+l- pow-flip inv-pow
Counts
4 → 136
Calls
4 calls:
Slowest
81.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
22.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
7.0ms
(log (+ (exp (- t)) 1))

series268.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
63.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
55.0ms
(log (/ 1 (+ (exp (- s)) 1)))
50.0ms
(log (+ (exp (- t)) 1))

simplify3.8s

Counts
106 → 148
Calls
106 calls:
Slowest
245.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
234.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
234.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
206.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
149.0ms
(- (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))))

prune1.9s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
0.3b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.2b
(- 1 (/ 1 (+ (exp (- t)) 1)))
0.0b
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
51×*-un-lft-identity
33×log-prod
31×difference-of-squares
20×times-frac
14×distribute-lft-out--
11×associate--l+ associate--r+
9×pow1
8×add-log-exp
7×add-cube-cbrt
6×log-div flip3-- flip--
5×add-exp-log log-pow div-inv
4×add-cbrt-cube insert-posit16
3×sub-neg diff-log
2×associate--l- associate--r-
1×rem-log-exp
Counts
4 → 109
Calls
4 calls:
Slowest
81.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
38.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
38.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
37.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))

series219.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(- (log (- 1 (/ 1 (+ (exp (- s)) 1)))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
65.0ms
(log (- 1 (/ 1 (+ (exp (- t)) 1))))
27.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
27.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

simplify3.2s

Counts
89 → 121
Calls
89 calls:
Slowest
324.0ms
(- (+ (* 1/48 (pow s 3)) 1/2) (* 1/4 s))
324.0ms
(- (+ (* 1/48 (pow t 3)) 1/2) (* 1/4 t))
205.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))
205.0ms
(log (- (pow 1 3) (pow (/ 1 (+ (exp (- s)) 1)) 3)))
151.0ms
(- (log (- 1 (/ 1 (+ (exp (* -1 s)) 1)))) (log (- 1 (/ 1 (+ (exp (* -1 t)) 1)))))

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

10.5b
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
1.0b
(log (/ 1 (+ (exp (- s)) 1)))
0.7b
(* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))
0.4b
(log (+ (exp (- t)) 1))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
44×log-prod *-un-lft-identity
26×add-sqr-sqrt
24×times-frac add-cube-cbrt
18×associate-+l+
13×pow1
12×add-exp-log distribute-lft-out
8×log-pow
6×log-div flip3-+ add-cbrt-cube flip-+
5×rem-log-exp
4×associate-+r+ associate-/r/ insert-posit16 add-log-exp
3×associate-*r* associate-*l*
2×associate-+r- div-exp associate-*r/ div-inv
1×distribute-rgt-in +-commutative rec-exp sum-log distribute-lft-in 1-exp log-rec pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 115
Calls
4 calls:
Slowest
34.0ms
(* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))
22.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
7.0ms
(log (+ (exp (- t)) 1))

series233.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
66.0ms
(+ (log (/ 1 (+ (exp (- s)) 1))) (log (+ (exp (- t)) 1)))
62.0ms
(* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))
55.0ms
(log (/ 1 (+ (exp (- s)) 1)))
49.0ms
(log (+ (exp (- t)) 1))

simplify4.1s

Counts
87 → 127
Calls
87 calls:
Slowest
253.0ms
(* (* (* c_n c_n) c_n) (* (* (+ (* -1/2 (- s t)) (* (* s s) -1/8)) (+ (* -1/2 (- s t)) (* (* s s) -1/8))) (+ (* -1/2 (- s t)) (* (* s s) -1/8))))
246.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
233.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
233.0ms
(log (/ 1 (+ (pow (exp (- s)) 3) (pow 1 3))))
197.0ms
(- (* 1/2 (* t c_n)) (+ (* 1/2 (* c_n s)) (* 1/8 (* c_n (pow s 2)))))

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes130.0ms

bsearch7.0s

end0.0ms