Date:	Wednesday, February 26th, 2020
Commit:	2c6cda94 on refactor-and-minor
Hostname:	warfa with Racket 7.5
Seed:	2020057
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

sample4.0m (63.9%)

Algorithm

78×

intervals

Results

2.7m	26587×	body	10240	exit
34.6s	43682×	body	1280	valid
11.5s	30310×	body	640	valid
7.1s	202932×	body	80	valid
4.8s	27925×	body	320	valid
4.7s	152010×	body	80	nan
3.1s	36264×	body	160	valid
2.9s	164045×	pre	80	true
756.0ms	3077×	body	2560	valid
387.0ms	4072×	pre	10240	exit
375.0ms	7854×	body	160	nan
106.0ms	8401×	pre	80	false
83.0ms	216×	body	5120	valid
1.0ms	1×	body	640	nan

prune56.8s (15.0%)

Filtered: 22440 candidates to 13067 candidates (58.2%)

series43.5s (11.5%)

Calls

510 calls:

774.0ms	(log (/ (hypot (pow (exp x) 3/2) (pow 1.0 3/2)) (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))))
739.0ms	(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
730.0ms	(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta))) 3)))
701.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
638.0ms	(/ (* (fma (log 0.5) c_p (fma 0.5 (* s c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify13.8s (3.6%)

Algorithm

227×	egg-herbie

regimes10.5s (2.8%)

Accuracy

Total 33.1b remaining (24.6%)

Threshold costs 6.2b (4.6%)

5.8b	58.3%	Cubic critical, narrow range
5.2b	26.9%	Cubic critical, medium range
5.1b	54.9%	Quotient of products
3.1b	86.9%	Cubic critical
3.1b	11.2%	Cubic critical, wide range

rewrite9.3s (2.5%)

Algorithm

149×	rewrite-expression-head

Calls

510 calls:

583.0ms	(- (- (+ (/ 1.0 (pow x 2)) (/ 3.0 x))) (* 3.0 (/ 1 (pow x 3))))
541.0ms	(* (- (/ 1 (/ (/ v m) (- 1.0 m))) 1.0) m)
373.0ms	(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
237.0ms	(- (/ 1 (/ (/ v m) (- 1.0 m))) 1.0)
210.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

Rules

12010×	`times-frac`
11600×	`*-un-lft-identity`
10705×	`add-sqr-sqrt`
8397×	`add-cube-cbrt`
4466×	`prod-diff`
3332×	`add-exp-log`
1893×	`add-cbrt-cube`
1680×	`sqrt-prod`
1162×	`pow1`
1152×	`prod-exp`
1130×	`div-exp`
931×	`difference-of-squares`
907×	`associate-r`
896×	`unpow-prod-down`
866×	`distribute-lft-out--`
780×	`add-log-exp`
734×	`fma-neg`
731×	`associate-/r*`
729×	`distribute-lft-out`
642×	`cbrt-prod`
618×	`div-inv`
614×	`associate-/r/`
583×	`distribute-rgt-neg-in`
571×	`associate-/l*`
514×	`log1p-expm1-u`
512×	`expm1-log1p-u`
493×	`distribute-lft-neg-in`
469×	`cbrt-undiv` `cube-prod`
438×	`cbrt-unprod`
416×	`associate-l`
396×	`pow-exp`
388×	`associate-+r+`
387×	`distribute-rgt-in` `distribute-lft-in`
348×	`flip--`
347×	`flip3--`
296×	`pow-to-exp`
273×	`flip-+`
272×	`flip3-+`
264×	`fma-def`
260×	`sqr-pow`
256×	`log-prod`
207×	`log-pow`
200×	`associate--l+`
182×	`unswap-sqr`
178×	`sqrt-div` `frac-times`
163×	`pow-prod-down` `neg-mul-1`
155×	`cbrt-div`
147×	`1-exp` `associate-*r/`
138×	`swap-sqr`
125×	`clear-num` `frac-2neg`
118×	`associate-*l/`
113×	`sub-neg`
108×	`pow-unpow`
97×	`unpow3` `cube-mult`
95×	`unpow2`
93×	`diff-log`
89×	`rec-exp`
86×	`*-commutative`
83×	`associate-/l/`
66×	`pow-prod-up`
58×	`exp-prod` `cos-sum`
56×	`pow1/3` `sqrt-pow1`
52×	`log-div`
51×	`sum-log`
45×	`div-sub`
43×	`pow-pow`
42×	`pow1/2`
38×	`pow-sqr` `pow-plus`
35×	`+-commutative`
31×	`distribute-rgt-out`
30×	`rem-sqrt-square` `rem-log-exp`
28×	`neg-sub0`
27×	`frac-sub`
25×	`pow2`
24×	`un-div-inv`
23×	`sin-sum`
22×	`fma-udef`
20×	`rem-cube-cbrt` `neg-log` `sin-mult`
18×	`tan-quot`
17×	`sin-cos-mult` `cos-diff`
16×	`associate--l-` `associate-+l-`
15×	`cube-div` `sin-diff`
12×	`acos-asin` `cos-mult`
10×	`frac-add`
8×	`distribute-lft-neg-out` `expm1-udef` `exp-sum`
7×	`distribute-frac-neg` `rem-cbrt-cube`
6×	`acos-neg` `associate-+l+` `distribute-neg-frac`
5×	`rem-exp-log` `expm1-log1p` `associate-+r-` `pow-flip`
4×	`unsub-neg` `log1p-udef` `inv-pow` `log1p-expm1` `sub-div`
3×	`hypot-udef` `hypot-def`
2×	`exp-diff` `difference-cubes` `sin-neg` `distribute-lft1-in` `pow3` `asin-acos` `distribute-rgt-neg-out` `associate--r+`
1×	`sqrt-undiv` `sqrt-unprod` `distribute-neg-in` `rem-square-sqrt` `distribute-rgt-out--`

Details

sample4.0m (63.9%)

prune56.8s (15.0%)

series43.5s (11.5%)

simplify13.8s (3.6%)

regimes10.5s (2.8%)

rewrite9.3s (2.5%)

localize2.3s (0.6%)

bsearch621.0ms (0.2%)

end1.0ms (0.0%)