Date:Tuesday, March 3rd, 2020
Commit:ee6b458f on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020063
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

series19.8m (65.9%)

Calls

2345 calls:

2.1m
(/ (+ (fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z)) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))) z)) (+ y (* z (- b y))))
1.7m
(/ (+ (fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z)) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a))) (cbrt a)))) z)) (+ y (* z (- b y))))
1.3m
(+ (fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z)) (* (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a))) (cbrt a)))) z))
5.5s
(sqrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
5.5s
(sqrt (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))

prune4.3m (14.3%)

Filtered
96955 candidates to 60410 candidates (62.3%)

sample3.4m (11.2%)

Algorithm
538×intervals
Results
1.2m2587799×body80valid
20.7s513669×body80nan
17.6s47167×body1280valid
9.7s44299×body640valid
3.9s5685×body2560valid
3.6s24860×body320valid
1.3s13783×body160valid
799.0ms1599×body10240exit
108.0ms679×body640nan
101.0ms38×body5120valid
89.0ms458×body1280nan
53.0ms435×body320nan
16.0ms231×body160nan

simplify1.3m (4.4%)

Algorithm
1403×egg-herbie

regimes41.7s (2.3%)

Accuracy

Total 159.7b remaining (33.6%)

Threshold costs 27.8b (5.8%)

14.0b56.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.4b7.1%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.9b20.7%Numeric.Signal:interpolate from hsignal-0.2.7.1
6.0b27.9%Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B
5.7b24.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite21.8s (1.2%)

Algorithm
866×rewrite-expression-head
Calls

2347 calls:

210.0ms
(* (/ 1 (sqrt (sqrt (+ y 1.0)))) (/ (/ (+ x y) (sqrt (+ y 1.0))) (sqrt (sqrt (+ y 1.0)))))
144.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
103.0ms
(/ (/ 1 (* (cbrt (- t z)) (cbrt (- t z)))) (/ (- y z) (/ x (cbrt (- t z)))))
101.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (fma 1.0 1.0 (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0))))
79.0ms
(/ (exp 1.0) (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (fma 1.0 1.0 (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)))))
Rules
60854×times-frac
53352×*-un-lft-identity
50373×add-sqr-sqrt
35503×add-cube-cbrt
10724×prod-diff
9560×add-exp-log
7508×add-cbrt-cube
7314×sqrt-prod
7209×cbrt-prod
5942×pow1
5675×difference-of-squares
5561×distribute-lft-out--
5324×associate-*r*
4384×cbrt-div
3665×distribute-lft-out
3610×associate-/r*
3308×associate-/r/
3263×associate-*l*
3091×add-log-exp
3060×distribute-rgt-in distribute-lft-in
2981×div-inv
2742×flip-- flip3--
2541×prod-exp
2498×unpow-prod-down
2428×associate-/l*
2348×log1p-expm1-u
2347×expm1-log1p-u
2288×div-exp
2071×cbrt-unprod
1888×frac-times
1760×associate-*r/
1594×pow-prod-down
1591×cube-prod
1493×cbrt-undiv
1274×unswap-sqr
1182×associate-*l/
1070×flip-+ flip3-+
1049×fma-def
979×log-prod
930×pow1/3
792×swap-sqr
625×sqr-pow
601×*-commutative
538×associate-+r+
510×clear-num frac-2neg
479×fma-neg
474×associate-+l+
449×fma-udef
448×associate--l+
429×sub-neg
428×sqrt-div
406×log-pow
383×associate-/l/
347×1-exp sqrt-pow1
314×rec-exp
255×pow1/2
248×sum-log
241×pow-prod-up
206×pow-sqr
183×frac-sub
165×diff-log
164×exp-sum
163×unpow3 cube-mult
151×+-commutative
136×unpow2
115×pow-flip
111×pow-exp
108×div-sub
100×pow-plus
97×rem-sqrt-square
93×pow2
90×pow-unpow
85×associate--r+
79×inv-pow
78×pow-to-exp
66×distribute-rgt-out
64×frac-add distribute-rgt-neg-in
62×tanh-def log-div
55×distribute-lft-neg-in
50×un-div-inv
49×pow-pow
39×difference-cubes exp-prod
37×distribute-rgt-neg-out rem-log-exp
30×sum-cubes
26×rem-cube-cbrt distribute-rgt-out-- associate-+l-
24×hypot-def neg-mul-1
23×cube-div cos-sum
21×distribute-lft1-in
19×cosh-def
18×distribute-lft-neg-out sinh-def
17×sqrt-unprod
14×sub-div
13×distribute-rgt1-in unsub-neg
12×associate-+r-
11×rem-cbrt-cube
10×hypot-udef rem-square-sqrt
9×rem-exp-log unpow1/3 count-2 associate--r-
7×associate--l-
6×sin-mult cos-mult
5×diff-cos neg-sub0
3×exp-diff expm1-udef sin-neg exp-neg cos-diff expm1-log1p sin-diff mul-1-neg
2×sqrt-pow2 exp-to-pow tan-quot
1×sin-cos-mult log1p-udef pow3 log1p-expm1 distribute-frac-neg sqrt-undiv neg-log

localize9.6s (0.5%)

bsearch4.2s (0.2%)

end6.0ms (0.0%)