Date:Sunday, April 12th, 2020
Commit:48b457a7 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020103
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.3m (56.7%)

Calls

2229 calls:

3.6s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.3s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
2.9s
(fma t (- (* (* (* (* x 18.0) (* (cbrt y) (cbrt y))) (cbrt y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune4.3m (16.8%)

Filtered
98163 candidates to 63040 candidates (64.2%)

sample4.1m (16.0%)

Algorithm
538×intervals
Results
1.5m2586283×body80valid
30.5s537654×body80nan
19.8s48137×body1280valid
11.5s44352×body640valid
4.3s24887×body320valid
4.3s5672×body2560valid
1.6s13638×body160valid
892.0ms1587×body5120exit
203.0ms887×body1280nan
186.0ms1034×body640nan
100.0ms40×body5120valid
82.0ms625×body320nan
32.0ms350×body160nan

simplify1.3m (5.3%)

Algorithm
1388×egg-herbie

regimes43.1s (2.8%)

Accuracy

Total 153.3b remaining (33.4%)

Threshold costs 25.5b (5.5%)

13.8b56.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.4b-21%Linear.Matrix:det33 from linear-1.19.1.3
5.8b26.1%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
5.6b0%Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B
5.1b53.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite22.1s (1.5%)

Algorithm
851×rewrite-expression-head
Calls

2231 calls:

535.0ms
(* (/ (pow (* (cbrt (/ 1 a)) (cbrt (/ 1 a))) 1.0) (* (cbrt y) (cbrt y))) (/ (/ (pow (cbrt (/ 1 a)) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ (cbrt y) x)))
152.0ms
(* (* (* x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
129.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ 1 (/ (sqrt x) (/ y 3.0))))
89.0ms
(* (/ 1 (sqrt (/ (fma (sqrt x) 4.0 (+ x 1.0)) 6.0))) (/ (- x 1.0) (sqrt (/ (fma (sqrt x) 4.0 (+ x 1.0)) 6.0))))
76.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z)))))
Rules
70127×times-frac
56548×*-un-lft-identity
54072×add-sqr-sqrt
42081×add-cube-cbrt
15655×prod-diff
9082×add-exp-log
9006×cbrt-prod
7174×add-cbrt-cube
6489×sqrt-prod
6413×associate-*r*
5671×pow1
5548×unpow-prod-down
5164×distribute-rgt-in distribute-lft-in
4458×distribute-lft-out--
4357×difference-of-squares
3411×associate-/r*
3394×div-inv
3277×associate-*l*
2973×add-log-exp
2952×distribute-lft-out
2458×associate-/l*
2418×prod-exp
2331×associate-/r/
2234×expm1-log1p-u
2232×log1p-expm1-u
2182×div-exp
2088×flip-- flip3--
1934×cbrt-unprod
1622×associate-*r/
1482×fma-udef
1477×associate-*l/
1456×pow-prod-down
1417×cbrt-undiv
1364×exp-sum
1272×log-prod
1215×unswap-sqr
991×flip-+ flip3-+
982×frac-times
948×fma-neg
850×cube-prod
810×cbrt-div
809×pow1/3
733×sqr-pow
720×swap-sqr
606×frac-sub
595×*-commutative
576×associate-/l/
540×associate-+l+
535×sqrt-pow1
533×associate-+r+
519×fma-def
496×sub-neg
495×log-pow
482×clear-num frac-2neg
422×associate--l+
403×sqrt-div
254×pow1/2
240×1-exp
237×pow-prod-up
229×rec-exp
224×sum-log
217×unpow2
191×pow-sqr
184×diff-log
173×unpow3 cube-mult
167×pow-exp
138×+-commutative
118×frac-add
117×pow-to-exp
106×associate--r+
105×div-sub
88×distribute-lft-neg-in distribute-rgt-neg-in
81×pow-unpow pow-plus
79×pow2
77×pow-flip exp-prod
69×log-div
66×inv-pow distribute-rgt-out
59×rem-sqrt-square
55×distribute-rgt-out--
53×pow-pow
48×un-div-inv
43×rem-log-exp
38×distribute-rgt-neg-out
33×cos-sum
25×associate-+l- sinh-def
22×tanh-def
19×cosh-def
18×neg-mul-1
17×cube-div rem-exp-log rem-cube-cbrt
15×distribute-lft-neg-out
14×sqrt-unprod sub-div rem-square-sqrt
13×distribute-rgt1-in distribute-lft1-in
12×unsub-neg
10×associate--l- associate-+r-
9×cos-diff count-2 hypot-def rem-cbrt-cube
8×hypot-udef
7×associate--r- distribute-neg-frac exp-to-pow
6×exp-diff sum-cubes
5×log1p-udef
4×expm1-udef difference-cubes unpow1/3 expm1-log1p
3×log1p-expm1 exp-neg neg-sub0 sqrt-undiv
2×sub0-neg sqrt-pow2 diff-cos distribute-frac-neg tan-quot
1×sin-cos-mult cube-unmult neg-log sin-mult log-rec mul-1-neg

localize9.3s (0.6%)

bsearch3.5s (0.2%)

end5.0ms (0.0%)