Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
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

simplify2.2min (41.6%)

sample1.9min (37.3%)

Algorithm
77×intervals
Results
42.7s44555×body1280valid
14.0s29795×body640valid
9.8s202182×body80valid
7.6s152022×body80nan
6.4s27681×body320valid
4.9s376×body5120exit
4.6s36263×body160valid
4.1s156748×pre80true
1.0s3039×body2560valid
795.0ms15679×body80overflowed
643.0ms3103×body2560nan
444.0ms2560×body1280nan
417.0ms182×body1280overflowed
364.0ms16448×pre80false
208.0ms167×body640overflowed
172.0ms1257×body640nan
112.0ms275×body5120valid
80.0ms98×body320overflowed
64.0ms616×body320nan
22.0ms309×body160nan
16.0ms35×body160overflowed

prune32.9s (10.5%)

Filtered
15844 candidates to 10326 candidates (34.8%)

regimes16.4s (5.2%)

Accuracy

Total 73.0b remaining (37.8%)

Threshold costs 6.2b (3.2%)

15.5b16.2%Equirectangular approximation to distance on a great circle
8.5b36.3%Cubic critical, narrow range
7.6b43.4%Quadratic roots, narrow range
6.6b42.1%Quotient of products
5.8b17.1%Cubic critical, medium range

series8.2s (2.6%)

Calls

485 calls:

445.0ms
(pow (exp (sqrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))) (sqrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))
355.0ms
(/ (- (* (cos delta) (cos delta)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (pow (sin phi1) 2))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta)))
293.0ms
(/ (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda2) (cos lambda1)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda2) (cos lambda1)) (* (cos lambda2) (cos lambda1))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda2) (cos lambda1)) (* (sin lambda1) (sin lambda2))))))
188.0ms
(- (* (cos delta) (cos delta)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (pow (sin phi1) 2)))
160.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite6.1s (2.0%)

Algorithm
146×rewrite-expression-head
Calls

485 calls:

538.0ms
(- (pow (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) 3) (pow (pow x0 3) 3))
215.0ms
(- (/ (/ x (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))
147.0ms
(- (pow (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) 3) (pow x0 3))
103.0ms
(* (sqrt (- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (pow x 2))) (log x)))) (sqrt (- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (pow x 2))) (log x)))))
65.0ms
(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))
Rules
6201×*-un-lft-identity
5772×add-sqr-sqrt
5330×times-frac
3479×add-cube-cbrt
2040×add-exp-log
1687×add-cbrt-cube
1561×sqrt-prod
1175×pow1
1154×associate-*l/
1030×unpow-prod-down
1020×distribute-lft-out--
1013×flip--
1012×flip3--
920×difference-of-squares
773×associate-*r*
733×cube-prod
712×add-log-exp
656×sqrt-div
652×associate-/r*
637×frac-times
592×distribute-lft-out
587×div-exp frac-add
549×associate-/l*
471×cbrt-prod
461×associate-*l*
450×prod-exp
422×cbrt-undiv
402×log-pow
396×associate-*r/
350×cbrt-unprod
315×div-inv
295×sqr-pow
261×associate-/r/
257×log-prod
203×exp-prod
181×swap-sqr
175×unswap-sqr
157×pow-prod-down
146×flip-+
145×flip3-+
135×clear-num frac-2neg
107×cos-mult
104×log-div sub-neg
101×sin-mult
91×diff-log
87×*-commutative
85×associate-/l/
81×cbrt-div
72×exp-diff
69×pow-unpow
59×sqrt-pow1 pow1/2
58×cube-mult unpow3
55×frac-sub
53×pow-exp
47×pow-to-exp 1-exp div-sub rec-exp
44×exp-sum
42×rem-sqrt-square
41×pow1/3
40×distribute-rgt-in distribute-lft-in
38×sum-log pow-pow
26×+-commutative
24×cos-diff
23×cube-div rem-log-exp
22×associate--l+ pow-prod-up
20×cos-sum pow-sqr unpow2
18×tan-quot sin-diff associate--r+
17×sub-div
16×sin-cos-mult rem-cube-cbrt
12×pow-plus
11×acos-asin
10×pow2 associate-+r- associate--r-
9×difference-cubes asin-acos rem-exp-log
8×associate-+r+ pow-flip
7×sin-sum rem-cbrt-cube
6×associate--l- acos-neg inv-pow distribute-frac-neg
5×associate-+l+ sqrt-undiv
3×distribute-rgt-neg-in distribute-neg-frac
2×distribute-rgt-out sqrt-unprod neg-log un-div-inv
1×neg-sub0 tanh-undef sqr-cos rem-square-sqrt exp-to-pow sqr-sin tanh-def

localize2.1s (0.7%)

bsearch349.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...