Date:	Wednesday, February 26th, 2020
Commit:	a943e6d1 on master
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 (64.8%)

Algorithm

78×

intervals

Results

2.7m	26587×	body	10240	exit
34.5s	43755×	body	1280	valid
11.2s	30282×	body	640	valid
7.2s	202900×	body	80	valid
4.7s	27906×	body	320	valid
4.7s	152010×	body	80	nan
3.1s	36270×	body	160	valid
2.8s	164045×	pre	80	true
772.0ms	3077×	body	2560	valid
396.0ms	4072×	pre	10240	exit
362.0ms	7854×	body	160	nan
98.0ms	8401×	pre	80	false
82.0ms	216×	body	5120	valid

prune54.3s (14.6%)

series44.0s (11.8%)

Calls

510 calls:

870.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)))
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)))))))
738.0ms	(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta))) 3)))
728.0ms	(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
663.0ms	(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)

simplify13.7s (3.7%)

Algorithm

227×	egg-herbie

regimes10.6s (2.9%)

Accuracy

Total 36.0b remaining (26%)

Threshold costs 6.2b (4.5%)

5.8b	58.3%	Cubic critical, narrow range
5.2b	26.9%	Cubic critical, medium range
5.1b	54.9%	Quotient of products
4.3b	83.8%	Quadratic roots, full range
3.1b	86.6%	Cubic critical

rewrite5.4s (1.4%)

Algorithm

149×	rewrite-expression-head

Calls

510 calls:

100.0ms	(- (/ 1 (/ (/ v m) (- 1.0 m))) 1.0)
77.0ms	(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
76.0ms	(* (- (/ 1 (/ (/ v m) (- 1.0 m))) 1.0) m)
59.0ms	(* (/ (sqrt (+ (sqrt 1.0) x)) (sqrt x)) (/ (sqrt (- (sqrt 1.0) x)) (sqrt x)))
55.0ms	(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

Rules

10866×	`*-un-lft-identity`
10299×	`times-frac`
10057×	`add-sqr-sqrt`
7617×	`add-cube-cbrt`
4471×	`prod-diff`
3312×	`add-exp-log`
1897×	`add-cbrt-cube`
1290×	`sqrt-prod`
1146×	`prod-exp`
1122×	`div-exp`
1018×	`pow1`
941×	`difference-of-squares`
924×	`associate-r`
885×	`unpow-prod-down`
881×	`distribute-lft-out--`
777×	`add-log-exp`
740×	`distribute-lft-out`
734×	`fma-neg`
640×	`cbrt-prod`
586×	`distribute-rgt-neg-in`
577×	`div-inv`
568×	`associate-/r*`
555×	`associate-/l*`
551×	`associate-/r/`
514×	`log1p-expm1-u`
512×	`expm1-log1p-u`
496×	`distribute-lft-neg-in`
469×	`cbrt-undiv`
458×	`associate-l` `cube-prod`
443×	`cbrt-unprod`
399×	`associate-+r+`
391×	`pow-exp`
383×	`distribute-rgt-in` `distribute-lft-in`
317×	`flip--`
316×	`flip3--`
291×	`pow-to-exp`
260×	`log-prod`
255×	`sqr-pow`
245×	`fma-def`
221×	`flip-+`
220×	`flip3-+`
200×	`associate--l+`
197×	`unswap-sqr`
193×	`log-pow`
164×	`neg-mul-1`
141×	`1-exp`
137×	`swap-sqr`
130×	`pow-prod-down`
128×	`associate-*r/`
125×	`clear-num` `frac-2neg`
123×	`frac-times`
110×	`sub-neg`
108×	`pow-unpow`
104×	`sqrt-div`
95×	`unpow2` `associate-*l/`
94×	`unpow3` `cube-mult` `diff-log`
85×	`*-commutative`
84×	`associate-/l/`
83×	`rec-exp`
58×	`exp-prod` `cos-sum`
49×	`sum-log`
47×	`pow1/2` `sqrt-pow1`
45×	`div-sub`
43×	`pow-pow`
41×	`cbrt-div`
36×	`rem-sqrt-square`
35×	`pow1/3`
32×	`+-commutative`
30×	`distribute-rgt-out`
28×	`neg-sub0` `rem-log-exp` `log-div`
24×	`fma-udef`
23×	`un-div-inv` `sin-sum` `frac-sub`
20×	`rem-cube-cbrt` `neg-log`
18×	`tan-quot`
17×	`cos-diff`
16×	`associate--l-` `sin-mult` `associate-+l-`
15×	`cube-div` `sin-cos-mult` `sin-diff`
13×	`frac-add`
12×	`pow-prod-up` `acos-asin`
10×	`pow-sqr`
8×	`distribute-lft-neg-out` `pow2` `expm1-udef` `pow-plus` `cos-mult` `exp-sum`
7×	`distribute-frac-neg` `rem-cbrt-cube`
6×	`acos-neg` `associate-+l+` `associate-+r-` `distribute-neg-frac`
5×	`rem-exp-log` `expm1-log1p` `hypot-def`
4×	`sqrt-undiv` `unsub-neg` `log1p-udef` `log1p-expm1` `pow-flip`
3×	`inv-pow`
2×	`exp-diff` `difference-cubes` `distribute-lft1-in` `sqrt-unprod` `hypot-udef` `asin-acos` `associate--r+`
1×	`distribute-neg-in` `rem-square-sqrt` `distribute-rgt-out--`

Details

sample4.0m (64.8%)

prune54.3s (14.6%)

series44.0s (11.8%)

simplify13.7s (3.7%)

regimes10.6s (2.9%)

rewrite5.4s (1.4%)

localize2.3s (0.6%)

bsearch576.0ms (0.2%)

end1.0ms (0.0%)