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

series10.9m (81.1%)

Calls

318 calls:

3.5s	(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.1s	(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s	(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.9s	(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))))

prune1.2m (8.7%)

Filtered: 15919 candidates to 11880 candidates (74.6%)

sample58.4s (7.2%)

Algorithm

59×

intervals

Results

15.2s	263702×	body	80	valid
11.6s	207679×	body	80	nan
8.2s	21487×	body	1280	valid
3.5s	5389×	body	2560	valid
3.0s	11069×	body	640	valid
969.0ms	5005×	body	320	valid
701.0ms	16512×	pre	80	true
347.0ms	2568×	body	160	valid
76.0ms	231×	body	5120	valid

simplify9.5s (1.2%)

Algorithm

156×	egg-herbie

regimes6.8s (0.8%)

Accuracy

Total 39.6b remaining (29%)

Threshold costs 3.9b (2.8%)

9.4b	-21%	Linear.Matrix:det33 from linear-1.19.1.3
5.3b	81.3%	NMSE problem 3.2.1
4.8b	0%	sqrt sqr
2.9b	0%	cos(2x)/(cos^2(x)sin^2(x))
2.1b	0%	Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite4.0s (0.5%)

Algorithm

98×	rewrite-expression-head

Calls

320 calls:

474.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)))
60.0ms	(/ (/ (pow (cbrt (/ 1 a)) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ (cbrt y) x))
59.0ms	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
40.0ms	(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
39.0ms	(/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ y x))

Rules

17850×	`times-frac`
9503×	`*-un-lft-identity`
9445×	`add-sqr-sqrt`
8380×	`add-cube-cbrt`
4541×	`cbrt-prod`
4017×	`unpow-prod-down`
2259×	`associate-r`
2147×	`add-exp-log`
1210×	`fma-udef`
1196×	`exp-sum`
1077×	`add-cbrt-cube`
957×	`prod-exp`
844×	`associate-*l/` `prod-diff`
839×	`associate-*r/`
765×	`pow1`
693×	`flip--` `flip3--`
687×	`div-inv`
563×	`frac-sub`
561×	`div-exp`
460×	`add-log-exp`
443×	`distribute-rgt-neg-in`
438×	`associate-l`
434×	`frac-times`
412×	`associate-/l*`
398×	`distribute-lft-neg-in`
349×	`cbrt-unprod`
321×	`log1p-expm1-u` `expm1-log1p-u`
319×	`distribute-lft-out`
308×	`sqrt-div`
304×	`sqr-pow`
291×	`associate-/r*`
279×	`distribute-lft-out--`
255×	`difference-of-squares`
232×	`sqrt-prod`
215×	`pow-exp`
204×	`associate-/l/`
203×	`cbrt-undiv`
192×	`flip-+` `flip3-+`
185×	`distribute-rgt-in` `distribute-lft-in`
181×	`pow-to-exp`
180×	`unswap-sqr`
172×	`pow-prod-down`
166×	`fma-neg`
164×	`cube-prod`
135×	`associate-/r/`
129×	`cbrt-div`
116×	`neg-mul-1`
111×	`associate-+r+`
99×	`log-pow`
93×	`fma-def`
89×	`*-commutative`
87×	`sub-neg`
74×	`associate--r+`
73×	`pow1/3`
62×	`associate-+l+`
56×	`clear-num` `frac-2neg` `log-prod`
52×	`swap-sqr`
48×	`diff-log`
38×	`1-exp`
36×	`sqrt-pow1`
33×	`pow-unpow`
30×	`rec-exp` `sum-log`
29×	`exp-prod`
28×	`sin-mult`
25×	`distribute-neg-in`
24×	`tan-quot`
22×	`cos-mult`
21×	`pow1/2`
20×	`unpow-prod-up`
18×	`associate-+l-`
17×	`rem-sqrt-square` `+-commutative`
15×	`neg-sub0`
14×	`div-sub` `pow-prod-up`
12×	`cube-div` `pow-pow` `sub-div` `log-div`
10×	`neg-log`
9×	`rem-exp-log` `pow-plus`
8×	`pow-sqr` `pow-flip` `unpow3` `cube-mult` `associate--l-`
7×	`distribute-neg-frac`
6×	`inv-pow` `associate--l+`
5×	`rem-cube-cbrt` `pow2` `frac-add` `distribute-frac-neg`
4×	`un-div-inv` `rem-cbrt-cube`
3×	`exp-diff`
2×	`log1p-udef` `cos-sum` `distribute-lft-neg-out` `associate-+r-` `log1p-expm1` `expm1-log1p` `hypot-def` `quot-tan` `tan-sum` `expm1-udef`
1×	`sqrt-pow2` `pow-neg` `pow3` `exp-neg` `pow-sub` `hypot-udef` `sqrt-unprod` `cube-neg` `distribute-rgt-neg-out` `exp-to-pow` `rem-log-exp`

Details

series10.9m (81.1%)

prune1.2m (8.7%)

sample58.4s (7.2%)

simplify9.5s (1.2%)

regimes6.8s (0.8%)

rewrite4.0s (0.5%)

localize2.4s (0.3%)

bsearch1.4s (0.2%)

end1.0ms (0.0%)