Herbie run

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

Time bar (total: 5.3min)

sample1.3min (25.2%)

Memory
614.8MiB live, 90 829.7MiB allocated
Samples
32.8s225 537×0valid
9.5s65 303×0invalid
7.6s22 912×1valid
3.8s12 342×1invalid
3.4s9 566×2valid
2.6s6 173×3valid
469.0ms1 835×1exit
232.0ms490×2invalid
29.0ms246×0exit
2.0ms4×4valid
Precisions
Click to see histograms. Total time spent on operations: 46.9s
ival-mult: 11.5s (24.6% of total)
ival-div: 7.9s (16.8% of total)
ival-sub: 3.8s (8.2% of total)
ival-add: 3.5s (7.4% of total)
ival-pow2: 2.7s (5.7% of total)
ival-pow: 2.4s (5.2% of total)
ival-sqrt: 2.4s (5.1% of total)
ival-exp: 2.2s (4.8% of total)
ival-sin: 2.0s (4.3% of total)
adjust: 2.0s (4.3% of total)
ival-cos: 962.0ms (2.1% of total)
ival-tan: 797.0ms (1.7% of total)
ival-acos: 777.0ms (1.7% of total)
ival-neg: 733.0ms (1.6% of total)
ival-log: 474.0ms (1% of total)
ival-pi: 443.0ms (0.9% of total)
const: 432.0ms (0.9% of total)
ival-hypot: 382.0ms (0.8% of total)
exact: 342.0ms (0.7% of total)
ival-true: 274.0ms (0.6% of total)
ival-asin: 204.0ms (0.4% of total)
ival-tanu: 179.0ms (0.4% of total)
ival-assert: 148.0ms (0.3% of total)
ival-fabs: 121.0ms (0.3% of total)
ival-atan: 78.0ms (0.2% of total)
ival-<: 43.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify46.2s (14.5%)

Memory
956.5MiB live, 44 426.2MiB allocated
Algorithm
279×egg-herbie
Stop Event
372×iter limit
217×node limit
62×saturated
Counts
13 595 → 13 514

soundness38.5s (12.1%)

Memory
209.5MiB live, 29 235.2MiB allocated
Stop Event
270×iter limit
180×node limit
31×fuel
Compiler

Compiled 65 657 to 26 163 computations (60.2% saved)

rewrite28.4s (8.9%)

Memory
-78.2MiB live, 29 954.1MiB allocated
Stop Event
250×iter limit
124×node limit
Counts
2 427 → 91 307

localize25.1s (7.9%)

Memory
-473.7MiB live, 28 351.6MiB allocated
Samples
9.7s23 362×0valid
3.6s3 879×1valid
1.8s621×5exit
1.5s1 094×2valid
1.1s1 902×0invalid
897.0ms626×3valid
133.0ms218×0exit
27.0ms20×3exit
8.0ms8×2exit
5.0ms10×1exit
4.0ms4×4valid
Compiler

Compiled 99 154 to 11 141 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
ival-mult: 3.6s (27.2% of total)
ival-div: 2.4s (17.8% of total)
ival-add: 1.0s (7.6% of total)
adjust: 1.0s (7.5% of total)
ival-sqrt: 738.0ms (5.5% of total)
ival-cos: 711.0ms (5.3% of total)
ival-sub: 570.0ms (4.2% of total)
ival-pow2: 569.0ms (4.2% of total)
ival-pow: 554.0ms (4.1% of total)
ival-acos: 424.0ms (3.2% of total)
ival-sin: 308.0ms (2.3% of total)
ival-neg: 285.0ms (2.1% of total)
ival-exp: 281.0ms (2.1% of total)
const: 231.0ms (1.7% of total)
ival-atan: 114.0ms (0.8% of total)
ival-log: 107.0ms (0.8% of total)
ival-tan: 90.0ms (0.7% of total)
exact: 80.0ms (0.6% of total)
ival-hypot: 63.0ms (0.5% of total)
ival-asin: 45.0ms (0.3% of total)
ival-pi: 35.0ms (0.3% of total)
ival-cbrt: 31.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-tanu: 22.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cosu: 11.0ms (0.1% of total)
ival-tanh: 10.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-sinu: 7.0ms (0.1% of total)
ival-cosh: 5.0ms (0% of total)
ival-e: 4.0ms (0% of total)

regimes20.7s (6.5%)

Memory
133.3MiB live, 25 714.3MiB allocated
Counts
11 474 → 783
Calls

150 calls:

961.0ms
l
898.0ms
t
510.0ms
k
474.0ms
(*.f64 (*.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))))
448.0ms
x
Compiler

Compiled 13 201 to 13 722 computations (-3.9% saved)

eval20.3s (6.4%)

Memory
316.8MiB live, 27 032.5MiB allocated
Compiler

Compiled 4 716 275 to 445 108 computations (90.6% saved)

explain15.5s (4.9%)

Memory
-309.1MiB live, 20 025.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4762
cos.f64#fsensitivity4681
sqrt.f64#foflow-rescue4590
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2532
+.f64#fnan-rescue2400
*.f64#fn*o2210
sqrt.f64#fuflow-rescue1360
pow.f64#foflow-rescue1340
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1260
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1210
-.f64#fnan-rescue1180
*.f64#fu*o1160
*.f64#fn*u950
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9026
/.f64#fo/o710
*.f64#fo*u690
/.f64#fo/n650
/.f64#fu/u640
+.f64#fcancellation540
pow.f64#fuflow-rescue510
/.f64#fn/o350
/.f64#fn/u180
/.f64#fu/n150
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity61
exp.f64#fsensitivity20
Confusion
Predicted +Predicted -
+183690
-11504860
Precision
0.6148693904889484
Recall
0.9532710280373832
Confusion?
Predicted +Predicted MaybePredicted -
+1836288
-1150304830
Precision?
0.609012591119947
Recall?
0.9543094496365524
Freqs
test
numberfreq
04950
12532
2402
342
49
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-005
Precision?
1.0
Recall?
1.0
Samples
2.2s13 044×0valid
693.0ms1 876×1valid
230.0ms512×2valid
155.0ms424×3valid
8.0ms14×5exit
1.0ms2×4valid
Compiler

Compiled 14 038 to 3 888 computations (72.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 549.0ms (24.9% of total)
ival-div: 338.0ms (15.3% of total)
ival-add: 146.0ms (6.6% of total)
ival-sub: 143.0ms (6.5% of total)
ival-pow2: 132.0ms (6% of total)
adjust: 124.0ms (5.6% of total)
ival-sin: 117.0ms (5.3% of total)
ival-sqrt: 110.0ms (5% of total)
ival-pow: 107.0ms (4.8% of total)
ival-exp: 98.0ms (4.4% of total)
ival-cos: 79.0ms (3.6% of total)
ival-tan: 64.0ms (2.9% of total)
ival-pi: 47.0ms (2.1% of total)
ival-acos: 30.0ms (1.4% of total)
ival-neg: 27.0ms (1.2% of total)
exact: 19.0ms (0.9% of total)
ival-true: 17.0ms (0.8% of total)
ival-log: 13.0ms (0.6% of total)
ival-tanu: 11.0ms (0.5% of total)
const: 10.0ms (0.5% of total)
ival-asin: 9.0ms (0.4% of total)
ival-assert: 8.0ms (0.4% of total)
ival-atan: 6.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

series10.4s (3.3%)

Memory
-49.8MiB live, 12 989.3MiB allocated
Counts
2 427 → 13 595
Calls

1188 calls:

TimeVariablePointExpression
260.0ms
x
@inf
((+ (* (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))) (* (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)))) (- (pow (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) 3) (pow (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) 3)) (* (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))) (sqrt (/ (- (pow (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) 3) (pow (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) 3)) (+ (* (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))) (+ (* (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))) (* (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))))))) (sqrt (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2)) (/ (neg p) x) (neg p) (sqrt (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2)) (+ (* -1/2 (/ (* p p) (* x x))) 1) (* p p) (* x x) (sqrt (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2)) (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2) (/ x (sqrt (+ (* (* p 4) p) (* x x)))) (+ (* (/ 2 x) (/ (* p p) x)) -1) (+ (* (/ 1/2 x) (/ (* (pow p 4) -6) x)) (* p p)) (sqrt (/ (* (- 1 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) 1/2) (- 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))))) (/ (* (- 1 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) 1/2) (- 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x)))))) (/ (+ (* (/ 1/2 x) (/ (* (pow p 4) -6) x)) (* p p)) (* x x)) (sqrt (+ (* (* 4 p) p) (* x x))) (/ (- (pow (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) 3) (pow (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) 3)) (+ (* (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))) (+ (* (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2))) (* (/ (* 1/4 (* (/ x (+ (* (* 4 p) p) (* x x))) x)) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)) (/ 1/4 (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2)))))) (+ (* 1/2 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) -1/2) (/ (* p p) (* x x)) (/ (* p p) x) (/ (* (pow p 4) -6) x))
172.0ms
f
@-inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (log (/ 1 (tanh (* f (* 1/4 (PI)))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI))))))) (neg (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))))) (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)))) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) 2)) (/ 1 (* (cbrt (PI)) 1/4))) (/ 1 (* (cbrt (PI)) 1/4)) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) 2)) (/ 1 (* (cbrt (PI)) 1/4)))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) 2)) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (/ 4 (PI)) f) (/ 1 (tanh (* f (* 1/4 (PI))))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))) (cbrt (PI)) (pow (cbrt (PI)) 2))
134.0ms
f
@inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (log (/ 1 (tanh (* f (* 1/4 (PI)))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI))))))) (neg (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))))) (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)))) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) 2)) (/ 1 (* (cbrt (PI)) 1/4))) (/ 1 (* (cbrt (PI)) 1/4)) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) 2)) (/ 1 (* (cbrt (PI)) 1/4)))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) 2)) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (/ 4 (PI)) f) (/ 1 (tanh (* f (* 1/4 (PI))))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))) (cbrt (PI)) (pow (cbrt (PI)) 2))
128.0ms
l
@0
((/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* (sqrt 2) t) (sqrt 2) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))) (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* (sqrt 1/2) (sqrt 2)) (sqrt 1/2) (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))) (/ (* (sqrt 2) t) (sqrt (+ (* (/ (+ (* (* t t) 2) (* l l)) (- x 1)) (- x -1)) (* (neg l) l)))) (sqrt (+ (* (/ (+ (* (* t t) 2) (* l l)) (- x 1)) (- x -1)) (* (neg l) l))) (+ (* (* (/ (- -1 x) (- 1 x)) l) l) (+ (* (/ (- -1 x) (- 1 x)) (* (* t t) 2)) (* (neg l) l))) (* (/ (- -1 x) (- 1 x)) l) (+ (* (/ (- -1 x) (- 1 x)) (* (* t t) 2)) (* (neg l) l)) (/ (* (sqrt 2) t) (sqrt (+ (* (* (/ (- -1 x) (- 1 x)) l) l) (+ (* (/ (- -1 x) (- 1 x)) (* (* t t) 2)) (* (neg l) l))))) (* (sqrt (/ (- x -1) (- x 1))) (* (sqrt 2) t)) (+ (* l l) (* 2 (* t t))) (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)) (+ (* (/ (+ (* (* t t) 2) (* l l)) (- x 1)) (- x -1)) (* (neg l) l)) (/ (+ (* (* t t) 2) (* l l)) (- x 1)) (sqrt (+ (* (* (/ (- -1 x) (- 1 x)) l) l) (+ (* (/ (- -1 x) (- 1 x)) (* (* t t) 2)) (* (neg l) l)))))
83.0ms
t
@-inf
((* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (/ (+ (* -5 (* v v)) 1) (PI)) (+ (* -5 (* v v)) 1) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ 1 (* (* (sqrt 2) (PI)) t)) (* (* (sqrt 2) (PI)) t) (* (sqrt 2) (PI)) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v))) (* (/ (+ (* -5 (* v v)) 1) t) (/ 1 (* (* (PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))))) (/ (+ (* -5 (* v v)) 1) t) (/ (* (/ (+ (* -5 (* v v)) 1) (PI)) 1) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))) (* (* t (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) (PI) (sqrt (+ (* -6 (* v v)) 2)) (* 2 (- 1 (* 3 (* v v)))) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (* (sqrt (+ (* -6 (* v v)) 2)) t) (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (/ (- 1 (* 5 (* v v))) (* (* (* (sqrt (+ (* -6 (* v v)) 2)) t) (PI)) (- 1 (* v v)))) (* (PI) (- 1 (* v v))) (* (* (PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2))) (/ 1 (* (* (PI) (- 1 (* v v))) (sqrt (+ (* -6 (* v v)) 2)))))

preprocess10.0s (3.2%)

Memory
100.8MiB live, 10 163.8MiB allocated
Algorithm
31×egg-herbie
Stop Event
62×iter limit
41×node limit
21×saturated
Compiler

Compiled 94 761 to 22 148 computations (76.6% saved)

analyze9.4s (3%)

Memory
256.5MiB live, 11 020.5MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

prune9.2s (2.9%)

Memory
-448.1MiB live, 11 900.8MiB allocated
Counts
104 881 → 3 125
Compiler

Compiled 264 976 to 137 557 computations (48.1% saved)

bsearch4.2s (1.3%)

Memory
-146.6MiB live, 4 220.9MiB allocated
Algorithm
228×left-value
195×binary-search
Stop Event
181×narrow-enough
14×predicate-same
Samples
2.3s12 634×0valid
188.0ms1 656×0invalid
96.0ms341×1valid
42.0ms137×2valid
14.0ms39×3valid
14.0ms74×1invalid
2.0ms8×2invalid
0.0ms1×4valid
Compiler

Compiled 125 130 to 86 948 computations (30.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 463.0ms (21.4% of total)
ival-pow: 416.0ms (19.3% of total)
ival-div: 329.0ms (15.2% of total)
ival-add: 206.0ms (9.5% of total)
ival-sub: 204.0ms (9.4% of total)
ival-tan: 134.0ms (6.2% of total)
ival-sin: 127.0ms (5.9% of total)
ival-pow2: 80.0ms (3.7% of total)
ival-neg: 52.0ms (2.4% of total)
ival-sqrt: 30.0ms (1.4% of total)
ival-exp: 29.0ms (1.3% of total)
adjust: 25.0ms (1.2% of total)
const: 16.0ms (0.7% of total)
exact: 15.0ms (0.7% of total)
ival-true: 12.0ms (0.6% of total)
ival-cos: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 3.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
2.5MiB live, 2.5MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.4MiB allocated

Profiling

Loading profile data...