Details

Time bar (total: 3.1m)

sample55.9s

Algorithm
intervals
Results
55.4s3226×body10240exit
184.0ms3482×pre80true
76.0ms247×body80valid
5.0ms3×body640valid
3.0ms1×body1280valid
2.0ms4×body160valid
1.0ms1×body320valid

simplify254.0ms

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

localize49.0ms

Local error

Found 4 expressions with local error:

3.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)))
3.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
1.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.0b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite200.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
130.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 (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series673.0ms

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

simplify1.8m

Counts
450 → 488
Calls
450 calls:
Slowest
2.7s
(/ (* (* (* (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.5s
(/ (* (* (* (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.1s
(/ (* (* (* (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))))
1.1s
(/ (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))

prune6.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 1/2 (* s (- c_p c_n)))
0.0b
(* s (- c_p c_n))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
10×distribute-rgt-in distribute-lft-in
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity
6×sub-neg associate-*r* associate-*l* associate-*r/
5×add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
2×flip3-- *-commutative insert-posit16 flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 56
Calls
2 calls:
Slowest
20.0ms
(* 1/2 (* s (- c_p c_n)))
13.0ms
(* s (- c_p c_n))

series87.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
51.0ms
(* 1/2 (* s (- c_p c_n)))
36.0ms
(* s (- c_p c_n))

simplify1.4s

Counts
43 → 62
Calls
43 calls:
Slowest
294.0ms
(* (* (* s s) s) (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n)))
115.0ms
(* (* (* 1/2 1/2) 1/2) (* (* (* s (- c_p c_n)) (* s (- c_p c_n))) (* s (- c_p c_n))))
102.0ms
(* (* (* 1/2 1/2) 1/2) (* (* (* s s) s) (* (* (- c_p c_n) (- c_p c_n)) (- c_p c_n))))
77.0ms
(* 1/2 (* s (- c_p c_n)))
69.0ms
(* 1/2 (* s (- c_p c_n)))

prune394.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize56.0ms

Local error

Found 4 expressions with local error:

9.7b
(- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
3.3b
(+ (- (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (+ 1 (exp (- s)))) c_p)) (* c_p (log (+ (exp (- t)) 1))))
3.2b
(log (+ (exp (- t)) 1))
1.7b
(log (+ 1 (exp (- s))))

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
63×associate--l+
60×log-prod
58×add-sqr-sqrt
56×*-un-lft-identity
32×associate-+l+
25×difference-of-squares
19×distribute-rgt-in distribute-lft-in
16×times-frac
12×log-div add-cube-cbrt distribute-lft-out--
11×associate--r+
10×pow1
9×add-log-exp
8×associate-+r+
6×add-exp-log log-pow associate--r-
5×flip3-- flip--
4×sub-neg add-cbrt-cube insert-posit16 div-inv distribute-lft-out
3×flip3-+ flip-+
2×associate--l- sum-log diff-log rem-log-exp
1×+-commutative associate-+l-
Counts
4 → 130
Calls
4 calls:
Slowest
104.0ms
(+ (- (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (+ 1 (exp (- s)))) c_p)) (* c_p (log (+ (exp (- t)) 1))))
76.0ms
(- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
7.0ms
(log (+ (exp (- t)) 1))
5.0ms
(log (+ 1 (exp (- s))))

series491.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
296.0ms
(+ (- (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))) (* (log (+ 1 (exp (- s)))) c_p)) (* c_p (log (+ (exp (- t)) 1))))
97.0ms
(- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1)))))
50.0ms
(log (+ 1 (exp (- s))))
48.0ms
(log (+ (exp (- t)) 1))

simplify4.9s

Counts
102 → 142
Calls
102 calls:
Slowest
272.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)))
266.0ms
(* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))))
266.0ms
(* (/ (exp (* c_n (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- 1 (/ 1 (+ (exp (- t)) 1))))))) (exp (* (log (+ 1 (exp (- s)))) c_p))) (exp (* c_p (log (+ (exp (- t)) 1)))))
262.0ms
(* (- (log (- 1 (/ 1 (+ 1 (exp (- s)))))) (log (- (pow 1 3) (pow (/ 1 (+ (exp (- t)) 1)) 3)))) c_n)
257.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))

prune2.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize49.0ms

Local error

Found 4 expressions with local error:

5.3b
(+ (- (* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8))) (* (log (+ 1 (exp (- s)))) c_p)) (* c_p (log (+ (exp (- t)) 1))))
3.2b
(log (+ (exp (- t)) 1))
1.7b
(log (+ 1 (exp (- s))))
0.5b
(* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×log-prod
12×add-sqr-sqrt
10×add-cube-cbrt
9×add-log-exp
8×pow1 associate-+r+ add-exp-log
6×distribute-rgt-in distribute-lft-in add-cbrt-cube
4×log-div associate-+l+ flip3-+ flip-+ insert-posit16 distribute-lft-out
3×associate-*r* associate-*l*
2×sum-log rem-log-exp associate--l+ associate-*r/ log-pow
1×+-commutative sub-neg diff-log pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod unswap-sqr
Counts
4 → 81
Calls
4 calls:
Slowest
86.0ms
(+ (- (* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8))) (* (log (+ 1 (exp (- s)))) c_p)) (* c_p (log (+ (exp (- t)) 1))))
32.0ms
(* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))
7.0ms
(log (+ (exp (- t)) 1))
5.0ms
(log (+ 1 (exp (- s))))

series311.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
148.0ms
(+ (- (* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8))) (* (log (+ 1 (exp (- s)))) c_p)) (* c_p (log (+ (exp (- t)) 1))))
61.0ms
(* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))
52.0ms
(log (+ (exp (- t)) 1))
50.0ms
(log (+ 1 (exp (- s))))

simplify4.3s

Counts
55 → 93
Calls
55 calls:
Slowest
305.0ms
(* (/ (exp (* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8)))) (exp (* (log (+ 1 (exp (- s)))) c_p))) (exp (* c_p (log (+ (exp (- t)) 1)))))
281.0ms
(* (exp (- (* c_n (+ (* -1/2 (- s t)) (* (* s s) -1/8))) (* (log (+ 1 (exp (- s)))) c_p))) (exp (* c_p (log (+ (exp (- t)) 1)))))
270.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))))
257.0ms
(log (+ (pow (exp (- t)) 3) (pow 1 3)))
242.0ms
(log (+ (pow 1 3) (pow (exp (- s)) 3)))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

regimes372.0ms