Date:Thursday, April 30th, 2020
Commit:56fb38c9 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020121
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.7m (43.4%)

Algorithm
78×intervals
Results
36.6s44005×body1280valid
12.2s30652×body640valid
8.6s203111×body80valid
6.6s153227×body80nan
5.4s781×body5120exit
5.4s27572×body320valid
4.3s166239×pre80true
3.8s35688×body160valid
2.2s24431×body80overflowed
961.0ms3080×body2560valid
607.0ms3128×body2560nan
415.0ms2620×body1280nan
363.0ms16542×pre80false
163.0ms1296×body640nan
104.0ms246×body5120valid
65.0ms685×body320nan
22.0ms328×body160nan
0.0ms1×body160overflowed

prune48.8s (21.2%)

Filtered
27505 candidates to 12627 candidates (45.9%)

series44.8s (19.4%)

Calls

463 calls:

840.0ms
(sqrt (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))))
839.0ms
(sqrt (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))))
762.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
747.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
745.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify16.6s (7.2%)

Algorithm
220×egg-herbie

regimes9.7s (4.2%)

Accuracy

Total 29.7b remaining (25.3%)

Threshold costs 5.6b (4.8%)

5.6b59.2%Cubic critical, narrow range
4.7b35.5%Cubic critical, medium range
3.9b85.7%Quadratic roots, full range
3.4b0%Cubic critical, wide range
2.5b64.5%Quotient of products

rewrite7.3s (3.2%)

Algorithm
142×rewrite-expression-head
Calls

463 calls:

274.0ms
(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (fma (/ (+ x 1.0) (- x 1.0)) (+ (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
271.0ms
(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (fma (/ (+ x 1.0) (- x 1.0)) (+ (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
170.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
169.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
162.0ms
(cbrt (pow (/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (fma (/ (+ x 1.0) (- x 1.0)) (+ (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0))))) 3))
Rules
25641×*-un-lft-identity
22733×times-frac
18613×add-sqr-sqrt
12663×add-cube-cbrt
9777×prod-diff
6730×unpow-prod-down
6531×cube-prod
3446×distribute-lft-out
3335×add-exp-log
2862×distribute-lft-out--
2655×difference-of-squares
1829×add-cbrt-cube
1668×associate-/r/
1316×cbrt-prod
1239×prod-exp
1122×associate-*r*
1061×div-exp
1054×div-inv
846×pow1
817×sqrt-prod
722×fma-neg
697×sqr-pow
695×add-log-exp
629×associate-/l*
569×associate-/r*
566×flip-+
565×flip3-+
525×cbrt-unprod
496×flip--
495×flip3--
494×cbrt-undiv
471×distribute-rgt-neg-in
467×pow-exp
464×log1p-expm1-u
463×expm1-log1p-u
392×associate-*l*
380×distribute-lft-neg-in
378×log-prod
344×pow-to-exp
253×unpow3 cube-mult
223×distribute-rgt-in distribute-lft-in
216×fma-def
193×unswap-sqr
135×pow-prod-down
123×neg-mul-1
122×associate-+l+
111×clear-num frac-2neg
101×associate-*r/
95×sub-neg
88×exp-sum
87×*-commutative
84×associate-*l/
83×associate-/l/
80×diff-log
79×cbrt-div
76×frac-times
75×log-pow
74×sqrt-div
64×cos-sum
63×pow1/3
52×unpow2
50×1-exp
49×pow-unpow
48×rec-exp
42×div-sub sum-log
41×exp-prod
37×swap-sqr
35×difference-cubes log-div
32×pow1/2 sqrt-pow1
30×+-commutative
29×fma-udef
28×neg-sub0
27×rem-sqrt-square
24×cube-div
23×sin-sum
22×associate--l+
20×tan-quot
19×neg-log associate-+l-
18×sin-diff
17×frac-add rem-log-exp pow-pow
16×pow-flip associate-+r+
15×cos-diff frac-sub
14×rem-cube-cbrt sin-mult
13×associate--l- pow-prod-up pow-sqr distribute-rgt-out
11×inv-pow asin-acos
10×distribute-neg-frac
9×pow2 pow-plus
8×associate-+r- acos-asin
7×rem-exp-log sin-cos-mult
6×distribute-frac-neg
4×exp-diff rem-cbrt-cube
3×acos-neg un-div-inv unpow-prod-up cos-mult associate--r- distribute-rgt-neg-out expm1-udef associate--r+
2×log1p-udef distribute-lft1-in expm1-log1p hypot-udef hypot-def
1×e-exp-1 sqrt-unprod log1p-expm1

localize2.2s (1.0%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)