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:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample3.9m (60.3%)

Algorithm
78×intervals
Results
2.5m26060×body10240exit
33.7s44357×body1280valid
11.2s30069×body640valid
7.1s203363×body80valid
4.8s151187×body80nan
4.6s27520×body320valid
3.1s35919×body160valid
2.9s163044×pre80true
801.0ms3079×body2560valid
391.0ms4205×pre10240exit
369.0ms7807×body160nan
101.0ms8434×pre80false
89.0ms212×body5120valid

prune1.1m (16.9%)

series49.9s (12.8%)

Calls

497 calls:

1.6s
(/ (- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)) (fma (cos delta) (cos delta) (* (sin phi1) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (fma (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (cos delta))))))
726.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)))
649.0ms
(* (sqrt (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))) R)
611.0ms
(log (sqrt (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))))
600.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (* (* (cbrt (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) (cbrt (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))))) (cbrt (- 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)))

simplify14.8s (3.8%)

Algorithm
227×egg-herbie

regimes10.5s (2.7%)

Accuracy

Total 36.6b remaining (28.4%)

Threshold costs 5.4b (4.2%)

7.4b30.5%Quotient of products
5.8b57.1%Cubic critical, narrow range
5.1b27.6%Cubic critical, medium range
3.4b87.1%Quadratic roots, full range
3.4b0%Cubic critical, wide range

rewrite6.5s (1.7%)

Algorithm
149×rewrite-expression-head
Calls

497 calls:

127.0ms
(log (sqrt (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))))
125.0ms
(log (sqrt (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))))
109.0ms
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
101.0ms
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
93.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
Rules
19289×*-un-lft-identity
17095×times-frac
14587×add-sqr-sqrt
10963×add-cube-cbrt
8353×prod-diff
4372×sqrt-prod
3706×add-exp-log
2837×exp-sum
2632×distribute-lft-out
2610×log-prod
1676×add-cbrt-cube
1553×difference-of-squares
1533×distribute-lft-out--
1491×prod-exp
1474×associate-/r/
1216×div-exp
1081×div-inv
1071×pow1
1015×associate-*r*
852×pow-exp
766×add-log-exp
579×associate-/l*
578×associate-/r*
572×cbrt-prod
523×pow-to-exp
505×flip-+
504×flip3-+
499×log1p-expm1-u
498×expm1-log1p-u
480×unpow-prod-down
448×flip--
447×flip3--
434×associate-*l*
398×cbrt-undiv
387×associate-+r+
381×cbrt-unprod
370×distribute-rgt-neg-in
321×fma-neg
286×log-pow
246×fma-def
243×distribute-lft-neg-in
214×distribute-rgt-in distribute-lft-in
207×cube-prod
198×associate--l+
194×unswap-sqr
165×pow-prod-down
160×sqr-pow
146×sqrt-pow1
133×exp-prod
123×clear-num frac-2neg
102×sqrt-div
97×sub-neg
95×associate-/l/ *-commutative
88×pow-unpow
80×neg-mul-1 associate-*r/
79×diff-log
69×pow1/3 associate-*l/
66×sum-log
62×swap-sqr
61×tan-quot
58×cos-sum
54×frac-times
50×cbrt-div
48×unpow3 cube-mult
43×pow1/2
41×div-sub
39×+-commutative log-div
36×1-exp pow-pow
33×rec-exp rem-log-exp
30×associate-+l+
29×rem-sqrt-square
27×neg-sub0
24×sin-mult unpow2
23×sin-sum neg-log associate-+l-
21×pow-prod-up
19×fma-udef
18×sin-diff
17×cos-diff
16×frac-add
15×pow-sqr
14×pow-plus distribute-rgt-out hypot-def frac-sub
13×pow-flip
12×sin-cos-mult distribute-rgt-neg-out
10×rem-cube-cbrt pow2 distribute-neg-frac
9×associate-+r-
8×exp-diff acos-asin expm1-udef
7×associate--l-
6×cube-div rem-exp-log sin-neg inv-pow
5×un-div-inv expm1-log1p associate--r+
4×acos-neg difference-cubes distribute-frac-neg cos-mult associate--r- sum-cubes rem-cbrt-cube
3×unsub-neg
2×distribute-lft1-in exp-neg hypot-udef exp-to-pow
1×distribute-neg-out sqrt-undiv log1p-udef sqrt-unprod pow3 log1p-expm1 asin-acos distribute-rgt-out-- log-rec

bsearch4.8s (1.2%)

localize2.4s (0.6%)

end1.0ms (0.0%)