Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
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.1m (63.9%)

Algorithm
78×intervals
Results
2.7m26587×body10240exit
35.2s43755×body1280valid
11.4s30282×body640valid
7.3s202900×body80valid
5.1s152010×body80nan
4.9s27906×body320valid
3.2s36270×body160valid
3.0s164045×pre80true
808.0ms3077×body2560valid
417.0ms4072×pre10240exit
370.0ms7854×body160nan
112.0ms8401×pre80false
86.0ms216×body5120valid

prune58.3s (15.3%)

series45.2s (11.9%)

Calls

535 calls:

744.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))))))
740.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
710.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)))
640.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)))
586.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)))

simplify14.3s (3.7%)

Algorithm
227×egg-herbie

regimes10.4s (2.7%)

Accuracy

Total 24.6b remaining (19.3%)

Threshold costs 6.9b (5.4%)

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

rewrite6.2s (1.6%)

Algorithm
149×rewrite-expression-head
Calls

535 calls:

106.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
83.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
76.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
70.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
69.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))))
Rules
6003×*-un-lft-identity
5530×add-sqr-sqrt
5313×times-frac
3425×add-cube-cbrt
3254×associate-*l/
3130×add-exp-log
2138×flip--
2137×flip3--
1903×frac-times
1865×add-cbrt-cube
1349×cbrt-div
1097×pow1 sqrt-div
1059×frac-add
1036×prod-exp
1023×div-exp
924×associate-*r/
883×associate-*r*
881×add-log-exp
873×difference-of-squares
809×unpow-prod-down
781×associate-/l*
774×distribute-lft-out--
750×sqrt-prod
616×associate-*l*
590×associate-/r*
496×distribute-lft-out
471×cube-prod
425×cbrt-unprod
415×cbrt-undiv
400×pow-exp
385×associate-/r/
350×cbrt-prod
324×div-inv
293×pow-to-exp
280×distribute-rgt-neg-in
243×sqr-pow
231×flip-+
230×flip3-+
213×pow-prod-down
210×log-prod
181×unswap-sqr
138×swap-sqr
135×clear-num sub-neg frac-2neg
133×1-exp
126×associate-/l/
114×diff-log
107×*-commutative
103×cos-mult
98×sin-mult sqrt-pow1
75×pow-unpow
74×sum-log
72×exp-prod
71×distribute-rgt-in distribute-lft-in
67×unpow3 cube-mult
64×pow1/2 div-sub
63×distribute-lft-neg-in rec-exp
54×tan-quot
53×log-pow
51×frac-sub
49×unpow2
48×pow1/3
44×rem-sqrt-square +-commutative
33×neg-sub0
32×pow-pow
31×associate-+l- log-div
30×pow-prod-up distribute-rgt-out
27×associate--l+
26×cube-div pow-sqr distribute-neg-frac
22×rem-cube-cbrt rem-log-exp
21×associate-+r+ neg-mul-1
19×associate--l- neg-log
18×cos-diff
16×sin-diff
15×pow-plus sub-div cos-sum
14×distribute-lft-neg-out pow2
13×sin-cos-mult
10×associate-+l+ pow-flip acos-asin
9×difference-cubes
8×associate-+r-
6×rem-cbrt-cube
5×rem-exp-log distribute-lft1-in sin-sum unsub-neg distribute-frac-neg
4×exp-diff sqrt-unprod inv-pow tanh-def associate--r+
3×distribute-neg-out acos-neg un-div-inv associate--r- exp-sum
2×sin-neg exp-neg rem-square-sqrt asin-acos distribute-rgt-neg-out
1×distribute-rgt-out-- tanh-undef

localize2.6s (0.7%)

bsearch636.0ms (0.2%)

end1.0ms (0.0%)