Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
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

sample3.6m (56.9%)

Algorithm
78×intervals
Results
2.3m24538×body10240exit
34.4s43885×body1280valid
11.7s30658×body640valid
7.1s202876×body80valid
4.9s151994×body80nan
4.6s27777×body320valid
3.1s35566×body160valid
2.8s162435×pre80true
778.0ms3005×body2560valid
387.0ms4079×pre10240exit
380.0ms7843×body160nan
131.0ms289×body5120valid
108.0ms8340×pre80false

prune1.2m (18.4%)

Filtered
20846 candidates to 13653 candidates (65.5%)

series1.0m (15.7%)

Calls

507 calls:

12.7s
(/ (* (cbrt (- (* (+ (* 0.5 (* s c_p)) 1) (+ (* 0.5 (* s c_p)) 1)) (* (* 0.5 (* s c_n)) (* 0.5 (* s c_n))))) (cbrt (- (* (+ (* 0.5 (* s c_p)) 1) (+ (* 0.5 (* s c_p)) 1)) (* (* 0.5 (* s c_n)) (* 0.5 (* s c_n)))))) (* (cbrt (+ (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n)))) (cbrt (+ (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n))))))
799.0ms
(/ (- (* (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)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
704.0ms
(/ (- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
688.0ms
(/ (+ (pow (cos phi1) 3) (pow (* (* (cos lambda1) (cos lambda2)) (cos phi2)) 3)) (+ (* (* (* (cos lambda1) (cos lambda2)) (cos phi2)) (- (* (* (cos lambda1) (cos lambda2)) (cos phi2)) (cos phi1))) (* (cos phi1) (cos phi1))))
631.0ms
(* (cbrt (- (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n)))) (cbrt (- (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n)))))

simplify14.6s (3.8%)

Algorithm
224×egg-herbie

regimes10.1s (2.6%)

Accuracy

Total 23.9b remaining (19%)

Threshold costs 6.6b (5.3%)

4.2b84.5%Quadratic roots, full range
4.2b86.1%Cubic critical
3.6b73.5%Equirectangular approximation to distance on a great circle
2.8b75.6%Quotient of products
1.3b0%2-ancestry mixing, positive discriminant

rewrite7.0s (1.8%)

Algorithm
146×rewrite-expression-head
Calls

507 calls:

120.0ms
(/ (/ (- (* 3.0 a)) 1) (/ (- (* 3.0 a)) (/ c (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))))
92.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
77.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (* (cbrt (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))))) (* (- phi1 phi2) (- phi1 phi2))))
73.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
71.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
Rules
19300×times-frac
11773×*-un-lft-identity
11100×add-sqr-sqrt
7312×add-cube-cbrt
2552×add-exp-log
2226×associate-*l/
2196×associate-*r/
2086×distribute-rgt-neg-in
2079×flip--
2078×flip3--
1741×difference-of-squares
1730×add-cbrt-cube
1706×frac-times
1674×distribute-lft-out--
1404×distribute-lft-neg-in
1394×cbrt-div
1308×neg-mul-1
1240×sqrt-prod
1204×pow1
1036×associate-*r*
934×sqrt-div
863×frac-add
846×associate-/l*
829×add-log-exp
768×prod-exp
749×div-exp
701×associate-/r*
619×associate-/r/
610×div-inv
545×unpow-prod-down
523×distribute-lft-out
478×associate-*l*
457×log-prod
388×cbrt-unprod
381×cbrt-undiv
321×cbrt-prod
310×cube-prod
309×pow-exp
283×pow-prod-down
223×pow-to-exp
198×flip-+ sqr-pow
197×flip3-+
174×unswap-sqr
151×associate-/l/
133×swap-sqr
124×clear-num frac-2neg
115×sub-neg
110×*-commutative
108×diff-log
94×div-sub
89×log-pow
69×sum-log
67×frac-sub
65×unpow3 cube-mult
59×log-div
54×exp-prod
53×pow1/3
49×unpow2
45×neg-sub0
44×tan-quot
43×associate--l+
42×pow1/2 pow-unpow sqrt-pow1
41×+-commutative
38×exp-sum
36×distribute-rgt-in pow-prod-up pow-sqr distribute-lft-in rem-log-exp
34×rem-sqrt-square
31×1-exp associate-+l-
30×sin-mult
28×cube-div rec-exp
23×neg-log cos-mult
22×pow-pow pow-plus
20×associate--l-
19×cos-diff distribute-frac-neg
17×pow2
16×associate--r+ sin-diff
15×associate-+r+ associate-+r-
14×rem-cube-cbrt acos-asin
13×cos-sum pow-flip distribute-rgt-out
11×sin-cos-mult
10×associate--r- distribute-rgt-neg-out
9×sin-sum
8×acos-neg associate-+l+
7×rem-exp-log inv-pow rem-cbrt-cube
6×exp-diff
5×sin-neg
4×sub-div sum-cubes
3×difference-cubes
2×distribute-lft1-in unsub-neg log-rec asin-acos
1×un-div-inv sqrt-unprod tanh-undef sqr-cos tanh-def

localize2.5s (0.6%)

bsearch444.0ms (0.1%)

end1.0ms (0.0%)