Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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

series14.4m (60.0%)

Calls

2291 calls:

18.4s
(fma (sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (- (+ y t) 2.0) b))
6.1s
(* (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))) (cbrt (+ (sqrt (+ y t)) (sqrt 2.0))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune3.6m (14.9%)

Filtered
95083 candidates to 59278 candidates (62.3%)

sample3.4m (14.1%)

Algorithm
537×intervals
Results
1.2m2575516×body80valid
20.6s507867×body80nan
17.2s45978×body1280valid
9.4s42764×body640valid
3.8s5484×body2560valid
3.6s24785×body320valid
1.3s13469×body160valid
775.0ms1524×body10240exit
99.0ms666×body640nan
90.0ms493×body1280nan
80.0ms32×body5120valid
46.0ms406×body320nan
16.0ms220×body160nan

simplify1.3m (5.6%)

Algorithm
1392×egg-herbie

regimes43.5s (3.0%)

Accuracy

Total 149.7b remaining (32.9%)

Threshold costs 29.1b (6.4%)

12.5b60.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.8b5.5%Linear.Matrix:det33 from linear-1.19.1.3
7.5b2.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.2b8.6%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.7b23.8%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

rewrite21.2s (1.5%)

Algorithm
857×rewrite-expression-head
Calls

2293 calls:

190.0ms
(* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (/ (- y t) (cbrt 2.0))))
128.0ms
(fma (- y) x (* y x))
120.0ms
(* (/ (fma (sqrt z) y x) (sqrt 2.0)) (/ (/ 1.0 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
112.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))
88.0ms
(* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))
Rules
56056×times-frac
50525×*-un-lft-identity
48443×add-sqr-sqrt
34727×add-cube-cbrt
12089×prod-diff
9775×add-exp-log
7719×add-cbrt-cube
7115×cbrt-prod
6230×sqrt-prod
6012×associate-*r*
5683×pow1
5248×difference-of-squares
5214×distribute-lft-out--
3876×associate-/r*
3862×distribute-rgt-in distribute-lft-in
3568×associate-*l*
3050×add-log-exp
2892×distribute-lft-out
2865×div-inv
2621×prod-exp
2407×associate-/r/
2353×div-exp
2297×expm1-log1p-u
2293×log1p-expm1-u
2190×cbrt-div
2170×associate-/l*
2152×cbrt-unprod
1999×unpow-prod-down
1712×flip-- flip3--
1649×cbrt-undiv
1474×pow-prod-down
1400×associate-*r/
1368×flip-+ flip3-+
1264×frac-times
1208×unswap-sqr
1134×log-prod
1034×associate-*l/
992×cube-prod
827×fma-def
769×pow1/3 swap-sqr
631×*-commutative
529×associate-+r+
513×sqrt-div
506×fma-neg
503×clear-num frac-2neg
450×sub-neg
418×fma-udef
414×associate-+l+
413×associate-/l/
399×associate--l+
386×sqr-pow
357×log-pow
356×sqrt-pow1
252×frac-add
237×sum-log
234×1-exp
229×rec-exp
223×unpow3
222×cube-mult
209×pow-prod-up
208×pow1/2
183×diff-log
173×pow-sqr
162×exp-sum
151×+-commutative
143×frac-sub
130×pow-exp
129×distribute-lft-neg-in distribute-rgt-neg-in
128×associate--r+
122×div-sub
121×pow-unpow
106×exp-prod
105×pow-to-exp
91×rem-sqrt-square
83×distribute-rgt-out
81×pow-pow
79×pow-plus
75×pow2
71×log-div
69×pow-flip
63×inv-pow
50×unpow2
45×rem-log-exp
40×un-div-inv
39×cube-div
32×rem-cube-cbrt tanh-def sinh-def
28×associate-+l-
27×distribute-lft1-in
26×distribute-rgt1-in count-2
23×cos-sum distribute-rgt-out-- cosh-def
20×neg-mul-1
17×rem-cbrt-cube
15×rem-exp-log
13×sqrt-unprod rem-square-sqrt
12×sub-div distribute-rgt-neg-out
11×associate-+r-
10×hypot-def associate--r-
8×sqrt-undiv sum-cubes
7×unpow1/3
6×unsub-neg tan-quot associate--l-
5×difference-cubes log1p-udef distribute-lft-neg-out log1p-expm1 neg-sub0
4×exp-diff sqrt-pow2 exp-neg mul-1-neg
3×cos-diff distribute-frac-neg
2×pow3 diff-cos neg-log
1×expm1-udef hypot-udef expm1-log1p sin-mult

localize9.0s (0.6%)

bsearch3.9s (0.3%)

end5.0ms (0.0%)