Details

sample8.2m (78.8%)

Algorithm
78×intervals
Results
6.4m41053×body10240exit
38.1s43618×body1280valid
14.4s204311×body80valid
13.3s30288×body640valid
10.4s151719×body80nan
6.8s27597×body320valid
5.8s36482×body160valid
5.7s186459×pre80true
1.2s3047×body2560valid
673.0ms7966×body160nan
189.0ms8423×pre80false
133.0ms2811×body80overflowed
130.0ms206×body5120valid

prune51.9s (8.3%)

series44.0s (7.1%)

Calls

510 calls:

1.1s
(+ (pow (cos phi1) 3) (pow (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))) 3))
738.0ms
(- (pow (cos delta) 3) (pow (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (cos theta) (sin delta))))) 3))
709.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
630.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (/ (/ (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2.0))) (* (cbrt (+ lambda1 lambda2)) (cbrt (+ lambda1 lambda2)))) (cbrt (+ lambda1 lambda2)))) (* (- phi1 phi2) (- phi1 phi2))))
575.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)))

simplify13.5s (2.2%)

Algorithm
225×egg-herbie

rewrite10.6s (1.7%)

Algorithm
147×rewrite-expression-head
Calls

510 calls:

514.0ms
(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) (- 1.0 m))
232.0ms
(* (- (- (* 1.0 (/ m v)) (/ (pow m 2) v)) 1.0) (- 1.0 m))
205.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
199.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)))
198.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
Rules
10061×times-frac
8422×*-un-lft-identity
7528×add-sqr-sqrt
5000×add-cube-cbrt
3436×add-exp-log
1983×add-cbrt-cube
1433×cbrt-prod
1338×sqrt-prod
1289×associate-*r*
1206×pow1
1189×prod-exp
1118×associate-/l* div-exp
1002×difference-of-squares
917×distribute-lft-out--
904×associate-/r/
876×cbrt-div
841×associate-*l/
811×add-log-exp
784×flip--
783×flip3--
769×distribute-lft-out
696×frac-times
640×unpow-prod-down
639×distribute-rgt-neg-in
630×flip-+
629×flip3-+
627×associate-/r*
501×cbrt-unprod
493×cbrt-undiv
482×sqrt-div
466×associate-*l* div-inv
450×associate-*r/
394×pow-exp
352×frac-add
343×cube-prod
323×distribute-lft-neg-in
298×pow-to-exp
252×unswap-sqr
251×pow-prod-down
245×sqr-pow
179×neg-mul-1
135×log-prod
132×clear-num frac-2neg
131×swap-sqr
127×associate-/l/
117×sqrt-pow1
112×sub-neg
111×*-commutative
104×1-exp
95×diff-log
84×pow1/2
82×unpow3 cube-mult
74×pow-prod-up
72×rec-exp
71×log-pow
68×sum-log
60×pow-unpow
58×frac-sub
56×div-sub
51×unpow2 pow1/3 log-div
50×pow-sqr
47×rem-sqrt-square
41×+-commutative
39×distribute-rgt-in distribute-lft-in
37×neg-sub0
31×pow-plus
28×associate--l+
26×pow2
24×exp-prod
23×pow-pow
22×associate-+r+ distribute-rgt-out associate-+l-
21×associate--r+
20×cube-div neg-log
18×tan-quot rem-log-exp
17×associate--l- sin-diff
16×cos-diff distribute-frac-neg
15×cos-sum
14×sin-mult
12×rem-cube-cbrt sin-cos-mult tanh-def
11×associate--r-
10×pow-flip
9×exp-sum
8×inv-pow acos-asin
7×distribute-rgt-neg-out
6×rem-exp-log associate-+r- cos-mult
5×sin-sum associate-+l+
4×un-div-inv distribute-lft1-in rem-cbrt-cube
3×exp-diff acos-neg sin-neg sqrt-unprod
2×rem-square-sqrt sub-div distribute-neg-frac
1×difference-cubes sum-cubes distribute-lft-neg-out distribute-rgt-out-- tanh-undef asin-acos exp-to-pow mul-1-neg

regimes8.9s (1.4%)

Accuracy

Total 24.0b remaining (20.8%)

Threshold costs 6.5b (5.6%)

5.6b48.5%Quotient of products
3.6b73.6%Equirectangular approximation to distance on a great circle
3.3b87.8%Cubic critical
2.9b87.9%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

localize2.3s (0.4%)

bsearch988.0ms (0.2%)

end1.0ms (0.0%)