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: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

series18.0m (65.3%)

Calls

2266 calls:

2.1m
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (+ y (* z (- b y))))
1.8m
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)))))))) (+ y (* z (- b y))))
4.3s
(expm1 (log1p (/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0)))
4.0s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.1s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))

prune3.5m (12.6%)

Filtered
87729 candidates to 55928 candidates (63.8%)

sample3.5m (12.5%)

Algorithm
538×intervals
Results
1.2m2583422×body80valid
21.5s519235×body80nan
17.1s46760×body1280valid
9.6s43816×body640valid
3.8s5653×body2560valid
3.7s24922×body320valid
1.3s13398×body160valid
776.0ms1545×body10240exit
96.0ms624×body640nan
87.0ms440×body1280nan
58.0ms23×body5120valid
44.0ms423×body320nan
16.0ms241×body160nan

simplify1.3m (4.8%)

Algorithm
1393×egg-herbie

regimes47.1s (2.8%)

Accuracy

Total 168.2b remaining (34.2%)

Threshold costs 22.3b (4.5%)

12.1b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.6b10.3%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.5b4.2%Linear.Matrix:det33 from linear-1.19.1.3
7.5b-4.4%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.7b15.1%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite19.7s (1.2%)

Algorithm
856×rewrite-expression-head
Calls

2268 calls:

215.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
117.0ms
(+ (/ 1 (/ (/ (- a t) (- z t)) y)) x)
96.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
83.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
74.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
Rules
44609×times-frac
43412×*-un-lft-identity
41863×add-sqr-sqrt
29139×add-cube-cbrt
10011×prod-diff
8948×add-exp-log
7121×add-cbrt-cube
5653×pow1
4976×difference-of-squares
4879×distribute-lft-out--
4814×sqrt-prod
4385×cbrt-prod
4325×associate-*r*
3450×associate-*l*
3043×add-log-exp
2953×associate-/r*
2460×distribute-lft-out
2430×distribute-rgt-in distribute-lft-in
2395×prod-exp
2361×associate-/l*
2326×div-inv
2272×expm1-log1p-u
2270×log1p-expm1-u
2047×div-exp
2015×associate-/r/
1905×flip-- flip3--
1849×cbrt-unprod
1525×associate-*l/
1519×associate-*r/
1496×unpow-prod-down
1453×pow-prod-down
1373×cbrt-undiv
1302×fma-def
1256×log-prod
1086×unswap-sqr
1077×cube-prod
963×flip-+ flip3-+
916×frac-times
784×pow1/3
686×swap-sqr
685×log-pow
625×fma-neg
620×frac-sub
602×*-commutative
584×associate--l+
583×sqrt-div
526×associate-/l/
518×cbrt-div
502×associate-+r+
484×sqrt-pow1
482×associate-+l+
479×clear-num frac-2neg
445×sub-neg
394×exp-prod
383×sqr-pow
336×fma-udef
302×1-exp
282×rec-exp
242×pow-prod-up
236×pow1/2
225×sum-log
201×unpow-prod-up diff-log
192×pow-sqr
142×+-commutative
137×cube-mult unpow3
134×pow-exp
121×associate--r+
115×pow-to-exp
104×div-sub
101×pow-flip
98×pow-unpow
87×pow-plus
80×pow2
78×rem-sqrt-square
73×inv-pow
72×distribute-rgt-neg-in
71×distribute-lft-neg-in frac-add
63×exp-sum log-div
56×pow-pow
47×un-div-inv distribute-rgt-neg-out rem-log-exp
30×unpow2
29×associate-+l-
27×neg-mul-1
25×distribute-lft-neg-out
24×cos-sum distribute-rgt-out--
22×rem-cube-cbrt
21×sinh-def
19×tanh-def
18×cube-div rem-exp-log
17×distribute-rgt-out
16×difference-cubes sqrt-unprod
15×unsub-neg
14×associate--l- rem-square-sqrt hypot-def
13×hypot-udef
11×cosh-def
10×associate-+r- rem-cbrt-cube
9×expm1-log1p neg-sub0 expm1-udef
7×log1p-udef unpow1/3 pow-sub distribute-neg-frac
6×sqrt-pow2 log1p-expm1 sub-div
5×distribute-lft1-in distribute-rgt1-in count-2 diff-cos tan-quot
4×exp-diff exp-to-pow associate--r-
3×exp-neg cos-diff distribute-frac-neg neg-log mul-1-neg
2×sin-neg pow-div sin-diff
1×sqrt-undiv expm1-def pow3 sin-sum difference-of-sqr-1 log-rec

localize9.3s (0.6%)

bsearch3.4s (0.2%)

end6.0ms (0.0%)

Profiling

Loading profile data...