Details

Time bar (total: 9.1m)

sample46.3s

Algorithm
intervals
Results
45.6s2976×body10240exit
494.0ms3233×pre80true
54.0ms250×body80valid
4.0ms2×body1280valid
2.0ms4×body160valid
1.0ms1×body320valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5005
3743
2143
154
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) 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)))

rewrite222.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:
34.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
14.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
144.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)))

series645.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
54.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
55.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
508.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
553 → 553
Iterations
IterNodes
done5008
24046
11508
0555

prune872.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize65.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)
0.3b
(log (/ 1 (+ 1 (exp (- t)))))
0.8b
(log (/ 1 (+ 1 (exp (- s)))))
11.1b
(- (+ (* (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)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
36×log-prod
33×add-sqr-sqrt
29×add-cube-cbrt
24×times-frac
16×add-exp-log add-log-exp
12×pow1
9×prod-diff log-pow
8×rem-log-exp
6×flip3-+ add-cbrt-cube associate-*l* flip-+ distribute-lft-out
4×expm1-log1p-u sum-log diff-log div-exp associate-/r/ frac-sub insert-posit16 log1p-expm1-u
3×fma-neg associate-*r* log-rec pow-flip inv-pow
2×log-div rec-exp 1-exp div-inv
1×distribute-lft-neg-out sub-neg flip3-- pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 137
Calls
4 calls:
9.0ms
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)
7.0ms
(log (/ 1 (+ 1 (exp (- t)))))
7.0ms
(log (/ 1 (+ 1 (exp (- s)))))
62.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)))

series462.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)
53.0ms
(log (/ 1 (+ 1 (exp (- t)))))
53.0ms
(log (/ 1 (+ 1 (exp (- s)))))
291.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.6s

Counts
149 → 149
Iterations
IterNodes
done5003
22553
1858
0338

prune936.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
29×add-sqr-sqrt
23×add-cube-cbrt
18×log-prod
16×add-log-exp
13×add-exp-log
12×pow1 times-frac
9×associate-*l* prod-diff
8×add-cbrt-cube
6×associate-*r* log-pow
5×flip3-+ flip-+
4×expm1-log1p-u sum-log diff-log rem-log-exp frac-sub insert-posit16 log1p-expm1-u
3×fma-neg distribute-lft-out
2×div-exp log-rec pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
1×distribute-lft-neg-out log-div rec-exp sub-neg flip3-- 1-exp associate--l+ div-inv flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 121
Calls
4 calls:
8.0ms
(* (log (/ 1 (+ 1 (exp (- s))))) c_p)
6.0ms
(* (fma (* t t) -1/8 (fma t 1/2 (log 1/2))) c_p)
7.0ms
(log (/ 1 (+ 1 (exp (- s)))))
57.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (fma (* t t) -1/8 (fma t 1/2 (log 1/2))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

series528.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (log (/ 1 (+ 1 (exp (- s))))) c_p)
55.0ms
(* (fma (* t t) -1/8 (fma t 1/2 (log 1/2))) c_p)
53.0ms
(log (/ 1 (+ 1 (exp (- s)))))
356.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (fma (* t t) -1/8 (fma t 1/2 (log 1/2))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))

simplify1.7s

Counts
133 → 133
Iterations
IterNodes
done5001
22645
1778
0302

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize59.0ms

Local error

Found 4 expressions with local error:

0.1b
(* c_p (* 1/8 (* t t)))
0.2b
(fma c_n (log1p (/ -1 (+ (/ 1 (exp s)) 1))) (* c_p (* 1/8 (* t t))))
0.2b
(* c_n (log1p (/ -1 (+ (/ 1 (exp t)) 1))))
8.8b
(- (fma c_n (log1p (/ -1 (+ (/ 1 (exp s)) 1))) (* c_p (* 1/8 (* t t)))) (fma 1/2 (* c_p t) (* c_n (log1p (/ -1 (+ (/ 1 (exp t)) 1))))))

rewrite49.0ms

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

series552.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* c_p (* 1/8 (* t t)))
227.0ms
(fma c_n (log1p (/ -1 (+ (/ 1 (exp s)) 1))) (* c_p (* 1/8 (* t t))))
62.0ms
(* c_n (log1p (/ -1 (+ (/ 1 (exp t)) 1))))
232.0ms
(- (fma c_n (log1p (/ -1 (+ (/ 1 (exp s)) 1))) (* c_p (* 1/8 (* t t)))) (fma 1/2 (* c_p t) (* c_n (log1p (/ -1 (+ (/ 1 (exp t)) 1))))))

simplify2.1s

Counts
99 → 99
Iterations
IterNodes
done5000
34735
21140
1420
0187

prune611.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

regimes554.0ms

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done36
136
027

end0.0ms

sample8.0m

Algorithm
intervals
Results
8.0m35308×body10240exit
2.1s38141×pre80true
549.0ms2744×body80valid
54.0ms3×body5120valid
52.0ms17×body1280valid
20.0ms17×body640valid
16.0ms37×body160valid
16.0ms5×body2560valid
7.0ms10×body320valid