Details

simplify6.4m (45.3%)

sample5.1m (36.0%)

Algorithm
65×intervals
Results
3.1m25174×body10240exit
52.9s30958×body1280valid
17.9s22229×body640valid
11.3s136473×body80valid
9.0s105238×body80nan
6.3s15762×body320valid
5.1s18105×body160valid
3.6s94074×pre80true
761.0ms7830×body160nan
741.0ms4154×pre10240exit
528.0ms940×body2560valid
8.0ms7×body5120valid

prune1.3m (9.5%)

series43.7s (5.1%)

Calls

362 calls:

889.0ms
(hypot (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2)) (- phi1 phi2))
848.0ms
(* (sqrt (hypot (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2)) (- phi1 phi2))) (sqrt (hypot (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2)) (- phi1 phi2))))
777.0ms
(fma (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0))) (- (* (+ x 1.0) (/ 1 (- x 1.0)))))
678.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
627.0ms
(* (hypot (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2)) (- phi1 phi2)) R)

regimes15.8s (1.9%)

Accuracy

Total 26.5b remaining (38.2%)

Threshold costs 3.3b (4.8%)

7.4b47.9%Cubic critical, narrow range
7.0b0%Cubic critical, medium range
3.5b0%Cubic critical, wide range
3.0b72.9%Quotient of products
2.3b0%(- (/ x0 (- 1 x1)) x0)

rewrite14.1s (1.7%)

Algorithm
117×rewrite-expression-head
Calls

362 calls:

862.0ms
(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
467.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
464.0ms
(sqrt (- (* b b) (* (* 3.0 a) c)))
366.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) m)
268.0ms
(log (- (- (/ 0.125 (* x (* x x))) (/ 0.0625 (pow x 5))) (/ 0.5 x)))
Rules
10199×*-un-lft-identity
9540×times-frac
8369×add-sqr-sqrt
6304×add-cube-cbrt
4167×prod-diff
1885×add-exp-log
1496×pow1
1272×add-cbrt-cube
1165×distribute-lft-out
884×difference-of-squares
824×associate-/r/
777×distribute-lft-out--
639×prod-exp
570×div-inv
539×div-exp
515×log-prod
496×add-log-exp
446×tan-quot
438×associate-*r*
436×frac-times
427×associate-/r*
413×sqrt-prod
390×associate-/l*
375×pow-prod-up
371×associate-*l*
363×expm1-log1p-u log1p-expm1-u
341×exp-sum
323×cbrt-unprod
317×flip-+
316×flip3-+
312×flip--
311×flip3--
307×cbrt-prod
291×fma-neg associate-*l/
266×cbrt-undiv
265×pow-exp
246×pow-plus
241×pow-prod-down
240×associate-*r/
185×pow-to-exp
177×distribute-rgt-in distribute-lft-in
139×pow-sqr
134×log-pow
122×unswap-sqr
119×swap-sqr
112×unpow-prod-down
99×cbrt-div
95×pow2
93×distribute-rgt-neg-in distribute-lft-neg-in
87×frac-2neg clear-num sub-neg
84×*-commutative
60×exp-prod
58×cos-sum
57×associate-+r+
53×diff-log
49×log-div
46×associate-+l+
44×associate-/l/
42×fma-def
39×div-sub
36×sqrt-div
32×sqrt-pow1
31×neg-mul-1
30×pow1/3 rem-log-exp
28×pow3 sqr-pow
26×pow1/2
23×associate--l+
22×sin-sum
21×fma-udef
18×sin-diff
15×sum-log rem-sqrt-square
13×cos-diff sin-mult
12×frac-sub +-commutative
10×1-exp rec-exp
9×exp-diff sin-cos-mult frac-add
8×associate--r+ acos-asin associate--r-
7×pow-flip distribute-rgt-out
6×pow-unpow cube-unmult exp-to-pow
5×associate--l- distribute-frac-neg
4×inv-pow rem-cbrt-cube
3×expm1-log1p expm1-udef distribute-lft-neg-out cos-mult log1p-expm1 asin-acos log1p-udef
2×neg-sub0 sqrt-unprod pow-pow hypot-udef acos-neg
1×associate-+r- unsub-neg distribute-rgt-out-- distribute-rgt-neg-out tanh-undef tanh-def un-div-inv rem-exp-log rem-square-sqrt

localize5.1s (0.6%)

bsearch298.0ms (0.0%)

end1.0ms (0.0%)