Date:Wednesday, June 3rd, 2020
Commit:75abde43 on ival-perf
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

prune3.1m (46.1%)

Filtered
22168 candidates to 29095 candidates (-31.2%)

sample2.5m (36.9%)

Algorithm
99×intervals
Results
47.7s7777×body5120exit
38.0s505335×body80valid
17.0s30165×body1280valid
8.4s23338×body640valid
5.2s3143×body1280nan
3.7s70454×body80nan
3.1s2574×body640nan
2.8s12099×body320valid
2.1s10177×body160valid
1.1s8002×body80overflowed
1.0s1214×body320nan
876.0ms49536×pre80true
449.0ms1437×body2560valid
352.0ms644×body160nan
207.0ms597×body5120valid

simplify27.9s (6.9%)

Algorithm
260×egg-herbie

series14.0s (3.4%)

Calls

482 calls:

2.0s
(pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3)
400.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)))
397.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)))
389.0ms
(log (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 (* 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))))))))
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))))

rewrite12.5s (3.1%)

Algorithm
161×rewrite-expression-head
Calls

482 calls:

915.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))))))) (* (* (- 0.0005064034 (* (* x x) 0.0001789971)) (- 1.0 (* 0.1049934947 (* x x)))) (- 0.0424060604 (* (* x x) 0.0072644182))))
597.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)))))
521.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))))
441.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)))))))
313.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.4s (2.8%)

Accuracy

Total 102.9b 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

localize2.8s (0.7%)

bsearch679.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...