Details

Time bar (total: 1.5m)

sample1.0m

Algorithm
intervals
Results
1.0m3902×body10240exit
517.0ms4158×pre80true
52.0ms248×body80valid
3.0ms3×body640valid
3.0ms1×body1280valid
1.0ms3×body160valid
1.0ms1×body320valid

simplify3.5s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

localize44.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))))

rewrite215.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
105×*-un-lft-identity
76×add-sqr-sqrt
65×times-frac add-cube-cbrt
54×prod-diff
18×unpow-prod-down add-cbrt-cube
16×distribute-lft-out
10×associate-/r/
7×pow1 div-inv
6×add-log-exp difference-of-squares
5×cbrt-undiv associate-/r* flip3-+ flip-+
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u associate-/l*
3×pow-unpow pow-pow fma-neg
2×clear-num frac-2neg pow-flip distribute-lft-out-- inv-pow
1×sub-neg flip3-- diff-log flip-- sqr-pow
Counts
4 → 541
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)))
32.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
14.0ms
(/ 1 (+ 1 (exp (- t))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series651.0ms

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

simplify1.5s

Counts
553 → 553

prune7.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

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

series450.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
295.0ms
(- (- (* (log1p (/ -1 (+ (exp (- s)) 1))) c_n) (* c_p (log1p (exp (- s))))) (- (* c_n (log1p (/ -1 (+ 1 (exp (- t)))))) (* c_p (log1p (exp (- t))))))
53.0ms
(* c_p (log1p (exp (- s))))
53.0ms
(* c_p (log1p (exp (- t))))
49.0ms
(log1p (exp (- t)))

simplify1.0s

Counts
110 → 110

prune1.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×*-un-lft-identity
17×add-cube-cbrt
16×add-log-exp
11×prod-diff
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
8×diff-log
5×flip3-- flip--
4×expm1-log1p-u frac-sub insert-posit16 log1p-expm1-u
3×sub-neg fma-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod associate--r+ unswap-sqr
2×associate-*r/
1×associate--l- distribute-rgt-in distribute-lft-in flip3-+ flip-+ distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 111
Calls
4 calls:
Slowest
50.0ms
(- (- (* (log1p (/ -1 (+ (exp (- s)) 1))) c_n) (* c_p (log1p (exp (- s))))) (- (* c_n (log1p (/ -1 (+ 1 (exp (- t)))))) (* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))))
18.0ms
(* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))
5.0ms
(* c_p (log1p (exp (- s))))
5.0ms
(* (log1p (/ -1 (+ (exp (- s)) 1))) c_n)

series599.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
379.0ms
(- (- (* (log1p (/ -1 (+ (exp (- s)) 1))) c_n) (* c_p (log1p (exp (- s))))) (- (* c_n (log1p (/ -1 (+ 1 (exp (- t)))))) (* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))))
84.0ms
(* (log1p (/ -1 (+ (exp (- s)) 1))) c_n)
79.0ms
(* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))
57.0ms
(* c_p (log1p (exp (- s))))

simplify1.2s

Counts
123 → 123

prune2.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 4 expressions with local error:

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

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
33×associate--l+
27×add-sqr-sqrt
25×add-log-exp
22×*-un-lft-identity
20×add-cube-cbrt
16×prod-diff
15×diff-log
13×pow1 add-cbrt-cube add-exp-log
9×associate-*l*
7×associate-*r*
6×log-prod
5×flip3-- pow-prod-down prod-exp cbrt-unprod flip--
4×distribute-rgt-in expm1-log1p-u sub-neg distribute-lft-in frac-sub insert-posit16 log1p-expm1-u
3×fma-neg *-commutative associate--r+ unswap-sqr
2×associate-*r/
1×associate--l- flip3-+ flip-+ distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 127
Calls
4 calls:
Slowest
180.0ms
(- (- (- (* c_n (log 1/2)) (fma (* c_n (* s s)) 1/8 (* (* 1/2 c_n) s))) (* c_p (log1p (exp (- s))))) (- (* c_n (log1p (/ -1 (+ 1 (exp (- t)))))) (* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))))
18.0ms
(* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))
13.0ms
(* c_n (* s s))
5.0ms
(* c_p (log1p (exp (- s))))

series564.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
397.0ms
(- (- (- (* c_n (log 1/2)) (fma (* c_n (* s s)) 1/8 (* (* 1/2 c_n) s))) (* c_p (log1p (exp (- s))))) (- (* c_n (log1p (/ -1 (+ 1 (exp (- t)))))) (* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))))
81.0ms
(* c_p (+ (* -1/2 t) (fma 1/8 (* t t) (log 2))))
57.0ms
(* c_p (log1p (exp (- s))))
29.0ms
(* c_n (* s s))

simplify1.6s

Counts
139 → 139

prune2.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes513.0ms

bsearch8.0ms

end0.0ms