Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
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

sample8.6m (70.5%)

Algorithm
78×intervals
Results
7.2m49374×body10240exit
34.1s44132×body1280valid
11.3s30451×body640valid
7.1s204876×body80valid
4.7s152740×body80nan
4.5s27363×body320valid
3.2s188619×pre80true
3.1s36241×body160valid
797.0ms3014×body2560valid
397.0ms4203×pre10240exit
355.0ms7851×body160nan
104.0ms218×body5120valid
91.0ms8396×pre80false
2.0ms2×body640nan
0.0ms1×body320nan

prune2.0m (16.3%)

Filtered
22236 candidates to 16588 candidates (74.6%)

series46.5s (6.4%)

Calls

509 calls:

1.3s
(+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3))
969.0ms
(cbrt (/ (pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
813.0ms
(cbrt (/ (pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
703.0ms
(pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3)
694.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)))

simplify19.5s (2.7%)

Algorithm
223×egg-herbie

rewrite14.6s (2.0%)

Algorithm
145×rewrite-expression-head
Calls

509 calls:

655.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
560.0ms
(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
391.0ms
(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
267.0ms
(* (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (/ 1 (* 3.0 a)))
210.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
Rules
30284×associate-*l/
20731×frac-times
16609×flip--
16608×flip3--
15670×cbrt-div
6316×associate-*r/
6178×sqrt-div
6001×frac-add
5708×times-frac
5663×*-un-lft-identity
5568×add-sqr-sqrt
3506×add-cube-cbrt
2770×add-exp-log
1769×add-cbrt-cube
1198×pow1
1173×associate-*r*
916×prod-exp
834×add-log-exp
818×div-exp
807×difference-of-squares
733×associate-/l*
728×cbrt-prod
691×unpow-prod-down
688×sqrt-prod
686×distribute-lft-out--
654×associate-*l*
521×associate-/r*
506×distribute-rgt-neg-in
418×cbrt-unprod
384×cbrt-undiv cube-prod
377×pow-exp
369×distribute-lft-out
313×div-inv
284×associate-/r/
282×distribute-lft-neg-in
281×pow-prod-down
276×pow-to-exp
246×log-prod
235×unswap-sqr
223×flip-+ sqr-pow
222×flip3-+
134×swap-sqr
129×associate-/l/
122×sub-neg
115×*-commutative
113×clear-num frac-2neg
112×neg-mul-1
100×frac-sub
98×diff-log
85×unpow3 cube-mult
81×log-pow
78×unpow2
76×exp-prod
72×pow-unpow
71×sum-log
62×div-sub
57×sqrt-pow1
53×pow1/2
48×+-commutative
46×distribute-rgt-in distribute-lft-in pow1/3
43×sin-mult
38×rem-sqrt-square
37×cube-div
36×pow-prod-up tan-quot
35×neg-sub0 pow-pow
34×pow-sqr log-div
33×1-exp
30×associate-+l-
28×associate--l+
27×distribute-rgt-out
25×rec-exp
24×rem-log-exp
23×cos-mult
22×pow-plus
21×neg-log
19×pow2
18×rem-cube-cbrt
17×sin-diff
16×distribute-frac-neg cos-diff
15×associate--l- cos-sum
13×distribute-rgt-out--
12×sin-cos-mult
11×associate-+r+
10×acos-asin
9×sub-div
8×exp-sum distribute-neg-frac
7×associate--r+
6×rem-exp-log
5×exp-diff distribute-lft1-in sqrt-unprod sin-sum associate-+l+ pow-flip distribute-rgt-neg-out
4×inv-pow associate-+r- rem-cbrt-cube
3×acos-neg associate--r-
2×sin-neg un-div-inv distribute-lft-neg-out asin-acos sqr-cos
1×difference-cubes sum-cubes rem-square-sqrt tanh-undef +-inverses exp-to-pow tanh-def

regimes8.9s (1.2%)

Accuracy

Total 17.7b remaining (14.1%)

Threshold costs 8.6b (6.8%)

3.5b74.8%Equirectangular approximation to distance on a great circle
3.4b69.1%Quotient of products
1.2b0%2-ancestry mixing, zero discriminant
1.0b96.4%Quadratic roots, full range
1.0b95.5%Cubic critical

bsearch4.6s (0.6%)

localize2.4s (0.3%)

end1.0ms (0.0%)