Details

sample3.1m (58.3%)

Algorithm
78×intervals
Results
1.7m21812×body10240exit
33.8s43975×body1280valid
11.1s30514×body640valid
6.7s202011×body80valid
4.5s151983×body80nan
4.5s27615×body320valid
2.9s36129×body160valid
2.5s158475×pre80true
705.0ms2996×body2560valid
365.0ms7836×body160nan
343.0ms4034×pre10240exit
95.0ms8298×pre80false
72.0ms215×body5120valid
1.0ms1×body640nan

prune53.9s (17.0%)

series40.2s (12.6%)

Calls

477 calls:

804.0ms
(expm1 (log1p (- (log (+ (pow 1.0 3) (pow (exp x) 3))) (fma x y (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))))))
610.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)))
545.0ms
(* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
500.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
489.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)

rewrite14.1s (4.4%)

Algorithm
147×rewrite-expression-head
Calls

477 calls:

760.0ms
(* (- (/ (/ m (/ v (- (* 1.0 1.0) (* m m)))) (+ 1.0 m)) 1.0) (- 1.0 m))
395.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
305.0ms
(pow (+ (pow (/ 1.0 (- x 1.0)) 3) (pow (/ x (+ x 1.0)) 3)) 3)
293.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
279.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
Rules
10092×*-un-lft-identity
9595×times-frac
9534×add-sqr-sqrt
6900×add-cube-cbrt
4251×prod-diff
2468×add-exp-log
1641×add-cbrt-cube
1533×unpow-prod-down
1095×difference-of-squares
975×sqrt-prod associate--r+
896×pow1
881×distribute-rgt-neg-in
853×associate-*r*
794×distribute-lft-out
772×prod-exp
747×distribute-lft-neg-in
746×div-exp
728×add-log-exp
708×distribute-lft-out--
640×cube-prod
603×associate-/l*
573×sqr-pow
537×associate-/r*
514×associate-/r/
507×div-inv
479×log1p-expm1-u expm1-log1p-u
441×cbrt-prod
415×log-prod
395×fma-neg
374×cbrt-unprod associate-*l* cbrt-undiv
319×flip--
318×flip3--
316×pow-exp
246×neg-mul-1
244×flip-+
243×flip3-+
241×fma-def
230×pow-to-exp
226×distribute-rgt-in distribute-lft-in
163×unswap-sqr
147×pow-prod-down
142×cos-sum
121×unpow3 cube-mult associate-*r/
117×clear-num frac-2neg
110×frac-times
107×unpow2
102×associate-/l/ sqrt-div
95×sub-neg
91×*-commutative
90×log-pow
87×associate-*l/
81×diff-log
78×pow-unpow
69×frac-add cbrt-div
61×pow1/3
60×swap-sqr
53×sum-log
49×log-div
47×div-sub
46×associate-+l+
45×1-exp
40×exp-prod
37×+-commutative rec-exp
33×associate--l+ sqrt-pow1
32×pow-pow
31×neg-sub0
30×pow1/2 exp-sum
29×rem-log-exp
28×fma-udef
26×rem-sqrt-square distribute-rgt-out
24×cube-div
23×sin-sum
20×pow-flip frac-sub
19×neg-log sin-mult associate-+l-
17×cos-diff tan-quot
16×rem-cube-cbrt associate--l-
14×sin-cos-mult
13×acos-asin distribute-rgt-neg-out sin-diff
12×associate-+r+ associate--r- rem-cbrt-cube
11×inv-pow pow-prod-up pow-sqr
9×distribute-frac-neg
8×difference-cubes pow2 pow-plus
6×associate-+r- sum-cubes expm1-udef
5×distribute-lft-neg-out expm1-log1p exp-to-pow
4×rem-exp-log unsub-neg cos-mult distribute-neg-frac
3×acos-neg un-div-inv hypot-udef asin-acos distribute-rgt-out--
2×exp-diff distribute-neg-out sub0-neg log1p-udef exp-neg log1p-expm1 distribute-lft1-in
1×sqrt-unprod div0 hypot-def

simplify12.7s (4.0%)

Algorithm
225×egg-herbie

regimes9.0s (2.8%)

Accuracy

Total 32.5b remaining (25.2%)

Threshold costs 5.4b (4.2%)

5.7b58.4%Cubic critical, narrow range
4.7b82.8%Cubic critical
4.7b30.9%Cubic critical, medium range
3.5b0%Cubic critical, wide range
2.6b76.6%Quotient of products

localize2.2s (0.7%)

bsearch462.0ms (0.1%)

end1.0ms (0.0%)