Date:Sunday, May 31st, 2020
Commit:d643102f on ival-performance
Hostname:warfa with Racket 7.5
Seed:2020152
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.0m (61.4%)

Algorithm
78×intervals
Results
41.7s43997×body1280valid
13.5s29698×body640valid
8.9s202872×body80valid
8.9s1285×body5120exit
6.8s154106×body80nan
6.0s28070×body320valid
4.4s174374×pre80true
4.2s36221×body160valid
3.7s30836×body80overflowed
980.0ms3081×body2560valid
632.0ms3212×body2560nan
414.0ms2595×body1280nan
353.0ms16517×pre80false
168.0ms1299×body640nan
97.0ms232×body5120valid
65.0ms659×body320nan
23.0ms322×body160nan
2.0ms2×body640overflowed
1.0ms2×body160overflowed
1.0ms1×body320overflowed

prune30.7s (15.9%)

Filtered
10757 candidates to 16684 candidates (-55.1%)

regimes14.6s (7.6%)

Accuracy

Total 22.8b remaining (17.6%)

Threshold costs 7.9b (6.1%)

5.4b51.3%Quotient of products
4.1b69.6%Equirectangular approximation to distance on a great circle
3.1b86.5%Cubic critical
1.2b95%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

simplify12.2s (6.3%)

Algorithm
223×egg-herbie

series8.8s (4.6%)

Calls

499 calls:

221.0ms
(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))
213.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
191.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
144.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
142.0ms
(- (* (cos delta) (cos delta)) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 2))

rewrite5.4s (2.8%)

Algorithm
145×rewrite-expression-head
Calls

499 calls:

103.0ms
(- (/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2)))) (/ 3.0 (pow x 3)))
82.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
80.0ms
(- (/ (neg 0.5) x) (/ 0.125 (pow x 3)))
80.0ms
(log (+ (* 2 x) (- (/ (neg 0.5) x) (/ 0.125 (pow x 3)))))
71.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
Rules
7647×times-frac
6616×add-sqr-sqrt
6367×*-un-lft-identity
4000×add-cube-cbrt
2877×add-exp-log
1866×add-cbrt-cube
1164×pow1
1118×associate-*r*
1090×sqrt-prod
1062×difference-of-squares
950×prod-exp
912×associate-/l*
906×flip--
905×flip3--
899×associate-*l/
866×div-exp
852×distribute-lft-out--
802×add-log-exp
604×unpow-prod-down
540×associate-/r*
503×frac-times
486×sqrt-div
454×div-inv
438×cbrt-unprod
434×cbrt-undiv
422×frac-add
420×associate-*l*
378×pow-exp
355×distribute-rgt-neg-in
350×cube-prod
342×associate-/r/
335×associate-*r/
314×distribute-lft-out
277×pow-to-exp
255×cbrt-prod
253×pow-prod-down
233×log-prod
230×sqr-pow
199×unswap-sqr
181×flip-+
180×flip3-+
128×associate-/l/
123×clear-num sub-neg frac-2neg
113×*-commutative
103×diff-log
101×log-pow
98×exp-prod
66×unpow2
63×cube-mult unpow3
56×sum-log
55×pow-prod-up
53×div-sub
51×distribute-lft-neg-in cbrt-div
50×swap-sqr
48×log-div
45×distribute-rgt-in distribute-lft-in sqrt-pow1 pow1/2
42×pow-unpow
39×pow-sqr
34×neg-sub0 +-commutative
33×rem-sqrt-square
32×pow1/3 1-exp
30×tan-quot
29×frac-sub pow-plus
25×rem-log-exp
24×cos-diff
22×pow2 rec-exp pow-pow
20×neg-log
19×cos-sum associate-+l-
18×associate--l- distribute-neg-frac
17×neg-mul-1 cos-mult
16×exp-sum associate--l+ sin-diff
15×rem-cube-cbrt
14×distribute-frac-neg
13×associate-+r- distribute-rgt-out sin-cos-mult
12×acos-asin sin-mult
10×cube-div associate-+r+
9×associate--r+
8×acos-neg rem-exp-log
7×sin-sum
6×associate--r- rem-cbrt-cube exp-diff
5×associate-+l+ asin-acos distribute-rgt-out--
4×un-div-inv
3×difference-cubes distribute-rgt-neg-out
2×distribute-lft1-in inv-pow pow-flip
1×tanh-undef sqr-cos rem-square-sqrt sqrt-pow2 exp-to-pow sqrt-unprod sub-div unsub-neg tanh-def

localize2.2s (1.2%)

bsearch375.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...