Date:Friday, May 1st, 2020
Commit:b6776165 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020122
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

series10.8m (83.9%)

Calls

342 calls:

3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
1.1s
(pow (- (+ x (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (tan a)) 3)

sample1.0m (8.0%)

Algorithm
59×intervals
Results
15.2s263447×body80valid
11.2s199796×body80nan
8.4s21438×body1280valid
3.4s5185×body2560valid
3.0s11027×body640valid
1.8s3092×body2560nan
1.0s5248×body320valid
981.0ms2590×body1280nan
703.0ms16512×pre80true
354.0ms2604×body160valid
341.0ms1308×body640nan
121.0ms644×body320nan
106.0ms339×body5120exit
71.0ms206×body5120valid
41.0ms305×body160nan

prune36.9s (4.8%)

Filtered
14417 candidates to 8707 candidates (60.4%)

simplify9.5s (1.2%)

Algorithm
162×egg-herbie

regimes8.3s (1.1%)

Accuracy

Total 39.1b remaining (28.3%)

Threshold costs 4.6b (3.3%)

9.9b29.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
6.3b-5.3%Linear.Matrix:det33 from linear-1.19.1.3
4.9b82.8%NMSE problem 3.2.1
3.4b88.2%The quadratic formula (r1)
3.3b46.2%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

rewrite3.4s (0.4%)

Algorithm
104×rewrite-expression-head
Calls

344 calls:

203.0ms
(* j (- (* c t) (* i y)))
49.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
46.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
38.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ y x))
35.0ms
(* (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))))
Rules
9553×times-frac
7114×*-un-lft-identity
6583×add-sqr-sqrt
5768×add-cube-cbrt
1817×add-exp-log
1671×cbrt-prod
1577×unpow-prod-down
1442×prod-diff
1000×add-cbrt-cube
874×distribute-rgt-neg-in
848×distribute-lft-neg-in
811×prod-exp
731×pow1
688×cube-prod
593×sqrt-prod
559×associate-*r*
520×add-log-exp
500×div-inv
468×associate-*l*
444×distribute-lft-out
383×associate-/l*
344×log1p-expm1-u expm1-log1p-u
334×associate-/r*
333×div-exp
307×fma-udef
298×cbrt-unprod
286×exp-sum
269×neg-mul-1
260×distribute-lft-out--
237×fma-neg
219×difference-of-squares
190×associate-/r/
174×pow-exp
167×cbrt-undiv
161×unpow-prod-up
157×flip-- flip3--
156×unswap-sqr
151×distribute-rgt-in distribute-lft-in
148×pow-to-exp
147×pow-prod-down
136×flip-+ flip3-+
118×associate-+r+ sqr-pow
98×*-commutative
92×sub-neg
91×swap-sqr
89×fma-def
81×exp-prod
78×cbrt-div
75×associate-*r/
71×pow1/3
64×sqrt-div
62×associate--r+
61×diff-log
60×clear-num log-pow associate-*l/ frac-2neg
52×frac-times
48×associate-/l/
47×pow-pow
44×frac-sub log-prod
43×pow-unpow
39×1-exp
35×sqrt-pow1
34×pow1/2
33×associate-+l+ rec-exp
32×sum-log
30×tan-quot
27×rem-sqrt-square
22×neg-sub0
20×unpow3 neg-log cube-mult
19×distribute-neg-in
17×+-commutative associate--l+
16×sin-mult
15×distribute-rgt-out--
14×rem-exp-log pow-sqr pow-prod-up
13×cube-div
12×associate--l- associate-+l-
10×div-sub cos-mult
9×sub-div
8×pow-sub
7×pow2 frac-add pow-flip pow-plus
6×inv-pow log-div
5×exp-diff rem-cube-cbrt distribute-neg-frac
4×unpow2 distribute-frac-neg
3×un-div-inv associate-+r- exp-neg rem-cbrt-cube
2×sqrt-unprod cos-sum tan-sum
1×e-exp-1 pow-neg log1p-udef distribute-lft-neg-out rem-square-sqrt distribute-rgt-neg-out cube-neg exp-to-pow

localize2.5s (0.3%)

bsearch1.9s (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...