Details

Time bar (total: 4.1m)

sample46.4s

Algorithm
intervals
Results
45.8s3326×body10240exit
194.0ms3582×pre80true
60.0ms250×body80valid
3.0ms2×body1280valid
2.0ms1×body640valid
1.0ms3×body160valid

simplify635.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
3847
2147
153
022

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.2b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.2b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
3.2b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
556×add-exp-log
312×prod-exp
264×pow-exp
249×div-exp
184×pow-to-exp
97×*-un-lft-identity
70×add-sqr-sqrt
65×add-cube-cbrt
62×times-frac
54×prod-diff
36×unpow-prod-down
16×add-cbrt-cube
15×distribute-lft-out
10×associate-/r/
6×pow1 pow-unpow div-inv add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u cbrt-undiv cbrt-unprod log1p-expm1-u
3×fma-neg
2×pow-pow difference-of-squares sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l* distribute-lft-out--
Counts
4 → 332
Calls
4 calls:
32.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
16.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
16.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
139.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series809.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
72.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
72.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
615.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify481.0ms

Counts
344 → 344
Iterations
IterNodes
done5000
11517
0477

prune925.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize14.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune20.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize51.0ms

Local error

Found 4 expressions with local error:

1.2b
(log (/ 1.0 (+ (exp (- t)) 1.0)))
6.1b
(- (log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))
7.7b
(log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))
24.0b
(fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (- (log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
38×log-prod
36×add-sqr-sqrt *-un-lft-identity
24×add-cube-cbrt
14×times-frac
12×unpow-prod-down prod-diff
10×associate--l+
9×add-exp-log
6×log-pow
5×pow1 rem-log-exp add-log-exp difference-of-squares
4×expm1-log1p-u add-cbrt-cube fma-neg log1p-expm1-u
3×distribute-lft-out distribute-lft-out--
2×associate-/r/ fma-udef sqr-pow
1×pow-to-exp log-div sub-neg flip3-+ flip3-- diff-log div-exp pow-exp flip-+ div-inv flip-- associate--r+
Counts
4 → 107
Calls
4 calls:
11.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
54.0ms
(- (log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))
47.0ms
(log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))
0.0ms
(fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (- (log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n))))

series1.1s

Counts
4 → 12
Calls
4 calls:
71.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
400.0ms
(- (log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n)))
164.0ms
(log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))
431.0ms
(fma (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p (- (log (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))) c_n))))

simplify918.0ms

Counts
119 → 119
Iterations
IterNodes
done5000
21951
1612
0286

prune790.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* c_n (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))))
0.4b
(log (/ 1.0 (+ 1.0 (exp (- s)))))
1.2b
(log (/ 1.0 (+ (exp (- t)) 1.0)))
9.3b
(- (fma c_p (log (/ 1.0 (+ 1.0 (exp (- s))))) (* c_n (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))))) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* c_n (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
48×log-prod
45×add-sqr-sqrt
31×add-cube-cbrt
26×times-frac
12×add-exp-log
9×pow1 prod-diff
6×distribute-rgt-in distribute-lft-in add-cbrt-cube distribute-lft-out add-log-exp
5×difference-of-squares
4×expm1-log1p-u rem-log-exp associate-*r* associate-/r/ log1p-expm1-u
3×fma-neg associate-*l* log-pow distribute-lft-out--
2×log-div flip3-+ div-exp flip-+ fma-udef div-inv
1×sub-neg flip3-- diff-log pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- associate--r+ unswap-sqr
Counts
4 → 125
Calls
4 calls:
73.0ms
(* c_n (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))))
8.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
18.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
6.0ms
(- (fma c_p (log (/ 1.0 (+ 1.0 (exp (- s))))) (* c_n (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))))) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* c_n (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))))))

series590.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* c_n (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))))
74.0ms
(log (/ 1.0 (+ 1.0 (exp (- s)))))
70.0ms
(log (/ 1.0 (+ (exp (- t)) 1.0)))
347.0ms
(- (fma c_p (log (/ 1.0 (+ 1.0 (exp (- s))))) (* c_n (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))))) (fma c_p (log (/ 1.0 (+ (exp (- t)) 1.0))) (* c_n (log (- 1.0 (/ 1.0 (+ (exp (- t)) 1.0)))))))

simplify806.0ms

Counts
137 → 137
Iterations
IterNodes
done5000
22268
1711
0343

prune963.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes320.0ms

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done38
138
034

end0.0ms

sample3.2m

Algorithm
intervals
Results
3.1m14616×body10240exit
1.3s15772×pre80true
400.0ms1117×body80valid
18.0ms3×body5120valid
10.0ms6×body1280valid
8.0ms9×body640valid
5.0ms16×body160valid
3.0ms1×body2560valid
2.0ms4×body320valid