Metrics for Herbie run

Date:	Wednesday, December 11th, 2024
Commit:	a11c27c9 on report-profile
Hostname:	nightly with Racket 8.10
Seed:	2024346
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
Memory:	546 592.0 MB

sample1.8min (24.2%)

Memory

1 228.8MiB live, 132 310.8MiB allocated

Samples

58.5s	262 083×	0	valid
18.9s	1 590×	5	exit
3.6s	8 004×	1	valid
2.4s	11 142×	0	invalid
802.0ms	2 361×	2	valid
754.0ms	715×	1	invalid

Precisions

Click to see histograms. Total time spent on operations: 1.2min

ival-pow: 17.5s (24.2% of total)

ival-mult: 11.3s (15.7% of total)

const: 8.1s (11.2% of total)

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

ival-div: 5.2s (7.2% of total)

ival-e: 3.1s (4.3% of total)

ival-sub: 2.7s (3.7% of total)

ival-add: 2.2s (3% of total)

ival-sqrt: 2.0s (2.7% of total)

ival-fabs: 1.7s (2.3% of total)

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

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

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

ival-exp: 1.0s (1.4% of total)

adjust: 922.0ms (1.3% of total)

ival-floor: 675.0ms (0.9% of total)

ival-sinu: 615.0ms (0.9% of total)

ival-neg: 586.0ms (0.8% of total)

ival-pow2: 560.0ms (0.8% of total)

ival-cos: 528.0ms (0.7% of total)

exact: 462.0ms (0.6% of total)

ival-log1p: 461.0ms (0.6% of total)

ival-cosu: 439.0ms (0.6% of total)

ival-pi: 376.0ms (0.5% of total)

ival-<: 341.0ms (0.5% of total)

ival-fmax: 324.0ms (0.4% of total)

ival-tan: 318.0ms (0.4% of total)

ival-if: 288.0ms (0.4% of total)

ival-log2: 238.0ms (0.3% of total)

ival-==: 224.0ms (0.3% of total)

ival->: 212.0ms (0.3% of total)

ival-asin: 125.0ms (0.2% of total)

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

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

ival-sinh: 74.0ms (0.1% of total)

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

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

Bogosity

simplify50.6s (11.5%)

Memory

840.9MiB live, 54 830.1MiB allocated

Algorithm

297×	egg-herbie

Stop Event

405×	iter limit
270×	node limit
20×	saturated
7×	unsound

Counts

16 051 → 15 963

eval48.3s (11%)

Memory: 508.9MiB live, 72 926.9MiB allocated
Compiler: Compiled 49 074 606 to 656 421 computations (98.7% saved)

regimes43.8s (10%)

Memory

293.7MiB live, 57 405.4MiB allocated

Counts

20 305 → 446

Calls

160 calls:

1.8s	s
1.6s	h
1.4s	r
1.1s	u
990.0ms	dY.u

Compiler

Compiled 29 620 to 18 675 computations (37% saved)

derivations35.4s (8%)

Memory

361.5MiB live, 27 404.5MiB allocated

Stop Event

303×	iter limit
198×	node limit
33×	fuel
2×	unsound

Compiler

Compiled 45 460 to 3 816 computations (91.6% saved)

prune34.6s (7.9%)

Memory: -524.2MiB live, 44 017.0MiB allocated
Counts: 158 664 → 7 377
Compiler: Compiled 1 416 448 to 436 675 computations (69.2% saved)

rewrite31.7s (7.2%)

Memory

-376.5MiB live, 35 134.9MiB allocated

Stop Event

273×	iter limit
127×	node limit
5×	unsound

Counts

2 539 → 69 571

localize26.5s (6%)

Memory

156.9MiB live, 38 699.3MiB allocated

Samples

11.6s	26 184×	0	valid
3.8s	3 095×	1	valid
1.9s	3 328×	0	invalid
699.0ms	138×	5	exit
513.0ms	430×	2	valid
212.0ms	471×	0	exit
85.0ms	146×	1	exit

Compiler

Compiled 142 904 to 6 650 computations (95.3% saved)

Precisions

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

ival-mult: 4.2s (29.3% of total)

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

ival-add: 1.0s (7.2% of total)

adjust: 980.0ms (6.8% of total)

ival-sub: 797.0ms (5.5% of total)

ival-pow: 676.0ms (4.7% of total)

ival-pow2: 595.0ms (4.1% of total)

ival-sqrt: 437.0ms (3% of total)

ival-log: 425.0ms (2.9% of total)

const: 385.0ms (2.7% of total)

ival-exp: 364.0ms (2.5% of total)

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

ival-sin: 289.0ms (2% of total)

ival-cos: 251.0ms (1.7% of total)

ival-sinu: 163.0ms (1.1% of total)

ival-cosu: 160.0ms (1.1% of total)

ival-log1p: 156.0ms (1.1% of total)

ival-cosh: 135.0ms (0.9% of total)

ival-sinh: 134.0ms (0.9% of total)

ival-fmax: 124.0ms (0.9% of total)

ival-if: 103.0ms (0.7% of total)

ival-floor: 102.0ms (0.7% of total)

ival-e: 101.0ms (0.7% of total)

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

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

ival-fabs: 73.0ms (0.5% of total)

exact: 65.0ms (0.4% of total)

ival-tan: 61.0ms (0.4% of total)

ival-expm1: 52.0ms (0.4% of total)

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

ival-atan: 45.0ms (0.3% of total)

ival-assert: 40.0ms (0.3% of total)

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

ival-hypot: 27.0ms (0.2% of total)

ival-tanu: 22.0ms (0.2% of total)

ival-cbrt: 18.0ms (0.1% of total)

ival->: 13.0ms (0.1% of total)

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

ival-acos: 7.0ms (0% of total)

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

ival-atanh: 4.0ms (0% of total)

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

analyze22.9s (5.2%)

Memory

53.6MiB live, 31 626.1MiB 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)

series19.9s (4.5%)

Memory

269.6MiB live, 26 223.2MiB allocated

Counts

2 539 → 16 051

Calls

1452 calls:

Time	Variable		Point	Expression
348.0ms	u1	@	inf	((+ (* (* 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 (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 (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))))) (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 (* (/ 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 (+ (/ (* (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 (+ (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/2 (PI)) (* u1 (* (PI) 2))) (+ (/ (/ 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))) (+ (* (/ (cos (* -2 (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax))))) (neg alphax)) (/ 1/2 (neg alphax))) (+ (/ 1/2 (* alphax alphax)) (* (sin (atan (* (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (/ alphay alphax)))) (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) (* alphay alphay))))) (* (/ 1 (+ (* (/ (cos (* -2 (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax))))) (neg alphax)) (/ 1/2 (neg alphax))) (+ (/ 1/2 (* alphax alphax)) (* (sin (atan (* (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (/ alphay alphax)))) (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) (* alphay alphay)))))) u0) (/ 1/2 (neg alphax)) (+ (/ 1/2 (* alphax alphax)) (* (sin (atan (* (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (/ alphay alphax)))) (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) (* 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)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (+ (* 2 u1) 1/2) (* (/ 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) (+ (* 2 u1) 1/2) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (tan (* (+ (* u1 2) 1/2) (PI))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))
290.0ms	u	@	inf	((+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))))) (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u))))))) (+ 1 (* v (log (/ (- (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 3) (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 3)) (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u))))))))))) (* v (log (/ (- (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 3) (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 3)) (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))))))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (- (* (* u v) (- (exp (/ 2 v)) 1)) 1) (* (* u v) (- (exp (/ 2 v)) 1)) (* u v) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ u (* (- 1 u) (exp (/ -2 v)))) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ 1 (* (log (+ (* (exp (/ -2 v)) (- 1 u)) u)) v)) (* (log (+ (* (exp (/ -2 v)) (- 1 u)) u)) v) (log (+ (* (exp (/ -2 v)) (- 1 u)) u)) (+ (* (exp (/ -2 v)) (- 1 u)) u) (/ (- (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 3) (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 3)) (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))))))) (exp (/ -2 v)) (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (- (exp (/ 2 v)) 1) (exp (/ -2 v)) (/ 4/3 v) (/ (- 2 (/ 4/3 v)) v))
253.0ms	v	@	0	((- (* (* u u) (- u (* (- 1 u) (exp (/ -2 v))))) (* (- u (* (- 1 u) (exp (/ -2 v)))) (pow (* (- 1 u) (exp (/ -2 v))) 2))) (+ 1 (* (- (log (- (* (* u u) (- u (* (- 1 u) (exp (/ -2 v))))) (* (- u (* (- 1 u) (exp (/ -2 v)))) (pow (* (- 1 u) (exp (/ -2 v))) 2)))) (log (pow (- u (* (- 1 u) (exp (/ -2 v)))) 2))) v)) (* (- (log (- (* (* u u) (- u (* (- 1 u) (exp (/ -2 v))))) (* (- u (* (- 1 u) (exp (/ -2 v)))) (pow (* (- 1 u) (exp (/ -2 v))) 2)))) (log (pow (- u (* (- 1 u) (exp (/ -2 v)))) 2))) v) (- (log (- (* (* u u) (- u (* (- 1 u) (exp (/ -2 v))))) (* (- u (* (- 1 u) (exp (/ -2 v)))) (pow (* (- 1 u) (exp (/ -2 v))) 2)))) (log (pow (- u (* (- 1 u) (exp (/ -2 v)))) 2))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (- (* (* u v) (- (exp (/ 2 v)) 1)) 1) (* (* u v) (- (exp (/ 2 v)) 1)) (* 2 u) (+ (* 1 (/ 2 v)) (/ (/ 4/3 v) v)) (neg (/ (- (neg (+ (* 1 (/ 2 v)) (/ (/ 4/3 v) v))) 2) v)) (neg (+ (* 1 (/ 2 v)) (/ (/ 4/3 v) v))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ 1 (* (log (+ (* (- 1 u) (exp (/ -2 v))) u)) v)) (* (log (+ (* (- 1 u) (exp (/ -2 v))) u)) v) (log (+ (* (- 1 u) (exp (/ -2 v))) u)) (+ (* (- 1 u) (exp (/ -2 v))) u) (+ 1 (* (log (+ (* (exp (/ -2 v)) (- 1 u)) u)) v)) (neg (/ -4/3 v)) (* (log (+ (* (exp (/ -2 v)) (- 1 u)) u)) v) (log (+ (* (exp (/ -2 v)) (- 1 u)) u)) (* (* u u) (- u (* (- 1 u) (exp (/ -2 v))))) (exp (/ -2 v)) (- (exp (/ 2 v)) 1) (/ 4/3 v) (exp (/ -2 v)) (exp (/ -2 v)) (+ (* (exp (/ -2 v)) (- 1 u)) u) (/ -4/3 v))
216.0ms	s	@	0	((* (* 3 s) (* -1/2 (log (pow (- 1 (/ (- u 1/4) 3/4)) 2)))) (- 1 (/ (- u 1/4) 3/4)) (* 3 s) (* -1/2 (log (pow (- 1 (/ (- u 1/4) 3/4)) 2))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (log 3/4) s) 3) (* (log 3/4) s) (log 3/4) (* 2 (* (* s 3/2) (neg (log (+ 1 (/ (- u 1/4) -3/4)))))) (* (* s 3/2) (neg (log (+ 1 (/ (- u 1/4) -3/4))))) (* s 3/2) (neg (log (+ 1 (/ (- u 1/4) -3/4)))) (/ 1 (/ (- (pow (- 1 (/ u 3/4)) 2) 1/9) (- (- 1 (/ u 3/4)) 1/3))) (- (- 1 (/ u 3/4)) 1/3) (* (* 3 s) (log (/ 1 (/ (- (pow (- 1 (/ u 3/4)) 2) 1/9) (- (- 1 (/ u 3/4)) 1/3))))) (+ (log (fabs (pow (- 1 (/ (- u 1/4) 3/4)) -1/2))) (log (fabs (pow (- 1 (/ (- u 1/4) 3/4)) -1/2)))) (* (* 3 s) (+ (log (fabs (pow (- 1 (/ (- u 1/4) 3/4)) -1/2))) (log (fabs (pow (- 1 (/ (- u 1/4) 3/4)) -1/2))))) (log (pow (- 1 (/ (- u 1/4) 3/4)) 2)) (pow (- 1 (/ (- u 1/4) 3/4)) 2) (log (+ 1 (/ (- u 1/4) -3/4))) (log (/ 1 (/ (- (pow (- 1 (/ u 3/4)) 2) 1/9) (- (- 1 (/ u 3/4)) 1/3)))) (- 1 (/ u 3/4)) (pow (- 1 (/ u 3/4)) 2) (log (fabs (pow (- 1 (/ (- u 1/4) 3/4)) -1/2))) (pow (- 1 (/ (- u 1/4) 3/4)) -1/2))
206.0ms	x	@	-inf	((* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (* y (- (exp x) 1)) (+ (* y (- (exp x) 1)) -1)))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (* y (- (exp x) 1)) (+ (* y (- (exp x) 1)) -1))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) c) (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) (* y x) (* (log (+ 1 (* y (- (exp x) 1)))) c) (* (* (- (exp x) 1) c) y) (* (- (exp x) 1) c) (- (exp x) 1) (+ (* 1/24 (* c x)) (* 1/6 c)) (* (log (+ 1 (* y (- (exp x) 1)))) c) (* (* (- (exp x) 1) c) y) (* (- (exp x) 1) c) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* y x) 1) (log (+ 1 (* (* y (- (exp x) 1)) (+ (* y (- (exp x) 1)) -1)))) (+ (* 1/6 x) 1/2) (* 1/6 c))

explain10.0s (2.3%)

Memory

-369.8MiB live, 14 813.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1019	85
`-.f32`	`#f`	cancellation	369	37
`sqrt.f32`	`#f`	oflow-rescue	363	0
`sqrt.f64`	`#f`	oflow-rescue	276	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	194	1
`cos.f32`	`#f`	sensitivity	192	15
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	189	14
`-.f64`	`#f`	cancellation	165	0
`/.f32`	`#f`	o/n	144	0
`exp.f32`	`#f`	sensitivity	42	31
`/.f32`	`#f`	u/n	24	0
`/.f32`	`#f`	o/o	24	0
`sqrt.f32`	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))`	uflow-rescue	17	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	296
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	17
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	148
↳	`(*.f32 eta eta)`	underflow	17
`*.f64`	`(.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))`	*nu**	12	0
`sqrt.f64`	`#f`	uflow-rescue	8	0
`/.f32`	`#f`	n/o	6	0
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	3	0
`sin.f32`	`#f`	cancellation	2	2
`*.f32`	`#f`	*no**	2	0
`pow.f64`	`(pow.f64 (E.f64) x)`	sensitivity	1	0
`*.f64`	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))))`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	2132	72
-	479	5765

Precision

0.8165453849099962

Recall

0.9673321234119783

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2132	50	22
-	479	115	5650

Precision?

0.7860230547550432

Recall?

0.9900181488203267

Freqs

test

number	freq
0	5837
1	2193
2	394
3	24

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	2	0
-	3	0	3

Precision?

0.9

Recall?

1.0

Samples

2.4s	16 030×	0	valid
349.0ms	684×	1	valid
134.0ms	182×	2	valid

Compiler

Compiled 16 934 to 1 875 computations (88.9% saved)

Precisions

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

ival-mult: 550.0ms (27.3% of total)

ival-div: 217.0ms (10.8% of total)

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

ival-sub: 126.0ms (6.3% of total)

ival-sqrt: 109.0ms (5.4% of total)

ival-add: 105.0ms (5.2% of total)

ival-log: 93.0ms (4.6% of total)

ival-sin: 90.0ms (4.5% of total)

adjust: 80.0ms (4% of total)

ival-if: 48.0ms (2.4% of total)

ival-exp: 47.0ms (2.3% of total)

ival-floor: 40.0ms (2% of total)

ival-tan: 35.0ms (1.7% of total)

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

ival-sinu: 33.0ms (1.6% of total)

ival-pow2: 32.0ms (1.6% of total)

ival-pi: 30.0ms (1.5% of total)

ival-neg: 29.0ms (1.4% of total)

ival-cosu: 27.0ms (1.3% of total)

ival-cos: 24.0ms (1.2% of total)

const: 22.0ms (1.1% of total)

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

ival-fmax: 16.0ms (0.8% of total)

exact: 16.0ms (0.8% of total)

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

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

ival-assert: 8.0ms (0.4% of total)

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

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

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

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

ival->: 3.0ms (0.1% of total)

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

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

preprocess8.2s (1.9%)

Memory

518.8MiB live, 9 775.6MiB allocated

Algorithm

33×	egg-herbie

Stop Event

66×	iter limit
47×	node limit
19×	saturated

Compiler

Compiled 123 934 to 17 121 computations (86.2% saved)

bsearch1.3s (0.3%)

Memory

69.1MiB live, 1 409.4MiB allocated

Algorithm

85×	binary-search
41×	left-value

Stop Event

84×	narrow-enough
1×	predicate-same

Samples

538.0ms	1 046×	1	valid
149.0ms	1 185×	0	valid
59.0ms	169×	2	valid
30.0ms	78×	1	invalid
12.0ms	137×	0	invalid

Compiler

Compiled 24 155 to 13 836 computations (42.7% saved)

Precisions

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

ival-pow: 318.0ms (47.2% of total)

adjust: 72.0ms (10.7% of total)

ival-mult: 61.0ms (9% of total)

ival-e: 51.0ms (7.6% of total)

ival-pow2: 45.0ms (6.7% of total)

ival-sub: 43.0ms (6.4% of total)

ival-add: 23.0ms (3.4% of total)

ival-sqrt: 15.0ms (2.2% of total)

ival-log1p: 15.0ms (2.2% of total)

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

ival-div: 10.0ms (1.5% of total)

exact: 3.0ms (0.4% of total)

ival-true: 2.0ms (0.3% of total)

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

start4.0ms (0%)

Memory: 15.6MiB live, 15.6MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample1.8min (24.2%)

simplify50.6s (11.5%)

eval48.3s (11%)

regimes43.8s (10%)

derivations35.4s (8%)

prune34.6s (7.9%)

rewrite31.7s (7.2%)

localize26.5s (6%)

analyze22.9s (5.2%)

series19.9s (4.5%)

explain10.0s (2.3%)

preprocess8.2s (1.9%)

bsearch1.3s (0.3%)

start4.0ms (0%)

end0.0ms (0%)

Profiling