Date:Thursday, April 30th, 2020
Commit:d2f20e12 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020121
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

series8.2m (45.4%)

Calls

2483 calls:

3.9m
(pow (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 3)
5.1s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.9s
(- (- (+ (- (* (* 18.0 (* x y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* x (* 4.0 i))) (* (* j 27.0) k))

sample3.8m (21.0%)

Algorithm
539×intervals
Results
1.4m2657270×body80valid
21.9s519235×body80nan
17.3s46760×body1280valid
9.7s43816×body640valid
3.9s24922×body320valid
3.9s5653×body2560valid
1.5s13398×body160valid
789.0ms1545×body10240exit
95.0ms624×body640nan
93.0ms440×body1280nan
58.0ms23×body5120valid
45.0ms423×body320nan
17.0ms241×body160nan

prune3.2m (18.0%)

Filtered
83031 candidates to 54284 candidates (65.4%)

simplify1.3m (7.0%)

Algorithm
1428×egg-herbie

regimes54.9s (5.1%)

Accuracy

Total 208.8b remaining (37%)

Threshold costs 21.1b (3.7%)

12.1b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b-7.1%Linear.Matrix:det44 from linear-1.19.1.3
10.2b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.4b-9.9%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.8b61%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite23.6s (2.2%)

Algorithm
889×rewrite-expression-head
Calls

2483 calls:

214.0ms
(* (* x z) (- y 1.0))
81.0ms
(- x (/ 1 (/ (/ (+ (- t z) 1.0) a) (- y z))))
81.0ms
(+ (/ 1 (/ (/ (- z t) 60.0) (- x y))) (* a 120.0))
71.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
63.0ms
(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
Rules
34542×times-frac
32792×*-un-lft-identity
31967×add-sqr-sqrt
21478×add-cube-cbrt
11022×add-exp-log
8855×add-cbrt-cube
7166×pow1
5972×associate-*r*
4682×cbrt-prod
4278×associate-*l*
3917×add-log-exp
3658×difference-of-squares
3550×distribute-lft-out--
3545×associate-/r*
3219×prod-exp
2981×sqrt-prod
2727×cbrt-unprod
2555×flip3-- flip--
2417×div-exp
2402×associate-*r/
2273×distribute-lft-out
2250×pow-prod-down
2246×associate-/l*
2141×associate-*l/
1974×log-prod
1925×associate-/r/
1809×div-inv
1715×cbrt-undiv
1664×cbrt-div
1609×frac-times
1601×distribute-rgt-in distribute-lft-in
1537×flip-+ flip3-+
1360×unswap-sqr
1024×unpow-prod-down
844×pow1/3
823×*-commutative
784×frac-sub
781×sqrt-div
745×swap-sqr
726×sub-neg
693×associate-/l/
646×associate-+l+
585×sqrt-pow1
528×clear-num frac-2neg
520×cube-prod
519×sum-log
508×associate-+r+
462×associate--l+
315×sqr-pow
309×pow-prod-up
299×+-commutative
296×diff-log
287×1-exp rec-exp
254×pow-sqr
230×pow1/2
222×log-pow
204×frac-add
163×pow-exp
122×pow-to-exp
117×pow-plus
113×pow-unpow
110×unpow-prod-up
109×div-sub
103×pow-flip
94×pow2
86×rem-sqrt-square
83×inv-pow
77×exp-prod
72×associate--r+
64×log-div
58×exp-sum
57×unpow2
55×pow-pow
51×cube-div
48×un-div-inv rem-log-exp
46×distribute-rgt-neg-out
44×unpow3 cube-mult
39×associate-+l-
37×cosh-def
36×tanh-def
26×rem-cube-cbrt
22×unsub-neg
20×distribute-rgt-out sinh-def
18×difference-cubes associate--l-
17×rem-cbrt-cube associate-+r-
15×distribute-rgt-out--
14×distribute-rgt-neg-in rem-exp-log distribute-lft-neg-in
12×unpow1/3 sqrt-unprod
11×distribute-lft-neg-out
10×rem-square-sqrt
8×diff-cos pow-sub associate--r-
7×sub-div
6×distribute-rgt1-in neg-mul-1
5×exp-diff distribute-lft1-in count-2
4×pow-div sqrt-pow2 exp-to-pow neg-sub0
3×exp-neg cos-diff log-rec neg-log mul-1-neg
2×cos-sum pow3 tan-quot sin-mult
1×sqrt-undiv remove-double-div cos-mult

localize9.7s (0.9%)

bsearch4.6s (0.4%)

end4.0ms (0.0%)

Profiling

Loading profile data...