Details

sample3.5m (54.8%)

Algorithm
77×intervals
Results
1.8m21813×body10240exit
47.7s43791×body1280valid
16.2s30950×body640valid
8.8s202209×body80valid
5.3s23903×body320valid
4.9s144619×body80nan
3.3s31804×body160valid
2.8s158232×pre80true
866.0ms3079×body2560valid
467.0ms4136×pre10240exit
461.0ms7993×body160nan
95.0ms8099×pre80false
79.0ms230×body5120valid
3.0ms2×body640nan
2.0ms2×body320nan

prune1.5m (23.5%)

series36.4s (9.5%)

Calls

480 calls:

905.0ms
(pow (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3)
646.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)))
520.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)))
398.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
361.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))

regimes17.8s (4.7%)

Accuracy

Total 34.1b remaining (34.6%)

Threshold costs 4.5b (4.6%)

6.9b40.2%Quotient of products
5.5b59.2%Cubic critical, narrow range
5.0b28.5%Cubic critical, medium range
3.5b0%Cubic critical, wide range
3.2b89.1%Cubic critical

rewrite13.3s (3.5%)

Algorithm
144×rewrite-expression-head
Calls

480 calls:

495.0ms
(* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (+ (sqrt 1.0) (sqrt m)))) (sqrt (+ (sqrt 1.0) (sqrt m)))) (- (sqrt 1.0) (sqrt m)))
282.0ms
(* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (fma 1.0 1.0 (fma m m (* 1.0 m))) v)) 1.0) (- 1.0 m))
237.0ms
(* (* (- (/ (/ (* m (- 1.0 m)) (sqrt v)) (sqrt v)) 1.0) (sqrt m)) (sqrt m))
235.0ms
(* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
209.0ms
(exp (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
Rules
7459×*-un-lft-identity
6429×add-sqr-sqrt
5670×times-frac
4844×add-cube-cbrt
2731×add-exp-log
2609×prod-diff
1676×add-cbrt-cube
1033×associate-*r*
947×pow1
893×prod-exp
850×sqrt-prod div-exp
844×unpow-prod-down
725×add-log-exp
712×distribute-lft-out
611×difference-of-squares
566×distribute-lft-out--
518×cube-prod
484×cbrt-prod
480×log1p-expm1-u associate-/r* expm1-log1p-u
467×distribute-rgt-neg-in
455×associate-/l*
445×associate-*l*
412×associate-/r/
389×div-inv
387×cbrt-undiv
380×cbrt-unprod
379×pow-exp
356×distribute-rgt-in distribute-lft-in
354×distribute-lft-neg-in
325×flip--
324×flip3--
320×fma-def
306×fma-neg
287×flip-+
286×flip3-+
275×pow-to-exp
255×sqr-pow
253×frac-times
240×sqrt-div
194×unswap-sqr
188×log-prod
170×pow-prod-down
168×associate-*l/
137×associate-*r/
118×neg-mul-1
116×clear-num frac-2neg
114×unpow3 cube-mult
112×swap-sqr
105×pow-unpow
96×*-commutative
86×associate-/l/
84×unpow2
82×sub-neg
71×diff-log
62×log-pow
61×1-exp
59×sum-log
57×cos-sum
56×pow1/3 cbrt-div
52×sqrt-pow1
50×div-sub
49×pow1/2
47×rec-exp
42×pow-pow
37×+-commutative
35×exp-prod
34×neg-sub0
33×log-div
32×associate--l+ rem-log-exp
30×rem-sqrt-square
26×associate-+l-
25×associate-+l+
24×pow-flip
23×sin-sum
22×neg-log
21×pow-prod-up sin-mult frac-sub
18×cube-div rem-cube-cbrt sin-diff
17×fma-udef cos-diff pow-sqr
14×associate--l- tan-quot
13×distribute-rgt-out
11×sin-cos-mult inv-pow frac-add acos-asin
10×pow2 pow-plus
9×hypot-def
8×un-div-inv associate-+r- associate-+r+ distribute-frac-neg associate--r+
7×acos-neg sum-cubes exp-sum
6×asin-acos rem-cbrt-cube distribute-rgt-neg-out
5×sin-neg
4×rem-exp-log cos-mult expm1-udef
3×sqrt-unprod expm1-log1p
2×distribute-lft1-in hypot-udef rem-square-sqrt associate--r-
1×difference-cubes exp-to-pow

simplify12.4s (3.2%)

Algorithm
221×egg-herbie

localize2.2s (0.6%)

bsearch776.0ms (0.2%)

end1.0ms (0.0%)