Details

Time bar (total: 1.5m)

sample1.0m

Algorithm
intervals
Results
1.0m3902×body10240exit
222.0ms4158×pre80true
97.0ms248×body80valid
4.0ms3×body640valid
2.0ms1×body1280valid
1.0ms3×body160valid
1.0ms1×body320valid

simplify3.6s

Counts
1 → 1

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

localize48.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)))
2.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.0b
(/ 1 (+ 1 (exp (- t))))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
1191×add-exp-log
688×pow-exp
684×prod-exp
593×div-exp
343×pow-to-exp
116×rec-exp 1-exp
44×*-un-lft-identity
33×add-sqr-sqrt
29×times-frac
22×add-cube-cbrt
18×unpow-prod-down add-cbrt-cube
7×pow1 distribute-lft-out
6×add-log-exp difference-of-squares
5×cbrt-undiv associate-/r*
4×associate-/r/ cbrt-unprod insert-posit16 div-inv associate-/l*
3×pow-unpow pow-pow
2×clear-num frac-2neg flip3-+ flip-+ pow-flip distribute-lft-out-- inv-pow
1×sub-neg flip3-- diff-log flip-- sqr-pow
Counts
4 → 476
Calls
4 calls:
Slowest
137.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)))
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(/ 1 (+ 1 (exp (- t))))

series658.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
549.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)))
61.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
20.0ms
(/ 1 (+ 1 (exp (- t))))

simplify1.7s

Counts
488 → 488

prune7.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (log (+ 1 (/ 1 (exp t)))) c_p)))
2.3b
(log (+ 1 (/ 1 (exp t))))
0.3b
(* (log (+ 1 (/ 1 (exp t)))) c_p)
0.2b
(* c_p (log (+ (exp (- s)) 1)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
17×add-sqr-sqrt
16×add-log-exp
13×log-prod
11×pow1 add-cube-cbrt
9×add-exp-log
8×add-cbrt-cube diff-log
7×associate-*r* associate-*l*
5×flip3-- flip--
4×distribute-rgt-in distribute-lft-in frac-sub insert-posit16 distribute-lft-out
3×sub-neg log-pow
2×log-div pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod associate--r+ unswap-sqr
1×associate--l- flip3-+ rem-log-exp flip-+ div-inv distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 93
Calls
4 calls:
Slowest
47.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (log (+ 1 (/ 1 (exp t)))) c_p)))
19.0ms
(* c_p (log (+ (exp (- s)) 1)))
7.0ms
(* (log (+ 1 (/ 1 (exp t)))) c_p)
6.0ms
(log (+ 1 (/ 1 (exp t))))

series483.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
308.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (log (+ 1 (/ 1 (exp t)))) c_p)))
62.0ms
(* (log (+ 1 (/ 1 (exp t)))) c_p)
57.0ms
(* c_p (log (+ (exp (- s)) 1)))
56.0ms
(log (+ 1 (/ 1 (exp t))))

simplify882.0ms

Counts
105 → 105

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
0.3b
(* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)
0.2b
(* c_p (log (+ (exp (- s)) 1)))
0.2b
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)

rewrite240.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
20×add-sqr-sqrt
16×add-log-exp
13×pow1
12×associate-*l* add-cube-cbrt
10×add-cbrt-cube associate-*r* add-exp-log
8×log-prod diff-log
5×flip3-- flip--
4×distribute-rgt-in distribute-lft-in frac-sub insert-posit16 distribute-lft-out
3×sub-neg pow-prod-down prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
2×associate-*l/ associate--l+ associate--r+
1×associate--l- flip3-+ flip-+ distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 99
Calls
4 calls:
Slowest
165.0ms
(* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)
47.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
20.0ms
(* c_p (log (+ (exp (- s)) 1)))
7.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)

series611.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
409.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
87.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
59.0ms
(* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)
56.0ms
(* c_p (log (+ (exp (- s)) 1)))

simplify1.2s

Counts
111 → 111

prune2.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (- (- (* (log 1/2) c_n) (+ (* (* c_n 1/8) (* s s)) (* (* c_n s) 1/2))) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
1.0b
(* (* c_n 1/8) (* s s))
0.3b
(* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)
0.2b
(* (log 1/2) c_n)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
36×add-log-exp
22×pow1 diff-log
20×add-cbrt-cube add-exp-log
14×add-sqr-sqrt
13×*-un-lft-identity
10×associate-*l* pow-prod-down prod-exp cbrt-unprod
8×add-cube-cbrt
7×associate-*r*
6×associate--l+
5×flip3-- flip--
4×sub-neg frac-sub insert-posit16
3×*-commutative
2×sum-log associate-*l/ log-pow distribute-lft-out associate--r+ unswap-sqr
1×associate--l- flip3-+ flip-+ distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 100
Calls
4 calls:
Slowest
1.1s
(- (- (- (* (log 1/2) c_n) (+ (* (* c_n 1/8) (* s s)) (* (* c_n s) 1/2))) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
166.0ms
(* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)
22.0ms
(* (* c_n 1/8) (* s s))
6.0ms
(* (log 1/2) c_n)

series699.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
415.0ms
(- (- (- (* (log 1/2) c_n) (+ (* (* c_n 1/8) (* s s)) (* (* c_n s) 1/2))) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ 1 (/ 1 (exp t)))))) c_n) (* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)))
187.0ms
(* (log 1/2) c_n)
59.0ms
(* (+ (- (* (* 1/8 t) t) (* t 1/2)) (log 2)) c_p)
37.0ms
(* (* c_n 1/8) (* s s))

simplify1.3s

Counts
112 → 112

prune2.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes443.0ms

bsearch10.0ms

end0.0ms