Date:Thursday, April 30th, 2020
Commit:79b0ceb2 on master
Hostname:warfa with Racket 7.5
Seed:2020121
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

sample1.7m (44.2%)

Algorithm
78×intervals
Results
36.2s44005×body1280valid
12.2s30652×body640valid
8.5s203111×body80valid
6.6s153227×body80nan
5.4s781×body5120exit
5.3s27572×body320valid
4.1s166239×pre80true
3.8s35688×body160valid
2.2s24431×body80overflowed
958.0ms3080×body2560valid
638.0ms3128×body2560nan
435.0ms2620×body1280nan
365.0ms16542×pre80false
172.0ms1296×body640nan
104.0ms246×body5120valid
73.0ms685×body320nan
23.0ms328×body160nan
1.0ms1×body160overflowed

series46.9s (20.8%)

Calls

487 calls:

863.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)))
844.0ms
(sqrt (/ (* (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))))
818.0ms
(sqrt (/ (* (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))))
775.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)))
770.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)))

prune44.8s (19.9%)

Filtered
18487 candidates to 11268 candidates (61.0%)

simplify14.2s (6.3%)

Algorithm
219×egg-herbie

regimes8.9s (3.9%)

Accuracy

Total 19.4b remaining (17.5%)

Threshold costs 6.5b (5.9%)

3.9b85.7%Quadratic roots, full range
3.5b74.4%Equirectangular approximation to distance on a great circle
2.5b64.5%Quotient of products
1.9b92.2%Cubic critical
1.0b0%2-ancestry mixing, zero discriminant

rewrite7.0s (3.1%)

Algorithm
141×rewrite-expression-head
Calls

487 calls:

254.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
238.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)))))) (* (- phi1 phi2) (- phi1 phi2))))
203.0ms
(cbrt (pow (/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (/ (+ x 1.0) (- x 1.0)) (/ x (+ x 1.0)))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0))))) 3))
184.0ms
(pow (/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (/ (+ x 1.0) (- x 1.0)) (/ x (+ x 1.0)))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0))))) 3)
167.0ms
(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (/ (+ x 1.0) (- x 1.0)) (/ x (+ x 1.0)))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
Rules
10769×*-un-lft-identity
9887×times-frac
8855×add-sqr-sqrt
4188×add-cube-cbrt
3122×add-exp-log
2683×unpow-prod-down
2493×cube-prod
2040×difference-of-squares
2006×distribute-lft-out--
1753×add-cbrt-cube
1325×cbrt-prod
1124×associate-*r*
1103×distribute-lft-out
1094×prod-exp
981×associate-/l* div-exp
939×pow1 associate-*l/
854×flip--
853×flip3--
802×add-log-exp
770×sqrt-prod
614×associate-/r*
586×sqr-pow
580×frac-times
570×frac-add
497×associate-*l*
468×cbrt-undiv
467×pow-exp
458×sqrt-div
446×cbrt-unprod
421×associate-/r/
395×associate-*r/
384×div-inv
351×distribute-rgt-neg-in
345×pow-to-exp
327×log-prod
230×flip-+
229×flip3-+
186×unswap-sqr
181×pow-prod-down
128×associate-+l+
125×clear-num frac-2neg
119×sub-neg
111×associate-/l/
104×diff-log
98×*-commutative
89×distribute-lft-neg-in
69×cbrt-div
66×sum-log
64×div-sub
58×unpow3 cube-mult
52×log-pow
51×pow-unpow
47×pow1/3
45×distribute-rgt-in distribute-lft-in
42×difference-cubes
40×+-commutative log-div
35×1-exp
34×pow1/2 sqrt-pow1
33×unpow2 frac-sub
32×rem-sqrt-square neg-sub0
31×rec-exp
30×associate-+l-
29×exp-prod
27×neg-mul-1
25×cube-div swap-sqr
24×tan-quot
23×associate-+r+
21×neg-log
18×associate--l- distribute-rgt-out
17×pow-pow sin-diff
16×sin-mult rem-log-exp
15×cos-diff
14×pow-sqr pow-prod-up
13×rem-cube-cbrt cos-sum associate--l+
11×associate-+r-
10×pow-plus
9×sin-cos-mult pow2 pow-flip acos-asin asin-acos
8×un-div-inv distribute-frac-neg associate--r+
7×inv-pow cos-mult exp-sum
6×distribute-lft-neg-out
5×rem-exp-log sin-sum associate--r- rem-cbrt-cube
4×exp-diff acos-neg unsub-neg
2×distribute-lft1-in distribute-rgt-out-- sub-div distribute-rgt-neg-out distribute-neg-frac
1×sqrt-unprod tanh-undef sqr-cos exp-to-pow

localize2.4s (1.1%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)