Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
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

sample4.0m (61.3%)

Algorithm
78×intervals
Results
2.7m26587×body10240exit
34.2s43682×body1280valid
11.4s30310×body640valid
7.1s202932×body80valid
4.7s152010×body80nan
4.7s27925×body320valid
3.1s36264×body160valid
2.9s164045×pre80true
759.0ms3077×body2560valid
375.0ms4072×pre10240exit
371.0ms7854×body160nan
106.0ms8401×pre80false
80.0ms216×body5120valid
1.0ms1×body640nan

prune1.1m (16.3%)

Filtered
20346 candidates to 13256 candidates (65.2%)

series45.1s (11.4%)

Calls

535 calls:

778.0ms
(/ (* (* (sin phi1) (cos phi2)) (- (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin (- lambda2))) 3))) (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (+ (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2)))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))
732.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
702.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)))
632.0ms
(/ (* (+ 1 (* c_p (+ (log 0.5) (* 0.5 s)))) (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)))
602.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite15.5s (3.9%)

Algorithm
149×rewrite-expression-head
Calls

535 calls:

608.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
319.0ms
(- (- (pow (cos delta) 3) (* (pow (sin delta) 3) (* (pow (cos phi1) 3) (* (pow (cos theta) 3) (pow (sin phi1) 3))))) (* (* (pow (sin phi1) 3) (pow (sin phi1) 3)) (pow (cos delta) 3)))
314.0ms
(- (- (pow (cos delta) 3) (* (pow (sin delta) 3) (* (pow (cos phi1) 3) (* (pow (cos theta) 3) (pow (sin phi1) 3))))) (* (pow (sin phi1) 6) (pow (cos delta) 3)))
304.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
249.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (- lambda1 lambda2) (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
Rules
13445×times-frac
10027×*-un-lft-identity
9569×add-sqr-sqrt
6504×add-cube-cbrt
3320×add-exp-log
3237×associate-*l/
2130×flip--
2129×flip3--
1920×add-cbrt-cube
1894×frac-times
1545×associate-*r*
1397×difference-of-squares
1354×cbrt-div
1340×sqrt-prod
1254×distribute-lft-out--
1211×associate-/l*
1192×pow1
1134×frac-add
1116×div-exp
1092×sqrt-div
1058×prod-exp
944×associate-*r/
878×add-log-exp
795×unpow-prod-down
699×associate-/r*
582×associate-*l*
544×distribute-rgt-neg-in
491×distribute-lft-out
471×cube-prod
463×cbrt-undiv
457×div-inv
420×cbrt-unprod
409×associate-/r/
401×pow-exp
351×cbrt-prod
295×pow-to-exp
246×sqr-pow
240×flip-+
239×flip3-+
230×pow-prod-down
210×log-prod
176×unswap-sqr
138×clear-num frac-2neg
136×associate-/l/
135×sub-neg
115×swap-sqr
113×diff-log
106×*-commutative
99×1-exp
90×rec-exp
86×sqrt-pow1
78×cos-mult
75×distribute-lft-neg-in sin-mult
73×sum-log
72×pow-unpow exp-prod
70×distribute-rgt-in distribute-lft-in
67×unpow3 cube-mult
66×div-sub
65×pow-prod-up
57×pow1/2
54×tan-quot
53×log-pow
52×unpow2
49×pow1/3
47×pow-sqr
44×+-commutative
40×distribute-neg-frac
39×rem-sqrt-square
33×neg-sub0 log-div
32×un-div-inv pow-plus
31×frac-sub associate-+l- pow-pow
30×cube-div distribute-rgt-out
26×pow2 associate--l+
25×neg-mul-1
22×rem-cube-cbrt rem-log-exp
19×associate-+r+
18×associate--l- cos-diff neg-log
16×sin-diff
15×sin-cos-mult cos-sum
14×distribute-lft-neg-out
10×associate-+l+ acos-asin
9×difference-cubes pow-flip
7×associate-+r-
6×inv-pow distribute-frac-neg associate--r+ rem-cbrt-cube
5×rem-exp-log distribute-lft1-in sin-sum
4×exp-diff unsub-neg sub-div associate--r- tanh-def
3×distribute-neg-out acos-neg exp-sum
2×sin-neg sqrt-unprod exp-neg rem-square-sqrt asin-acos distribute-rgt-neg-out
1×sqrt-undiv distribute-rgt-out-- tanh-undef cube-neg

simplify14.6s (3.7%)

Algorithm
227×egg-herbie

regimes10.0s (2.5%)

Accuracy

Total 23.9b remaining (18.8%)

Threshold costs 6.9b (5.5%)

4.3b68.2%Equirectangular approximation to distance on a great circle
4.3b83.8%Quadratic roots, full range
4.0b81.6%Cubic critical
2.3b80%Quotient of products
1.1b0%2-ancestry mixing, zero discriminant

localize2.7s (0.7%)

bsearch603.0ms (0.2%)

end1.0ms (0.0%)