Date:Tuesday, February 25th, 2020
Commit:7c13946c on findroot
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.1%)

Algorithm
78×intervals
Results
6.8m46489×body10240exit
34.4s43913×body1280valid
11.5s30433×body640valid
7.2s204435×body80valid
4.7s151898×body80nan
4.6s27580×body320valid
3.3s185520×pre80true
3.1s36091×body160valid
764.0ms3058×body2560valid
400.0ms4128×pre10240exit
382.0ms7989×body160nan
151.0ms219×body5120valid
100.0ms8222×pre80false
0.0ms1×body320nan

prune51.8s (8.2%)

series46.8s (7.4%)

Calls

518 calls:

752.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))))))
700.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)))
569.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)))
537.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))))
517.0ms
(pow (cos (+ (/ (/ (* 2.0 PI) (sqrt 3.0)) (sqrt 3.0)) (/ (acos (/ (- g) h)) 3.0))) 3)

simplify13.5s (2.2%)

Algorithm
225×egg-herbie

rewrite13.5s (2.1%)

Algorithm
147×rewrite-expression-head
Calls

518 calls:

633.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
312.0ms
(- (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 0.5 (/ (pow x 2) (pow 2.0 2)))) (* x y))
262.0ms
(* (- (/ m (/ v (+ 1.0 (- m)))) 1.0) m)
252.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))))
193.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
Rules
6267×times-frac
6100×*-un-lft-identity
5735×add-sqr-sqrt
3787×add-cube-cbrt
3160×add-exp-log
1905×add-cbrt-cube
1406×associate-*r*
1273×pow1
1129×cbrt-prod
1064×prod-exp
990×associate-*l/
976×div-exp
931×flip--
930×flip3--
882×add-log-exp
854×sqrt-div
803×associate-/l*
755×difference-of-squares
714×frac-times
686×sqrt-prod
613×distribute-lft-out--
608×cbrt-unprod
584×associate-*l*
566×unpow-prod-down
563×cbrt-undiv
535×associate-/r*
525×distribute-lft-out
457×associate-*r/
456×frac-add
367×pow-exp
360×distribute-rgt-neg-in
358×associate-/r/
333×log-prod
332×cube-prod
329×pow-prod-down
327×flip-+
326×flip3-+
309×div-inv
268×pow-to-exp
231×unswap-sqr
199×sqr-pow
163×cbrt-div
150×distribute-lft-neg-in
146×associate-/l/
138×sqrt-pow1
132×swap-sqr
120×clear-num frac-2neg
117×sub-neg
116×*-commutative
111×cos-mult
107×diff-log
106×log-pow
105×sin-mult
92×sum-log
89×frac-sub
85×exp-prod
84×pow1/2
81×div-sub
53×+-commutative
52×unpow3 cube-mult log-div
49×distribute-rgt-in neg-mul-1 distribute-lft-in
43×exp-sum
42×pow-unpow
41×unpow2
40×pow-prod-up
37×rem-log-exp
36×pow-sqr
35×associate-+l-
34×rem-sqrt-square neg-sub0
30×distribute-rgt-out
29×sin-sum pow1/3
25×associate--r+
24×tan-quot 1-exp
22×pow-plus
20×rec-exp neg-log
19×associate--l+ pow-pow sin-diff
18×cos-diff
17×pow2
16×sub-div
14×rem-exp-log associate--l- sqrt-unprod
12×distribute-lft-neg-out associate-+r- associate--r-
11×cos-sum distribute-frac-neg acos-asin
10×sin-cos-mult
9×exp-diff associate-+l+ asin-acos
8×difference-cubes unsub-neg distribute-rgt-neg-out
7×rem-cube-cbrt associate-+r+ sum-cubes
6×cube-div acos-neg pow-flip
5×sqrt-undiv inv-pow
3×distribute-rgt-out--
2×un-div-inv distribute-lft1-in rem-square-sqrt rem-cbrt-cube distribute-neg-frac exp-to-pow
1×distribute-neg-out tanh-undef tanh-def mul-1-neg

regimes9.0s (1.4%)

Accuracy

Total 26.7b remaining (22.8%)

Threshold costs 7.1b (6.1%)

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.2b0%2-ancestry mixing, positive discriminant

localize2.4s (0.4%)

bsearch375.0ms (0.1%)

end1.0ms (0.0%)