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:4 503 849.5 MB

Time bar (total: 1.0hr)

sample25.7min (40.9%)

Memory
21 260.3MiB live, 1 779 473.9MiB allocated; 9.0min collecting garbage
Samples
11.2min3 937 742×0valid
3.8min51 492×5exit
2.6min439 901×1valid
1.3min139 534×2valid
48.6s285 679×0invalid
14.7s14 703×3valid
9.0s49 956×0exit
8.4s27 949×1invalid
1.5s2 392×2invalid
333.0ms38×4valid
20.0ms33×1exit
Precisions
Click to see histograms. Total time spent on operations: 14.0min
ival-mult: 2.3min (16.3% of total)
ival-pow: 1.5min (10.9% of total)
const: 1.1min (8.2% of total)
ival-div: 1.1min (7.6% of total)
ival-sub: 1.0min (7.5% of total)
ival-add: 1.0min (7.4% of total)
adjust: 59.8s (7.1% of total)
ival-exp: 37.8s (4.5% of total)
ival-log: 34.8s (4.2% of total)
ival-cos: 26.3s (3.1% of total)
ival-pow2: 24.7s (2.9% of total)
ival-sin: 22.6s (2.7% of total)
ival-sqrt: 20.4s (2.4% of total)
ival-fmax: 18.4s (2.2% of total)
ival-tan: 16.6s (2% of total)
ival-<=: 12.7s (1.5% of total)
ival-neg: 10.6s (1.3% of total)
ival-fmin: 6.9s (0.8% of total)
ival-cosu: 6.3s (0.8% of total)
ival-sinu: 6.2s (0.7% of total)
ival-fabs: 5.1s (0.6% of total)
exact: 4.3s (0.5% of total)
ival-hypot: 4.0s (0.5% of total)
ival-e: 3.3s (0.4% of total)
ival-true: 3.0s (0.4% of total)
ival-<: 2.9s (0.3% of total)
ival-log1p: 2.8s (0.3% of total)
ival-and: 2.7s (0.3% of total)
ival-sinh: 2.1s (0.3% of total)
ival-assert: 2.0s (0.2% of total)
ival-acos: 1.9s (0.2% of total)
ival-asin: 1.8s (0.2% of total)
ival-expm1: 1.8s (0.2% of total)
ival-atan2: 1.7s (0.2% of total)
ival->: 1.5s (0.2% of total)
ival-pi: 1.5s (0.2% of total)
ival-atan: 1.2s (0.1% of total)
ival-fmod: 854.0ms (0.1% of total)
ival-floor: 733.0ms (0.1% of total)
ival->=: 606.0ms (0.1% of total)
ival-cbrt: 587.0ms (0.1% of total)
ival-==: 414.0ms (0% of total)
ival-asinh: 411.0ms (0% of total)
ival-if: 349.0ms (0% of total)
ival-acosh: 316.0ms (0% of total)
ival-cosh: 310.0ms (0% of total)
ival-tanu: 287.0ms (0% of total)
ival-log2: 271.0ms (0% of total)
ival-atanh: 207.0ms (0% of total)
ival-tanh: 89.0ms (0% of total)
ival-or: 42.0ms (0% of total)
Bogosity

simplify7.8min (12.4%)

Memory
4 254.7MiB live, 507 601.7MiB allocated; 2.3min collecting garbage
Stop Event
2 361×node limit
2 027×iter limit
143×saturated
12×unsound
Counts
291 023 → 291 023

eval4.7min (7.5%)

Memory
2 115.5MiB live, 391 602.8MiB allocated; 1.6min collecting garbage
Compiler

Compiled 186 222 803 to 5 157 357 computations (97.2% saved)

rewrite4.4min (6.9%)

Memory
1 146.3MiB live, 289 678.6MiB allocated; 1.2min collecting garbage
Stop Event
5 821×iter limit
1 557×node limit
388×unsound
33×saturated
Counts
53 032 → 609 872

regimes3.4min (5.5%)

Memory
2 010.8MiB live, 283 738.8MiB allocated; 52.3s collecting garbage
Counts
109 731 → 9 766
Calls

1 240 calls:

14.5s
x
11.6s
y
9.0s
z
6.1s
t
5.9s
a
Compiler

Compiled 126 098 to 128 792 computations (-2.1% saved)

derivations3.4min (5.4%)

Memory
-1 919.2MiB live, 162 531.8MiB allocated; 41.7s collecting garbage
Stop Event
359×fuel
188×done
Compiler

Compiled 355 130 to 45 303 computations (87.2% saved)

series3.0min (4.8%)

Memory
632.0MiB live, 246 435.8MiB allocated; 1.0min collecting garbage
Counts
53 032 → 291 023
Calls

16419 calls:

TimeVariablePointExpression
2.5s
b
@inf
((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (* (- (+ (* (neg j) i) (+ (* (neg a) (/ (* t x) y)) (+ (* z x) (/ (* (* j t) c) y)))) (* b (/ (+ (* c z) (* (neg i) a)) y))) y) (* (+ (* (+ (* (neg c) (/ t y)) i) y) (* y (/ (- (+ (* (/ (* (neg t) x) y) a) (* z x)) (* (/ (+ (* (neg i) a) (* c z)) y) b)) (neg j)))) (neg j)) (+ (* (+ (* (neg c) (/ t y)) i) y) (* y (/ (- (+ (* (/ (* (neg t) x) y) a) (* z x)) (* (/ (+ (* (neg i) a) (* c z)) y) b)) (neg j)))) (+ (* (neg c) (/ t y)) i) (neg c) c (/ t y) t y i (* y (/ (- (+ (* (/ (* (neg t) x) y) a) (* z x)) (* (/ (+ (* (neg i) a) (* c z)) y) b)) (neg j))) (/ (- (+ (* (/ (* (neg t) x) y) a) (* z x)) (* (/ (+ (* (neg i) a) (* c z)) y) b)) (neg j)) (- (+ (* (/ (* (neg t) x) y) a) (* z x)) (* (/ (+ (* (neg i) a) (* c z)) y) b)) (+ (* (/ (* (neg t) x) y) a) (* z x)) (/ (* (neg t) x) y) (* (neg t) x) (neg t) x a (* z x) z (* (/ (+ (* (neg i) a) (* c z)) y) b) (/ (+ (* (neg i) a) (* c z)) y) (+ (* (neg i) a) (* c z)) (neg i) (* c z) b (neg j) j (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (* (+ (* (neg i) y) (* c t)) j) (+ (* (neg i) y) (* c t)) (* c t) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (+ (* (* (neg z) b) c) (* (* j t) c)) (* (neg b) (* c z)) (neg b) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (* (+ (* (neg c) z) (* i a)) b) (+ (* (neg c) z) (* i a)) (* i a) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (* (+ (* (neg a) t) (* z y)) x) (+ (* (neg a) t) (* z y)) (* (+ (* y (/ z t)) (neg a)) t) (+ (* y (/ z t)) (neg a)) (/ z t) (neg a))
1.5s
z
@inf
((+ (* (* (/ x (+ (* x (log y)) y)) (pow (log y) 2)) x) (- (* (/ y (+ (* x (log y)) y)) (neg y)) (- z (log t)))) (* (/ x (+ (* x (log y)) y)) (pow (log y) 2)) (/ x (+ (* x (log y)) y)) x (+ (* x (log y)) y) (log y) y (pow (log y) 2) 2 (- (* (/ y (+ (* x (log y)) y)) (neg y)) (- z (log t))) (* (/ y (+ (* x (log y)) y)) (neg y)) (/ y (+ (* x (log y)) y)) (neg y) (- z (log t)) z (log t) t (+ (- (- (* x (log y)) y) z) (log t)) (* (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) z) (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) (/ (neg y) z) (+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (neg z) (+ (- (- (* x (log y)) y) z) (log t)) (* (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) z) (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) (* x (/ (log y) z)) (/ (log y) z) (+ (- (- (* x (log y)) y) z) (log t)) (- (+ (* (log y) x) (log t)) y) (+ (* (log y) x) (log t)))
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)))
838.0ms
x
@inf
((* (/ (exp (* x x)) (sqrt (PI))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (/ (exp (* x x)) (sqrt (PI))) (exp (* x x)) (* x x) x (sqrt (PI)) (PI) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (- (/ 1/2 (* x x)) -1) (/ 1/2 (* x x)) 1/2 -1 (fabs x) (/ -15/8 (pow (fabs x) 7)) -15/8 (pow (fabs x) 7) 7 (/ -3/4 (pow (fabs x) 5)) -3/4 (pow (fabs x) 5) 5 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (* (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (pow (exp x) x)) (* (/ 1/2 (* (* x x) x)) (sqrt (/ 1 (PI)))) (/ 1/2 (* (* x x) x)) (* (* x x) x) (sqrt (/ 1 (PI))) (/ 1 (PI)) 1 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (* (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (pow (exp x) x)) (* (* (pow (fabs x) -3) 1/2) (sqrt (/ 1 (PI)))) (* (pow (fabs x) -3) 1/2) (pow (fabs x) -3) -3 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (* (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (pow (exp x) x)) (* (* (pow (fabs x) -1) (* (pow x -2) 1/2)) (sqrt (/ 1 (PI)))) (* (pow (fabs x) -1) (* (pow x -2) 1/2)) (pow (fabs x) -1) (* (pow x -2) 1/2) (pow x -2) -2 (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (* (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (exp (* (fabs x) (fabs x)))) (* (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (sqrt (/ 1 (PI)))) (- (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ -3/4 (pow (fabs x) 5))) (- (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (/ -15/8 (pow (fabs x) 7))) (/ (- (/ 1/2 (* x x)) -1) (fabs x)) (- (/ 1/2 (* x x)) -1) (exp (* (fabs x) (fabs x))))

explain2.6min (4.1%)

Memory
-1 043.4MiB live, 204 028.5MiB allocated; 38.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation867354
sqrt.f64#foflow-rescue83800
cos.f64#fsensitivity37446
log.f64#fsensitivity37184
+.f64#fcancellation3076112
sin.f64#fsensitivity24384
/.f64#fo/n18880
/.f64#fo/o18100
-.f64#fnan-rescue14850
log.f32#fsensitivity113285
*.f64#fn*o10770
/.f64#fn/o9820
sqrt.f64#fuflow-rescue9660
/.f64#fu/u7830
+.f64#fnan-rescue7710
/.f64#fu/n7000
acos.f64#fsensitivity5353
sqrt.f32#foflow-rescue5280
*.f64#fn*u5030
tan.f64#fsensitivity4330
-.f32#fcancellation41120
pow.f64#fsensitivity39746
/.f64#fn/u2650
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
cos.f64#foflow-rescue2110
exp.f64#fsensitivity20538
cos.f32#fsensitivity19519
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18415
*.f64#fu*o1710
pow.f64#foflow-rescue1550
*.f64#fo*u1490
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)))))))sensitivity1290
/.f32#fo/n1120
log.f64#foflow-rescue930
cbrt.f64#foflow-rescue870
pow.f64#fuflow-rescue700
log.f64#fuflow-rescue610
cbrt.f64#fuflow-rescue590
exp.f32#fsensitivity3721
sin.f64#foflow-rescue360
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue340
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow34
/.f32#fu/n200
/.f32#fo/o140
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-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow296
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow148
↳(*.f32 eta eta)underflow13
/.f32#fn/o90
log.f32#foflow-rescue60
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow4
↳(sin.f32 (*.f32 u normAngle))underflow4
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow1
sin.f32(sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))cancellation10
*.f32(*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*o10
Confusion
Predicted +Predicted -
+31273898
-6276101841
Precision
0.832858398359477
Recall
0.9720866619004693
Confusion?
Predicted +Predicted MaybePredicted -
+31273249649
-6276406101435
Precision?
0.8250968484975395
Recall?
0.9798265518634796
Freqs
test
numberfreq
0102739
131273
24965
3562
4269
5236
656
742
89
93
1633
1768
181
2132
Total Confusion?
Predicted +Predicted MaybePredicted -
+35031
-102182
Precision?
0.9671232876712329
Recall?
0.9971751412429378
Samples
29.9s235 716×0valid
13.2s32 370×1valid
7.1s11 146×2valid
1.7s136×5exit
1.3s1 196×3valid
253.0ms12×4valid
Compiler

Compiled 258 069 to 22 458 computations (91.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.7s
ival-mult: 7.5s (20.9% of total)
adjust: 3.5s (9.8% of total)
ival-add: 3.1s (8.7% of total)
ival-sub: 3.0s (8.5% of total)
ival-div: 2.9s (8% of total)
ival-cos: 2.2s (6.2% of total)
ival-sin: 2.0s (5.7% of total)
ival-log: 1.7s (4.7% of total)
const: 1.2s (3.4% of total)
ival-sqrt: 1.0s (2.8% of total)
ival-exp: 978.0ms (2.7% of total)
ival-tan: 903.0ms (2.5% of total)
ival-pow: 814.0ms (2.3% of total)
ival-pow2: 764.0ms (2.1% of total)
ival-fmax: 685.0ms (1.9% of total)
ival-hypot: 624.0ms (1.7% of total)
ival-sinu: 401.0ms (1.1% of total)
ival-cosu: 344.0ms (1% of total)
ival-neg: 315.0ms (0.9% of total)
ival-true: 241.0ms (0.7% of total)
ival-fmin: 239.0ms (0.7% of total)
exact: 184.0ms (0.5% of total)
ival-atan2: 119.0ms (0.3% of total)
ival-assert: 117.0ms (0.3% of total)
ival-asin: 113.0ms (0.3% of total)
ival-pi: 111.0ms (0.3% of total)
ival-atan: 94.0ms (0.3% of total)
ival-log1p: 92.0ms (0.3% of total)
ival-acos: 85.0ms (0.2% of total)
ival-fabs: 76.0ms (0.2% of total)
ival-sinh: 67.0ms (0.2% of total)
ival-if: 55.0ms (0.2% of total)
ival-e: 41.0ms (0.1% of total)
ival-floor: 40.0ms (0.1% of total)
ival-fmod: 37.0ms (0.1% of total)
ival-cbrt: 32.0ms (0.1% of total)
ival-expm1: 18.0ms (0.1% of total)
ival-copysign: 12.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-tanu: 11.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

preprocess2.4min (3.8%)

Memory
5 653.4MiB live, 160 314.6MiB allocated; 37.1s collecting garbage
Stop Event
1 094×iter limit
802×node limit
296×saturated
Compiler

Compiled 848 601 to 157 734 computations (81.4% saved)

prune2.3min (3.7%)

Memory
-310.8MiB live, 244 026.8MiB allocated; 44.6s collecting garbage
Counts
1 137 760 → 35 971
Compiler

Compiled 3 774 722 to 1 607 493 computations (57.4% saved)

analyze1.9min (3%)

Memory
617.7MiB live, 144 413.4MiB allocated; 45.8s collecting garbage
Algorithm
554×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.7%15.3%0%0%0%0
40.6%34.4%50.3%15.3%0%0%0%1
46.5%39%44.9%15.3%0%0.8%0%2
55%45%36.9%15.3%0%2.8%0%3
61.7%50%31%15.3%0%3.7%0%4
67.9%54.6%25.9%15.3%0%4.2%0%5
71.7%57.5%22.6%15.3%0%4.6%0%6
75.7%60.2%19.3%15.3%0%5.2%0%7
77.6%61.4%17.7%15.3%0%5.6%0%8
80.2%63.2%15.6%15.3%0%5.9%0%9
81.7%64.2%14.3%15.3%0%6.2%0%10
83.9%65.8%12.6%15.3%0%6.3%0%11
85%66.5%11.7%15.3%0%6.5%0%12
Compiler

Compiled 60 013 to 16 997 computations (71.7% saved)

bsearch1.2min (2%)

Memory
1 057.1MiB live, 89 793.8MiB allocated; 20.8s collecting garbage
Algorithm
3 356×binary-search
1 780×left-value
Stop Event
3 245×narrow-enough
111×predicate-same
Samples
34.8s230 446×0valid
9.1s19 904×1valid
1.6s3 098×2valid
1.2s10 589×0invalid
267.0ms343×3valid
57.0ms192×1invalid
18.0ms221×0exit
5.0ms12×2invalid
0.0ms1×4valid
Compiler

Compiled 1 988 415 to 1 307 420 computations (34.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.2s
ival-mult: 9.6s (29.9% of total)
ival-sub: 3.5s (10.8% of total)
ival-div: 2.7s (8.5% of total)
ival-add: 2.7s (8.5% of total)
ival-cos: 2.4s (7.4% of total)
ival-sin: 2.4s (7.3% of total)
adjust: 1.8s (5.5% of total)
ival-pow: 980.0ms (3% of total)
const: 930.0ms (2.9% of total)
ival-log: 848.0ms (2.6% of total)
ival-pow2: 793.0ms (2.5% of total)
ival-sqrt: 570.0ms (1.8% of total)
ival-exp: 538.0ms (1.7% of total)
ival-hypot: 354.0ms (1.1% of total)
ival-atan2: 326.0ms (1% of total)
ival-tan: 285.0ms (0.9% of total)
ival-neg: 223.0ms (0.7% of total)
ival-cosu: 220.0ms (0.7% of total)
ival-sinu: 200.0ms (0.6% of total)
ival-true: 193.0ms (0.6% of total)
exact: 136.0ms (0.4% of total)
ival-fabs: 125.0ms (0.4% of total)
ival-assert: 108.0ms (0.3% of total)
ival-acos: 97.0ms (0.3% of total)
ival-atan: 72.0ms (0.2% of total)
ival-e: 31.0ms (0.1% of total)
ival-cosh: 18.0ms (0.1% of total)
ival-pi: 13.0ms (0% of total)
ival-log1p: 12.0ms (0% of total)
ival-fmod: 12.0ms (0% of total)
ival-fmax: 11.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-asin: 10.0ms (0% of total)
ival-tanu: 7.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival-cbrt: 6.0ms (0% of total)
ival-if: 6.0ms (0% of total)
ival->=: 5.0ms (0% of total)
ival-expm1: 2.0ms (0% of total)

start452.0ms (0%)

Memory
-115.1MiB live, 198.9MiB allocated; 762ms collecting garbage

end4.0ms (0%)

Memory
11.2MiB live, 10.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...