Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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

sample1.7m (45.8%)

Algorithm
78×intervals
Results
36.8s44461×body1280valid
12.0s30089×body640valid
8.5s202533×body80valid
6.7s981×body5120exit
6.6s153188×body80nan
5.4s27881×body320valid
4.1s167496×pre80true
3.8s35828×body160valid
2.4s25543×body80overflowed
959.0ms3014×body2560valid
596.0ms3137×body2560nan
553.0ms16985×pre80false
405.0ms2563×body1280nan
203.0ms219×body5120valid
169.0ms1349×body640nan
64.0ms658×body320nan
23.0ms333×body160nan
1.0ms1×body320overflowed
0.0ms1×body160overflowed

prune45.1s (20.3%)

Filtered
20662 candidates to 11684 candidates (56.5%)

series42.9s (19.3%)

Calls

480 calls:

748.0ms
(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta))) 3)))
741.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
616.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)))
611.0ms
(expm1 (log1p (- (log (+ 1.0 (exp x))) (* x y))))
441.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)

simplify14.2s (6.4%)

Algorithm
224×egg-herbie

regimes10.3s (4.6%)

Accuracy

Total 30.1b remaining (24.1%)

Threshold costs 5.8b (4.7%)

5.8b58.7%Cubic critical, narrow range
5.3b49.4%Quotient of products
4.7b29.9%Cubic critical, medium range
3.4b0%Cubic critical, wide range
2.9b86.7%Cubic critical

rewrite5.0s (2.2%)

Algorithm
146×rewrite-expression-head
Calls

480 calls:

75.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
71.0ms
(* (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
70.0ms
(* a (- (pow (- b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)))
54.0ms
(* m (/ (/ (- 1.0 m) (sqrt v)) (sqrt v)))
52.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
11189×*-un-lft-identity
9129×add-sqr-sqrt
8413×times-frac
6864×add-cube-cbrt
5309×prod-diff
2491×add-exp-log
1851×sqrt-prod
1682×add-cbrt-cube
1437×unpow-prod-down
1131×associate-*r*
1109×distribute-lft-out
1045×pow1
1027×distribute-lft-out--
1020×cube-prod
895×difference-of-squares
836×distribute-rgt-in distribute-lft-in
814×prod-exp
780×distribute-rgt-neg-in
743×add-log-exp
731×div-exp
684×distribute-lft-neg-in
543×associate-/r/
495×div-inv
482×expm1-log1p-u
480×log1p-expm1-u
467×associate-*l*
461×associate-/l*
422×cbrt-unprod
420×fma-neg
390×associate-+r+
388×cbrt-undiv
386×associate-/r*
368×sqr-pow
338×flip--
337×flip3--
311×pow-exp
279×fma-def
278×cbrt-prod
264×flip-+
263×flip3-+
228×neg-mul-1
221×pow-to-exp
220×log-pow
216×associate--l+
204×unswap-sqr
189×unpow3 cube-mult
187×log-prod
180×associate-*r/
142×pow-prod-down
141×swap-sqr
136×sqrt-div
112×sub-neg
109×frac-times
99×clear-num *-commutative frac-2neg
91×associate-/l/
88×associate-*l/
85×diff-log
78×unpow2
70×pow1/3
65×exp-prod
57×sum-log
48×log-div
47×div-sub
46×cos-sum
43×pow1/2 pow-unpow sqrt-pow1
42×+-commutative
34×sin-sum frac-add 1-exp
33×cbrt-div
30×rem-sqrt-square
28×neg-sub0
26×frac-sub
24×tan-quot sin-mult
23×rem-log-exp
21×pow-prod-up
20×associate--l- exp-sum pow-pow
19×cube-div neg-log pow-sqr sin-diff
18×rec-exp
16×associate-+l-
15×distribute-rgt-out
14×cos-diff associate--r+
13×rem-cube-cbrt pow-plus fma-udef pow2
11×cos-mult
10×distribute-frac-neg
9×rem-exp-log associate-+r-
8×sin-cos-mult associate-+l+ acos-asin associate--r-
6×pow-flip expm1-udef
5×acos-neg difference-cubes asin-acos
4×log1p-udef inv-pow expm1-log1p sub-div
3×e-exp-1 log1p-expm1 unpow-prod-up rem-cbrt-cube distribute-rgt-neg-out
2×un-div-inv distribute-lft-neg-out sum-cubes distribute-lft1-in sqrt-unprod
1×exp-diff hypot-udef unsub-neg rem-square-sqrt hypot-def distribute-rgt-out--

localize2.4s (1.1%)

bsearch660.0ms (0.3%)

end1.0ms (0.0%)