Date:Thursday, April 30th, 2020
Commit:79b0ceb2 on master
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

series17.8m (64.0%)

Calls

2267 calls:

2.0m
(/ (+ (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.7m
(/ (+ (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.0s
(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)))
3.8s
(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))))))

sample3.9m (14.0%)

Algorithm
538×intervals
Results
1.5m2583422×body80valid
27.9s518132×body80nan
18.9s46760×body1280valid
11.1s43816×body640valid
4.2s24922×body320valid
4.2s5653×body2560valid
1.5s13398×body160valid
169.0ms807×body1280nan
168.0ms1007×body640nan
81.0ms1545×body80overflowed
80.0ms664×body320nan
61.0ms23×body5120valid
28.0ms353×body160nan

prune3.5m (12.5%)

Filtered
87893 candidates to 56034 candidates (63.8%)

simplify1.3m (4.8%)

Algorithm
1393×egg-herbie

regimes46.7s (2.8%)

Accuracy

Total 168.8b remaining (34.3%)

Threshold costs 22.0b (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.3s (1.2%)

Algorithm
856×rewrite-expression-head
Calls

2269 calls:

110.0ms
(+ (/ 1 (/ (/ (- a t) (- z t)) y)) x)
80.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
72.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
72.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
69.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)))))))
Rules
44609×times-frac
43460×*-un-lft-identity
41917×add-sqr-sqrt
29183×add-cube-cbrt
10056×prod-diff
8955×add-exp-log
7128×add-cbrt-cube
5669×pow1
4978×difference-of-squares
4881×distribute-lft-out--
4814×sqrt-prod
4373×cbrt-prod
4337×associate-*r*
3459×associate-*l*
3058×add-log-exp
2953×associate-/r*
2462×distribute-rgt-in distribute-lft-in
2460×distribute-lft-out
2398×prod-exp
2361×associate-/l*
2326×div-inv
2273×expm1-log1p-u
2271×log1p-expm1-u
2047×div-exp
2015×associate-/r/
1917×flip-- flip3--
1852×cbrt-unprod
1527×associate-*l/
1521×associate-*r/
1496×unpow-prod-down
1456×pow-prod-down
1373×cbrt-undiv
1303×fma-def
1292×log-prod
1089×unswap-sqr
1077×cube-prod
964×flip-+ flip3-+
920×frac-times
780×pow1/3
694×log-pow
686×swap-sqr
632×fma-neg
620×frac-sub
605×*-commutative
598×associate--l+
583×sqrt-div
536×cbrt-div associate-+r+
526×associate-/l/
488×associate-+l+
484×sqrt-pow1
479×clear-num frac-2neg
450×sub-neg
394×exp-prod
383×sqr-pow
334×fma-udef
302×1-exp
282×rec-exp
242×pow-prod-up
236×pow1/2
228×sum-log
206×diff-log
201×unpow-prod-up
192×pow-sqr
143×+-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.5s (0.2%)

end6.0ms (0.0%)