Date:Tuesday, May 19th, 2020
Commit:6de45b16 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020140
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

sample2.1m (43.7%)

Algorithm
100×intervals
Results
45.2s7872×body5120exit
27.5s490593×body80valid
16.2s30467×body1280valid
7.8s23432×body640valid
4.1s3083×body1280nan
3.5s69857×body80nan
2.6s11908×body320valid
2.5s2574×body640nan
1.5s10057×body160valid
907.0ms49536×pre80true
870.0ms1252×body320nan
851.0ms7917×body80overflowed
515.0ms1535×body2560valid
268.0ms626×body160nan
173.0ms535×body5120valid

series1.2m (24.1%)

Calls

491 calls:

2.5s
(log (sqrt (exp (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (/ 1 (exp (pow (fabs x) 2)))))))))
2.5s
(log (sqrt (exp (- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (/ 1 (exp (pow (fabs x) 2)))))))))
2.4s
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
1.8s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (exp (neg (* (fabs x) (fabs x))))))
1.7s
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (/ 1 (exp (pow (fabs x) 2))))))

prune1.0m (20.6%)

Filtered
20368 candidates to 12513 candidates (61.4%)

simplify15.9s (5.4%)

Algorithm
265×egg-herbie

regimes7.2s (2.4%)

Accuracy

Total 101.9b remaining (39.6%)

Threshold costs 4.7b (1.8%)

13.3b50.3%math.sqrt on complex, real part
10.7b57.3%math.log/2 on complex, real part
10.4b57.5%math.log10 on complex, real part
10.2b58.1%math.log/1 on complex, real part
9.8b58.4%math.abs on complex

rewrite6.7s (2.3%)

Algorithm
165×rewrite-expression-head
Calls

491 calls:

164.0ms
(/ (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
151.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
106.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
104.0ms
(/ (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (pow (fabs x) 3))) (+ (/ 3.0 4.0) (* (/ 1.0 (pow (fabs x) 2)) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
66.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ alpha beta) (* 2.0 1.0)))
Rules
17463×times-frac
12795×*-un-lft-identity
10027×add-sqr-sqrt
8440×add-cube-cbrt
4798×sqrt-prod
2865×add-exp-log
1982×distribute-lft-out
1889×add-cbrt-cube
1566×pow1
1431×associate-*r*
1216×associate-*l*
1202×associate-/l*
1118×prod-exp
801×flip-+ flip3-+
792×add-log-exp
776×frac-add
757×associate-/r/
697×unpow-prod-down
657×associate-*r/
654×div-exp
626×cbrt-unprod
550×sqrt-div
453×pow-prod-down frac-times
445×unswap-sqr associate-/r*
428×div-inv
392×cbrt-prod
386×pow-exp
380×associate-*l/
323×cbrt-undiv
272×difference-of-squares
226×distribute-lft-out--
221×log-pow
217×log-prod
197×sqr-pow
192×pow-to-exp
191×cube-prod
188×flip-- flip3--
183×exp-prod
171×1-exp rec-exp
167×*-commutative
166×associate-/l/
136×swap-sqr
135×cbrt-div
128×sqrt-pow1
102×distribute-rgt-in distribute-lft-in
100×sub-neg
95×diff-log
88×pow1/2
85×frac-2neg clear-num
81×exp-neg
79×exp-diff
76×exp-sum
74×un-div-inv
71×pow1/3
70×sum-log
64×pow-unpow neg-sub0
57×associate-+l-
56×rem-sqrt-square
53×pow-sub
45×pow-prod-up
43×associate--l+
42×+-commutative distribute-rgt-neg-in
41×pow-sqr
36×distribute-lft-neg-in
35×unpow3 cube-mult
30×pow-pow
25×log-div
23×rem-exp-log
19×rem-cube-cbrt
18×pow2 pow-plus frac-sub
16×pow-flip div-sub associate--l-
15×associate-+l+ rem-log-exp
14×distribute-rgt1-in distribute-rgt-out
13×inv-pow
12×cube-div neg-mul-1
10×neg-log unpow2
8×associate-+r+ associate--r+
6×sin-sum
4×sub-div
3×rem-cbrt-cube
2×distribute-neg-in unpow-prod-up sum-cubes
1×cos-sum associate-+r- sqrt-unprod distribute-rgt-out-- unsub-neg rem-square-sqrt associate--r-

localize2.7s (0.9%)

bsearch1.6s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...