Date:Thursday, April 30th, 2020
Commit:d2f20e12 on joint-profile
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

sample3.8m (63.7%)

Algorithm
78×intervals
Results
2.4m25213×body10240exit
34.5s44005×body1280valid
11.2s30652×body640valid
7.2s203111×body80valid
5.0s153236×body80nan
4.7s27572×body320valid
3.1s35688×body160valid
2.8s166239×pre80true
792.0ms3080×body2560valid
371.0ms8048×body160nan
221.0ms16542×pre80false
86.0ms246×body5120valid

series47.0s (13.2%)

Calls

487 calls:

826.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))
789.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))))
778.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))))
707.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)))
703.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)))

prune45.0s (12.7%)

Filtered
18487 candidates to 11268 candidates (61.0%)

simplify14.1s (4.0%)

Algorithm
219×egg-herbie

regimes8.9s (2.5%)

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

rewrite6.8s (1.9%)

Algorithm
141×rewrite-expression-head
Calls

487 calls:

197.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))
179.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)
159.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)))))
155.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)))))
105.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
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

bsearch4.6s (1.3%)

localize2.4s (0.7%)

end1.0ms (0.0%)

Profiling

Loading profile data...