Date:Wednesday, June 3rd, 2020
Commit:ad17e535 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020155
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.5min (53.6%)

Algorithm
99×intervals
Results
47.5s7777×body5120exit
37.6s505335×body80valid
17.1s30165×body1280valid
8.1s23338×body640valid
5.0s3143×body1280nan
3.6s70454×body80nan
3.0s2574×body640nan
2.8s12099×body320valid
1.9s10177×body160valid
1.0s8002×body80overflowed
1.0s1214×body320nan
883.0ms49536×pre80true
455.0ms1437×body2560valid
346.0ms644×body160nan
200.0ms597×body5120valid

prune1.0min (21.6%)

Filtered
18437 candidates to 11527 candidates (37.5%)

simplify27.9s (10.0%)

Algorithm
260×egg-herbie

series13.5s (4.8%)

Calls

482 calls:

1.7s
(pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3)
566.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)))
391.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))
387.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)))
373.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))))

rewrite12.1s (4.4%)

Algorithm
161×rewrite-expression-head
Calls

482 calls:

1.1s
(* (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182))))
610.0ms
(/ x (* (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182)))))
465.0ms
(* (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
425.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (* (+ (* (* (pow (* x x) 4) (- (* 0.0005064034 0.0005064034) (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)))) (- 1.0 (* 0.1049934947 (* x x)))) (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- (* 1.0 1.0) (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)))))) (- 0.0424060604 (* (* x x) 0.0072644182))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* (* x x) 0.0072644182) (* (* x x) 0.0072644182)))))))
279.0ms
(* (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2.0 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
Rules
29701×flip-- flip3--
29009×frac-times
23941×associate-*r/
21646×frac-add
14638×associate-*l/
11118×associate-/r/
9754×times-frac
8053×*-un-lft-identity
7583×add-sqr-sqrt
6848×associate-*l*
5432×add-cube-cbrt
3229×add-exp-log
3145×sqrt-prod
2743×add-cbrt-cube
2342×associate-*r*
1833×pow1
1238×prod-exp
1103×distribute-lft-out
1099×flip-+ flip3-+
982×cbrt-unprod
808×add-log-exp
788×div-exp
642×cbrt-undiv
513×unpow-prod-down
495×unswap-sqr
479×associate-/l*
442×cbrt-prod
396×associate-/r*
374×pow-prod-down
365×div-inv
342×difference-of-squares
327×sqrt-div
316×swap-sqr
267×log-pow
264×distribute-lft-out--
200×pow-prod-up
199×sqrt-pow1
197×associate-/l/
173×log-prod
168×sqr-pow
165×*-commutative
164×pow-plus
150×cube-prod
145×pow1/2
133×pow-exp
117×distribute-rgt-in distribute-lft-in
108×exp-prod
105×exp-neg pow-sub
100×sub-neg
90×sum-log exp-diff
89×diff-log
80×pow-to-exp clear-num frac-2neg
71×neg-sub0
68×pow-sqr
65×rem-sqrt-square
62×cbrt-div
61×pow-unpow
55×associate-+l-
52×+-commutative
48×1-exp
47×pow2
46×associate--l+
45×rec-exp
44×exp-sum
40×un-div-inv
35×pow1/3
28×log-div
26×rem-exp-log
25×pow-pow
22×cube-div associate-+l+
19×cube-mult unpow3
18×distribute-lft-neg-in distribute-rgt-neg-in
17×div-sub
16×associate--l- frac-sub
15×associate-+r+
12×rem-log-exp sin-sum neg-log rem-cube-cbrt
11×pow3
10×difference-of-sqr-1
9×unpow2
8×associate--r+
6×inv-pow pow-flip
5×rem-square-sqrt sqrt-unprod rem-cbrt-cube
4×difference-cubes
3×distribute-neg-in neg-mul-1
2×unpow-prod-up sum-cubes
1×cos-sum exp-to-pow associate--r- distribute-rgt-out--

regimes11.7s (4.2%)

Accuracy

Total 103.0b remaining (39%)

Threshold costs 2.9b (1.1%)

12.2b43.7%math.sqrt on complex, imaginary part, im greater than 0 branch
10.7b57.1%math.log10 on complex, real part
10.6b56.5%math.log/2 on complex, real part
10.5b57.5%math.log/1 on complex, real part
10.3b57%math.abs on complex

localize3.2s (1.1%)

bsearch675.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...