Date:	Friday, November 4th, 2022
Commit:	3b7366bf on main
Hostname:	warfa with Racket 8.6
Seed:	2022308
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify` default

Details

regimes15.4min (31.2%)

Counts

41905 → 7330

Calls

495 calls:

2.5min	x
2.2min	y
2.0min	z
1.6min	t
1.5min	a

Results

Compiler

Compiled 516943 to 273116 computations (47.2% saved)

sample9.4min (19.1%)

Results

6.0min	2132711×	body	256	valid
1.5min	336266×	body	256	infinite
35.2s	50441×	body	1024	valid
33.0s	135421×	body	256	invalid
17.6s	35261×	body	512	valid
9.6s	10369×	body	2048	valid
4.3s	9152×	body	1024	infinite
3.1s	1564×	body	8192	exit
1.8s	5759×	body	512	infinite
845.0ms	338×	body	4096	valid
282.0ms	731×	body	1024	invalid
160.0ms	579×	body	512	invalid
2.0ms	2×	body	2048	infinite

Bogosity

simplify5.2min (10.6%)

Algorithm

3205×

egg-herbie

Rules

1004877×	`fma-def_binary64`
675168×	`fma-neg_binary64`
464553×	`unswap-sqr_binary64`
441662×	`associate-l_binary64`
386488×	`sqr-pow_binary64`

Stop Event

60×	done
3×	unsound
1539×	saturated
209×	fuel
1663×	node limit

Counts

391906 → 301865

Compiler

Compiled 88441 to 48246 computations (45.4% saved)

bsearch4.9min (9.8%)

Algorithm

4924×	binary-search
364×	left-value

Compiler

Compiled 241838 to 177434 computations (26.6% saved)

rewrite4.1min (8.3%)

Algorithm

2666×	batch-egg-rewrite
4×	egg-rewrite
5×	egg-rewrite-iter-limit

Rules

1154571×	`pow1_binary64`
1077589×	`add-log-exp_binary64`
1077165×	`expm1-log1p-u_binary64`
1077122×	`log1p-expm1-u_binary64`
965488×	`add-exp-log_binary64`

Stop Event

2×	unsound
5×	iter limit
2668×	node limit

Counts

5595 → 247936

eval3.3min (6.7%)

Compiler: Compiled 8054213 to 3883591 computations (51.8% saved)

prune1.9min (3.7%)

Counts: 358598 → 15443
Compiler: Compiled 397431 to 281485 computations (29.2% saved)

analyze1.4min (2.9%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize1.2min (2.4%)

Compiler: Compiled 123173 to 56578 computations (54.1% saved)

series51.8s (1.7%)

Counts

5595 → 143700

Calls

38862 calls:

Time	Variable		Point	Expression
570.0ms	x	@	0	(*.f64 x (neg.f64 (log.f64 (/.f64 y x))))
296.0ms	x	@	-inf	(.f64 (-.f64 9 (/.f64 1/9 (.f64 x x))) (sqrt.f64 x))
262.0ms	x	@	-inf	(pow.f64 (-.f64 (log.f64 x) (log.f64 y)) 3)
247.0ms	x	@	0	(/.f64 t (*.f64 (-.f64 y x) z))
244.0ms	y4	@	0	(.f64 (+.f64 (.f64 y4 j) (.f64 -1 (.f64 a z))) (*.f64 t b))

end43.6s (1.5%)

Compiler: Compiled 86510 to 37086 computations (57.1% saved)

soundness36.6s (1.2%)

Algorithm

241×	egg-herbie

Rules

107611×	`fma-def_binary64`
82278×	`fma-neg_binary64`
50927×	`associate-/l*_binary64`
42096×	`distribute-rgt-in_binary64`
36733×	`cancel-sign-sub-inv_binary64`

Stop Event

87×	saturated
154×	node limit

Compiler

Compiled 58408 to 40351 computations (30.9% saved)

preprocess21.4s (0.7%)

Algorithm

540×	egg-herbie

Rules

98329×	`fma-def_binary64`
92803×	`fma-neg_binary64`
46036×	`sub-neg_binary64`
45046×	`div-sub_binary64`
43640×	`distribute-rgt-in_binary64`

Stop Event

58×	unsound
354×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes15.4min (31.2%)

sample9.4min (19.1%)

simplify5.2min (10.6%)

bsearch4.9min (9.8%)

rewrite4.1min (8.3%)

eval3.3min (6.7%)

prune1.9min (3.7%)

analyze1.4min (2.9%)

localize1.2min (2.4%)

series51.8s (1.7%)

end43.6s (1.5%)

soundness36.6s (1.2%)

preprocess21.4s (0.7%)

Profiling