Date:Tuesday, May 26th, 2020
Commit:25910407 on doc-updates
Hostname:warfa with Racket 7.5
Seed:2020147
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune12.1m (53.3%)

Filtered
92036 candidates to 60435 candidates (34.3%)

sample5.1m (22.4%)

Algorithm
539×intervals
Results
1.7m2663854×body80valid
29.4s549178×body80nan
18.8s47740×body1280valid
11.1s44996×body640valid
4.2s25373×body320valid
4.0s5533×body2560valid
1.5s14001×body160valid
176.0ms886×body1280nan
168.0ms1069×body640nan
111.0ms43×body5120valid
82.0ms1597×body80overflowed
77.0ms656×body320nan
29.0ms359×body160nan

regimes2.1m (9.1%)

Accuracy

Total 205.8b remaining (37.1%)

Threshold costs 25.0b (4.5%)

15.3b51.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.4b-14.7%Linear.Matrix:det44 from linear-1.19.1.3
10.5b55.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.0b58.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.5b62.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.2m (5.5%)

Algorithm
1457×egg-herbie

series49.4s (3.6%)

Calls

2620 calls:

476.0ms
(/ (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (tanh (/ t y)) (tanh (/ x y))))
397.0ms
(* y (/ (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (tanh (/ t y)) (tanh (/ x y)))))
387.0ms
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))
369.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
355.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

end40.6s (3.0%)

rewrite25.0s (1.8%)

Algorithm
918×rewrite-expression-head
Calls

2620 calls:

205.0ms
(* (/ (cbrt y) (/ (* (cbrt a) (cbrt a)) (cbrt y))) (/ (cbrt y) (/ (cbrt a) (- z t))))
199.0ms
(* (/ (cbrt y) (/ (* (cbrt a) (cbrt a)) (cbrt y))) (/ (cbrt y) (/ (cbrt a) (- z t))))
113.0ms
(+ x (/ (- y x) (/ 1 (/ (- z t) (- a t)))))
103.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
82.0ms
(/ (- (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (+ (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
Rules
45340×times-frac
40534×*-un-lft-identity
39414×add-sqr-sqrt
26039×add-cube-cbrt
11328×add-exp-log
9015×add-cbrt-cube
6945×pow1
6824×associate-*r*
6693×cbrt-prod
4947×associate-*l*
4888×sqrt-prod
4684×difference-of-squares
4455×distribute-lft-out--
4197×add-log-exp
3770×associate-/r*
3606×associate-*r/
3145×prod-exp
3067×flip3-- flip--
3005×distribute-lft-out
2942×cbrt-div
2827×frac-times
2627×cbrt-unprod
2623×div-exp
2486×associate-*l/
2406×associate-/l*
2173×div-inv
2122×associate-/r/
2000×pow-prod-down
1933×flip-+ flip3-+
1867×log-prod
1818×cbrt-undiv
1634×unswap-sqr
1525×unpow-prod-down
1455×distribute-rgt-in distribute-lft-in
1450×frac-sub
1149×sqrt-div
1075×swap-sqr
1020×associate-/l/
912×pow1/3
855×*-commutative
749×sub-neg
581×sum-log
556×sqrt-pow1
544×cube-prod
534×clear-num frac-2neg
531×tanh-def
431×associate-+l+
410×sqr-pow
345×exp-sum
338×associate-+r+
336×+-commutative
316×diff-log
297×pow-prod-up
279×pow1/2
275×associate--l+
270×1-exp
258×rec-exp
256×frac-add
250×pow-sqr
244×log-pow
163×pow-exp
126×distribute-rgt-neg-in
120×div-sub
118×rem-sqrt-square
108×pow-to-exp
107×pow-plus exp-prod
105×pow-unpow
100×pow2
89×distribute-lft-neg-in
75×log-div
74×associate--r+
72×pow-flip
68×unpow2
66×inv-pow
60×pow-pow
57×associate-+l-
50×rem-log-exp
48×cube-div
44×distribute-rgt-neg-out
42×sum-cubes
41×un-div-inv
32×unpow3 cube-mult associate-+r-
27×distribute-rgt-out--
24×distribute-rgt-out sinh-def
22×unsub-neg
21×rem-cube-cbrt
19×rem-exp-log distribute-lft-neg-out
17×sqrt-unprod sub-div
16×distribute-neg-frac
15×rem-square-sqrt associate--l-
14×log-rec
13×exp-diff cosh-def neg-mul-1
12×neg-sub0
11×difference-cubes rem-cbrt-cube
10×associate--r-
8×sqrt-pow2
6×distribute-rgt1-in distribute-lft1-in neg-log
5×unpow1/3 count-2
4×diff-cos cos-mult
3×cos-diff sin-mult
2×cos-sum distribute-neg-out sqrt-undiv sqr-cos exp-to-pow tan-quot
1×sin-cos-mult remove-double-div sum-cos

localize9.8s (0.7%)

bsearch6.7s (0.5%)

Profiling

Loading profile data...