Date:Monday, June 1st, 2020
Commit:29dc5705 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020153
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.3min (51.7%)

Algorithm
78×intervals
Results
41.4s43651×body1280valid
21.4s3206×body5120exit
13.8s30649×body640valid
9.3s205357×body80valid
7.8s54178×body80overflowed
6.8s151040×body80nan
5.9s27743×body320valid
4.8s200422×pre80true
4.2s36173×body160valid
1.0s3117×body2560valid
576.0ms3095×body2560nan
400.0ms2613×body1280nan
362.0ms16507×pre80false
163.0ms237×body5120valid
154.0ms1248×body640nan
59.0ms646×body320nan
21.0ms329×body160nan
5.0ms4×body640overflowed
2.0ms3×body320overflowed
2.0ms5×body160overflowed

prune1.3min (28.7%)

Filtered
21679 candidates to 13490 candidates (37.8%)

regimes15.7s (6.0%)

Accuracy

Total 23.0b remaining (20.2%)

Threshold costs 7.6b (6.7%)

6.4b45.2%Quotient of products
3.5b87.2%Cubic critical
3.3b75.9%Equirectangular approximation to distance on a great circle
1.2b95.2%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

simplify14.1s (5.3%)

Algorithm
224×egg-herbie

series12.6s (4.8%)

Calls

508 calls:

4.2s
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (/ (+ 1/8 (pow (* 1/2 (cos (* 2 (/ (+ phi1 phi2) 2.0)))) 3)) (+ (* (* 1/2 (cos (* 2 (/ (+ phi1 phi2) 2.0)))) (- (* 1/2 (cos (* 2 (/ (+ phi1 phi2) 2.0)))) 1/2)) 1/4))) (* (- phi1 phi2) (- phi1 phi2))))
444.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (+ 1/2 (* 1/2 (cos (* 2 (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
211.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)))
180.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)))
138.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite6.5s (2.5%)

Algorithm
146×rewrite-expression-head
Calls

508 calls:

361.0ms
(- (pow (pow (/ x (+ x 1.0)) 3) 3) (pow (pow (/ (+ x 1.0) (- x 1.0)) 3) 3))
170.0ms
(/ (/ (/ 1 (/ 2.0 4.0)) (/ 1 c)) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
98.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
79.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
79.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
25304×times-frac
15750×*-un-lft-identity
15224×add-sqr-sqrt
10452×add-cube-cbrt
3251×add-exp-log
2133×difference-of-squares
2042×distribute-lft-out--
1938×add-cbrt-cube
1408×unpow-prod-down
1333×sqrt-prod
1268×associate-/l*
1149×div-inv
1132×flip--
1131×cube-prod flip3--
1121×prod-exp
1099×pow1
1016×div-exp
964×frac-times
958×associate-*r*
820×distribute-rgt-neg-in
816×add-log-exp
694×associate-*l/
668×sqrt-div
559×frac-add
557×distribute-lft-out
512×associate-/r*
500×associate-*l*
491×cbrt-unprod
444×associate-*r/
441×cbrt-prod associate-/r/
439×cbrt-undiv
398×pow-exp
294×pow-to-exp
279×sqr-pow
278×flip-+
277×flip3-+
253×log-prod
231×pow-prod-down
204×unswap-sqr
128×sub-neg
120×swap-sqr
119×*-commutative
118×clear-num frac-2neg
103×associate-/l/
101×diff-log
78×cos-mult
75×sqrt-pow1
74×1-exp
68×log-pow
67×exp-prod
66×sum-log
64×rec-exp
60×distribute-lft-neg-in cube-mult unpow3
58×cbrt-div
51×pow-unpow
50×unpow2
49×distribute-rgt-in distribute-lft-in
47×pow1/3
45×pow1/2
44×tan-quot
41×log-div
40×+-commutative div-sub
35×neg-sub0 rem-sqrt-square
28×frac-sub
27×rem-log-exp
26×pow-prod-up
25×cube-div
24×pow-sqr
23×associate-+l+
22×pow-pow
20×associate-+r+ neg-mul-1 neg-log sin-diff
19×associate-+l-
18×pow-plus
17×pow2
16×associate--l- associate--l+
15×cos-diff sin-mult associate--r+
14×rem-cube-cbrt
13×distribute-rgt-out
11×cos-sum
10×pow-flip
9×exp-sum sin-sum distribute-frac-neg
8×associate-+r- associate--r-
7×acos-asin sin-cos-mult
6×inv-pow
5×rem-exp-log
4×difference-cubes rem-cbrt-cube cos-2 distribute-rgt-out-- exp-diff
3×exp-neg acos-neg exp-to-pow distribute-rgt-neg-out
2×distribute-lft1-in sqrt-unprod asin-acos
1×tanh-undef sqr-cos rem-square-sqrt sub-div unsub-neg log-rec un-div-inv tanh-def

localize2.2s (0.9%)

bsearch455.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...