Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
Hostname:warfa with Racket 7.5
Seed:2020049
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

rewrite11.2m (71.2%)

Algorithm
163×rewrite-expression-head
Calls

511 calls:

13.3s
(* (cbrt (pow (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) 3)) x)
7.0s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
5.0s
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))
5.0s
(/ (* x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* 0.0140005442 (pow x 8)) (* (pow x 2) (+ (* (sqrt (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (sqrt (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))
4.9s
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
Rules
11249×times-frac
9899×*-un-lft-identity
7550×add-sqr-sqrt
6164×add-cube-cbrt
4388×add-exp-log
3159×add-cbrt-cube
3018×pow1
2151×prod-exp
1903×distribute-rgt-neg-in distribute-lft-neg-in
1707×distribute-lft-out
1576×cbrt-div
1545×associate-*l*
1496×cbrt-unprod
1495×associate-*r*
1372×pow-prod-down
1266×flip-+ flip3-+
1138×sqrt-prod
1057×frac-times
912×associate-/r/
892×associate-/l*
863×div-exp
843×associate-*r/
816×add-log-exp
566×cbrt-prod
528×associate-*l/
469×div-inv
461×cbrt-undiv
444×swap-sqr
381×associate-/r*
380×unpow-prod-down
330×unswap-sqr
316×difference-of-squares
308×neg-mul-1
291×sqrt-pow1
282×flip3-- flip--
271×sqrt-div log-pow
207×distribute-lft-out-- pow-exp
188×exp-diff
184×frac-add
176×*-commutative
155×pow1/2
140×pow-unpow
139×log-prod
134×cube-prod
125×associate-/l/ pow-prod-up
117×pow1/3
116×distribute-rgt-in distribute-lft-in
103×sqr-pow
94×pow-to-exp
91×pow-sqr
87×clear-num frac-2neg diff-log
86×sub-neg
80×sum-log
76×pow-plus
74×exp-prod
63×rem-sqrt-square
56×frac-sub
54×pow-pow
51×pow2
49×+-commutative
40×exp-sum distribute-neg-frac
36×associate--l+
30×div-sub
28×log-div
26×distribute-rgt-out--
19×unpow2
17×associate-+l+
16×difference-of-sqr-1 associate--l-
15×1-exp rec-exp
14×rem-exp-log unpow3 cube-mult
12×cube-div
9×sum-cubes
8×sub-div neg-sub0 associate--r+
7×distribute-neg-in pow-sub
6×neg-log rem-cube-cbrt sin-sum
5×pow3 inv-pow unpow-prod-up pow-flip associate-+r+ associate-+l- rem-log-exp
4×rem-cbrt-cube
3×e-exp-1 sqrt-unprod exp-neg unsub-neg rem-square-sqrt distribute-frac-neg distribute-rgt-neg-out associate-+r-
2×sqrt-pow2 un-div-inv exp-to-pow
1×distribute-lft-neg-out sqrt-undiv cos-sum associate--r-

sample1.8m (11.3%)

Algorithm
99×intervals
Results
44.6s12118×body10240exit
24.0s515538×body80valid
10.9s26859×body1280valid
5.0s21134×body640valid
2.5s69617×body80nan
1.6s1607×body1280nan
1.6s10585×body320valid
1.1s9448×body160valid
946.0ms1341×body640nan
653.0ms49536×pre80true
362.0ms1459×body2560valid
298.0ms607×body320nan
155.0ms588×body5120valid
116.0ms348×body160nan

series1.2m (7.6%)

Calls

509 calls:

8.2s
(+ (* 1.0 1.0) (- (* (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 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.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 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))) (/ 1 (exp (pow (fabs x) 2)))))))
2.3s
(- 1.0 (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (* (- 1.0 (* 0.3275911 (fabs x))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 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 (- (* (fabs x) (fabs x))))))
2.3s
(/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))
2.2s
(* (/ (/ (* 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))))
948.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0))

prune1.1m (6.9%)

simplify15.1s (1.6%)

Algorithm
261×egg-herbie

regimes8.1s (0.9%)

Accuracy

Total 101.8b remaining (39%)

Threshold costs 3.9b (1.5%)

12.2b50.1%math.log/2 on complex, real part
10.7b56.6%math.log10 on complex, real part
10.7b32.8%Octave 3.8, jcobi/4
10.5b57.1%math.log/1 on complex, real part
9.7b59.2%math.abs on complex

localize2.7s (0.3%)

bsearch2.2s (0.2%)

end1.0ms (0.0%)