Date:Friday, February 28th, 2020
Commit:6d7f8a61 on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020059
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

series7.9m (49.0%)

Calls

519 calls:

3.6m
(pow (exp (* (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))
3.5m
(exp (pow (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))) 3))
1.2s
(/ (/ (- (/ (pow (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) 4) 1) (/ (* 1.0 1.0) 1)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)))
762.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)))
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)))

sample3.9m (24.2%)

Algorithm
78×intervals
Results
2.6m26060×body10240exit
33.2s44357×body1280valid
10.6s30069×body640valid
6.8s203363×body80valid
4.7s151187×body80nan
4.5s27520×body320valid
3.1s35919×body160valid
2.9s163044×pre80true
788.0ms3079×body2560valid
406.0ms4205×pre10240exit
365.0ms7807×body160nan
107.0ms8434×pre80false
92.0ms212×body5120valid

end2.7m (17.0%)

prune56.5s (5.8%)

simplify14.6s (1.5%)

Algorithm
227×egg-herbie

regimes9.7s (1.0%)

Accuracy

Total 31.9b remaining (36.3%)

Threshold costs 7.1b (8.1%)

8.7b53.8%Equirectangular approximation to distance on a great circle
7.4b30.5%Quotient of products
3.4b87.2%Quadratic roots, full range
2.9b87.6%Cubic critical
1.3b0%2-ancestry mixing, positive discriminant

rewrite7.0s (0.7%)

Algorithm
149×rewrite-expression-head
Calls

519 calls:

269.0ms
(* (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) (/ (/ (- (/ (pow (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) 4) 1) (/ (* 1.0 1.0) 1)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))))
217.0ms
(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
101.0ms
(/ (/ (- (/ (pow (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) 4) 1) (/ (* 1.0 1.0) 1)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)))
59.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
56.0ms
(/ (/ (* 3.0 a) (- 1)) (/ (* 3.0 a) (/ (- c) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))))
Rules
16036×times-frac
11646×*-un-lft-identity
11349×add-sqr-sqrt
5173×add-cube-cbrt
4108×add-exp-log
2727×difference-of-squares
2177×sqrt-prod
2127×associate-*r*
1994×add-cbrt-cube
1685×prod-exp
1568×pow1
1479×unpow-prod-down
1445×distribute-lft-out
1291×div-exp
1209×distribute-lft-out--
1202×distribute-rgt-neg-in
1073×associate-/l*
1000×associate-*l/
996×flip--
995×flip3--
871×pow-exp
825×add-log-exp
794×distribute-lft-neg-in
697×cbrt-prod
690×associate-/r*
624×associate-*l*
552×sqrt-div
542×pow-to-exp frac-times
524×cbrt-unprod
505×div-inv
499×sqr-pow
482×frac-add
460×cbrt-undiv
422×pow-prod-down
398×associate-/r/
381×cube-prod
343×associate-*r/
276×neg-mul-1
272×unswap-sqr
204×flip-+
203×flip3-+
187×log-prod
138×log-pow
134×associate-/l/
129×clear-num frac-2neg
125×log-div
123×exp-prod
122×*-commutative
113×sub-neg
110×pow-prod-up
99×diff-log
98×unpow3 cube-mult
82×pow-sqr
77×cbrt-div
76×sqrt-pow1
74×exp-diff
73×sum-log
71×div-sub
68×swap-sqr
57×pow-unpow pow1/3
54×pow-plus
45×distribute-rgt-out-- +-commutative
44×pow1/2
38×associate--l+ pow2
37×unpow2
33×rem-sqrt-square
31×rec-exp 1-exp
30×distribute-rgt-in distribute-lft-in
28×associate-+l-
26×pow-pow
25×rem-log-exp
23×exp-sum
22×associate-+r+ neg-sub0
21×sin-mult associate--r+
19×cube-div frac-sub
18×sin-diff
17×cos-diff
16×tan-quot
14×distribute-rgt-out
13×neg-log cos-sum
12×sin-cos-mult associate--l- associate-+l+ associate--r-
9×distribute-rgt-neg-out
8×rem-cube-cbrt rem-exp-log distribute-frac-neg associate-+r- acos-asin
7×sin-neg un-div-inv
6×distribute-neg-frac
5×acos-neg sin-sum
4×exp-neg asin-acos cos-mult
3×inv-pow pow-flip sum-cubes exp-to-pow rem-cbrt-cube
2×distribute-lft1-in log-rec
1×sqrt-pow2 sub0-neg sqrt-unprod sub-div tanh-undef tanh-def

bsearch4.9s (0.5%)

localize2.4s (0.2%)