Details

simplify6.8m (51.6%)

series3.0m (23.2%)

Calls

448 calls:

15.6s
(/ (- (* (pow 1.0 6) (pow 1.0 6)) (* (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))) (* (fma (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (fma 1.0 1.0 (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) (pow 1.0 4)) (+ (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3))))
7.5s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
7.4s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
7.1s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
2.9s
(/ (- (pow 1.0 6) (pow (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) 3)) (fma (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (fma 1.0 1.0 (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) (pow 1.0 4)))

prune2.1m (16.4%)

rewrite38.2s (4.9%)

Algorithm
119×rewrite-expression-head
Calls

448 calls:

1.8s
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
1.7s
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
1.4s
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
981.0ms
(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
940.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
Rules
55613×add-exp-log
40870×prod-exp
28650×pow-exp
22282×times-frac
19944×div-exp
12668×pow-to-exp
12493×add-sqr-sqrt
11839×sqrt-prod
11794×*-un-lft-identity
10968×add-cube-cbrt
4774×rec-exp 1-exp
3500×unpow-prod-down
2503×add-cbrt-cube
1556×associate-*r*
1224×pow1
1147×sqr-pow
985×associate-*l*
965×cbrt-unprod
878×prod-diff
801×div-inv
762×associate-/l*
691×cbrt-prod
565×cbrt-undiv
529×difference-of-squares
517×add-log-exp
491×pow-unpow
476×associate-*r/
449×log1p-expm1-u
448×expm1-log1p-u
422×associate-/r*
376×distribute-lft-out--
339×pow-prod-down
320×exp-prod
299×distribute-rgt-neg-in
296×sqrt-div
285×distribute-lft-neg-in
264×associate-*l/
252×flip3-- flip--
245×frac-times associate-/r/
238×unswap-sqr
201×cube-prod
167×cbrt-div
160×sin-sum
148×fma-def
132×distribute-rgt-in distribute-lft-in
129×cos-sum
127×*-commutative
115×sqrt-pow1
108×pow-pow
107×tan-quot
103×distribute-lft-out
97×frac-2neg clear-num
80×pow1/2 pow1/3
77×fma-neg
74×rem-sqrt-square
65×frac-sub
54×sub-neg
53×pow-prod-up
50×swap-sqr
49×associate-/l/
37×div-sub
35×pow-sqr
32×associate--l+ neg-mul-1
31×unpow2
30×flip-+ flip3-+
29×unpow3 cube-mult
23×pow-plus log-prod
22×fma-udef log-pow associate--r+
19×diff-log
18×pow2
13×neg-sub0 hypot-def sum-log
12×pow-sub
11×exp-diff +-commutative
9×rem-cube-cbrt
8×cube-div
7×rem-exp-log
6×acos-asin neg-log rem-log-exp
5×frac-add distribute-frac-neg exp-sum
4×pow-neg asin-acos inv-pow hypot-udef pow-flip
3×sqrt-undiv exp-neg cos-diff distribute-rgt-out-- distribute-neg-frac exp-to-pow
2×associate--l- sqrt-unprod associate-+l- associate--r- rem-cbrt-cube associate-+r+ sin-diff
1×sqrt-pow2 un-div-inv pow3 associate-+r- expm1-log1p unsub-neg rem-square-sqrt sub-div mul0 expm1-udef

sample22.8s (2.9%)

Algorithm
36×intervals
Results
7.4s42867×body80valid
4.5s3404×body1280valid
2.7s2491×body640valid
1.6s13493×body80nan
948.0ms1021×body2560valid
838.0ms1327×body320valid
793.0ms8256×pre80true
389.0ms172×body5120valid
298.0ms799×body160valid
159.0ms128×body10240exit
7.0ms15×body1280nan
7.0ms19×body640nan
5.0ms18×body320nan
1.0ms8×body160nan

localize5.0s (0.6%)

regimes3.5s (0.4%)

Accuracy

Total 0.6b remaining (4.5%)

Threshold costs 0.6b (4.5%)

0.2b0%Given's Rotation SVD example
0.2b0%Maksimov and Kolovsky, Equation (32)
0.2b0%VandenBroeck and Keller, Equation (24)
0.0b0%Bulmash initializePoisson
0.0b0%Falkner and Boettcher, Equation (22+)

bsearch10.0ms (0.0%)

end0.0ms (0.0%)