Date:Tuesday, February 25th, 2020
Commit:4d1e59da on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020056
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

sample8.2m (78.3%)

Algorithm
78×intervals
Results
6.8m46489×body10240exit
34.2s43913×body1280valid
11.5s30433×body640valid
7.1s204435×body80valid
4.7s151898×body80nan
4.6s27580×body320valid
3.3s185520×pre80true
3.0s36091×body160valid
754.0ms3058×body2560valid
566.0ms7989×body160nan
406.0ms4128×pre10240exit
147.0ms219×body5120valid
95.0ms8222×pre80false
0.0ms1×body320nan

prune51.1s (8.2%)

Filtered
17635 candidates to 11486 candidates (65.1%)

series46.2s (7.4%)

Calls

517 calls:

725.0ms
(/ (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
684.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
574.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)))
572.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
535.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (+ 1 (* (log 0.5) (+ c_p c_n))))

simplify13.6s (2.2%)

Algorithm
225×egg-herbie

rewrite13.5s (2.2%)

Algorithm
147×rewrite-expression-head
Calls

517 calls:

628.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
306.0ms
(- (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 0.5 (/ (pow x 2) (pow 2.0 2)))) (* x y))
253.0ms
(log (exp (- (* (* (/ (sqrt x0) (sqrt (- 1.0 x1))) (/ (sqrt x0) (sqrt (- 1.0 x1)))) (/ x0 (- 1.0 x1))) (* x0 x0))))
250.0ms
(* (- (/ m (/ v (+ 1.0 (- m)))) 1.0) m)
247.0ms
(* (/ (* (/ (/ a1 (* (cbrt b1) (cbrt b1))) (* (cbrt b2) (cbrt b2))) (* (cbrt a2) (cbrt a2))) (cbrt (* (cbrt b2) (cbrt b2)))) (/ (/ (cbrt a2) (cbrt b1)) (cbrt (cbrt b2))))
Rules
7647×times-frac
7284×*-un-lft-identity
6679×add-sqr-sqrt
4314×add-cube-cbrt
3068×add-exp-log
1854×add-cbrt-cube
1427×associate-*r*
1380×sqrt-prod
1244×cbrt-prod
1167×pow1
1022×prod-exp
950×div-exp
939×associate-*l/
914×difference-of-squares
878×add-log-exp
858×flip--
857×flip3--
835×associate-/l*
796×distribute-lft-out--
673×distribute-lft-out
607×associate-*l*
576×cbrt-unprod
573×frac-times
569×log-prod
567×cbrt-undiv
555×associate-/r*
551×unpow-prod-down
528×sqrt-div
453×frac-add
386×distribute-rgt-neg-in
373×associate-*r/
366×pow-exp
349×associate-/r/
333×div-inv
317×cube-prod
267×pow-to-exp
262×flip-+
261×flip3-+
253×pow-prod-down
236×unswap-sqr
190×sqr-pow
183×cbrt-div
150×distribute-lft-neg-in
128×swap-sqr
120×associate-/l/
119×clear-num cos-mult frac-2neg
118×sub-neg
114×log-pow
113×*-commutative
112×diff-log
106×sin-mult
87×sum-log
78×exp-prod
77×div-sub
70×sqrt-pow1
65×frac-sub
59×log-div
54×pow1/2
52×+-commutative
51×unpow3 cube-mult
49×neg-mul-1
43×distribute-rgt-in distribute-lft-in
41×unpow2
39×pow-unpow
37×rem-sqrt-square
36×pow1/3
35×associate-+l-
34×neg-sub0 rem-log-exp
33×associate--r+
30×distribute-rgt-out
29×sin-sum
28×pow-sqr pow-prod-up exp-sum
24×tan-quot
20×sub-div neg-log associate--l+
19×pow-plus sin-diff
18×cos-diff pow-pow
17×associate--r-
16×associate--l-
15×pow2
13×rec-exp 1-exp
12×distribute-lft-neg-out associate-+l+
11×cos-sum rem-exp-log
10×sin-cos-mult sqrt-unprod associate-+r- distribute-frac-neg acos-asin
9×asin-acos
8×unsub-neg distribute-rgt-neg-out
7×exp-diff difference-cubes associate-+r+ sum-cubes
6×cube-div rem-cube-cbrt
5×acos-neg sqrt-undiv
4×pow-flip
3×inv-pow distribute-rgt-out--
2×distribute-lft1-in rem-cbrt-cube distribute-neg-frac exp-to-pow
1×distribute-neg-out rem-square-sqrt tanh-undef tanh-def mul-1-neg

regimes8.6s (1.4%)

Accuracy

Total 26.0b remaining (22.4%)

Threshold costs 7.6b (6.6%)

5.0b30.5%Quotient of products
4.3b85%Quadratic roots, full range
4.2b85.3%Cubic critical
3.9b71.8%Equirectangular approximation to distance on a great circle
1.1b0%2-ancestry mixing, zero discriminant

localize2.4s (0.4%)

bsearch578.0ms (0.1%)

end1.0ms (0.0%)