Date:Thursday, June 4th, 2020
Commit:630fd560 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020156
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

sample1.8m (60.2%)

Algorithm
78×intervals
Results
42.4s43849×body1280valid
13.8s30087×body640valid
9.1s203596×body80valid
6.3s916×body5120exit
5.9s27940×body320valid
4.1s35813×body160valid
3.8s84329×body80nan
3.3s127876×pre80true
2.8s26538×body80overflowed
1.2s6155×body2560nan
953.0ms2829×body2560valid
785.0ms5037×body1280nan
312.0ms2539×body640nan
118.0ms1272×body320nan
87.0ms196×body5120valid
43.0ms629×body160nan
19.0ms1030×pre80false
2.0ms4×body160overflowed
1.0ms2×body320overflowed
1.0ms1×body640overflowed

prune27.8s (15.2%)

Filtered
10348 candidates to 16468 candidates (-59.1%)

regimes15.1s (8.3%)

Accuracy

Total 25.4b remaining (21.4%)

Threshold costs 8.2b (6.9%)

5.0b55.3%Quotient of products
3.9b72.5%Equirectangular approximation to distance on a great circle
3.7b86.1%Cubic critical
3.6b86.5%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

simplify13.8s (7.5%)

Algorithm
225×egg-herbie

series8.6s (4.7%)

Calls

516 calls:

213.0ms
(- (pow (sqrt (exp x)) 3) (pow (sqrt (exp (neg x))) 3))
182.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)))
147.0ms
(- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
143.0ms
(- (* (cos delta) (cos delta)) (cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 6)))
142.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.1s (2.8%)

Algorithm
147×rewrite-expression-head
Calls

516 calls:

78.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
70.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
58.0ms
(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))
57.0ms
(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))
Rules
6004×*-un-lft-identity
5963×add-sqr-sqrt
5802×times-frac
3378×add-cube-cbrt
2884×add-exp-log
1794×add-cbrt-cube
1263×associate-*r*
1205×sqrt-prod
1104×difference-of-squares
1062×pow1
949×flip--
948×flip3--
924×div-exp
897×prod-exp
844×add-log-exp
791×distribute-lft-out--
691×frac-times
686×associate-/l*
680×associate-*l/ unpow-prod-down
536×associate-*l*
500×associate-/r*
488×sqrt-div
480×distribute-lft-out
470×cube-prod
418×cbrt-undiv
413×cbrt-unprod
382×frac-add
367×associate-*r/
344×cbrt-prod
330×div-inv
314×distribute-rgt-neg-in
307×sqr-pow
306×pow-exp
276×associate-/r/
272×log-prod
236×cbrt-div
224×pow-to-exp
212×pow-prod-down
200×flip-+
199×flip3-+ unswap-sqr
124×sub-neg
121×associate-/l/ exp-prod
115×clear-num frac-2neg
107×log-pow
104×distribute-lft-neg-in log-div *-commutative
96×diff-log
87×cos-mult
85×1-exp
80×sum-log
77×rec-exp
76×exp-diff
73×swap-sqr
67×pow1/3
56×sqrt-pow1
50×div-sub cube-mult unpow3
49×+-commutative
45×pow-unpow
44×pow1/2
41×distribute-rgt-in distribute-lft-in unpow2
39×neg-sub0 rem-sqrt-square
36×associate-+r+
35×rem-log-exp
34×frac-sub
32×neg-mul-1
24×pow-sqr pow-prod-up associate-+l- sin-mult
20×cos-sum neg-log tan-quot sin-diff pow-pow
18×cos-diff difference-cubes associate--l+ pow-flip
17×distribute-rgt-out
15×pow-plus inv-pow
14×cube-div pow2
12×distribute-frac-neg
11×exp-sum associate-+l+ associate--r+
10×associate--l- acos-asin
9×sin-sum
8×associate-+r-
7×rem-exp-log
6×exp-neg sin-cos-mult associate--r- log-rec asin-acos
5×rem-cube-cbrt
4×acos-neg rem-cbrt-cube tanh-def
3×sqr-cos distribute-lft1-in distribute-rgt-neg-out
2×sub-div unsub-neg distribute-neg-frac
1×tanh-undef exp-to-pow sqrt-unprod un-div-inv sum-cubes distribute-rgt-out-- sub0-neg

localize2.3s (1.2%)

bsearch280.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...