Details

sample7.5m (74.5%)

Algorithm
78×intervals
Results
6.1m28766×body10240exit
34.5s44187×body1280valid
11.9s30743×body640valid
6.9s202521×body80valid
4.8s152123×body80nan
4.6s27389×body320valid
3.0s35764×body160valid
2.6s157333×pre80true
800.0ms3132×body2560valid
384.0ms4048×pre10240exit
365.0ms7965×body160nan
96.0ms8225×pre80false
53.0ms196×body5120valid

prune55.9s (9.3%)

series39.1s (6.5%)

Calls

473 calls:

757.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (fma (pow t 3) 0.020833333333333336 (- 0.5 (* 0.25 t))) c_n)))
686.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
615.0ms
(cbrt (fma (* 0.375 (pow (log 2.0) 2)) (pow x 2) (+ (fma 1.5 (* (pow (log 2.0) 2) x) (* 0.75 (* (log 2.0) (pow x 2)))) (pow (log 2.0) 3))))
564.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)))
559.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))

bsearch23.2s (3.8%)

simplify13.6s (2.3%)

Algorithm
224×egg-herbie

regimes10.7s (1.8%)

Accuracy

Total 31.4b remaining (25.5%)

Threshold costs 6.0b (4.9%)

6.2b54.8%Cubic critical, narrow range
5.3b24.4%Cubic critical, medium range
4.9b82.9%Cubic critical
3.6b0%Cubic critical, wide range
2.9b74.2%Quotient of products

rewrite8.4s (1.4%)

Algorithm
146×rewrite-expression-head
Calls

473 calls:

400.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
343.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
258.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
234.0ms
(* (- (- (* 1.0 (/ m v)) (/ 1 (/ v (* m m)))) 1.0) (- 1.0 m))
230.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
Rules
10918×*-un-lft-identity
10308×times-frac
10121×add-sqr-sqrt
7265×add-cube-cbrt
4850×prod-diff
2845×add-exp-log
1721×sqrt-prod
1699×add-cbrt-cube
1333×unpow-prod-down
1151×pow1
1025×difference-of-squares
988×prod-exp
978×associate-*r*
973×associate--r+
959×distribute-lft-out
862×div-exp
774×distribute-lft-out--
706×add-log-exp
685×distribute-rgt-neg-in
582×associate-+r+
551×associate-/l*
540×distribute-lft-neg-in
534×div-inv
492×sqr-pow
490×associate-*l*
475×expm1-log1p-u
474×log1p-expm1-u
467×fma-neg associate-/r/
456×cube-prod
440×associate-/r*
435×pow-exp
418×cbrt-unprod
367×cbrt-undiv
324×pow-to-exp
301×cbrt-prod
296×distribute-rgt-in distribute-lft-in
252×log-prod
234×flip--
233×flip3--
230×flip-+
229×flip3-+
220×fma-def
210×pow-prod-down
209×associate--l+
194×unswap-sqr
180×neg-mul-1
156×log-pow
144×swap-sqr
138×sqrt-div
130×associate-*r/
110×clear-num frac-2neg
108×unpow3 cube-mult
104×*-commutative
99×associate-/l/
96×pow-unpow
91×sub-neg
88×associate-*l/
79×frac-times
78×diff-log
72×exp-prod
68×pow-pow
63×unpow2
58×cos-sum
50×pow-prod-up div-sub sum-log
48×cbrt-div
46×1-exp log-div
42×rec-exp
39×frac-sub
38×sqrt-pow1
35×pow1/2
33×associate-+l+ frac-add pow-sqr
32×+-commutative
30×rem-log-exp
27×fma-udef pow-plus
26×rem-sqrt-square pow1/3
25×neg-sub0
23×sin-sum
22×pow2
21×un-div-inv
20×sum-cubes sin-diff
19×associate-+l-
18×tan-quot
17×cos-diff distribute-rgt-out
16×sin-mult
15×pow-flip neg-log
14×rem-cube-cbrt associate--l-
13×cos-mult
11×acos-asin
10×sin-cos-mult distribute-frac-neg inv-pow asin-acos
8×exp-sum
6×associate-+r- associate--r-
5×cube-div rem-exp-log acos-neg
4×exp-diff distribute-lft-neg-out log-rec expm1-udef
3×unsub-neg expm1-log1p distribute-rgt-out-- rem-cbrt-cube distribute-rgt-neg-out
2×log1p-udef distribute-lft1-in log1p-expm1 sin-asin unpow-prod-up hypot-udef
1×rem-square-sqrt hypot-def sub-div sqrt-unprod exp-to-pow

localize2.3s (0.4%)

end1.0ms (0.0%)