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

simplify10.5hr (99.4%)

sample2.7min (0.4%)

Algorithm
78×intervals
Results
44.3s44264×body1280valid
34.7s2797×body5120exit
15.3s30596×body640valid
10.3s202967×body80valid
8.0s151974×body80nan
6.7s27538×body320valid
4.8s35756×body160valid
4.8s174242×pre80true
3.5s1555×body1280overflowed
2.9s26014×body80overflowed
1.7s1374×body640overflowed
1.1s2913×body2560valid
693.0ms3150×body2560nan
549.0ms707×body320overflowed
487.0ms2683×body1280nan
398.0ms16540×pre80false
189.0ms1284×body640nan
156.0ms351×body160overflowed
100.0ms211×body5120valid
75.0ms677×body320nan
28.0ms331×body160nan

prune42.7s (0.1%)

Filtered
18859 candidates to 13669 candidates (27.5%)

regimes15.4s (0.0%)

Accuracy

Total 19.8b remaining (18.2%)

Threshold costs 7.7b (7.1%)

5.4b53.5%Quotient of products
4.3b69.8%Equirectangular approximation to distance on a great circle
1.4b59%2-ancestry mixing, positive discriminant
1.0b95.8%Cubic critical
1.0b95.9%Quadratic roots, full range

series13.3s (0.0%)

Calls

507 calls:

748.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)))))))) (- (* (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))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))
741.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)))))))) (- (* (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))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
636.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)))))))) (- (* (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))))))))) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
324.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)))))))) (- (* (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)))))))))
307.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)))))))) (- (* (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)))))))))

rewrite6.8s (0.0%)

Algorithm
146×rewrite-expression-head
Calls

507 calls:

301.0ms
(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))
81.0ms
(+ (/ 1.0 (+ 1.0 (pow (tan x) 2))) (/ (neg (pow (tan x) 2)) (+ 1.0 (pow (tan x) 2))))
80.0ms
(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))
70.0ms
(* (neg (* 4.0 a)) (/ (/ (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) 2.0) a))
68.0ms
(* (neg (* 4.0 a)) (/ (/ (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) 2.0) a))
Rules
12327×times-frac
8968×*-un-lft-identity
8044×add-sqr-sqrt
5931×add-cube-cbrt
2415×add-exp-log
1626×add-cbrt-cube
1252×associate-*r*
1103×distribute-lft-out
1040×associate-/l*
997×pow1
965×cbrt-prod
876×associate-*l/
829×difference-of-squares
804×add-log-exp
797×unpow-prod-down
748×div-exp
714×flip--
713×flip3--
683×frac-times
674×prod-exp
665×associate-/r*
618×cube-prod
592×associate-/r/
508×div-inv
497×sqrt-prod
480×associate-*l*
440×associate-*r/
437×sin-mult
428×cbrt-undiv
422×flip-+
421×flip3-+
389×distribute-lft-out--
363×distribute-rgt-neg-in
359×sqrt-div
354×distribute-lft-neg-in
353×frac-add
334×cos-mult
328×sqr-pow
326×cbrt-unprod
304×neg-mul-1
293×pow-exp
224×associate-/l/
209×pow-to-exp
202×frac-sub
184×unswap-sqr
177×pow-prod-down
171×log-prod
148×cbrt-div
129×sub-div
128×clear-num frac-2neg
122×swap-sqr
121×sub-neg
105×*-commutative
94×diff-log
80×div-sub
67×sum-log
63×pow-unpow
58×pow1/3
51×sqrt-pow1 pow1/2
48×distribute-rgt-in distribute-lft-in
47×+-commutative
43×log-div
36×distribute-neg-frac
34×rem-sqrt-square 1-exp distribute-frac-neg pow-prod-up
32×associate--l+ log-pow
31×cube-div
29×cube-mult rec-exp unpow3
28×pow-pow
25×associate-+r+
24×pow-sqr
21×associate--r+
19×pow-plus
18×rem-log-exp cos-diff
17×sin-diff
16×neg-sub0 tan-quot
15×cos-sum
14×pow2 rem-cube-cbrt
12×acos-asin sin-cos-mult associate--r-
10×exp-sum associate-+r- exp-prod pow-flip
9×associate--l- rem-cbrt-cube
8×inv-pow unpow2
6×distribute-lft-neg-out acos-neg difference-of-sqr-1
5×sqr-cos distribute-rgt-out
4×sin-sum
3×associate-+l+ sqrt-unprod neg-log un-div-inv
2×tanh-undef rem-square-sqrt unsub-neg asin-acos distribute-rgt-neg-out distribute-rgt-out-- rem-exp-log
1×difference-cubes exp-to-pow pow3 sum-cubes tanh-def exp-diff

localize2.5s (0.0%)

bsearch367.0ms (0.0%)

end1.0ms (0.0%)

Profiling

Loading profile data...