Date:Wednesday, March 4th, 2020
Commit:29625745 on findroot
Hostname:warfa with Racket 7.5
Seed:2020064
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample3.6m (58.9%)

Algorithm
78×intervals
Results
2.3m24538×body10240exit
33.4s43885×body1280valid
11.1s30658×body640valid
7.0s202876×body80valid
4.8s151994×body80nan
4.5s27777×body320valid
3.0s35566×body160valid
2.8s162435×pre80true
750.0ms3005×body2560valid
369.0ms4079×pre10240exit
350.0ms7843×body160nan
135.0ms289×body5120valid
102.0ms8340×pre80false

series1.0m (16.8%)

Calls

506 calls:

11.4s
(/ (* (cbrt (- (* (+ (* 0.5 (* s c_p)) 1) (+ (* 0.5 (* s c_p)) 1)) (* (* 0.5 (* s c_n)) (* 0.5 (* s c_n))))) (cbrt (- (* (+ (* 0.5 (* s c_p)) 1) (+ (* 0.5 (* s c_p)) 1)) (* (* 0.5 (* s c_n)) (* 0.5 (* s c_n)))))) (* (cbrt (+ (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n)))) (cbrt (+ (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n))))))
3.7s
(/ (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)) (+ (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (- (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))) (* (cos phi1) (cos phi1))))
798.0ms
(/ (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
698.0ms
(/ (- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
580.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)))

prune56.9s (15.5%)

simplify13.7s (3.7%)

Algorithm
224×egg-herbie

regimes9.2s (2.5%)

Accuracy

Total 24.1b remaining (19.3%)

Threshold costs 6.8b (5.4%)

4.2b84.5%Quadratic roots, full range
4.2b86.1%Cubic critical
3.6b73.5%Equirectangular approximation to distance on a great circle
2.8b75.6%Quotient of products
1.3b0%2-ancestry mixing, positive discriminant

rewrite6.2s (1.7%)

Algorithm
146×rewrite-expression-head
Calls

506 calls:

78.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
75.0ms
(/ (/ (* 3.0 a) 1) (/ (* 3.0 a) (/ (- c) (- (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))))))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
71.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
70.0ms
(log (sqrt (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))))
Rules
10531×times-frac
7681×*-un-lft-identity
7185×add-sqr-sqrt
4404×add-cube-cbrt
2754×add-exp-log
2227×associate-*l/
2225×associate-*r/
1947×flip--
1946×flip3--
1904×distribute-rgt-neg-in
1896×add-cbrt-cube
1717×frac-times
1487×distribute-lft-neg-in
1388×cbrt-div
1328×pow1
1201×difference-of-squares
1143×distribute-lft-out--
1128×associate-*r*
1056×sqrt-prod
942×sqrt-div
888×associate-/r*
869×frac-add
846×prod-exp
845×associate-/l*
831×div-exp
823×add-log-exp
545×unpow-prod-down
481×div-inv
469×cbrt-unprod
467×distribute-lft-out
462×associate-*l*
457×log-prod
448×cbrt-undiv
381×cbrt-prod
377×neg-mul-1
351×pow-prod-down
338×associate-/r/
325×pow-exp
317×cube-prod
225×pow-to-exp
202×flip-+
201×flip3-+
200×sqr-pow unswap-sqr
161×associate-/l/
134×swap-sqr
125×clear-num frac-2neg
116×sub-neg
111×*-commutative
103×diff-log
89×log-pow
88×div-sub
75×frac-sub
72×sum-log
68×unpow3 cube-mult
59×log-div
54×exp-prod
51×pow1/3
49×unpow2
48×pow-unpow
46×pow-sqr pow-prod-up
45×associate--l+
44×tan-quot
43×+-commutative
42×pow1/2 sqrt-pow1
40×distribute-rgt-in distribute-lft-in
39×neg-sub0
38×exp-sum
37×cube-div
36×sin-mult rem-log-exp
34×rem-sqrt-square 1-exp
31×cos-mult associate-+l-
30×rem-cube-cbrt pow-pow
28×distribute-neg-frac
26×pow-plus
24×rec-exp
21×neg-log
19×cos-diff associate-+r+ pow2
18×associate--l-
17×distribute-frac-neg
16×associate-+r- associate--r+
15×distribute-rgt-neg-out sin-diff
14×acos-asin
13×cos-sum pow-flip distribute-rgt-out
12×sin-cos-mult
10×associate--r-
9×sin-sum
8×acos-neg associate-+l+ sin-neg rem-cbrt-cube
7×rem-exp-log inv-pow
6×exp-diff sub-div
4×difference-cubes sum-cubes
3×unsub-neg
2×sub0-neg distribute-lft1-in log-rec asin-acos
1×sqrt-unprod tanh-undef sqr-cos cube-neg tanh-def

localize2.6s (0.7%)

bsearch435.0ms (0.1%)

end1.0ms (0.0%)