Date:Friday, March 6th, 2020
Commit:4fbe8b6b on better-rr
Hostname:warfa with Racket 7.5
Seed:2020066
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample11.1m (67.9%)

Algorithm
78×intervals
Results
9.7m60826×body10240exit
33.4s43506×body1280valid
11.2s30557×body640valid
7.2s204680×body80valid
5.1s152257×body80nan
4.4s27296×body320valid
3.7s204497×pre80true
3.1s36478×body160valid
757.0ms3016×body2560valid
370.0ms8029×body160nan
228.0ms16729×pre80false
134.0ms248×body5120valid

prune3.4m (21.0%)

Filtered
83984 candidates to 46744 candidates (55.7%)

series38.6s (3.9%)

Calls

454 calls:

1.0s
(pow (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3)
584.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)))
448.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
444.0ms
(- (+ (* (log (/ 1.0 (+ 1.0 (exp (- s))))) c_p) (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))) c_n)) (+ (* (fma t 0.5 (- (log 0.5) (* 0.03125 (/ (pow t 2) (pow 0.5 2))))) c_p) (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))
400.0ms
(/ (fma (- 1) (pow (exp (sqrt x)) (* (sqrt x) -2)) (exp (+ x x))) (+ (exp x) (exp (- x))))

rewrite30.5s (3.1%)

Algorithm
148×rewrite-expression-head
Calls

454 calls:

10.8s
(* (/ (* -1.5 (sqrt (/ (* a c) b))) (* (sqrt 3.0) (sqrt a))) (/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a))))
474.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
335.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
290.0ms
(/ (- (- (* 1 (- x 1.0)) (* (/ (+ x 1.0) x) (+ x 1.0)))) (* (/ (+ x 1.0) x) (- (- x 1.0))))
264.0ms
(/ (* -1.5 (/ (* a 1) 1)) (/ (* 3.0 a) (/ c b)))
Rules
95184×add-sqr-sqrt
77384×times-frac
62679×*-un-lft-identity
47896×add-cube-cbrt
36073×associate-*r*
26917×associate-*l*
26580×associate-/l*
23076×associate-/r*
22684×sqrt-prod
19122×unswap-sqr
15396×frac-times
13450×frac-sub
12625×prod-diff
8519×difference-of-squares
7483×*-commutative
6698×unpow-prod-down
5915×frac-add
4877×distribute-rgt-neg-in
4694×distribute-lft-neg-in
4470×associate-/l/
4339×swap-sqr
4012×sqrt-div
3616×distribute-lft-out
3565×log-div
3495×clear-num
3464×frac-2neg
3309×distribute-lft-out--
2781×cbrt-prod
2648×associate-*r/
2443×add-exp-log
2006×sqr-pow
1981×div-inv
1671×pow1
1641×cube-prod
1634×add-cbrt-cube
1472×associate-*l/
1342×associate-/r/
1225×flip-+
1224×flip3-+
1107×log-pow
995×associate--r+
897×neg-mul-1
799×prod-exp
758×add-log-exp
744×div-exp
664×fma-neg
618×flip--
617×flip3--
537×fma-def
474×unpow3
472×cube-mult
458×log1p-expm1-u
457×expm1-log1p-u
452×distribute-rgt-in distribute-lft-in
412×cbrt-undiv
400×cbrt-unprod
368×cbrt-div
311×pow-exp
287×log-prod
222×pow-to-exp
209×distribute-neg-frac
188×exp-prod
181×sqrt-pow1
166×pow1/2
165×distribute-rgt-out
143×pow-prod-down
99×associate-+r+
89×sum-log
82×diff-log
79×associate--l+
77×sub-neg
70×+-commutative
69×un-div-inv
60×cos-sum
48×pow-unpow
46×div-sub
45×exp-sum
44×distribute-neg-in
43×rem-sqrt-square
42×1-exp
41×pow1/3
39×rem-log-exp
34×neg-sub0
32×tan-quot
30×distribute-lft1-in unpow2 pow-pow
28×cube-div associate-+l-
26×distribute-rgt1-in
25×pow-prod-up
24×associate-+l+ sin-sum
21×pow-sqr
20×fma-udef sin-mult
19×cos-diff neg-log
17×rec-exp
15×pow2 pow-plus sin-diff
14×associate--l-
13×count-2
12×distribute-frac-neg associate--r-
11×rem-exp-log
10×rem-cbrt-cube
9×acos-asin log-rec
8×rem-cube-cbrt sqrt-unprod expm1-log1p
7×exp-diff sin-cos-mult exp-to-pow associate-+r-
6×distribute-rgt-neg-out
5×acos-neg pow-flip hypot-def cos-mult expm1-udef
3×log1p-udef inv-pow log1p-expm1 unpow-prod-up distribute-rgt-out--
2×sqrt-undiv remove-double-div rem-square-sqrt asin-acos
1×e-exp-1 distribute-lft-neg-out hypot-udef unsub-neg

simplify25.9s (2.6%)

Algorithm
226×egg-herbie

regimes10.9s (1.1%)

Accuracy

Total 46.1b remaining (28.7%)

Threshold costs 4.9b (3.1%)

5.9b58.2%Cubic critical, narrow range
5.8b58.6%Quadratic roots, narrow range
5.4b19.1%Quadratic roots, medium range
5.4b19.1%Cubic critical, medium range
4.3b84.8%Quadratic roots, full range

localize2.2s (0.2%)

bsearch269.0ms (0.0%)

end1.0ms (0.0%)