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: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

sample11.3m (83.7%)

Algorithm
78×intervals
Results
9.9m62286×body10240exit
34.0s43616×body1280valid
11.2s30597×body640valid
7.1s205310×body80valid
4.8s153329×body80nan
4.6s27865×body320valid
3.6s206566×pre80true
3.1s36253×body160valid
807.0ms3005×body2560valid
367.0ms8083×body160nan
215.0ms16426×pre80false
113.0ms227×body5120valid

prune54.4s (6.7%)

series46.3s (5.7%)

Calls

492 calls:

2.1s
(/ (fma (pow (cos phi2) 3) (pow (fma (cos lambda1) (cos lambda2) (* (sin lambda1) (sin lambda2))) 3) (pow (cos phi1) 3)) (fma (cos phi2) (* (fma (cos lambda1) (cos lambda2) (* (sin lambda1) (sin lambda2))) (fma (cos phi2) (fma (cos lambda1) (cos lambda2) (* (sin lambda1) (sin lambda2))) (- (cos phi1)))) (* (cos phi1) (cos phi1))))
1.2s
(* (cbrt (log1p (* 0.5 (* s c_n)))) (cbrt (log1p (* 0.5 (* s c_n)))))
646.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
585.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)))
493.0ms
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))

simplify13.1s (1.6%)

Algorithm
224×egg-herbie

regimes9.9s (1.2%)

Accuracy

Total 27.3b remaining (23.7%)

Threshold costs 5.7b (4.9%)

5.8b57.9%Cubic critical, narrow range
5.0b22.8%Cubic critical, medium range
3.3b88.1%Cubic critical
2.8b15.2%Cubic critical, wide range
2.3b76.2%Quotient of products

rewrite5.0s (0.6%)

Algorithm
146×rewrite-expression-head
Calls

492 calls:

174.0ms
(* (/ (cbrt (/ a1 (cbrt b2))) (cbrt b2)) (/ (/ a2 b1) (cbrt b2)))
161.0ms
(* (/ (/ a1 (cbrt b2)) (cbrt b2)) (/ (/ a2 b1) (cbrt b2)))
81.0ms
(* (/ (sqrt (+ 0 (* 4.0 (* a c)))) 2.0) (/ (/ (sqrt (+ 0 (* 4.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
72.0ms
(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
55.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
10825×*-un-lft-identity
10689×times-frac
9551×add-sqr-sqrt
7086×add-cube-cbrt
3214×prod-diff
2449×add-exp-log
1616×add-cbrt-cube
1063×associate-*r*
974×distribute-lft-out
944×cbrt-prod
932×sqrt-prod
914×distribute-lft-out--
898×pow1
888×difference-of-squares
818×unpow-prod-down
789×div-exp
711×log-pow associate-*l*
709×add-log-exp
692×associate-/r*
690×prod-exp
636×associate-/r/
632×exp-prod
623×associate-/l*
561×div-inv
539×distribute-rgt-neg-in
497×expm1-log1p-u
493×log1p-expm1-u
437×cbrt-undiv
393×distribute-lft-neg-in
384×fma-neg
349×cbrt-unprod
334×cube-prod
314×pow-exp
309×flip--
303×flip3--
272×sqr-pow
255×log-prod
242×flip-+
241×unswap-sqr
236×flip3-+
231×pow-to-exp
225×fma-def
149×distribute-rgt-in distribute-lft-in
128×neg-mul-1
123×clear-num frac-2neg
120×pow-prod-down
114×swap-sqr
104×associate-/l/
94×associate-*r/
85×*-commutative
84×sub-neg
82×unpow3 cube-mult associate-*l/
74×sqrt-div
69×diff-log
66×frac-times
58×cos-sum
47×div-sub
46×associate-+l+ sum-log
45×sin-sum
44×pow1/3
40×pow-unpow
39×sqrt-pow1 log-div
38×cbrt-div
36×pow1/2
34×rem-log-exp unpow2
32×rem-sqrt-square +-commutative neg-sub0
30×1-exp
29×exp-sum
28×rec-exp
26×associate-+r+ frac-sub
23×associate-+l-
22×fma-udef
21×cos-diff tan-quot
20×neg-log
18×frac-add pow-pow sin-diff
17×pow-flip
14×distribute-rgt-out sin-mult associate--r+
13×associate-+r- inv-pow
12×associate--l-
11×sin-cos-mult cos-mult
9×cube-div pow-prod-up pow-sqr acos-asin
8×rem-cube-cbrt pow-plus pow2 associate--l+
7×distribute-frac-neg distribute-rgt-neg-out expm1-udef
6×log1p-udef log1p-expm1
5×rem-exp-log acos-neg expm1-log1p
4×asin-acos associate--r-
3×exp-diff unpow-prod-up
2×sin-neg distribute-lft1-in hypot-udef distribute-neg-frac exp-to-pow rem-cbrt-cube log-rec
1×sqrt-undiv e-exp-1 un-div-inv sqrt-unprod distribute-lft-neg-out unsub-neg hypot-def sub-div

localize2.5s (0.3%)

bsearch892.0ms (0.1%)

end1.0ms (0.0%)