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:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample8.2m (78.5%)

Algorithm
78×intervals
Results
6.8m46489×body10240exit
34.9s43913×body1280valid
11.4s30433×body640valid
7.1s204435×body80valid
4.6s27580×body320valid
4.6s151898×body80nan
3.2s185520×pre80true
3.1s36091×body160valid
748.0ms3058×body2560valid
384.0ms4128×pre10240exit
376.0ms7989×body160nan
149.0ms219×body5120valid
99.0ms8222×pre80false
0.0ms1×body320nan

prune56.1s (8.9%)

Filtered
19943 candidates to 12437 candidates (62.4%)

series44.4s (7.1%)

Calls

498 calls:

783.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)))))))
655.0ms
(* (sqrt (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))) R)
631.0ms
(expm1 (expm1 (log1p (log1p (* 0.5 (* s c_n))))))
573.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)))
565.0ms
(* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0)))))

simplify12.9s (2.1%)

Algorithm
226×egg-herbie

regimes10.0s (1.6%)

Accuracy

Total 34.2b remaining (28.5%)

Threshold costs 4.7b (4%)

5.8b56.9%Cubic critical, narrow range
5.6b19.6%Cubic critical, medium range
5.0b30.5%Quotient of products
4.2b85.3%Cubic critical
3.5b0%Cubic critical, wide range

rewrite8.2s (1.3%)

Algorithm
148×rewrite-expression-head
Calls

498 calls:

241.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))))
167.0ms
(* (- (/ (/ (* m (- 1.0 m)) (sqrt v)) (sqrt v)) 1.0) m)
150.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)))))))
147.0ms
(log (exp (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))))
144.0ms
(exp (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
Rules
8335×*-un-lft-identity
7741×add-sqr-sqrt
7445×times-frac
5966×add-cube-cbrt
3256×add-exp-log
3119×prod-diff
2036×add-cbrt-cube
1405×associate-*r*
1311×sqrt-prod
1265×pow1
1186×cbrt-prod
1124×prod-exp
1031×div-exp
784×add-log-exp
738×unpow-prod-down
680×cbrt-unprod
636×cbrt-undiv
623×distribute-lft-out
619×distribute-rgt-neg-in
605×difference-of-squares
574×sqrt-div
557×distribute-lft-out--
523×associate-/l*
510×distribute-lft-neg-in
503×expm1-log1p-u
499×log1p-expm1-u
490×associate-/r*
465×distribute-rgt-in distribute-lft-in
446×associate-*l*
436×associate-/r/
423×div-inv
355×fma-neg
312×pow-exp
310×flip--
309×flip3--
307×fma-def
304×pow-prod-down
293×log-prod
289×flip-+
288×flip3-+
283×frac-times
246×sqr-pow
231×associate-*r/
229×unswap-sqr pow-to-exp
219×associate-+r+
217×cube-prod
170×associate-*l/
168×neg-mul-1
164×unpow2
151×sqrt-pow1
126×log-pow
112×clear-num frac-2neg
109×associate-/l/ swap-sqr
106×exp-prod
101×sub-neg
100×*-commutative
90×cos-mult
86×pow1/2
81×diff-log
78×pow-unpow
77×sin-mult
74×sin-sum
73×cbrt-div
71×pow-prod-up
70×frac-add
67×log-div
66×sum-log
57×1-exp
56×unpow3 cube-mult
53×rec-exp
51×pow-sqr
49×+-commutative div-sub
47×cos-sum
37×associate-+l+
35×rem-log-exp
34×pow-plus
32×neg-sub0
31×rem-sqrt-square exp-sum
30×pow1/3 distribute-rgt-out
26×pow2
25×fma-udef pow-pow
22×associate-+l- associate--r+
20×tan-quot neg-log
19×pow-flip sin-diff
18×cos-diff distribute-rgt-neg-out associate--l+
16×frac-sub
13×associate--l- hypot-def
12×sin-cos-mult
11×associate-+r- distribute-frac-neg
10×cube-div inv-pow distribute-lft-neg-out expm1-udef
9×rem-cube-cbrt expm1-log1p acos-asin sqrt-unprod
8×unsub-neg exp-to-pow
7×rem-exp-log associate--r-
6×acos-neg log1p-udef log1p-expm1
5×un-div-inv asin-acos
4×exp-diff sin-neg sub-div
2×distribute-lft1-in exp-neg hypot-udef rem-square-sqrt rem-cbrt-cube distribute-neg-frac
1×distribute-neg-out div0 cube-neg

localize2.4s (0.4%)

bsearch453.0ms (0.1%)

end1.0ms (0.0%)