Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
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

sample11.3m (84.5%)

Algorithm
78×intervals
Results
9.9m62071×body10240exit
33.4s43506×body1280valid
11.4s30557×body640valid
7.2s204767×body80valid
4.8s152257×body80nan
4.5s27296×body320valid
3.7s205831×pre80true
3.1s36480×body160valid
779.0ms3016×body2560valid
371.0ms8029×body160nan
229.0ms16729×pre80false
133.0ms248×body5120valid

prune49.5s (6.2%)

Filtered
17595 candidates to 11237 candidates (63.9%)

series43.1s (5.4%)

Calls

515 calls:

587.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)))
419.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- phi1 phi2) (- phi1 phi2))))
410.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2.0))) (* (- phi1 phi2) (- phi1 phi2))))
406.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (- lambda1 lambda2)) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- phi1 phi2) (- phi1 phi2))))
403.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify14.0s (1.8%)

Algorithm
226×egg-herbie

regimes8.0s (1.0%)

Accuracy

Total 23.7b remaining (19.2%)

Threshold costs 6.8b (5.5%)

8.1b41.2%Equirectangular approximation to distance on a great circle
4.5b83.4%Cubic critical
2.2b80.9%Quotient of products
1.1b95.5%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

rewrite6.2s (0.8%)

Algorithm
148×rewrite-expression-head
Calls

515 calls:

188.0ms
(- (pow (pow (sqrt (/ x0 (- 1.0 x1))) 3) 3) (pow (pow (sqrt x0) 3) 3))
182.0ms
(+ (pow (pow (sqrt (/ x0 (- 1.0 x1))) 3) 3) (pow (pow (sqrt x0) 3) 3))
122.0ms
(* (+ (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)))
79.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
77.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
Rules
7312×times-frac
6867×add-sqr-sqrt
6555×*-un-lft-identity
3811×add-cube-cbrt
2730×add-exp-log
1802×add-cbrt-cube
1433×pow1
1349×difference-of-squares
1281×associate-*r*
1243×sqrt-prod
1201×unpow-prod-down
940×cube-prod
918×distribute-lft-out--
900×prod-exp
852×add-log-exp
849×associate-/l*
841×distribute-rgt-neg-in
778×div-exp
696×flip--
695×flip3--
672×associate-*l/
653×associate-*l*
598×associate-/r*
510×distribute-lft-neg-in
453×cbrt-unprod
444×distribute-lft-out
388×frac-times
380×cbrt-undiv
376×sqrt-div
365×pow-prod-down
324×sqr-pow
315×pow-exp
301×associate-/r/
294×neg-mul-1
282×div-inv
279×associate-*r/
276×frac-add
249×cbrt-prod
239×unswap-sqr
230×pow-to-exp
224×flip-+
223×flip3-+
175×log-prod
130×associate-/l/
120×frac-2neg clear-num
119×*-commutative
114×sub-neg
103×diff-log
97×log-pow
93×pow-prod-up
90×cbrt-div
86×swap-sqr
80×unpow3 cube-mult
78×sum-log
75×div-sub
69×sqrt-pow1
67×pow-sqr
65×pow1/2
62×log-div
52×+-commutative
50×pow1/3
49×frac-sub
46×1-exp
45×pow-plus exp-prod
42×pow-unpow
41×distribute-rgt-in neg-sub0 distribute-lft-in
38×distribute-rgt-out
33×rec-exp associate-+l-
32×rem-sqrt-square associate--l- tan-quot
31×pow2
30×unpow2
28×associate--l+
26×pow-pow
25×neg-log rem-log-exp
23×associate--r+
20×cos-diff sin-mult
15×cos-sum sin-diff
14×associate-+r+
13×associate--r-
11×rem-cube-cbrt associate-+r- distribute-frac-neg distribute-rgt-neg-out tanh-def
9×sin-cos-mult unsub-neg exp-sum
8×distribute-lft-neg-out acos-asin cos-mult
7×cube-div pow-flip exp-to-pow
6×sin-neg
5×associate-+l+ distribute-lft1-in sin-sum rem-cbrt-cube
4×un-div-inv rem-exp-log inv-pow
3×acos-neg difference-cubes sqrt-unprod sum-cubes rem-square-sqrt sub-div
2×exp-diff sqrt-pow2 asin-acos distribute-neg-frac
1×pow3 tanh-undef sqrt-undiv

localize2.5s (0.3%)

bsearch837.0ms (0.1%)

end1.0ms (0.0%)