Details

sample5.8m (72.0%)

Algorithm
78×intervals
Results
4.5m35599×body10240exit
34.7s44039×body1280valid
11.4s30745×body640valid
7.0s203888×body80valid
4.7s27643×body320valid
4.6s151988×body80nan
3.0s35725×body160valid
2.9s172590×pre80true
740.0ms3008×body2560valid
385.0ms4035×pre10240exit
363.0ms8042×body160nan
95.0ms8322×pre80false
65.0ms226×body5120valid
1.0ms1×body640nan

prune53.4s (11.0%)

series44.4s (9.1%)

Calls

490 calls:

786.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
743.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)))
739.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)))
737.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)))
733.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)))

simplify13.3s (2.7%)

Algorithm
225×egg-herbie

regimes10.3s (2.1%)

Accuracy

Total 36.0b remaining (28.5%)

Threshold costs 4.4b (3.5%)

5.7b58.7%Cubic critical, narrow range
5.3b52.7%Quotient of products
5.1b28.5%Cubic critical, medium range
4.9b81.7%Quadratic roots, full range
4.0b82.1%Cubic critical

rewrite8.4s (1.7%)

Algorithm
147×rewrite-expression-head
Calls

490 calls:

457.0ms
(* (+ (- (* (* (/ (sqrt m) v) (sqrt m)) (- 1.0 m)) 1.0) (fma (- 1.0) 1 1.0)) m)
243.0ms
(* (- (- (* 1.0 (/ m v)) (/ (pow m 2) v)) 1.0) m)
208.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)
152.0ms
(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (- 1.0 m))
147.0ms
(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) (- m))
Rules
8501×*-un-lft-identity
7941×times-frac
7767×add-sqr-sqrt
5982×add-cube-cbrt
3235×add-exp-log
3089×prod-diff
1719×add-cbrt-cube
1192×prod-exp
1082×pow1
1007×div-exp
1000×associate-*r*
871×unpow-prod-down
846×sqrt-prod
757×add-log-exp
688×distribute-lft-out
677×difference-of-squares
623×associate-/l*
575×distribute-lft-out--
549×pow-exp
541×cbrt-prod
501×associate-/r*
500×distribute-rgt-neg-in
491×expm1-log1p-u
490×log1p-expm1-u
487×associate-/r/
465×div-inv
433×associate-*l*
416×cbrt-unprod
415×distribute-lft-neg-in fma-neg pow-to-exp
384×cbrt-undiv
291×sqr-pow
290×fma-def
287×cube-prod
271×flip--
270×flip3--
255×flip-+
254×flip3-+
224×log-prod
214×distribute-rgt-in distribute-lft-in
205×unswap-sqr
202×pow-prod-down
177×sin-sum
164×log-pow
137×exp-prod
133×neg-mul-1
127×unpow2
111×clear-num frac-2neg
103×associate-*r/
101×cos-sum
100×sub-neg
99×pow-unpow
95×*-commutative
92×associate-/l/
91×frac-times
84×sqrt-div
73×unpow3 cube-mult associate-*l/
72×diff-log
66×cbrt-div
63×sum-log
50×log-div
48×+-commutative
47×1-exp rec-exp associate--l+
45×div-sub
44×pow-prod-up
40×pow-pow
37×rem-log-exp
33×sqrt-pow1
32×pow1/3
30×pow1/2 pow-sqr
28×associate-+l+ fma-udef neg-sub0
25×sin-mult
24×rem-sqrt-square pow-plus
23×exp-sum
20×associate-+l- associate--r+
19×sin-diff
18×pow2 cos-diff pow-flip cos-mult
17×associate-+r+ neg-log
15×cube-div
13×distribute-rgt-out
12×acos-asin tan-quot distribute-rgt-neg-out
11×rem-cube-cbrt sin-cos-mult sin-neg frac-add swap-sqr
10×rem-exp-log inv-pow associate--r-
9×associate--l- frac-sub exp-to-pow
6×un-div-inv distribute-frac-neg distribute-rgt-out--
5×associate-+r- sum-cubes unsub-neg sub-div asin-acos
4×exp-diff distribute-neg-frac
3×acos-neg log1p-udef expm1-udef rem-cbrt-cube
2×distribute-lft1-in log1p-expm1
1×difference-cubes sqrt-unprod expm1-log1p hypot-udef hypot-def

bsearch4.1s (0.8%)

localize2.4s (0.5%)

end1.0ms (0.0%)