Metrics for Herbie run

Date:	Wednesday, November 27th, 2024
Commit:	a25f782f on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024332
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample1.3min (27.4%)

Memory

-247.5MiB live, 96 605.0MiB allocated

Samples

53.5s	262 406×	0	valid
2.1s	7 878×	1	valid
1.9s	11 141×	0	invalid
638.0ms	2 163×	2	valid
363.0ms	667×	1	invalid
323.0ms	1 580×	1	exit
0.0ms	1×	4	valid

Precisions

Click to see histograms. Total time spent on operations: 47.5s

ival-mult: 10.7s (22.5% of total)

const: 6.9s (14.5% of total)

ival-<=: 5.7s (12.1% of total)

ival-div: 4.3s (9% of total)

ival-add: 2.1s (4.4% of total)

ival-sub: 2.0s (4.1% of total)

ival-sqrt: 1.8s (3.7% of total)

ival-log: 1.5s (3.2% of total)

ival-fabs: 1.5s (3.2% of total)

ival-and: 1.2s (2.4% of total)

ival-sin: 1.1s (2.4% of total)

ival-pow: 896.0ms (1.9% of total)

ival-exp: 753.0ms (1.6% of total)

ival-floor: 670.0ms (1.4% of total)

ival-sinu: 646.0ms (1.4% of total)

ival-neg: 545.0ms (1.1% of total)

ival-cosu: 489.0ms (1% of total)

ival-pow2: 448.0ms (0.9% of total)

exact: 443.0ms (0.9% of total)

ival-cos: 430.0ms (0.9% of total)

ival-e: 398.0ms (0.8% of total)

adjust: 364.0ms (0.8% of total)

ival-tan: 343.0ms (0.7% of total)

ival-fmax: 297.0ms (0.6% of total)

ival-pi: 293.0ms (0.6% of total)

ival-if: 255.0ms (0.5% of total)

ival-log2: 252.0ms (0.5% of total)

ival->: 237.0ms (0.5% of total)

ival-log1p: 194.0ms (0.4% of total)

ival-<: 170.0ms (0.4% of total)

ival-asin: 133.0ms (0.3% of total)

ival-atan: 111.0ms (0.2% of total)

ival-assert: 108.0ms (0.2% of total)

ival-==: 107.0ms (0.2% of total)

ival-sinh: 98.0ms (0.2% of total)

ival->=: 52.0ms (0.1% of total)

ival-true: 21.0ms (0% of total)

Bogosity

simplify34.1s (11.7%)

Memory

264.9MiB live, 32 880.8MiB allocated

Algorithm

207×	egg-herbie

Stop Event

279×	iter limit
153×	node limit
51×	saturated
3×	unsound

Counts

11 155 → 11 075

regimes32.1s (11%)

Memory

-48.8MiB live, 40 542.7MiB allocated

Counts

13 827 → 260

Calls

122 calls:

1.2s	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
1.1s	s
1.0s	(*.f32 uy #s(literal 2 binary32))
946.0ms	maxCos
946.0ms	ux

Compiler

Compiled 12 592 to 10 519 computations (16.5% saved)

soundness27.0s (9.3%)

Memory

122.3MiB live, 18 841.8MiB allocated

Stop Event

207×	iter limit
135×	node limit
22×	fuel
2×	unsound
1×	done

Compiler

Compiled 27 873 to 11 279 computations (59.5% saved)

analyze20.1s (6.9%)

Memory

475.1MiB live, 25 986.3MiB allocated

Algorithm

33×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	11.5%	88.5%	0%	0%	0%	0
52.8%	6.1%	5.4%	88.5%	0%	0%	0%	1
54.4%	6.2%	5.2%	88.5%	0%	0%	0%	2
54.5%	6.3%	5.2%	88.5%	0%	0%	0%	3
55.4%	6.4%	5.1%	88.5%	0%	0%	0%	4
62.6%	7.2%	4.3%	88.5%	0%	0%	0%	5
66.9%	7.6%	3.8%	88.5%	0%	0.1%	0%	6
76.4%	8.4%	2.6%	88.5%	0%	0.4%	0%	7
76.8%	8.5%	2.6%	88.5%	0%	0.4%	0%	8
81.4%	9%	2%	88.5%	0%	0.4%	0%	9
85.1%	9.3%	1.6%	88.5%	0%	0.5%	0%	10
86.3%	9.4%	1.5%	88.5%	0%	0.5%	0%	11
87.3%	9.5%	1.4%	88.5%	0%	0.6%	0%	12

Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

rewrite18.5s (6.4%)

Memory

35.5MiB live, 20 767.6MiB allocated

Stop Event

198×	iter limit
85×	node limit
7×	unsound

Counts

1 773 → 60 251

localize18.0s (6.2%)

Memory

34.5MiB live, 21 104.4MiB allocated

Samples

9.2s	20 325×	0	valid
1.5s	1 284×	1	valid
850.0ms	1 536×	0	invalid
411.0ms	355×	2	valid
123.0ms	32×	5	exit
55.0ms	18×	3	valid
0.0ms	1×	1	exit
0.0ms	1×	4	valid

Compiler

Compiled 106 235 to 9 341 computations (91.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 9.3s

ival-mult: 3.0s (31.9% of total)

ival-div: 1.2s (12.5% of total)

ival-add: 679.0ms (7.3% of total)

ival-pow: 598.0ms (6.4% of total)

ival-sub: 393.0ms (4.2% of total)

ival-sqrt: 375.0ms (4% of total)

ival-log: 371.0ms (4% of total)

ival-pow2: 328.0ms (3.5% of total)

ival-sin: 316.0ms (3.4% of total)

ival-cos: 308.0ms (3.3% of total)

adjust: 261.0ms (2.8% of total)

const: 236.0ms (2.5% of total)

ival-neg: 182.0ms (2% of total)

ival-exp: 172.0ms (1.8% of total)

ival-cosu: 154.0ms (1.7% of total)

ival-log1p: 128.0ms (1.4% of total)

ival-sinu: 128.0ms (1.4% of total)

ival-expm1: 82.0ms (0.9% of total)

ival-pi: 71.0ms (0.8% of total)

ival-tan: 64.0ms (0.7% of total)

ival-log2: 57.0ms (0.6% of total)

ival-atan: 50.0ms (0.5% of total)

exact: 43.0ms (0.5% of total)

ival-e: 38.0ms (0.4% of total)

ival-fmax: 30.0ms (0.3% of total)

ival-fabs: 24.0ms (0.3% of total)

ival-true: 21.0ms (0.2% of total)

ival-floor: 18.0ms (0.2% of total)

ival-cbrt: 17.0ms (0.2% of total)

ival-sinh: 14.0ms (0.2% of total)

ival-tanu: 11.0ms (0.1% of total)

ival-assert: 10.0ms (0.1% of total)

explain15.9s (5.5%)

Memory

-7.6MiB live, 20 255.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	805	78
`-.f32`	`#f`	cancellation	393	30
`sqrt.f64`	`#f`	oflow-rescue	284	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancelation	202	0
`-.f64`	`#f`	cancellation	201	0
`cos.f32`	`#f`	cancelation	195	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	177	1
`/.f32`	`#f`	u/n	101	0
`sqrt.f32`	`(sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w)))))`	oflow-rescue	93	0
↳	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`	overflow	18
↳	`(fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))`	overflow	93
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))`	overflow	29
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	20
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	26
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`	overflow	43
↳	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`	overflow	12
↳	`(+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w)))`	overflow	58
↳	`(.f32 (.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))`	overflow	16
↳	`(+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w)))`	overflow	44
↳	`(.f32 (.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))`	overflow	18
`+.f64`	`(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))`	cancellation	31	0
`*.f32`	`#f`	*nu**	29	0
`/.f32`	`#f`	u/u	11	0
`sqrt.f64`	`#f`	uflow-rescue	6	0
`*.f64`	`#f`	*no**	3	0
`*.f32`	`#f`	*uo**	2	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	oflow-rescue	1	0
↳	`(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)`	overflow	1
↳	`(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))`	overflow	1
↳	`(pow.f64 (E.f64) x)`	overflow	1
↳	`(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1748	42
-	490	3608

Precision

0.7810545129579982

Recall

0.976536312849162

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1748	32	10
-	490	109	3499

Precision?

0.748213535098781

Recall?

0.994413407821229

Freqs

test

number	freq
0	3650
1	1942
2	296

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	13	2	1
-	4	1	2

Precision?

0.75

Recall?

0.9375

Samples

1.9s	14 130×	0	valid
224.0ms	582×	1	valid
47.0ms	136×	2	valid
1.0ms	2×	4	valid
1.0ms	2×	3	valid

Compiler

Compiled 23 165 to 4 401 computations (81% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.5s

ival-mult: 422.0ms (29% of total)

ival-div: 182.0ms (12.5% of total)

ival-sub: 98.0ms (6.7% of total)

ival-add: 88.0ms (6% of total)

ival-log: 76.0ms (5.2% of total)

ival-sqrt: 61.0ms (4.2% of total)

ival-pow2: 56.0ms (3.8% of total)

ival-exp: 46.0ms (3.2% of total)

ival-sin: 44.0ms (3% of total)

ival-pow: 42.0ms (2.9% of total)

ival-sinu: 37.0ms (2.5% of total)

ival-tan: 36.0ms (2.5% of total)

ival-neg: 28.0ms (1.9% of total)

adjust: 24.0ms (1.6% of total)

ival-e: 24.0ms (1.6% of total)

const: 24.0ms (1.6% of total)

ival-cosu: 24.0ms (1.6% of total)

ival-pi: 23.0ms (1.6% of total)

ival-cos: 22.0ms (1.5% of total)

ival-floor: 16.0ms (1.1% of total)

ival-true: 15.0ms (1% of total)

ival-fabs: 14.0ms (1% of total)

exact: 14.0ms (1% of total)

ival-assert: 7.0ms (0.5% of total)

ival-log1p: 7.0ms (0.5% of total)

ival-log2: 6.0ms (0.4% of total)

ival-atan: 6.0ms (0.4% of total)

ival-sinh: 5.0ms (0.3% of total)

ival-fmax: 4.0ms (0.3% of total)

ival-asin: 4.0ms (0.3% of total)

ival->: 0.0ms (0% of total)

ival-if: 0.0ms (0% of total)

ival->=: 0.0ms (0% of total)

ival-<: 0.0ms (0% of total)

prune13.2s (4.5%)

Memory: -171.4MiB live, 18 672.2MiB allocated
Counts: 75 682 → 5 780
Compiler: Compiled 607 312 to 281 842 computations (53.6% saved)

eval13.2s (4.5%)

Memory: 559.1MiB live, 18 235.0MiB allocated
Compiler: Compiled 3 792 420 to 343 850 computations (90.9% saved)

series12.6s (4.3%)

Memory

-311.4MiB live, 16 415.5MiB allocated

Counts

1 773 → 11 155

Calls

888 calls:

Time	Variable		Point	Expression
432.0ms	ux	@	0	((* (- (+ (/ 1 ux) maxCos) 1) ux) (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (+ (- 1 ux) (* ux maxCos)) (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))) (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sin (* (* uy 2) (PI))) (- 1 (- ux (* maxCos ux))) (- 1 (* (- 1 (- ux (* maxCos ux))) (+ (- 1 ux) (* ux maxCos)))) (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (- 1 (- ux (* maxCos ux))) (+ (- 1 ux) (* ux maxCos)))))) (- (/ (* ux ux) (+ ux 1)) (* maxCos ux)) (- 1 (* (- (/ 1 (+ ux 1)) (- (/ (* ux ux) (+ ux 1)) (* maxCos ux))) (+ (- 1 ux) (* ux maxCos)))) (- (/ 1 (+ ux 1)) (- (/ (* ux ux) (+ ux 1)) (* maxCos ux))) (* (sin (* (cbrt (PI)) (* (pow (PI) 1/6) (* (* (sqrt (PI)) 2) uy)))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)))))) (sin (* (cbrt (PI)) (* (pow (PI) 1/6) (* (* (sqrt (PI)) 2) uy)))) (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos))) (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos))) (* (- 1 (- ux (* maxCos ux))) (+ (- 1 ux) (* ux maxCos))) (* (* uy 2) (PI)) (* (- (/ 1 (+ ux 1)) (- (/ (* ux ux) (+ ux 1)) (* maxCos ux))) (+ (- 1 ux) (* ux maxCos))) (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (- (/ 1 (+ ux 1)) (- (/ (* ux ux) (+ ux 1)) (* maxCos ux))) (+ (- 1 ux) (* ux maxCos)))))) (/ 1 (+ ux 1)) (* (pow (PI) 1/6) (* (* (sqrt (PI)) 2) uy)) (* (* (sqrt (PI)) 2) uy))
300.0ms	alphax	@	inf	((/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (* (/ 1 (+ (* (/ (- 1 (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2))) alphay) (/ 1/2 alphay)) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) u0) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (* (/ (- 1 (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2))) alphay) (/ 1/2 alphay)) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (* (/ (- 1 (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2))) alphay) (/ 1/2 alphay)) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) u0) (- 1 u0)))) (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay))) (* (/ 1 (+ (/ (+ (* (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2)) 1/2) 1/2) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (/ (+ (* (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2)) 1/2) 1/2) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (+ (* (/ (- 1 (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2))) alphay) (/ 1/2 alphay)) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) (+ (* (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2)) 1/2) 1/2))
221.0ms	x	@	-inf	((* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c y) x) (* c y) (+ (* (* c (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2))) x) (* c y)) (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) (* (- y (* y y)) 1/2) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (+ 1 (* (- (pow (E) x) 1) y)) (log (+ 1 (* (- (pow (E) x) 1) y))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (- (pow (E) x) 1) y) (* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1)))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (+ (* (* c (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2))) x) (* c y)) x) (- (pow (E) x) 1) (pow (E) x) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))))
203.0ms	dY.v	@	inf	((* (* (floor d) dY.w) (* (floor d) dY.w)) (* (* (pow (floor w) 2) dX.u) dX.u) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (pow (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)) (pow (* dY.w (floor d)) 2))) 1/4) 2) (log2 (pow (pow (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)) (pow (* dY.w (floor d)) 2))) 1/4) 2)) (pow (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)) (pow (* dY.w (floor d)) 2))) 1/4) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)) (pow (* dY.w (floor d)) 2))) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (+ (* dY.v (* (pow (floor h) 2) dY.v)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2))) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (pow (floor d) 2) dX.w) dX.w)) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (pow (floor d) 2) dX.w) dX.w)) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (+ (* (floor h) (* (* dY.v (floor h)) dY.v)) (pow (* dY.w (floor d)) 2)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (+ (* (floor h) (* (* dY.v (floor h)) dY.v)) (pow (* dY.w (floor d)) 2))) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (pow (floor d) 2) dX.w) dX.w)) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (pow (* dY.u (floor w)) 2) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (sqrt (fmax (+ (* (* (pow (floor d) 2) dX.w) dX.w) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v))) (+ (* dY.v (* (pow (floor h) 2) dY.v)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2))))) (+ (* (* (pow (floor d) 2) dX.w) dX.w) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v))) (sqrt (fmax (+ (* (* (pow (floor d) 2) dX.w) dX.w) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v))) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (+ (* (floor h) (* (* dY.v (floor h)) dY.v)) (pow (* dY.w (floor d)) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (exp 2) (log (* dX.w (floor d))))) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2))))) (pow (exp 2) (log (* dX.w (floor d)))))
174.0ms	alpha	@	0	((- (* alpha alpha) 1) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta)) (/ (- (* alpha alpha) 1) (* (* (PI) (log (* alpha alpha))) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta)))) (* alpha alpha) (* (PI) (log (* alpha alpha))) (* (- (* alpha alpha) 1) cosTheta) (* (* (- (* alpha alpha) 1) cosTheta) cosTheta))

preprocess6.2s (2.1%)

Memory

-169.4MiB live, 5 888.9MiB allocated

Algorithm

23×	egg-herbie

Stop Event

46×	iter limit
27×	saturated
19×	node limit

Compiler

Compiled 46 169 to 16 538 computations (64.2% saved)

bsearch218.0ms (0.1%)

Memory

36.8MiB live, 270.3MiB allocated

Algorithm

38×	left-value
27×	binary-search

Stop Event

26×	narrow-enough
1×	predicate-same

Samples

93.0ms	921×	0	valid
6.0ms	74×	0	invalid
2.0ms	7×	1	valid

Compiler

Compiled 5 959 to 4 651 computations (21.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 67.0ms

ival-mult: 12.0ms (18% of total)

ival-pow: 11.0ms (16.5% of total)

ival-add: 8.0ms (12% of total)

ival-pow2: 8.0ms (12% of total)

ival-e: 5.0ms (7.5% of total)

ival-sub: 5.0ms (7.5% of total)

ival-fabs: 4.0ms (6% of total)

ival-log1p: 4.0ms (6% of total)

ival-div: 3.0ms (4.5% of total)

ival-sqrt: 3.0ms (4.5% of total)

ival-true: 1.0ms (1.5% of total)

exact: 1.0ms (1.5% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

start3.0ms (0%)

Memory: 8.0MiB live, 7.9MiB allocated

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

sample1.3min (27.4%)

simplify34.1s (11.7%)

regimes32.1s (11%)

soundness27.0s (9.3%)

analyze20.1s (6.9%)

rewrite18.5s (6.4%)

localize18.0s (6.2%)

explain15.9s (5.5%)

prune13.2s (4.5%)

eval13.2s (4.5%)

series12.6s (4.3%)

preprocess6.2s (2.1%)

bsearch218.0ms (0.1%)

start3.0ms (0%)

end0.0ms (0%)

Profiling