Date:Thursday, April 30th, 2020
Commit:8dd810b8 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

series7.9m (44.8%)

Calls

2483 calls:

3.6m
(pow (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 3)
5.0s
(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.8s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
2.8s
(- (- (+ (- (* (* 18.0 (* x y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* x (* 4.0 i))) (* (* j 27.0) k))

sample3.7m (21.2%)

Algorithm
539×intervals
Results
1.4m2657270×body80valid
21.6s519235×body80nan
17.2s46760×body1280valid
9.7s43816×body640valid
3.9s24922×body320valid
3.9s5653×body2560valid
1.3s13398×body160valid
789.0ms1545×body10240exit
95.0ms624×body640nan
86.0ms440×body1280nan
58.0ms23×body5120valid
50.0ms423×body320nan
17.0ms241×body160nan

prune3.2m (18.4%)

Filtered
82691 candidates to 54138 candidates (65.5%)

simplify1.2m (7.0%)

Algorithm
1428×egg-herbie

regimes54.1s (5.1%)

Accuracy

Total 208.7b 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.0s (2.2%)

Algorithm
889×rewrite-expression-head
Calls

2483 calls:

203.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
81.0ms
(- x (/ 1 (/ (/ (+ (- t z) 1.0) a) (- y z))))
75.0ms
(+ (/ 1 (/ (/ (- z t) 60.0) (- x y))) (* a 120.0))
67.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)))))))
65.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
34104×times-frac
32552×*-un-lft-identity
31705×add-sqr-sqrt
21262×add-cube-cbrt
11035×add-exp-log
8864×add-cbrt-cube
7062×pow1
5941×associate-*r*
4690×cbrt-prod
4281×associate-*l*
3913×add-log-exp
3625×difference-of-squares
3537×distribute-lft-out--
3495×associate-/r*
3237×prod-exp
2975×sqrt-prod
2743×cbrt-unprod
2552×flip3-- flip--
2410×div-exp
2398×associate-*r/
2272×distribute-lft-out
2243×associate-/l*
2193×pow-prod-down
2145×associate-*l/
1977×log-prod
1918×associate-/r/
1792×div-inv
1710×cbrt-undiv
1682×cbrt-div
1609×frac-times
1593×distribute-rgt-in distribute-lft-in
1534×flip-+ flip3-+
1362×unswap-sqr
988×unpow-prod-down
860×pow1/3
823×*-commutative
784×frac-sub
765×sqrt-div
751×swap-sqr
718×sub-neg
691×associate-/l/
646×associate-+l+
527×clear-num frac-2neg
519×sum-log sqrt-pow1
508×associate-+r+
484×cube-prod
462×associate--l+
299×+-commutative
296×pow-prod-up
295×sqr-pow
294×diff-log
287×1-exp rec-exp
247×pow-sqr
226×log-pow
216×pow1/2
203×frac-add
161×pow-exp
120×pow-to-exp
118×pow-plus
110×unpow-prod-up
109×div-sub
107×pow-unpow
103×pow-flip
95×pow2
86×rem-sqrt-square
83×inv-pow
80×exp-prod
72×associate--r+
64×log-div
58×exp-sum
57×unpow2
53×pow-pow
51×cube-div
49×rem-log-exp
48×un-div-inv
46×distribute-rgt-neg-out
40×unpow3 cube-mult
39×associate-+l-
37×cosh-def
36×tanh-def
24×rem-cube-cbrt
22×unsub-neg
20×distribute-rgt-out sinh-def
18×associate--l-
17×associate-+r-
16×difference-cubes
15×distribute-rgt-out-- rem-cbrt-cube
14×distribute-rgt-neg-in rem-exp-log distribute-lft-neg-in
12×unpow1/3
11×sqrt-unprod distribute-lft-neg-out
9×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.9s (0.9%)

bsearch4.7s (0.4%)

end4.0ms (0.0%)

Profiling

Loading profile data...