Metrics for Herbie run

Date:	Saturday, January 18th, 2025
Commit:	75912f41 on no-localize
Seed:	2025018
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	736 187.2 MB

sample3.8min (39.4%)

Memory

2 480.4MiB live, 264 063.8MiB allocated; 1.0min collecting garbage

Samples

58.5s	120 148×	1	valid
55.9s	17 997×	5	exit
40.8s	281 167×	0	valid
17.5s	24 756×	2	valid
8.1s	3 216×	3	valid
5.9s	34 706×	0	exit
3.2s	19 955×	0	invalid
2.8s	12 015×	1	invalid
376.0ms	800×	2	invalid
322.0ms	25×	4	valid
20.0ms	33×	1	exit

Precisions

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

ival-pow: 47.3s (27.9% of total)

ival-mult: 18.8s (11.1% of total)

adjust: 15.6s (9.2% of total)

ival-div: 12.1s (7.1% of total)

ival-cos: 11.6s (6.8% of total)

ival-sin: 8.1s (4.8% of total)

ival-pow2: 7.5s (4.4% of total)

ival-add: 6.4s (3.8% of total)

ival-sub: 6.1s (3.6% of total)

ival-exp: 6.0s (3.5% of total)

ival-cosu: 5.8s (3.4% of total)

ival-sinu: 5.2s (3.1% of total)

ival-log: 4.2s (2.5% of total)

ival-sqrt: 3.1s (1.9% of total)

ival-neg: 1.9s (1.1% of total)

const: 1.9s (1.1% of total)

ival-<: 1.7s (1% of total)

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

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

ival-hypot: 733.0ms (0.4% of total)

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

ival-acos: 441.0ms (0.3% of total)

exact: 377.0ms (0.2% of total)

ival-and: 345.0ms (0.2% of total)

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

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

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

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

ival-<=: 187.0ms (0.1% of total)

ival-pi: 135.0ms (0.1% of total)

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

ival-asin: 104.0ms (0.1% of total)

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

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

Bogosity

prune57.0s (9.8%)

Memory: 116.6MiB live, 104 740.8MiB allocated; 18.6s collecting garbage
Counts: 179 683 → 7 319
Compiler: Compiled 1 304 823 to 475 047 computations (63.6% saved)

simplify56.3s (9.7%)

Memory

196.8MiB live, 66 722.6MiB allocated; 18.2s collecting garbage

Stop Event

241×	node limit
205×	iter limit
9×	saturated
1×	unsound

Counts

47 331 → 47 331

regimes45.3s (7.8%)

Memory

524.2MiB live, 56 600.4MiB allocated; 8.4s collecting garbage

Counts

24 795 → 974

Calls

155 calls:

3.3s	phi1
2.9s	phi2
2.5s	lambda1
2.4s	lambda2
2.2s	b

Compiler

Compiled 19 951 to 15 888 computations (20.4% saved)

eval40.0s (6.9%)

Memory: 852.6MiB live, 59 359.2MiB allocated; 12.6s collecting garbage
Compiler: Compiled 19 757 812 to 976 637 computations (95.1% saved)

series36.8s (6.3%)

Memory

-120.4MiB live, 50 179.5MiB allocated; 13.5s collecting garbage

Counts

7 490 → 47 331

Calls

1614 calls:

Time	Variable		Point	Expression
1.1s	t	@	inf	((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (* c_p (+ (* (log (+ 1 (exp (neg s)))) -1) (log (+ 1 (exp (neg t))))))) (* c_p (+ (* (log (+ 1 (exp (neg s)))) -1) (log (+ 1 (exp (neg t)))))) c_p (+ (* (log (+ 1 (exp (neg s)))) -1) (log (+ 1 (exp (neg t))))) (+ (* (+ (* -1/8 s) 1/2) s) (- (log (+ 1 (exp (neg t)))) (log 2))) (+ (* -1/8 s) 1/2) -1/8 s 1/2 (- (log (+ 1 (exp (neg t)))) (log 2)) (log (+ 1 (exp (neg t)))) (exp (neg t)) (neg t) t (log 2) 2 (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) 1 (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (/ 1 (+ (exp (neg t)) 1)) (+ (* 1/4 t) 1/2) 1/4 (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (exp (neg s)) 1)) (+ (exp (neg s)) 1) (exp (neg s)) (neg s) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (* c_p (+ (* (log (+ 1 (exp (neg s)))) -1) (log (+ 1 (exp (neg t))))))) (* c_p (+ (* (log (+ 1 (exp (neg s)))) -1) (log (+ 1 (exp (neg t)))))) (+ (* (log (+ 1 (exp (neg s)))) -1) (log (+ 1 (exp (neg t))))) (+ (* -1/2 t) (- (log 2) (log (+ 1 (exp (neg s)))))) -1/2 (- (log 2) (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))))
1.1s	b	@	0	((/ (+ (pow (+ (* (* -3 a) c) (* b b)) 3/2) (pow (neg b) 3)) (* (+ (* b b) (+ (+ (* (* -3 a) c) (* b b)) (* b (sqrt (+ (* (* -3 a) c) (* b b)))))) (* a 3))) (+ (pow (+ (* (* -3 a) c) (* b b)) 3/2) (pow (neg b) 3)) (* b (+ (* -1/2 (/ (+ (* (* 1/2 (* (* a c) -9)) (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))))))) (* 1/4 (pow (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) 2))) (pow b 6))) (+ (* 1/2 (+ (/ (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))))) (pow b 4)) (/ (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) (* b b)))) (* 1/2 (* (* a c) -9))))) b (+ (* -1/2 (/ (+ (* (* 1/2 (* (* a c) -9)) (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))))))) (* 1/4 (pow (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) 2))) (pow b 6))) (+ (* 1/2 (+ (/ (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))))) (pow b 4)) (/ (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) (* b b)))) (* 1/2 (* (* a c) -9)))) -1/2 (/ (+ (* (* 1/2 (* (* a c) -9)) (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))))))) (* 1/4 (pow (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) 2))) (pow b 6)) (+ (* (* 1/2 (* (* a c) -9)) (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))))))) (* 1/4 (pow (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) 2))) (* 1/2 (* (* a c) -9)) 1/2 (* (* a c) -9) (* a c) a c -9 (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))))) -27 (pow (* a c) 3) 3 (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))))) (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) (* (* a a) (* c c)) (* a a) (* c c) 27 (* -1/4 (pow (* (* a c) -9) 2)) -1/4 (pow (* (* a c) -9) 2) 2 (* 1/4 (pow (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) 2)) 1/4 (pow (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) 2) (pow b 6) 6 (+ (* 1/2 (+ (/ (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))))) (pow b 4)) (/ (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) (* b b)))) (* 1/2 (* (* a c) -9))) (+ (/ (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))))) (pow b 4)) (/ (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) (* b b))) (/ (+ (* -27 (pow (* a c) 3)) (* -1/2 (* (* (* a c) -9) (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2)))))) (pow b 4)) (pow b 4) 4 (/ (+ (* (* (* a a) (* c c)) 27) (* -1/4 (pow (* (* a c) -9) 2))) (* b b)) (* b b) (* (+ (* b b) (+ (+ (* (* -3 a) c) (* b b)) (* b (sqrt (+ (* (* -3 a) c) (* b b)))))) (* a 3)) (+ (* b b) (+ (+ (* (* -3 a) c) (* b b)) (* b (sqrt (+ (* (* -3 a) c) (* b b)))))) (+ (+ (* (* -3 a) c) (* b b)) (* b (sqrt (+ (* (* -3 a) c) (* b b))))) (+ (* (* -3 a) c) (* b b)) (* -3 a) -3 (* b (sqrt (+ (* (* -3 a) c) (* b b)))) (sqrt (+ (* (* -3 a) c) (* b b))) (* a 3) (/ (+ (pow (+ (* (* -3 a) c) (* b b)) 3/2) (pow (neg b) 3)) (* (+ (* b b) (+ (+ (* (* -3 a) c) (* b b)) (* b (sqrt (+ (* (* -3 a) c) (* b b)))))) (* a 3))) (/ (* 1/18 (* (* a c) -9)) (* a b)) (* 1/18 (* (* a c) -9)) 1/18 (* a b) (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (/ (+ (* -9/8 (* (* a a) (/ (* c c) (* b b)))) (* -3/2 (* a c))) b) (+ (* -9/8 (* (* a a) (/ (* c c) (* b b)))) (* -3/2 (* a c))) -9/8 (* (* a a) (/ (* c c) (* b b))) (/ (* c c) (* b b)) (* -3/2 (* a c)) -3/2 (* 3 a) (/ (+ (* (* (neg b) b) b) (pow (+ (* (* c -3) a) (* b b)) 3/2)) (* (+ (* b b) (+ (+ (* (* -3 a) c) (* b b)) (* b (sqrt (+ (* (* -3 a) c) (* b b)))))) (* a 3))) (+ (* (* (neg b) b) b) (pow (+ (* (* c -3) a) (* b b)) 3/2)) (* (neg b) b) (neg b) (pow (+ (* (* c -3) a) (* b b)) 3/2) (+ (* (* c -3) a) (* b b)) (* c -3) 3/2 (+ (* (/ (/ (neg b) a) 3) (/ (* b b) (+ (* b (+ b (sqrt (+ (* (* c -3) a) (* b b))))) (+ (* (* c -3) a) (* b b))))) (/ (/ (pow (+ (* (* c -3) a) (* b b)) 3/2) (* a 3)) (+ (* b (+ b (sqrt (+ (* (* c -3) a) (* b b))))) (+ (* (* c -3) a) (* b b))))) (/ (/ (neg b) a) 3) (/ (neg b) a) (/ (* b b) (+ (* b (+ b (sqrt (+ (* (* c -3) a) (* b b))))) (+ (* (* c -3) a) (* b b)))) (+ (* b (+ b (sqrt (+ (* (* c -3) a) (* b b))))) (+ (* (* c -3) a) (* b b))) (+ b (sqrt (+ (* (* c -3) a) (* b b)))) (sqrt (+ (* (* c -3) a) (* b b))) (/ (/ (pow (+ (* (* c -3) a) (* b b)) 3/2) (* a 3)) (+ (* b (+ b (sqrt (+ (* (* c -3) a) (* b b))))) (+ (* (* c -3) a) (* b b)))) (/ (pow (+ (* (* c -3) a) (* b b)) 3/2) (* a 3)))
729.0ms	c	@	0	((/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (* 2 a)) (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) b (neg b) (* 2 a) 2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ c (neg b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (* (/ a b) -2) c) (* (/ a b) -2) (/ a b) -2 (/ (+ (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (* 2 a) (* 2 a))) (+ (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b)))) (* (* 2 a) (* 2 a)) (/ (+ (neg b) (exp (* (log (+ (* (* -4 a) c) (* b b))) 1/2))) (* 2 a)) (+ (neg b) (exp (* (log (+ (* (* -4 a) c) (* b b))) 1/2))) (exp (* (log (+ (* (* -4 a) c) (* b b))) 1/2)) (* (log (+ (* (* -4 a) c) (* b b))) 1/2) (log (+ (* (* -4 a) c) (* b b))) 1/2)
517.0ms	b	@	inf	((- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (/ (* (/ (pow (* a b) 2) x-scale) (/ -4 y-scale)) (* y-scale x-scale)) (* (/ (pow (* a b) 2) x-scale) (/ -4 y-scale)) (/ (pow (* a b) 2) x-scale) (pow (* a b) 2) (* a b) a b 2 x-scale (/ -4 y-scale) -4 y-scale (* y-scale x-scale) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (+ (* (/ -8 (* y-scale y-scale)) (* (* (* b b) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (* -4 (/ (* (* b b) (+ (pow (cos (* -1/180 (* (PI) angle))) 4) (pow (sin (* (* (PI) angle) 1/180)) 4))) (* (* y-scale x-scale) (* y-scale x-scale))))) (* a a)) (+ (* (/ -8 (* y-scale y-scale)) (* (* (* b b) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (* -4 (/ (* (* b b) (+ (pow (cos (* -1/180 (* (PI) angle))) 4) (pow (sin (* (* (PI) angle) 1/180)) 4))) (* (* y-scale x-scale) (* y-scale x-scale))))) (* -4 (/ (* b b) (* (* x-scale x-scale) (* y-scale y-scale)))) (/ (* b b) (* (* x-scale x-scale) (* y-scale y-scale))) (* b b) (* (* x-scale x-scale) (* y-scale y-scale)) (* x-scale x-scale) (* y-scale y-scale) (* a a) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ -4 (* y-scale y-scale)) (* (* (/ (* a a) x-scale) b) (/ b x-scale))) (/ -4 (* y-scale y-scale)) (* (* (/ (* a a) x-scale) b) (/ b x-scale)) (* (/ (* a a) x-scale) b) (/ (* a a) x-scale) (/ b x-scale) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (/ (* (/ (pow (* a b) 2) x-scale) -4) (* (* y-scale x-scale) y-scale)) (* (/ (pow (* a b) 2) x-scale) -4) (* (* y-scale x-scale) y-scale) (- (/ (/ (pow (* (/ (cos (* (PI) (/ angle 180))) x-scale) (* (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2))) 2) y-scale) y-scale) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (/ (/ (pow (* (/ (cos (* (PI) (/ angle 180))) x-scale) (* (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2))) 2) y-scale) y-scale) (/ (pow (* (/ (cos (* (PI) (/ angle 180))) x-scale) (* (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2))) 2) y-scale) (pow (* (/ (cos (* (PI) (/ angle 180))) x-scale) (* (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2))) 2) (* (/ (cos (* (PI) (/ angle 180))) x-scale) (* (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2))) (/ (cos (* (PI) (/ angle 180))) x-scale) (cos (* (PI) (/ angle 180))) (* (PI) (/ angle 180)) (PI) (/ angle 180) angle 180 (* (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2)) (sin (* (PI) (/ angle 180))) (* (* (+ b a) (- b a)) 2) (* (+ b a) (- b a)) (+ b a) (- b a) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (* b b) (* x-scale x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* a (cos (* (/ angle 180) (PI)))) 2) (* a (cos (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (pow (* b (sin (* (/ angle 180) (PI)))) 2) (* b (sin (* (/ angle 180) (PI)))) (sin (* (/ angle 180) (PI))))
388.0ms	a	@	-inf	((* (* (sqrt (* a b)) (* a (neg b))) (sqrt (* a b))) (* (sqrt (* a b)) (* a (neg b))) (sqrt (* a b)) (* a b) a b (* a (neg b)) (neg b) (* (* (* b b) a) a) (* (* b b) a) (* b b) (* (* (neg b) a) (* (sqrt (* (* a b) b)) (sqrt a))) (* (neg b) a) (* (sqrt (* (* a b) b)) (sqrt a)) (sqrt (* (* a b) b)) (* (* a b) b) (sqrt a) (* (* (neg b) a) (* (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b)))) (* (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b)) (sqrt b) (* (* (neg b) a) (* (sqrt (* a b)) (exp (* (log (* a b)) 1/2)))) (* (sqrt (* a b)) (exp (* (log (* a b)) 1/2))) (exp (* (log (* a b)) 1/2)) (* (log (* a b)) 1/2) (log (* a b)) 1/2)

rewrite29.1s (5%)

Memory

139.8MiB live, 32 797.2MiB allocated; 7.6s collecting garbage

Stop Event

583×	iter limit
161×	node limit
34×	unsound
4×	saturated

Counts

7 490 → 93 441

explain21.3s (3.7%)

Memory

385.9MiB live, 29 846.5MiB allocated; 3.6s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1901	0
`+.f64`	`#f`	cancellation	1731	30
`sin.f64`	`#f`	sensitivity	1666	4
`sqrt.f64`	`#f`	oflow-rescue	1388	0
`-.f64`	`#f`	cancellation	899	5
`-.f64`	`#f`	nan-rescue	644	0
`log.f64`	`#f`	sensitivity	591	1
`/.f64`	`#f`	o/n	469	0
`/.f64`	`#f`	o/o	374	0
`/.f64`	`#f`	u/u	285	0
`*.f64`	`#f`	*no**	225	0
`exp.f64`	`#f`	sensitivity	174	32
`/.f64`	`#f`	u/n	167	0
`sqrt.f64`	`#f`	uflow-rescue	143	0
`/.f64`	`#f`	n/o	105	0
`cbrt.f64`	`#f`	oflow-rescue	87	0
`*.f64`	`#f`	*nu**	79	0
`cbrt.f64`	`#f`	uflow-rescue	59	0
`/.f64`	`#f`	n/u	42	0
`*.f64`	`#f`	*ou**	39	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	27	1
`*.f64`	`#f`	*uo**	26	0
`pow.f64`	`#f`	uflow-rescue	18	0
`pow.f64`	`#f`	sensitivity	5	4
`log.f64`	`#f`	oflow-rescue	4	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	1	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	1
↳	`(exp.f64 a)`	underflow	65
↳	`(exp.f64 b)`	underflow	66

Confusion

	Predicted +	Predicted -
+	5798	69
-	1320	6125

Precision

0.8145546501826356

Recall

0.9882393045849668

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5798	41	28
-	1320	29	6096

Precision?

0.8123260990539789

Recall?

0.9952275438895517

Freqs

test

number	freq
0	6194
1	4686
2	1638
3	339
4	226
5	149
6	52
7	18
8	7
9	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	1	0
-	3	1	5

Precision?

0.9148936170212766

Recall?

1.0

Samples

4.1s	7 800×	1	valid
2.4s	16 532×	0	valid
2.0s	1 974×	2	valid
615.0ms	314×	3	valid
126.0ms	4×	4	valid

Compiler

Compiled 19 935 to 2 551 computations (87.2% saved)

Precisions

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

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

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

ival-cos: 981.0ms (13.4% of total)

adjust: 669.0ms (9.2% of total)

ival-div: 538.0ms (7.4% of total)

ival-pow2: 428.0ms (5.9% of total)

ival-add: 365.0ms (5% of total)

ival-sinu: 360.0ms (4.9% of total)

ival-cosu: 311.0ms (4.3% of total)

ival-sub: 290.0ms (4% of total)

ival-exp: 208.0ms (2.9% of total)

ival-log: 202.0ms (2.8% of total)

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

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

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

ival-neg: 73.0ms (1% of total)

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

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

ival-hypot: 36.0ms (0.5% of total)

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

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

ival-acos: 22.0ms (0.3% of total)

exact: 19.0ms (0.3% of total)

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

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

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

ival-asin: 6.0ms (0.1% of total)

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

derivations20.2s (3.5%)

Memory

45.5MiB live, 17 388.9MiB allocated; 3.7s collecting garbage

Stop Event

42×	fuel
10×	done

Compiler

Compiled 51 871 to 6 154 computations (88.1% saved)

analyze18.7s (3.2%)

Memory

126.2MiB live, 23 301.1MiB allocated; 6.1s collecting garbage

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 963 computations (47.3% saved)

preprocess15.0s (2.6%)

Memory

176.1MiB live, 16 930.8MiB allocated; 3.0s collecting garbage

Stop Event

104×	iter limit
92×	node limit
12×	saturated

Compiler

Compiled 141 339 to 24 147 computations (82.9% saved)

bsearch12.4s (2.1%)

Memory

171.7MiB live, 14 247.3MiB allocated; 2.5s collecting garbage

Algorithm

350×	binary-search
101×	left-value

Stop Event

336×	narrow-enough
14×	predicate-same

Samples

5.1s	7 961×	1	valid
3.0s	16 365×	0	valid
706.0ms	908×	2	valid
119.0ms	62×	3	valid
66.0ms	629×	0	invalid
2.0ms	44×	0	exit

Compiler

Compiled 301 340 to 168 575 computations (44.1% saved)

Precisions

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

ival-cos: 1.7s (22% of total)

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

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

adjust: 815.0ms (10.4% of total)

ival-pow2: 499.0ms (6.4% of total)

ival-div: 413.0ms (5.3% of total)

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

ival-add: 273.0ms (3.5% of total)

ival-cosu: 220.0ms (2.8% of total)

ival-atan2: 202.0ms (2.6% of total)

ival-sinu: 200.0ms (2.6% of total)

ival-sqrt: 145.0ms (1.9% of total)

ival-acos: 92.0ms (1.2% of total)

ival-tan: 82.0ms (1% of total)

ival-exp: 66.0ms (0.8% of total)

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

ival-neg: 40.0ms (0.5% of total)

ival-hypot: 28.0ms (0.4% of total)

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

exact: 13.0ms (0.2% of total)

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

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

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

ival-pi: 9.0ms (0.1% of total)

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

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

start16.0ms (0%)

Memory: -34.5MiB live, 8.4MiB allocated; 13ms collecting garbage

end0.0ms (0%)

Memory: 0.9MiB live, 0.8MiB allocated; 0ms collecting garbage

sample3.8min (39.4%)

prune57.0s (9.8%)

simplify56.3s (9.7%)

regimes45.3s (7.8%)

eval40.0s (6.9%)

series36.8s (6.3%)

rewrite29.1s (5%)

explain21.3s (3.7%)

derivations20.2s (3.5%)

analyze18.7s (3.2%)

preprocess15.0s (2.6%)

bsearch12.4s (2.1%)

start16.0ms (0%)

end0.0ms (0%)

Profiling