Details

Time bar (total: 10.0m)

sample45.9s

Algorithm
intervals
Results
45.1s3119×body10240exit
565.0ms3375×pre80true
68.0ms241×body80valid
18.0ms7×body1280valid
5.0ms1×body5120valid
2.0ms6×body160valid
1.0ms1×body640valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5005
3743
2143
154
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
2.5b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
4.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)))

rewrite212.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:
29.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
143.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)))

series769.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
67.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
67.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
603.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)))

simplify2.1s

Counts
488 → 488
Iterations
IterNodes
done5011
23741
11461
0451

prune747.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
22×log-prod
19×add-sqr-sqrt
16×add-log-exp
15×add-cube-cbrt
12×times-frac add-exp-log
10×pow1
6×add-cbrt-cube diff-log
5×rem-log-exp log-pow
4×flip3-+ associate-*l* frac-sub flip-+ insert-posit16 distribute-lft-out
3×log-div flip3-- associate-*r* flip--
2×sum-log sub-neg div-exp associate-/r/ associate--r+
1×rec-exp 1-exp log-rec pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv pow-flip distribute-lft-out-- inv-pow associate--r- difference-of-squares unswap-sqr
Counts
4 → 97
Calls
4 calls:
7.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
9.0ms
(log (/ 1 (+ (exp (- s)) 1)))
5.0ms
(log (+ 1 (exp (- t))))
52.0ms
(- (+ (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (log (+ 1 (exp (- t)))) c_p)))

series534.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
64.0ms
(log (/ 1 (+ (exp (- s)) 1)))
55.0ms
(log (+ 1 (exp (- t))))
322.0ms
(- (+ (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (log (+ 1 (exp (- t)))) c_p)))

simplify1.9s

Counts
109 → 109
Iterations
IterNodes
done5004
22277
1708
0281

prune736.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize82.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
54×log-prod
52×*-un-lft-identity
38×add-sqr-sqrt
36×times-frac
32×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
16×add-log-exp
13×pow1 add-exp-log
9×associate-*r* distribute-lft-out
8×add-cbrt-cube
7×associate-*l* log-pow
6×diff-log associate-/r/
5×flip3-+ flip-+
4×rem-log-exp frac-sub insert-posit16
3×flip3-- div-inv flip--
2×sum-log sub-neg div-exp log-rec pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip associate--r+ inv-pow unswap-sqr
1×log-div rec-exp 1-exp associate--l+ distribute-rgt-neg-out distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 140
Calls
4 calls:
23.0ms
(* c_p (log (/ 1 (+ (exp (- s)) 1))))
7.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
10.0ms
(log (/ 1 (+ (exp (- s)) 1)))
47.0ms
(- (+ (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (+ (+ (* t (* t 1/8)) (* -1/2 t)) (log 2)) c_p)))

series643.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* c_p (log (/ 1 (+ (exp (- s)) 1))))
92.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
65.0ms
(log (/ 1 (+ (exp (- s)) 1)))
420.0ms
(- (+ (* c_p (log (/ 1 (+ (exp (- s)) 1)))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (+ (+ (* t (* t 1/8)) (* -1/2 t)) (log 2)) c_p)))

simplify2.0s

Counts
152 → 152
Iterations
IterNodes
done5004
22492
1795
0330

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize98.0ms

Local error

Found 4 expressions with local error:

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

rewrite188.0ms

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

series793.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
95.0ms
(* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)
92.0ms
(* c_p (+ (* s 1/2) (- (log 1/2) (* (* s s) 1/8))))
511.0ms
(- (+ (* c_p (+ (* s 1/2) (- (log 1/2) (* (* s s) 1/8)))) (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n)) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (+ (+ (* t (* t 1/8)) (* -1/2 t)) (log 2)) c_p)))

simplify2.4s

Counts
101 → 101
Iterations
IterNodes
done5002
22677
1706
0249

prune880.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

regimes213.0ms

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
done62
162
044

end0.0ms

sample8.9m

Algorithm
intervals
Results
8.9m40266×body10240exit
3.3s43465×pre80true
419.0ms3092×body80valid
65.0ms8×body5120valid
50.0ms25×body1280valid
17.0ms20×body640valid
16.0ms5×body2560valid
12.0ms38×body160valid
5.0ms10×body320valid