Date:Thursday, March 5th, 2020
Commit:a3b4d238 on findroot
Hostname:warfa with Racket 7.5
Seed:2020065
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

sample11.3m (83.6%)

Algorithm
78×intervals
Results
9.9m62612×body10240exit
33.7s43616×body1280valid
11.4s30597×body640valid
7.2s205336×body80valid
4.8s153329×body80nan
4.6s27865×body320valid
3.6s206918×pre80true
3.1s36253×body160valid
812.0ms3005×body2560valid
367.0ms8083×body160nan
229.0ms16426×pre80false
114.0ms227×body5120valid

prune53.4s (6.6%)

series48.7s (6.0%)

Calls

518 calls:

3.7s
(/ (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)) (+ (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (- (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))) (* (cos phi1) (cos phi1))))
1.4s
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (+ (* 2 (log (cbrt (exp (pow (cos (/ (+ phi1 phi2) 2.0)) 3))))) (log (cbrt (exp (pow (cos (/ (+ phi1 phi2) 2.0)) 3))))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
803.0ms
(log (exp (/ (- (* (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))))))))))
792.0ms
(log (exp (/ (- (* (cos delta) (cos delta)) (cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 6))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))
674.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)))

simplify13.6s (1.7%)

Algorithm
223×egg-herbie

regimes8.5s (1.0%)

Accuracy

Total 24.9b remaining (21.4%)

Threshold costs 6.4b (5.5%)

8.7b40.1%Equirectangular approximation to distance on a great circle
3.3b88.1%Cubic critical
2.3b76.2%Quotient of products
2.0b36.3%2-ancestry mixing, positive discriminant
1.1b0%2-ancestry mixing, zero discriminant

rewrite6.4s (0.8%)

Algorithm
145×rewrite-expression-head
Calls

518 calls:

255.0ms
(+ (log (/ 1 (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))))
161.0ms
(* (/ (cbrt (/ a1 (cbrt b2))) (cbrt b2)) (/ (/ a2 b1) (cbrt b2)))
156.0ms
(* (/ (/ (sqrt (+ 0 (* 4.0 (* a c)))) 1) 2.0) (/ (/ (sqrt (+ 0 (* 4.0 (* a c)))) (- (- b) (sqrt (+ (* b b) (- 0 (* 4.0 (* a c))))))) a))
150.0ms
(* (/ (/ a1 (cbrt b2)) (cbrt b2)) (/ (/ a2 b1) (cbrt b2)))
73.0ms
(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
Rules
9613×times-frac
8611×*-un-lft-identity
7790×add-sqr-sqrt
5224×add-cube-cbrt
3486×add-exp-log
1991×add-cbrt-cube
1406×sqrt-prod
1294×associate-*r*
1197×div-exp
1147×prod-exp
1106×pow1
1101×associate-*l*
1008×cbrt-prod
944×unpow-prod-down
925×difference-of-squares
891×associate-/l*
876×flip--
875×flip3--
850×distribute-lft-out--
807×add-log-exp
802×distribute-lft-out
799×associate-*l/
691×associate-/r*
626×frac-times
547×sqrt-div
537×cbrt-undiv
496×cbrt-unprod
455×associate-/r/
438×frac-add
418×div-inv
401×pow-exp
371×log-prod
350×associate-*r/
320×cube-prod
302×unswap-sqr
301×pow-to-exp
295×distribute-rgt-neg-in
290×flip-+
289×flip3-+
263×sqr-pow
217×pow-prod-down
216×cbrt-div
176×swap-sqr
155×log-pow
133×clear-num frac-2neg
126×associate-/l/
118×exp-prod
111×*-commutative
110×1-exp
103×sub-neg
93×diff-log
72×exp-sum
66×div-sub rec-exp
64×sum-log
60×log-div
58×unpow3 cube-mult
55×unpow2
51×pow1/2 pow-unpow frac-sub sqrt-pow1
49×pow1/3
48×associate-+l+
40×rem-sqrt-square
38×distribute-rgt-in distribute-lft-in +-commutative associate-+l- rem-log-exp
32×neg-sub0
30×distribute-lft-neg-in
29×associate-+r+
27×pow-prod-up
26×sin-mult
25×pow-sqr pow-pow
24×cos-mult
21×neg-log cos-diff
20×tan-quot
18×pow-flip associate--l+ sin-diff
17×pow-plus
15×rem-cube-cbrt pow2
14×associate--l- distribute-rgt-out associate-+r-
13×cos-sum
12×tanh-def associate--r+
10×distribute-rgt-out-- neg-mul-1
9×cube-div exp-diff sin-sum acos-asin
8×inv-pow distribute-rgt-neg-out
7×sin-cos-mult rem-exp-log
6×distribute-frac-neg associate--r-
5×acos-neg asin-acos
4×pow-div sum-cubes
3×sqrt-undiv rem-cbrt-cube
2×sin-neg sub0-neg distribute-lft1-in sqrt-unprod unsub-neg log-rec exp-to-pow
1×difference-cubes +-inverses un-div-inv rem-square-sqrt tanh-undef

localize2.4s (0.3%)

bsearch740.0ms (0.1%)

end1.0ms (0.0%)