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

sample1.1m (34.2%)

Algorithm
60×intervals
Results
24.9s335075×body80valid
9.0s210189×body80nan
7.2s21378×body1280valid
2.6s10916×body640valid
2.5s5300×body2560valid
859.0ms5104×body320valid
417.0ms16512×pre80true
298.0ms2571×body160valid
63.0ms244×body5120valid

prune53.0s (26.6%)

series46.2s (23.2%)

Calls

360 calls:

2.1s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.1s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
585.0ms
(* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))
550.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
518.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- (* 1 1) (* (/ (* (tan y) (sin z)) (cos z)) (/ (* (tan y) (sin z)) (cos z)))) (cos a)))

regimes14.9s (7.5%)

Accuracy

Total 41.2b remaining (26.4%)

Threshold costs 4.1b (2.6%)

13.2b-22%Linear.Matrix:det44 from linear-1.19.1.3
5.9b35.6%Linear.Matrix:det33 from linear-1.19.1.3
4.6b82.7%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.6b46.4%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

simplify8.6s (4.3%)

Algorithm
164×egg-herbie

rewrite3.9s (1.9%)

Algorithm
104×rewrite-expression-head
Calls

360 calls:

64.0ms
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
64.0ms
(/ (/ 1 (/ (/ (- (exp (log (sqrt (- (* b_2 b_2) (* a c))))) b_2) a) c)) a)
57.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
45.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
42.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (cbrt (- (+ t 1.0) z)))))) (- a x))
Rules
9009×times-frac
6752×add-sqr-sqrt
6070×*-un-lft-identity
4637×add-cube-cbrt
3152×add-exp-log
1480×prod-exp
1279×add-cbrt-cube
1014×div-exp
863×difference-of-squares
850×pow1
747×associate-/l*
734×associate-*r*
730×associate-*r/
712×associate-*l/
711×cbrt-prod
706×flip-- flip3--
539×add-log-exp
530×associate-*l*
511×distribute-lft-out--
496×sqrt-prod
476×frac-times
458×frac-sub
436×cbrt-unprod
426×log-prod
414×pow-exp
401×unpow-prod-down
328×distribute-rgt-neg-in
305×distribute-lft-neg-in
281×associate-/r*
280×exp-sum
274×div-inv
267×cbrt-div
237×cbrt-undiv
235×pow-to-exp
231×distribute-lft-out
217×pow-prod-down
196×distribute-rgt-in distribute-lft-in
177×associate-/l/
173×unswap-sqr
147×cube-prod
141×1-exp
134×sub-neg
119×*-commutative
118×associate-/r/
115×flip-+ flip3-+
98×pow1/3
83×neg-mul-1
81×rec-exp
80×swap-sqr
65×associate-+r+
64×clear-num frac-2neg
62×sqrt-div
59×associate-+l+
58×sqr-pow
53×log-pow sum-log
50×exp-prod
48×diff-log
43×pow-unpow
37×frac-add
36×tan-quot
34×sin-mult
30×pow-pow pow1/2 sqrt-pow1
28×+-commutative cos-mult
27×rem-sqrt-square
22×unpow2 neg-sub0 associate-+l-
20×associate--r+ log-div
19×div-sub
18×distribute-neg-frac
16×neg-log sub-div
15×pow-flip associate--l+
14×inv-pow
13×distribute-rgt-out--
12×pow-prod-up pow-sqr
10×rem-exp-log
9×cube-div
8×un-div-inv distribute-frac-neg associate--l-
7×pow2 pow-plus
6×exp-diff distribute-lft-neg-out unpow-prod-up log-rec
5×rem-cube-cbrt unpow3 cube-mult distribute-rgt-neg-out
4×distribute-neg-in
3×associate-+r-
2×sqrt-undiv cos-sum exp-neg tan-sum rem-cbrt-cube rem-log-exp
1×pow-neg quot-tan unpow1/3 pow3 pow-sub distribute-rgt-out +-inverses sqrt-unprod cube-neg

localize2.8s (1.4%)

bsearch1.8s (0.9%)

end0.0ms (0.0%)