Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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

sample1.9m (46.0%)

Algorithm
78×intervals
Results
36.0s43207×body1280valid
14.0s2117×body5120exit
12.5s30737×body640valid
9.1s204271×body80valid
6.6s151750×body80nan
5.5s27717×body320valid
5.0s41914×body80overflowed
4.6s186321×pre80true
3.9s36120×body160valid
969.0ms2990×body2560valid
581.0ms3062×body2560nan
407.0ms2607×body1280nan
368.0ms16381×pre80false
164.0ms1300×body640nan
111.0ms220×body5120valid
67.0ms690×body320nan
22.0ms310×body160nan
6.0ms5×body640overflowed
1.0ms3×body160overflowed
1.0ms1×body320overflowed

prune53.5s (21.8%)

Filtered
18307 candidates to 12083 candidates (66.0%)

series46.3s (18.9%)

Calls

528 calls:

669.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- (+ (* 0.020833333333333336 (pow t 3)) 0.5) (* 0.25 t)) c_n)))
642.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
538.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
508.0ms
(+ (* (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2)))
503.0ms
(+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2)))

simplify14.6s (6.0%)

Algorithm
226×egg-herbie

regimes8.8s (3.6%)

Accuracy

Total 24.2b remaining (21.1%)

Threshold costs 5.9b (5.2%)

6.0b47.7%Quotient of products
3.8b72.8%Equirectangular approximation to distance on a great circle
3.3b88.3%Cubic critical
3.1b89%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

rewrite6.0s (2.4%)

Algorithm
148×rewrite-expression-head
Calls

528 calls:

98.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
89.0ms
(* (- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0) (- 1.0 m))
77.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
71.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
66.0ms
(sqrt (+ (* (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2))))
Rules
6238×times-frac
6055×*-un-lft-identity
5922×add-sqr-sqrt
4801×associate-*l/
3652×add-cube-cbrt
3568×flip--
3567×flip3--
3348×frac-times
3123×add-exp-log
2658×cbrt-div
1698×frac-add
1673×add-cbrt-cube
1129×associate-*r/
1118×pow1
1099×associate-*r*
1084×sqrt-div
1080×prod-exp
1018×div-exp
944×sqrt-prod
906×difference-of-squares
850×add-log-exp
764×unpow-prod-down
748×associate-/l*
717×distribute-lft-out--
605×associate-/r*
574×pow-exp
492×cube-prod
459×distribute-lft-out
423×associate-*l*
412×pow-to-exp
396×div-inv
375×cbrt-prod
359×cbrt-undiv
350×cbrt-unprod
346×associate-/r/
269×distribute-rgt-neg-in
236×sqr-pow
228×flip-+ pow-prod-down
227×flip3-+
208×unswap-sqr
193×log-prod
146×associate-/l/
132×sub-neg
126×clear-num frac-2neg
115×*-commutative
95×sin-mult
92×diff-log
83×swap-sqr
80×cos-mult
78×sum-log
77×unpow3 cube-mult
68×pow1/3
67×frac-sub
66×log-pow
58×div-sub
57×log-div
56×distribute-rgt-in distribute-lft-neg-in distribute-lft-in
55×1-exp
53×+-commutative
49×rec-exp
47×pow1/2 sqrt-pow1
43×sin-cos-mult
42×rem-sqrt-square exp-prod
40×unpow2
33×associate-+l-
30×pow-unpow
29×pow-sqr neg-sub0 pow-prod-up rem-log-exp
28×distribute-rgt-out
26×tan-quot
21×associate-+r+ sub-div associate--l+
19×neg-log
18×cube-div pow-plus sin-diff
16×cos-diff exp-sum neg-mul-1
15×cos-sum associate-+l+ pow2
14×associate--r+
13×pow-pow
12×associate--l-
11×pow-flip
10×acos-asin
9×inv-pow distribute-frac-neg associate--r-
7×rem-cube-cbrt
6×exp-diff un-div-inv rem-exp-log difference-of-sqr-1
5×distribute-lft1-in associate-+r- sin-sum
3×acos-neg difference-cubes rem-cbrt-cube distribute-rgt-neg-out
2×asin-acos distribute-neg-frac
1×sub0-neg sqrt-unprod unsub-neg tanh-undef exp-to-pow tanh-def

localize2.4s (1.0%)

bsearch823.0ms (0.3%)

end1.0ms (0.0%)