Details

Time bar (total: 3.1m)

sample50.3s

Algorithm
intervals
Results
49.4s3195×body10240exit
703.0ms3451×pre80true
53.0ms250×body80valid
7.0ms1×body5120valid
3.0ms2×body640valid
1.0ms2×body160valid
1.0ms1×body320valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
3844
2147
154
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))
1.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
1.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
3.7b
(/ (* (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)))

rewrite205.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
103×*-un-lft-identity
76×add-sqr-sqrt
65×times-frac add-cube-cbrt
54×prod-diff
36×unpow-prod-down
16×add-cbrt-cube
15×distribute-lft-out
10×associate-/r/
8×pow1
7×div-inv
6×pow-unpow pow-pow add-log-exp difference-of-squares
5×flip3-+ flip-+
4×expm1-log1p-u cbrt-undiv cbrt-unprod insert-posit16 log1p-expm1-u
3×fma-neg
2×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 → 541
Calls
4 calls:
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
131.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)))

series670.0ms

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

simplify1.3s

Counts
553 → 553
Iterations
IterNodes
done5000
11970
0555

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))
1.8b
(log (/ 1 (+ 1 (exp (- s)))))
2.0b
(log (/ 1 (+ 1 (exp (- t)))))
6.9b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
83×add-sqr-sqrt
70×add-cube-cbrt
64×times-frac
63×prod-diff
36×log-prod
18×add-log-exp
15×distribute-lft-out
14×add-exp-log
10×associate-/r/
9×flip3-+ flip-+
8×pow1 rem-log-exp
7×difference-of-squares
6×fma-neg log-pow div-inv
5×diff-log
4×expm1-log1p-u sum-log add-cbrt-cube div-exp frac-sub insert-posit16 log1p-expm1-u
3×distribute-lft-out--
2×log-div rec-exp sub-neg flip3-- 1-exp log-rec pow-flip flip-- inv-pow
1×associate--l+ associate--r+
Counts
4 → 192
Calls
4 calls:
32.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))
6.0ms
(log (/ 1 (+ 1 (exp (- t)))))
55.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

series443.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
56.0ms
(log (/ 1 (+ 1 (exp (- s)))))
56.0ms
(log (/ 1 (+ 1 (exp (- t)))))
303.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

simplify1.1s

Counts
204 → 204
Iterations
IterNodes
done5000
11191
0444

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
79×add-sqr-sqrt
64×add-cube-cbrt
63×prod-diff
52×times-frac
18×log-prod add-log-exp
12×distribute-lft-out
11×add-exp-log
8×pow1 flip3-+ associate-/r/ flip-+
7×difference-of-squares
6×add-cbrt-cube fma-neg
5×diff-log div-inv
4×expm1-log1p-u sum-log rem-log-exp frac-sub insert-posit16 log1p-expm1-u
3×flip3-- associate-*r* associate-*l* log-pow flip-- distribute-lft-out--
2×sub-neg div-exp associate-*l/
1×log-div rec-exp 1-exp log-rec pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod pow-flip associate--r+ inv-pow unswap-sqr
Counts
4 → 178
Calls
4 calls:
13.0ms
(* (- (fma t 1/2 (log 1/2)) (* 1/8 (* t t))) c_p)
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))
65.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma t 1/2 (log 1/2)) (* 1/8 (* t t))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

series512.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* (- (fma t 1/2 (log 1/2)) (* 1/8 (* t t))) c_p)
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
56.0ms
(log (/ 1 (+ 1 (exp (- s)))))
369.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma t 1/2 (log 1/2)) (* 1/8 (* t t))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

simplify1.3s

Counts
190 → 190
Iterations
IterNodes
done5001
11216
0449

prune1.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
84×*-un-lft-identity
71×add-sqr-sqrt
63×prod-diff
56×add-cube-cbrt
40×times-frac
9×distribute-lft-out
8×add-log-exp
7×pow1 difference-of-squares
6×add-cbrt-cube fma-neg add-exp-log associate-/r/
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u div-inv
3×flip3-+ associate-*r* flip-+ fma-udef distribute-lft-out--
2×sub-neg flip3-- diff-log flip--
1×pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod associate--r+ unswap-sqr
Counts
4 → 144
Calls
4 calls:
6.0ms
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
0.0ms
(fma (log (- 1 (/ 1 (+ (/ 1 (exp s)) 1)))) c_n (* (* (* c_p t) t) 1/8))
49.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
5.0ms
(- (fma (log (- 1 (/ 1 (+ (/ 1 (exp s)) 1)))) c_n (* (* (* c_p t) t) 1/8)) (fma (* 1/2 t) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))

series642.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
262.0ms
(fma (log (- 1 (/ 1 (+ (/ 1 (exp s)) 1)))) c_n (* (* (* c_p t) t) 1/8))
31.0ms
(- 1 (/ 1 (+ (exp (- t)) 1)))
266.0ms
(- (fma (log (- 1 (/ 1 (+ (/ 1 (exp s)) 1)))) c_n (* (* (* c_p t) t) 1/8)) (fma (* 1/2 t) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))

simplify1.6s

Counts
156 → 156
Iterations
IterNodes
done5000
23253
1775
0321

prune855.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes287.0ms

bsearch4.0s

Steps
ItersRangePoint
7
3.0477940154797706e-17
7.638950086437275e-16
4.3160537752933593e-16

simplify14.0ms

Iterations
IterNodes
done77
177
058

end0.0ms

sample2.0m

Algorithm
intervals
Results
2.0m8684×body10240exit
604.0ms9335×pre80true
125.0ms635×body80valid
12.0ms2×body5120valid
7.0ms3×body1280valid
3.0ms3×body640valid
3.0ms1×body2560valid
2.0ms5×body160valid
1.0ms2×body320valid