Metrics for Herbie run

Date:	Thursday, August 1st, 2024
Commit:	9d1b2398 on HEAD
Hostname:	nightly with Racket 8.11.1
Seed:	2024214
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

simplify4.5min (24.8%)

Memory

35.7MiB live, 177 497.3MiB allocated

Algorithm

447×	egg-herbie

Rules

3 575 370×	`lower-fma.f32`
3 574 516×	`lower-fma.f64`
1 302 506×	`lower-*.f32`
1 300 062×	`lower-*.f64`
836 824×	`lower-+.f32`

Stop Event

588×	iter limit
263×	node limit
182×	saturated
1×	unsound

Counts

45 588 → 44 929

sample3.8min (20.7%)

Memory

995.3MiB live, 139 547.3MiB allocated

Samples

2.2min	438 703×	0	valid
24.5s	3 940×	5	exit
6.8s	22 422×	1	valid
4.0s	8 611×	2	valid
821.0ms	8 167×	0	exit
320.0ms	864×	3	valid
37.0ms	546×	0	invalid

Precisions

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

ival-mult: 32.0s (37.1% of total)

ival-sin: 19.6s (22.7% of total)

ival-add: 5.7s (6.6% of total)

adjust: 4.7s (5.4% of total)

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

const: 3.4s (4% of total)

ival-hypot: 2.7s (3.1% of total)

ival-exp: 2.6s (3% of total)

ival-log: 2.2s (2.6% of total)

ival-sub: 2.2s (2.5% of total)

ival-asin: 1.3s (1.5% of total)

ival-sqrt: 910.0ms (1.1% of total)

ival-atan2: 866.0ms (1% of total)

ival-cos: 861.0ms (1% of total)

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

ival-pi: 383.0ms (0.4% of total)

ival-asinh: 370.0ms (0.4% of total)

exact: 349.0ms (0.4% of total)

ival-acosh: 295.0ms (0.3% of total)

ival-pow: 294.0ms (0.3% of total)

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

ival-<=: 253.0ms (0.3% of total)

ival-fabs: 203.0ms (0.2% of total)

ival-neg: 197.0ms (0.2% of total)

ival-atanh: 183.0ms (0.2% of total)

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

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

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

Bogosity

soundness3.4min (18.8%)

Memory

36.1MiB live, 39 521.8MiB allocated

Rules

2 025 834×	`lower-fma.f32`
2 025 332×	`lower-fma.f64`
987 746×	`lower-*.f32`
986 378×	`lower-*.f64`
572 364×	`lower-+.f32`

Stop Event

327×	iter limit
211×	node limit
34×	fuel
21×	done
2×	unsound
1×	saturated

Compiler

Compiled 33 404 to 14 774 computations (55.8% saved)

eval2.5min (13.8%)

Memory: 810.8MiB live, 76 808.1MiB allocated
Compiler: Compiled 13 289 362 to 561 505 computations (95.8% saved)

rewrite1.3min (7.1%)

Memory

639.4MiB live, 111 241.5MiB allocated

Algorithm

196×	batch-egg-rewrite

Rules

956 660×	`lower-fma.f32`
955 806×	`lower-fma.f64`
755 754×	`lower-*.f32`
753 444×	`lower-*.f64`
606 026×	`lower-/.f32`

Stop Event

419×	iter limit
185×	node limit
6×	unsound
5×	saturated

Counts

2 549 → 132 176

prune39.6s (3.6%)

Memory: -1 278.3MiB live, 63 746.6MiB allocated
Counts: 233 564 → 3 224
Compiler: Compiled 171 458 to 74 638 computations (56.5% saved)

preprocess35.8s (3.3%)

Memory

-174.1MiB live, 22 526.2MiB allocated

Algorithm

57×	egg-herbie

Rules

296 104×	`lower-fma.f64`
296 104×	`lower-fma.f32`
79 264×	`lower-*.f32`
78 898×	`lower-*.f64`
56 582×	`lower-+.f32`

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 39 074 to 10 502 computations (73.1% saved)

localize34.1s (3.1%)

Memory

-40.6MiB live, 42 674.0MiB allocated

Samples

13.7s	41 228×	0	valid
3.1s	1 591×	2	valid
3.0s	3 489×	1	valid
1.1s	3 656×	0	invalid
258.0ms	142×	5	exit
76.0ms	56×	3	valid
27.0ms	14×	4	valid

Compiler

Compiled 60 400 to 5 474 computations (90.9% saved)

Precisions

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

ival-add: 5.4s (32.9% of total)

ival-mult: 3.9s (24.1% of total)

ival-div: 1.4s (8.5% of total)

const: 1.1s (7% of total)

adjust: 761.0ms (4.7% of total)

ival-log: 697.0ms (4.3% of total)

ival-sqrt: 420.0ms (2.6% of total)

ival-asin: 270.0ms (1.7% of total)

ival-pow: 261.0ms (1.6% of total)

ival-sub: 259.0ms (1.6% of total)

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

ival-hypot: 246.0ms (1.5% of total)

ival-acos: 210.0ms (1.3% of total)

ival-sin: 197.0ms (1.2% of total)

ival-cos: 171.0ms (1% of total)

ival-cosh: 129.0ms (0.8% of total)

ival-neg: 110.0ms (0.7% of total)

ival-pow2: 97.0ms (0.6% of total)

ival-atan2: 78.0ms (0.5% of total)

ival-copysign: 77.0ms (0.5% of total)

exact: 60.0ms (0.4% of total)

ival-pi: 51.0ms (0.3% of total)

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

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

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

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

ival-expm1: 3.0ms (0% of total)

series19.8s (1.8%)

Memory

833.9MiB live, 20 218.6MiB allocated

Counts

2 549 → 45 912

Calls

8913 calls:

Time	Variable		Point	Expression
5.0s	x	@	0	(/ (- (pow (+ (* (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1) -2) (pow (neg (* (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3) (/ 1 (+ (* (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1)))) 2)) (+ (/ 1 (+ (* (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1)) (* (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3) (/ 1 (+ (* (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1)))))
3.6s	re	@	inf	(/ (+ re -1) (* (cos im) (+ (* re re) -1)))
405.0ms	x	@	0	(/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))
387.0ms	x	@	0	(- (pow (+ (* (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1) -2) (pow (neg (* (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3) (/ 1 (+ (* (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1)))) 2))
331.0ms	x	@	0	(/ (- (+ (* (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (neg (* x x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x))))) 1) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))

explain14.1s (1.3%)

Memory

-296.4MiB live, 20 638.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1188	0
`-.f64`	`#f`	cancellation	758	2
`/.f64`	`#f`	o/o	623	0
`/.f64`	`#f`	o/n	213	0
`sin.f64`	`#f`	sensitivity	201	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	197	0
`sqrt.f32`	`#f`	oflow-rescue	188	0
`+.f64`	`#f`	cancellation	156	0
`sqrt.f64`	`#f`	uflow-rescue	149	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	129	0
`-.f64`	`#f`	nan-rescue	115	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	113	4
`/.f64`	`#f`	n/o	88	0
`+.f64`	`#f`	nan-rescue	68	0
`/.f64`	`#f`	u/u	61	0
`*.f64`	`#f`	*nu**	60	0
`/.f64`	`#f`	u/n	41	0
`*.f64`	`#f`	*no**	33	0
`/.f64`	`#f`	n/u	11	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	4	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	4
↳	`(*.f32 x x)`	overflow	129
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	129
`*.f64`	`(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))`	*ou**	4	0
↳	`(.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))`	overflow	4
↳	`(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))`	overflow	4
↳	`(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))`	underflow	4
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	1	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	66
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	104
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	58
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	1	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	66
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	104
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	58
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	oflow-rescue	1	0
↳	`(+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))`	overflow	1
↳	`(*.f64 x x)`	overflow	70
↳	`(+.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	70

Confusion

	Predicted +	Predicted -
+	3622	33
-	219	10718

Precision

0.9429835980213486

Recall

0.9909712722298222

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3622	3	30
-	219	5	10713

Precision?

0.9418030657313587

Recall?

0.9917920656634747

Freqs

test

number	freq
0	10751
1	3280
2	560
3	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	0
-	1	1	19

Precision?

0.9473684210526315

Recall?

1.0

Samples

3.1s	25 868×	0	valid
1.5s	2 336×	1	valid
681.0ms	930×	2	valid
19.0ms	44×	3	valid
3.0ms	6×	5	exit

Compiler

Compiled 15 068 to 2 968 computations (80.3% saved)

Precisions

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

ival-mult: 1.1s (28.9% of total)

ival-add: 517.0ms (13.6% of total)

ival-div: 318.0ms (8.4% of total)

const: 268.0ms (7% of total)

ival-sin: 200.0ms (5.3% of total)

adjust: 196.0ms (5.2% of total)

ival-hypot: 189.0ms (5% of total)

ival-log: 182.0ms (4.8% of total)

ival-exp: 181.0ms (4.8% of total)

ival-fabs: 146.0ms (3.8% of total)

ival-sub: 119.0ms (3.1% of total)

ival-asin: 91.0ms (2.4% of total)

ival-cos: 55.0ms (1.4% of total)

ival-sqrt: 51.0ms (1.3% of total)

ival-atan2: 51.0ms (1.3% of total)

ival-pow: 27.0ms (0.7% of total)

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

ival-neg: 21.0ms (0.6% of total)

exact: 19.0ms (0.5% of total)

ival-pi: 15.0ms (0.4% of total)

ival-copysign: 11.0ms (0.3% of total)

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

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

regimes13.6s (1.2%)

Memory

-84.0MiB live, 20 895.7MiB allocated

Counts

10 340 → 971

Calls

128 calls:

974.0ms	im
806.0ms	x
755.0ms	re
384.0ms	(*.f64 #s(literal 1/2 binary64) (sin.f64 re))
357.0ms	(sin.f64 re)

Compiler

Compiled 17 631 to 10 003 computations (43.3% saved)

bsearch2.9s (0.3%)

Memory

-89.2MiB live, 4 195.4MiB allocated

Algorithm

293×	left-value
205×	binary-search

Stop Event

195×	narrow-enough
10×	predicate-same

Samples

1.3s	13 178×	0	valid
410.0ms	1 294×	1	valid
16.0ms	65×	2	valid
10.0ms	39×	3	valid

Compiler

Compiled 50 102 to 31 865 computations (36.4% saved)

Precisions

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

ival-mult: 468.0ms (36.5% of total)

ival-add: 134.0ms (10.5% of total)

ival-hypot: 107.0ms (8.4% of total)

ival-log: 90.0ms (7% of total)

ival-sin: 62.0ms (4.8% of total)

const: 61.0ms (4.8% of total)

ival-atan2: 61.0ms (4.8% of total)

ival-sub: 59.0ms (4.6% of total)

ival-exp: 58.0ms (4.5% of total)

ival-div: 53.0ms (4.1% of total)

adjust: 50.0ms (3.9% of total)

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

ival-sqrt: 16.0ms (1.2% of total)

ival-true: 10.0ms (0.8% of total)

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

exact: 5.0ms (0.4% of total)

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

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

analyze2.4s (0.2%)

Memory

-117.4MiB live, 3 463.7MiB allocated

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.4%	47.8%	38.5%	13.7%	0%	0%	0%	1
65.9%	55.7%	28.9%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1 498 to 821 computations (45.2% saved)

end0.0ms (0%)

Memory: 1.3MiB live, 1.3MiB allocated

simplify4.5min (24.8%)

sample3.8min (20.7%)

soundness3.4min (18.8%)

eval2.5min (13.8%)

rewrite1.3min (7.1%)

prune39.6s (3.6%)

preprocess35.8s (3.3%)

localize34.1s (3.1%)

series19.8s (1.8%)

explain14.1s (1.3%)

regimes13.6s (1.2%)

bsearch2.9s (0.3%)

analyze2.4s (0.2%)

end0.0ms (0%)

Profiling