Details

sample3.1m (57.3%)

Algorithm
78×intervals
Results
1.7m21812×body10240exit
33.4s43975×body1280valid
10.9s30514×body640valid
6.8s202011×body80valid
4.6s151983×body80nan
4.5s27615×body320valid
3.0s36129×body160valid
2.6s158475×pre80true
711.0ms2996×body2560valid
360.0ms7836×body160nan
360.0ms4034×pre10240exit
97.0ms8298×pre80false
73.0ms215×body5120valid
1.0ms1×body640nan

prune47.1s (14.5%)

series44.1s (13.5%)

Calls

504 calls:

659.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
624.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)))
568.0ms
(/ (* (* (sin phi1) (cos phi2)) (- (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2)))))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))
547.0ms
(* (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))) (cbrt (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))))
547.0ms
(pow E (log (+ (pow x 2) x)))

rewrite22.2s (6.8%)

Algorithm
146×rewrite-expression-head
Calls

504 calls:

779.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
400.0ms
(* (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))
364.0ms
(pow (+ (pow (/ 1.0 (- x 1.0)) 3) (pow (/ x (+ x 1.0)) 3)) 3)
347.0ms
(log (exp (- (* (/ x0 (- 1.0 x1)) (* (/ (sqrt x0) (sqrt (- 1.0 x1))) (/ (sqrt x0) (sqrt (- 1.0 x1))))) (* x0 x0))))
324.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
Rules
7258×times-frac
7033×*-un-lft-identity
6094×add-sqr-sqrt
4048×add-cube-cbrt
3313×add-exp-log
2013×add-cbrt-cube
1211×prod-exp
1164×pow1
1080×associate-*r*
1000×div-exp
870×associate-/l*
863×difference-of-squares
828×distribute-lft-out--
805×add-log-exp
706×unpow-prod-down
685×flip--
684×flip3--
665×sqrt-prod
631×distribute-lft-out
628×associate-*l/
610×associate-/r*
593×cbrt-unprod
491×cbrt-undiv
456×associate-*l*
407×distribute-rgt-neg-in
397×frac-times
390×div-inv
369×cube-prod
368×cbrt-prod
328×sqrt-div
323×pow-exp
312×associate-/r/
286×pow-prod-down
284×frac-add
281×associate-*r/
236×pow-to-exp
215×log-prod
207×unswap-sqr
204×sqr-pow
172×flip-+
171×flip3-+
168×distribute-lft-neg-in
155×associate-/l/
124×clear-num frac-2neg
122×sub-neg
118×*-commutative
110×unpow2
102×diff-log
93×1-exp
88×cbrt-div
77×log-pow
72×swap-sqr
69×unpow3 div-sub
63×cube-mult sin-mult
62×sum-log
61×rec-exp
60×pow1/3
56×neg-mul-1
55×log-div
52×frac-sub
48×sqrt-pow1
46×pow-unpow
45×distribute-rgt-out exp-prod cos-mult
40×+-commutative
37×distribute-rgt-in neg-sub0 distribute-lft-in
36×pow1/2
34×associate--l+
30×rem-sqrt-square associate--r+
29×sin-cos-mult pow-prod-up pow-sqr
28×associate-+l-
25×exp-sum
23×rem-log-exp
22×associate--l-
21×neg-log
20×pow-pow
19×cube-div cos-sum
18×tan-quot
17×cos-diff
16×pow-plus
15×sin-diff
13×rem-cube-cbrt associate--r-
12×pow2 sub-div
11×associate-+r+
9×un-div-inv distribute-lft1-in distribute-frac-neg acos-asin distribute-rgt-neg-out
8×associate-+l+ sum-cubes
7×exp-diff rem-cbrt-cube
6×sin-neg unpow-prod-up
5×rem-exp-log distribute-lft-neg-out pow-flip associate-+r- sin-sum
3×acos-neg inv-pow asin-acos
2×distribute-rgt-out-- pow-sub unsub-neg
1×sub0-neg e-exp-1 sqrt-unprod distribute-rgt1-in tanh-undef sqr-neg exp-to-pow tanh-def

simplify14.3s (4.4%)

Algorithm
224×egg-herbie

regimes8.5s (2.6%)

Accuracy

Total 22.1b remaining (17.9%)

Threshold costs 6.6b (5.3%)

4.7b82.8%Cubic critical
4.2b70.3%Equirectangular approximation to distance on a great circle
2.9b64.9%Quotient of products
1.3b0%2-ancestry mixing, positive discriminant
1.2b95%Quadratic roots, full range

localize2.4s (0.7%)

bsearch509.0ms (0.2%)

end1.0ms (0.0%)