Herbie run

Date:Friday, October 11th, 2024
Commit:a1f6a1f9 on main
Hostname:nightly with Racket 8.10
Seed:2024285
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

Time bar (total: 10.9min)

sample3.3min (30.2%)

Memory
352.8MiB live, 194 982.8MiB allocated
Samples
51.0s108 517×1valid
43.1s293 883×0valid
30.7s14 112×5exit
17.1s23 847×2valid
7.5s3 040×3valid
6.5s35 047×0exit
3.4s20 640×0invalid
2.5s11 001×1invalid
351.0ms3 662×1exit
305.0ms766×2invalid
261.0ms25×4valid
2.0ms1×4exit
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-pow: 25.4s (18.3% of total)
ival-mult: 15.6s (11.2% of total)
ival-div: 11.1s (8% of total)
ival-cos: 11.0s (7.9% of total)
adjust: 9.6s (6.9% of total)
ival-sin: 8.1s (5.9% of total)
ival-pow2: 7.3s (5.3% of total)
ival-add: 7.1s (5.1% of total)
ival-sub: 7.1s (5.1% of total)
ival-sinu: 6.6s (4.8% of total)
ival-exp: 6.3s (4.6% of total)
ival-cosu: 4.9s (3.5% of total)
ival-log: 4.1s (2.9% of total)
ival-sqrt: 3.3s (2.4% of total)
ival-neg: 1.9s (1.4% of total)
const: 1.9s (1.4% of total)
ival-<: 1.6s (1.1% of total)
ival-tan: 881.0ms (0.6% of total)
ival-atan2: 859.0ms (0.6% of total)
ival-hypot: 786.0ms (0.6% of total)
ival-cbrt: 445.0ms (0.3% of total)
ival-acos: 417.0ms (0.3% of total)
exact: 401.0ms (0.3% of total)
ival-atan: 395.0ms (0.3% of total)
ival-and: 352.0ms (0.3% of total)
ival-true: 317.0ms (0.2% of total)
ival-assert: 219.0ms (0.2% of total)
ival-<=: 183.0ms (0.1% of total)
ival-log1p: 154.0ms (0.1% of total)
ival-fabs: 150.0ms (0.1% of total)
ival-asin: 141.0ms (0.1% of total)
ival-pi: 130.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.3min (11.6%)

Memory
503.3MiB live, 66 131.8MiB allocated
Algorithm
454×egg-herbie
Stop Event
603×iter limit
318×node limit
136×saturated
Counts
22 809 → 22 656

localize1.1min (10.5%)

Memory
-236.6MiB live, 72 374.9MiB allocated
Samples
22.1s15 230×1valid
10.3s28 503×0valid
9.8s3 854×2valid
7.6s536×5exit
1.6s237×4exit
1.3s419×3valid
908.0ms468×2exit
858.0ms1 544×0invalid
580.0ms407×1exit
508.0ms217×1invalid
306.0ms18×2invalid
38.0ms19×3exit
20.0ms4×4valid
Compiler

Compiled 264 709 to 20 015 computations (92.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.4s
ival-mult: 8.5s (18.4% of total)
ival-sin: 8.2s (17.6% of total)
ival-cos: 5.4s (11.7% of total)
adjust: 4.4s (9.5% of total)
ival-div: 4.4s (9.4% of total)
ival-add: 2.8s (6% of total)
ival-pow2: 1.8s (3.9% of total)
ival-sub: 1.5s (3.2% of total)
ival-pow: 1.4s (3% of total)
const: 1.2s (2.7% of total)
ival-sinu: 1.2s (2.5% of total)
ival-sqrt: 986.0ms (2.1% of total)
ival-cosu: 776.0ms (1.7% of total)
ival-exp: 757.0ms (1.6% of total)
ival-log: 668.0ms (1.4% of total)
ival-neg: 522.0ms (1.1% of total)
ival-atan2: 379.0ms (0.8% of total)
ival-log1p: 289.0ms (0.6% of total)
ival-hypot: 264.0ms (0.6% of total)
ival-cbrt: 177.0ms (0.4% of total)
ival-tan: 150.0ms (0.3% of total)
ival-atan: 144.0ms (0.3% of total)
ival-acos: 128.0ms (0.3% of total)
exact: 106.0ms (0.2% of total)
ival-pi: 103.0ms (0.2% of total)
ival-asin: 79.0ms (0.2% of total)
ival-fabs: 62.0ms (0.1% of total)
ival-true: 49.0ms (0.1% of total)
ival-assert: 24.0ms (0.1% of total)
ival-cosh: 9.0ms (0% of total)
ival-sinh: 4.0ms (0% of total)
ival-expm1: 2.0ms (0% of total)
ival-tanh: 1.0ms (0% of total)

soundness1.1min (10.1%)

Memory
104.9MiB live, 41 449.6MiB allocated
Stop Event
428×iter limit
286×node limit
44×fuel
8×done
Compiler

Compiled 106 054 to 36 942 computations (65.2% saved)

regimes49.9s (7.6%)

Memory
-134.7MiB live, 59 635.9MiB allocated
Counts
25 330 → 988
Calls

155 calls:

3.2s
a
3.0s
b
2.9s
phi2
2.9s
phi1
2.9s
lambda2
Compiler

Compiled 21 687 to 17 763 computations (18.1% saved)

rewrite44.3s (6.8%)

Memory
-500.1MiB live, 44 906.4MiB allocated
Stop Event
408×iter limit
200×node limit
1×saturated
Counts
3 667 → 133 633

eval35.8s (5.5%)

Memory
-203.1MiB live, 44 821.8MiB allocated
Compiler

Compiled 11 522 565 to 757 472 computations (93.4% saved)

prune27.7s (4.2%)

Memory
37.4MiB live, 42 889.0MiB allocated
Counts
166 918 → 7 594
Compiler

Compiled 1 125 513 to 437 180 computations (61.2% saved)

explain22.4s (3.4%)

Memory
-318.1MiB live, 25 030.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18943
+.f64#fcancellation174120
sin.f64#fsensitivity16573
sqrt.f64#foflow-rescue13920
-.f64#fcancellation9105
-.f64#fnan-rescue6450
log.f64#fsensitivity5911
/.f64#fo/n4670
/.f64#fo/o3750
/.f64#fu/u2900
*.f64#fn*o2430
exp.f64#fsensitivity16819
sqrt.f64#fuflow-rescue1660
/.f64#fu/n1650
/.f64#fn/o1010
cbrt.f64#foflow-rescue870
*.f64#fn*u750
/.f64#fn/u500
*.f64#fu*o420
cbrt.f64#fuflow-rescue420
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)))))sensitivity313
*.f64#fo*u310
log.f64#foflow-rescue110
pow.f64#fuflow-rescue90
pow.f64#fsensitivity51
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue20
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow2
↳(exp.f64 a)underflow55
↳(exp.f64 b)underflow76
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity14
Confusion
Predicted +Predicted -
+577660
-13096167
Precision
0.8152434721242061
Recall
0.9897189856065799
Confusion?
Predicted +Predicted MaybePredicted -
+57762931
-1309276140
Precision?
0.8129113569528077
Recall?
0.9946881425633995
Freqs
test
numberfreq
06227
14624
21640
3350
4238
5152
654
719
84
94
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-306
Precision?
0.9347826086956522
Recall?
1.0
Samples
3.3s6 984×1valid
2.7s17 400×0valid
2.0s1 954×2valid
449.0ms284×3valid
2.0ms2×4valid
Compiler

Compiled 29 036 to 3 336 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-sin: 1.2s (17.7% of total)
ival-mult: 842.0ms (12.8% of total)
ival-cos: 707.0ms (10.8% of total)
ival-pow2: 512.0ms (7.8% of total)
ival-div: 450.0ms (6.9% of total)
adjust: 433.0ms (6.6% of total)
ival-cosu: 333.0ms (5.1% of total)
ival-neg: 310.0ms (4.7% of total)
ival-sinu: 275.0ms (4.2% of total)
ival-sub: 262.0ms (4% of total)
ival-add: 254.0ms (3.9% of total)
ival-sqrt: 234.0ms (3.6% of total)
ival-exp: 211.0ms (3.2% of total)
ival-log: 200.0ms (3% of total)
ival-tan: 61.0ms (0.9% of total)
ival-atan2: 48.0ms (0.7% of total)
ival-hypot: 46.0ms (0.7% of total)
ival-pow: 45.0ms (0.7% of total)
ival-atan: 34.0ms (0.5% of total)
ival-true: 26.0ms (0.4% of total)
ival-acos: 22.0ms (0.3% of total)
exact: 20.0ms (0.3% of total)
ival-pi: 19.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

series21.3s (3.3%)

Memory
545.1MiB live, 25 993.6MiB allocated
Counts
3 667 → 22 809
Calls

1644 calls:

TimeVariablePointExpression
235.0ms
a
@inf
((exp (+ (* (log (+ (exp b) (exp a))) -1) a)) (+ (* (log (+ (exp b) (exp a))) -1) a) (log (+ (exp b) (exp a))) (+ (exp b) (exp a)) (/ (exp a) (+ (exp a) (exp b))) (/ 1 (+ (exp b) 1)) (+ (exp b) 1) (exp b) (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (exp a) (exp b)) (+ (exp a) 1) (/ (exp a) (+ (exp a) (exp b))) (exp a) (+ (* (+ (* 1/2 a) 1) a) 1) (+ (* 1/2 a) 1) (* (+ (/ b (- -1 (exp a))) 1) (/ (exp a) (+ (exp a) 1))) (/ (exp a) (+ (exp a) (exp b))) (+ (/ b (- -1 (exp a))) 1) (/ b (- -1 (exp a))) (+ (exp a) (exp b)) (/ (exp a) (+ (exp a) 1)))
224.0ms
a
@0
((* (* (pow (cbrt (PI)) 2) 1/180) (* (cbrt (PI)) (neg angle))) (+ (pow (* (sin (* (PI) (* 1/180 angle))) a) 2) (pow (* (cos (* (* (pow (cbrt (PI)) 2) 1/180) (* (cbrt (PI)) (neg angle)))) b) 2)) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2) (* (sin (* (PI) (* 1/180 angle))) a) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (pow (cbrt (PI)) 2) (* (* (cbrt (PI)) 1/180) angle)))) 2)) (+ (* (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* angle angle)) (* b b)) (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* (PI) (PI)) (/ (* (PI) angle) -180) (+ (* (pow (cos (/ (* (PI) angle) -180)) 2) (* b b)) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow (cos (/ (* (PI) angle) -180)) 2) (cos (/ (* (PI) angle) -180)) (pow (sqrt (cos (/ (* (PI) angle) -180))) 2) (/ angle 180) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (pow (sqrt (cos (/ (* (PI) angle) -180))) 2)) 2)) (exp (* (log (/ 180 angle)) -1)) (* (* (sqrt (PI)) angle) (/ (sqrt (PI)) 180)) (/ (sqrt (PI)) 180) (* (log (/ 180 angle)) -1) (PI) (sin (* (PI) (* 1/180 angle))) (cos (* (* (pow (cbrt (PI)) 2) 1/180) (* (cbrt (PI)) (neg angle)))) (cbrt (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b))) (* (PI) (* 1/180 angle)) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (sin (* (* (sqrt (PI)) angle) (/ (sqrt (PI)) 180))) (cos (* (exp (* (log (/ 180 angle)) -1)) (PI))))
177.0ms
x-scale
@inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (neg (* y-scale y-scale))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (- (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (sqrt (+ (* (* (pow a 4) (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale))))) 4) (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (neg (* y-scale y-scale))))) 2)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale)))) -1/2))))) (* 1/4 (* (sqrt 8) x-scale)) (* (sqrt 8) x-scale) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) -1/2))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (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)) (sqrt (+ (pow (- (/ (/ (+ (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)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (neg a) (PI) (cos (* (* (PI) angle) 1/180)) (neg (* y-scale y-scale)) (sin (* (* (PI) angle) 1/180)))
166.0ms
s
@-inf
((- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (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 (neg s)) 1) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ (* (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)))) 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)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))) (+ 1 (exp (neg s))) (+ (* (* (* (pow 1/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))) s) (* (pow 1/2 c_p) (pow 1/2 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 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))) (log (+ 1 (exp (neg t)))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ (exp (neg t)) 1) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (* (* (pow 1/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))))
109.0ms
s
@inf
((- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (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 (neg s)) 1) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ (* (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)))) 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)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))) (+ 1 (exp (neg s))) (+ (* (* (* (pow 1/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))) s) (* (pow 1/2 c_p) (pow 1/2 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 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))) (log (+ 1 (exp (neg t)))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ (exp (neg t)) 1) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (* (* (pow 1/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))))

analyze17.7s (2.7%)

Memory
-241.7MiB live, 20 484.5MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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 964 computations (47.2% saved)

preprocess15.4s (2.4%)

Memory
173.5MiB live, 13 441.8MiB allocated
Algorithm
52×egg-herbie
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 168 021 to 36 716 computations (78.1% saved)

bsearch11.3s (1.7%)

Memory
-98.0MiB live, 12 662.2MiB allocated
Algorithm
290×binary-search
133×left-value
Stop Event
288×narrow-enough
2×predicate-same
Samples
5.3s6 912×1valid
2.3s12 049×0valid
1.0s941×2valid
108.0ms1 098×0invalid
75.0ms50×3valid
Compiler

Compiled 291 743 to 157 548 computations (46% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6s
ival-cos: 1.8s (24.3% of total)
ival-sin: 1.3s (17.7% of total)
ival-mult: 1.1s (14.5% of total)
ival-cosu: 512.0ms (6.8% of total)
ival-pow2: 472.0ms (6.3% of total)
ival-div: 448.0ms (5.9% of total)
adjust: 407.0ms (5.4% of total)
ival-sub: 329.0ms (4.4% of total)
ival-sinu: 309.0ms (4.1% of total)
ival-add: 190.0ms (2.5% of total)
ival-sqrt: 163.0ms (2.2% of total)
ival-atan2: 117.0ms (1.5% of total)
ival-acos: 67.0ms (0.9% of total)
ival-atan: 54.0ms (0.7% of total)
ival-hypot: 44.0ms (0.6% of total)
ival-tan: 37.0ms (0.5% of total)
ival-neg: 30.0ms (0.4% of total)
ival-cbrt: 19.0ms (0.3% of total)
ival-true: 18.0ms (0.2% of total)
ival-exp: 16.0ms (0.2% of total)
ival-asin: 14.0ms (0.2% of total)
exact: 13.0ms (0.2% of total)
ival-assert: 9.0ms (0.1% of total)
ival-pi: 8.0ms (0.1% of total)
ival-log: 7.0ms (0.1% of total)
ival-fabs: 4.0ms (0.1% of total)
ival-log1p: 2.0ms (0% of total)

start2.0ms (0%)

Memory
4.7MiB live, 4.6MiB allocated

end0.0ms (0%)

Memory
0.9MiB live, 0.7MiB allocated

Profiling

Loading profile data...