Details

sample6.1m (72.1%)

Algorithm
78×intervals
Results
4.7m36837×body10240exit
33.0s43302×body1280valid
11.3s31372×body640valid
6.7s203774×body80valid
4.5s152485×body80nan
4.3s27485×body320valid
2.9s174889×pre80true
2.8s35984×body160valid
711.0ms3010×body2560valid
350.0ms4050×pre10240exit
341.0ms7988×body160nan
95.0ms241×body5120valid
89.0ms8370×pre80false

prune56.7s (11.1%)

series46.1s (9.0%)

Calls

484 calls:

748.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)))
738.0ms
(fma (pow (cos phi2) 3) (pow (fma (cos lambda1) (cos lambda2) (* (sin lambda1) (sin lambda2))) 3) (pow (cos phi1) 3))
717.0ms
(* (sqrt (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))) R)
698.0ms
(* (* 1 (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))) R)
666.0ms
(/ (* (fma (log 0.5) c_p (fma 0.5 (* s c_p) 1)) (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)))

rewrite14.6s (2.9%)

Algorithm
146×rewrite-expression-head
Calls

484 calls:

630.0ms
(* (+ (- (* (* (/ 1 v) m) (- 1.0 m)) 1.0) (fma (- 1.0) 1 1.0)) m)
428.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
373.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
362.0ms
(* (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)))
332.0ms
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
Rules
12385×*-un-lft-identity
11350×add-sqr-sqrt
11111×times-frac
8188×add-cube-cbrt
6036×prod-diff
2715×add-exp-log
1859×sqrt-prod
1682×add-cbrt-cube
1246×difference-of-squares
1069×unpow-prod-down
1058×associate--r+
1029×distribute-lft-out
994×pow1
991×distribute-lft-out--
912×prod-exp
832×distribute-rgt-neg-in
831×div-exp
757×add-log-exp
752×log-prod
738×associate-*r*
674×associate-/r/
660×distribute-lft-neg-in
639×associate-/l*
636×div-inv
560×exp-sum
540×associate-/r*
525×fma-neg
486×log1p-expm1-u
485×expm1-log1p-u
464×distribute-rgt-in distribute-lft-in
399×cbrt-unprod
386×cbrt-undiv
384×sqr-pow
374×cbrt-prod
372×cube-prod
365×pow-exp
360×flip--
359×flip3--
358×associate-*l*
269×pow-to-exp
267×flip-+
266×flip3-+
220×neg-mul-1
202×sin-sum
187×fma-def
183×pow-prod-down
160×unswap-sqr
129×associate-*r/
123×frac-times
121×clear-num frac-2neg
118×log-pow
116×sub-neg
98×associate-/l/
97×associate-*l/
96×diff-log
94×unpow3 cube-mult
90×sqrt-div
87×*-commutative sqrt-pow1
83×exp-prod
76×swap-sqr
72×pow-unpow
62×pow1/2
58×cbrt-div
50×1-exp
46×sum-log cos-sum
45×pow1/3
41×div-sub
37×rem-sqrt-square associate--l+
36×rec-exp
34×rem-log-exp log-div
33×neg-sub0
29×+-commutative
28×unpow2 pow-prod-up
26×cube-div pow-pow
25×associate-+l+ cos-mult
24×tan-quot
22×pow-sqr neg-log
20×pow-flip frac-sub sin-mult sin-diff
19×fma-udef
17×acos-asin associate-+l-
15×associate--l-
14×cos-diff
13×inv-pow
12×rem-cube-cbrt pow-plus associate--r-
11×pow2 associate-+r+ distribute-rgt-out
10×sin-cos-mult
9×rem-exp-log
8×frac-add
7×sum-cubes
6×exp-diff
5×distribute-frac-neg expm1-udef
4×un-div-inv associate-+r- expm1-log1p distribute-rgt-neg-out exp-to-pow rem-cbrt-cube
3×acos-neg sin-neg sqrt-unprod hypot-def log-rec sub-div asin-acos
2×log1p-udef distribute-lft1-in log1p-expm1 hypot-udef rem-square-sqrt cube-neg
1×sin-asin

simplify13.0s (2.5%)

Algorithm
224×egg-herbie

regimes8.9s (1.7%)

Accuracy

Total 28.6b remaining (24.9%)

Threshold costs 4.9b (4.2%)

7.3b47.2%Cubic critical, narrow range
5.1b26.4%Cubic critical, medium range
3.4b0%Cubic critical, wide range
2.5b90.6%Cubic critical
2.2b69%Quotient of products

localize2.2s (0.4%)

bsearch731.0ms (0.1%)

end1.0ms (0.0%)