Date:	Thursday, May 18th, 2023
Commit:	5c5cbfdd on main
Hostname:	nightly with Racket 8.6
Seed:	2023138
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

sample9.1min (34.9%)

Results

2.7min	17120×	body	8192	exit
1.5min	70052×	body	1024	valid
1.2min	8870×	body	4096	valid
1.1min	293932×	body	256	valid
44.8s	14959×	body	2048	valid
33.0s	1545×	body	8192	valid
23.1s	35182×	body	512	valid
12.8s	6224×	body	1024	infinite
8.3s	888×	body	4096	infinite
7.6s	21649×	body	256	infinite
7.3s	1274×	body	2048	infinite
5.4s	16769×	body	256	unsamplable
4.5s	21815×	body	256	invalid
3.3s	3151×	body	512	infinite
1.4s	1180×	body	2048	invalid
1.3s	1708×	body	1024	invalid
737.0ms	1211×	body	512	invalid
374.0ms	24×	body	8192	infinite
99.0ms	941×	body	256	precondition
7.0ms	9×	body	512	unsamplable
2.0ms	1×	body	1024	unsamplable

Bogosity

eval4.2min (16.2%)

Compiler: Compiled 11129762 to 6304619 computations (43.4% saved)

regimes3.6min (13.5%)

Counts

24652 → 1008

Calls

141 calls:

13.4s	a
12.6s	phi1
12.3s	A
11.2s	phi2
10.9s	lambda1

Compiler

Compiled 609737 to 301211 computations (50.6% saved)

simplify2.1min (7.8%)

Algorithm

811×	egg-herbie

Rules

491750×	`associate-r`
443918×	`associate-/l*`
434924×	`*-commutative`
420362×	`associate-l`
405378×	`distribute-lft-in`

Stop Event

3×	unsound
69×	saturated
4×	done
46×	fuel
739×	node limit

Counts

133669 → 161750

Compiler

Compiled 19231 to 11955 computations (37.8% saved)

rewrite1.7min (6.3%)

Algorithm

710×	batch-egg-rewrite

Rules

415104×	`add-sqr-sqrt`
406422×	`*-un-lft-identity`
381366×	`add-cube-cbrt`
379186×	`add-cbrt-cube`
272374×	`add-exp-log`

Stop Event

7×	unsound
703×	node limit

Counts

1845 → 89994

prune1.6min (6.2%)

Counts: 219121 → 9332
Compiler: Compiled 517161 to 357352 computations (30.9% saved)

bsearch1.2min (4.5%)

Algorithm

470×	binary-search
69×	left-value

Stop Event

459×	narrow-enough
11×	predicate-same

Results

21.3s	11954×	body	1024	valid
13.5s	1414×	body	4096	valid
13.3s	36226×	body	256	valid
10.9s	3376×	body	2048	valid
5.5s	5160×	body	512	valid
766.0ms	3045×	body	256	invalid
726.0ms	124×	body	2048	infinite
623.0ms	33×	body	8192	valid
619.0ms	76×	body	4096	infinite
604.0ms	131×	body	1024	infinite
516.0ms	837×	body	256	infinite
187.0ms	100×	body	512	infinite
15.0ms	22×	body	1024	invalid
12.0ms	29×	body	512	invalid
4.0ms	43×	body	256	unsamplable
3.0ms	3×	body	2048	invalid

Compiler

Compiled 178176 to 125808 computations (29.4% saved)

soundness47.3s (3%)

Rules

84460×	`associate-/r*`
83542×	`*-commutative`
80782×	`associate-r`
72150×	`associate-/l*`
71526×	`+-commutative`

Stop Event

1×	unsound
12×	saturated
175×	node limit

Compiler

Compiled 29386 to 16787 computations (42.9% saved)

analyze45.4s (2.9%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
2.4%	1.9%	77.5%	20.6%	0%	0%	0%	1
5.1%	4%	75%	21%	0%	0%	0%	2
12.7%	9.8%	67.2%	21.2%	0.5%	1.4%	0%	3
20.5%	15.3%	59.4%	21.2%	1.1%	2.6%	0.5%	4
26.8%	19.7%	53.7%	21.2%	1.3%	3.4%	0.7%	5
32.2%	23.1%	48.7%	21.2%	1.7%	4.2%	1.1%	6
35%	24.7%	45.9%	21.2%	2%	4.9%	1.2%	7
37.7%	26.3%	43.5%	21.3%	2.3%	5.3%	1.4%	8
41.6%	28.6%	40.1%	21.3%	2.7%	6%	1.5%	9
43.1%	29.4%	38.8%	21.3%	2.7%	6.3%	1.6%	10
45.8%	31%	36.7%	21.3%	2.8%	6.6%	1.6%	11
48.4%	32.6%	34.7%	21.3%	2.8%	7%	1.7%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize42.2s (2.7%)

Compiler: Compiled 99776 to 50484 computations (49.4% saved)

series17.4s (1.1%)

Counts

1845 → 43624

Calls

12024 calls:

Time	Variable		Point	Expression
390.0ms	a	@	0	(log.f64 (*.f64 -2 (/.f64 a (/.f64 b c))))
339.0ms	y-scale	@	-inf	(.f64 (.f64 (.f64 2 (/.f64 (.f64 4 (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (pow.f64 (.f64 x-scale y-scale) 2))) (.f64 (.f64 b a) (.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))
263.0ms	x-scale	@	inf	(-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))
148.0ms	x-scale	@	0	(.f64 (sqrt.f64 2) (.f64 x-scale (log.f64 (+.f64 1 (expm1.f64 (*.f64 a (sqrt.f64 8)))))))
131.0ms	C	@	-inf	(pow.f64 (.f64 A (.f64 (.f64 A (.f64 C F)) -16)) 3/2)

end8.1s (0.5%)

Compiler: Compiled 18093 to 8396 computations (53.6% saved)

preprocess4.5s (0.3%)

Algorithm

102×	egg-herbie

Rules

32198×	`fma-def`
26296×	`*-commutative`
22918×	`+-commutative`
19502×	`distribute-lft-in`
19386×	`associate-/r*`

Stop Event

60×	saturated
5×	unsound
37×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample9.1min (34.9%)

eval4.2min (16.2%)

regimes3.6min (13.5%)

simplify2.1min (7.8%)

rewrite1.7min (6.3%)

prune1.6min (6.2%)

bsearch1.2min (4.5%)

soundness47.3s (3%)

analyze45.4s (2.9%)

localize42.2s (2.7%)

series17.4s (1.1%)

end8.1s (0.5%)

preprocess4.5s (0.3%)

Profiling