Herbie run

Date:Friday, May 16th, 2025
Commit:776a689f on new-rules-taylor-LAST
Seed:2025136
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:77 612.4 MB

Time bar (total: 1.3min)

sample47.4s (63%)

Memory
889.0MiB live, 47 394.0MiB allocated; 15.3s collecting garbage
Samples
19.1s21 089×5exit
7.5s39 020×1valid
7.4s109 890×0valid
4.8s16 210×2valid
667.0ms5 853×0invalid
255.0ms1 178×1exit
125.0ms1 408×0exit
1.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 33.0s
ival-exp: 7.2s (21.8% of total)
ival-cos: 5.3s (16% of total)
adjust: 3.7s (11.2% of total)
ival-pow: 3.1s (9.5% of total)
ival-log: 1.7s (5% of total)
ival-sqrt: 1.6s (4.7% of total)
ival-tan: 1.5s (4.7% of total)
ival-mult!: 1.5s (4.7% of total)
ival-fmod: 1.4s (4.4% of total)
ival-sinh: 1.2s (3.7% of total)
ival-sin: 1.1s (3.3% of total)
ival-div!: 809.0ms (2.5% of total)
ival-pow2: 769.0ms (2.3% of total)
ival-acos: 692.0ms (2.1% of total)
ival-sub!: 409.0ms (1.2% of total)
ival-add!: 322.0ms (1% of total)
ival-hypot: 245.0ms (0.7% of total)
ival-neg: 225.0ms (0.7% of total)
ival-atan: 78.0ms (0.2% of total)
ival-<=: 45.0ms (0.1% of total)
ival-and: 31.0ms (0.1% of total)
ival-or: 14.0ms (0% of total)
ival-assert: 4.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-<: 2.0ms (0% of total)
Bogosity

rewrite8.8s (11.6%)

Memory
303.6MiB live, 8 523.4MiB allocated; 2.3s collecting garbage
Stop Event
212×iter-limit
40×node-limit
29×unsound
3×saturated
Counts
3 592 → 30 274

regimes3.9s (5.2%)

Memory
61.6MiB live, 4 638.0MiB allocated; 799ms collecting garbage
Counts
2 684 → 118
Calls

55 calls:

528.0ms
a
503.0ms
b
409.0ms
r
381.0ms
x
224.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1 165 to 1 510 computations (-29.6% saved)

eval3.5s (4.6%)

Memory
-144.7MiB live, 5 107.6MiB allocated; 1.1s collecting garbage
Compiler

Compiled 411 569 to 107 062 computations (74% saved)

preprocess2.7s (3.6%)

Memory
-234.5MiB live, 2 620.3MiB allocated; 779ms collecting garbage
Stop Event
19×node-limit
1×saturated
Compiler

Compiled 5 500 to 4 757 computations (13.5% saved)

derivations2.3s (3%)

Memory
-216.2MiB live, 1 494.3MiB allocated; 1.0s collecting garbage
Stop Event
14×fuel
6×done
Compiler

Compiled 967 to 659 computations (31.9% saved)

analyze2.2s (2.9%)

Memory
10.2MiB live, 1 993.0MiB allocated; 1.0s collecting garbage
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

series2.1s (2.8%)

Memory
18.1MiB live, 2 595.3MiB allocated; 569ms collecting garbage
Counts
508 → 2 082
Calls

81 calls:

TimeVariablePointExpression
247.0ms
x
@inf
((- (neg (log (* (/ x (sinh x)) 1/2))) (log 2)) (neg (log (* (/ x (sinh x)) 1/2))) (log (* (/ x (sinh x)) 1/2)) (* (/ x (sinh x)) 1/2) (/ x (sinh x)) x (sinh x) 1/2 (log 2) 2 (neg (log (* (fabs (/ -1 (sinh x))) x))) (log (* (fabs (/ -1 (sinh x))) x)) (* (fabs (/ -1 (sinh x))) x) (fabs (/ -1 (sinh x))) (/ -1 (sinh x)) -1 (neg (log (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)))))) (log (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2))))) (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)))) (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2))) (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)) (exp x) (* (exp (neg x)) -1/2) (exp (neg x)) (neg x) -1/2 (- (log (* 2 (sinh x))) (/ (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log (/ x 2)))) (log (* 2 (sinh x))) (* 2 (sinh x)) (/ (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log (/ x 2))) (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log x) (* (log 1/2) (log 2)) (log 1/2) (log (/ x 2)) (/ x 2) (log (/ (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) x)) (/ (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) x) (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (pow (* (exp x) 1/2) 3) (* (exp x) 1/2) 3 (pow (* (exp (neg x)) 1/2) 3) (* (exp (neg x)) 1/2) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2)))) (* 1/4 (exp x)) 1/4 (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))) (exp (* (neg x) 2)) (* (neg x) 2) (exp (* (- (log 1/2) x) 2)) (* (- (log 1/2) x) 2) (- (log 1/2) x))
154.0ms
x
@inf
((* (* (fmod (exp x) (sqrt (cos x))) (/ 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)))) (- (* (cosh x) (cosh x)) (/ (sinh x) (exp x)))) (* (fmod (exp x) (sqrt (cos x))) (/ 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)))) (fmod (exp x) (sqrt (cos x))) (exp x) x (sqrt (cos x)) (cos x) (/ 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x))) 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)) (- (cosh (+ x x)) (* (sinh x) (cosh x))) (cosh (+ x x)) (+ x x) (* (sinh x) (cosh x)) (sinh x) (cosh x) (- (* (cosh x) (cosh x)) (/ (sinh x) (exp x))) (* (cosh x) (cosh x)) (/ (sinh x) (exp x)) (/ (* (fmod (exp x) (sqrt (cos x))) (* (+ (sinh x) (cosh x)) (- (sinh x) (cosh x)))) (neg (exp x))) (* (fmod (exp x) (sqrt (cos x))) (* (+ (sinh x) (cosh x)) (- (sinh x) (cosh x)))) (* (+ (sinh x) (cosh x)) (- (sinh x) (cosh x))) (+ (sinh x) (cosh x)) (- (sinh x) (cosh x)) (neg (exp x)) (/ (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (sinh x) (exp x)) 2) (pow (cosh x) 4))) (* (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)) (neg (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x)))))) (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (sinh x) (exp x)) 2) (pow (cosh x) 4))) (- (pow (/ (sinh x) (exp x)) 2) (pow (cosh x) 4)) (pow (/ (sinh x) (exp x)) 2) 2 (pow (cosh x) 4) 4 (* (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)) (neg (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x))))) (neg (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x)))) (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x))) (/ (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (pow (cosh x) 4))) (* (* (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (exp x)) (neg (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x)))))) (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (pow (cosh x) 4))) (- (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (pow (cosh x) 4)) (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) (/ (- (exp x) (exp (neg x))) 2) (- (exp x) (exp (neg x))) (exp (neg x)) (neg x) (* (* (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (exp x)) (neg (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x))))) (* (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (exp x)) (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2)) (neg (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x)))) (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x))) (* (/ (fmod (exp x) (sqrt (cos x))) (+ (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (pow (cosh x) 3))) (+ (* (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) (neg (exp (neg x)))) (* (cosh x) (cosh x)))) (/ (fmod (exp x) (sqrt (cos x))) (+ (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (pow (cosh x) 3))) (+ (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (pow (cosh x) 3)) (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (cosh (log (sinh x))) (log (sinh x)) (* (sinh (log (sinh x))) (sinh (log (sinh x)))) (sinh (log (sinh x))) (- (cosh (log (sinh x))) (sinh (log (sinh x)))) 3 (pow (cosh x) 3) (+ (* (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) (neg (exp (neg x)))) (* (cosh x) (cosh x))) (neg (exp (neg x))))
154.0ms
x
@-inf
((- (neg (log (* (/ x (sinh x)) 1/2))) (log 2)) (neg (log (* (/ x (sinh x)) 1/2))) (log (* (/ x (sinh x)) 1/2)) (* (/ x (sinh x)) 1/2) (/ x (sinh x)) x (sinh x) 1/2 (log 2) 2 (neg (log (* (fabs (/ -1 (sinh x))) x))) (log (* (fabs (/ -1 (sinh x))) x)) (* (fabs (/ -1 (sinh x))) x) (fabs (/ -1 (sinh x))) (/ -1 (sinh x)) -1 (neg (log (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)))))) (log (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2))))) (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)))) (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2))) (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)) (exp x) (* (exp (neg x)) -1/2) (exp (neg x)) (neg x) -1/2 (- (log (* 2 (sinh x))) (/ (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log (/ x 2)))) (log (* 2 (sinh x))) (* 2 (sinh x)) (/ (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log (/ x 2))) (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log x) (* (log 1/2) (log 2)) (log 1/2) (log (/ x 2)) (/ x 2) (log (/ (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) x)) (/ (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) x) (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (pow (* (exp x) 1/2) 3) (* (exp x) 1/2) 3 (pow (* (exp (neg x)) 1/2) 3) (* (exp (neg x)) 1/2) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2)))) (* 1/4 (exp x)) 1/4 (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))) (exp (* (neg x) 2)) (* (neg x) 2) (exp (* (- (log 1/2) x) 2)) (* (- (log 1/2) x) 2) (- (log 1/2) x))
125.0ms
x
@-inf
((* (* (fmod (exp x) (sqrt (cos x))) (/ 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)))) (- (* (cosh x) (cosh x)) (/ (sinh x) (exp x)))) (* (fmod (exp x) (sqrt (cos x))) (/ 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)))) (fmod (exp x) (sqrt (cos x))) (exp x) x (sqrt (cos x)) (cos x) (/ 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x))) 1 (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)) (- (cosh (+ x x)) (* (sinh x) (cosh x))) (cosh (+ x x)) (+ x x) (* (sinh x) (cosh x)) (sinh x) (cosh x) (- (* (cosh x) (cosh x)) (/ (sinh x) (exp x))) (* (cosh x) (cosh x)) (/ (sinh x) (exp x)) (/ (* (fmod (exp x) (sqrt (cos x))) (* (+ (sinh x) (cosh x)) (- (sinh x) (cosh x)))) (neg (exp x))) (* (fmod (exp x) (sqrt (cos x))) (* (+ (sinh x) (cosh x)) (- (sinh x) (cosh x)))) (* (+ (sinh x) (cosh x)) (- (sinh x) (cosh x))) (+ (sinh x) (cosh x)) (- (sinh x) (cosh x)) (neg (exp x)) (/ (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (sinh x) (exp x)) 2) (pow (cosh x) 4))) (* (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)) (neg (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x)))))) (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (sinh x) (exp x)) 2) (pow (cosh x) 4))) (- (pow (/ (sinh x) (exp x)) 2) (pow (cosh x) 4)) (pow (/ (sinh x) (exp x)) 2) 2 (pow (cosh x) 4) 4 (* (* (- (cosh (+ x x)) (* (sinh x) (cosh x))) (exp x)) (neg (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x))))) (neg (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x)))) (+ (* (cosh x) (cosh x)) (/ (sinh x) (exp x))) (/ (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (pow (cosh x) 4))) (* (* (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (exp x)) (neg (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x)))))) (* (fmod (exp x) (sqrt (cos x))) (- (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (pow (cosh x) 4))) (- (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (pow (cosh x) 4)) (pow (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) 2) (/ (/ (- (exp x) (exp (neg x))) 2) (exp x)) (/ (- (exp x) (exp (neg x))) 2) (- (exp x) (exp (neg x))) (exp (neg x)) (neg x) (* (* (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (exp x)) (neg (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x))))) (* (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (exp x)) (- (cosh (+ x x)) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2))) (* (cosh x) (/ (- (exp x) (exp (neg x))) 2)) (neg (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x)))) (+ (* (exp (neg x)) (/ (- (exp x) (exp (neg x))) 2)) (* (cosh x) (cosh x))) (* (/ (fmod (exp x) (sqrt (cos x))) (+ (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (pow (cosh x) 3))) (+ (* (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) (neg (exp (neg x)))) (* (cosh x) (cosh x)))) (/ (fmod (exp x) (sqrt (cos x))) (+ (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (pow (cosh x) 3))) (+ (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (pow (cosh x) 3)) (pow (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) 3) (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (cosh (log (sinh x))) (log (sinh x)) (* (sinh (log (sinh x))) (sinh (log (sinh x)))) (sinh (log (sinh x))) (- (cosh (log (sinh x))) (sinh (log (sinh x)))) 3 (pow (cosh x) 3) (+ (* (/ (- (* (cosh (log (sinh x))) (cosh (log (sinh x)))) (* (sinh (log (sinh x))) (sinh (log (sinh x))))) (- (cosh (log (sinh x))) (sinh (log (sinh x))))) (neg (exp (neg x)))) (* (cosh x) (cosh x))) (neg (exp (neg x))))
117.0ms
x
@0
((- (neg (log (* (/ x (sinh x)) 1/2))) (log 2)) (neg (log (* (/ x (sinh x)) 1/2))) (log (* (/ x (sinh x)) 1/2)) (* (/ x (sinh x)) 1/2) (/ x (sinh x)) x (sinh x) 1/2 (log 2) 2 (neg (log (* (fabs (/ -1 (sinh x))) x))) (log (* (fabs (/ -1 (sinh x))) x)) (* (fabs (/ -1 (sinh x))) x) (fabs (/ -1 (sinh x))) (/ -1 (sinh x)) -1 (neg (log (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)))))) (log (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2))))) (* (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)))) (fabs x) (/ -1 (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2))) (+ (* (exp x) 1/2) (* (exp (neg x)) -1/2)) (exp x) (* (exp (neg x)) -1/2) (exp (neg x)) (neg x) -1/2 (- (log (* 2 (sinh x))) (/ (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log (/ x 2)))) (log (* 2 (sinh x))) (* 2 (sinh x)) (/ (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log (/ x 2))) (+ (* (log x) (log x)) (* (log 1/2) (log 2))) (log x) (* (log 1/2) (log 2)) (log 1/2) (log (/ x 2)) (/ x 2) (log (/ (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) x)) (/ (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) x) (/ (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))))) (- (pow (* (exp x) 1/2) 3) (pow (* (exp (neg x)) 1/2) 3)) (pow (* (exp x) 1/2) 3) (* (exp x) 1/2) 3 (pow (* (exp (neg x)) 1/2) 3) (* (exp (neg x)) 1/2) (+ (* (* 1/4 (exp x)) (exp x)) (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2)))) (* 1/4 (exp x)) 1/4 (+ (* (exp (* (neg x) 2)) 1/4) (exp (* (- (log 1/2) x) 2))) (exp (* (neg x) 2)) (* (neg x) 2) (exp (* (- (log 1/2) x) 2)) (* (- (log 1/2) x) 2) (- (log 1/2) x))

prune2.0s (2.7%)

Memory
184.3MiB live, 2 837.0MiB allocated; 464ms collecting garbage
Counts
26 215 → 1 387
Compiler

Compiled 50 244 to 35 253 computations (29.8% saved)

bsearch428.0ms (0.6%)

Memory
30.1MiB live, 407.6MiB allocated; 84ms collecting garbage
Algorithm
19×binary-search
7×left-value
Stop Event
19×narrow-enough
Samples
183.0ms884×1valid
66.0ms732×0valid
52.0ms112×2valid
2.0ms32×0exit
Compiler

Compiled 6 229 to 6 232 computations (-0% saved)

Precisions
Click to see histograms. Total time spent on operations: 206.0ms
ival-tan: 114.0ms (55.4% of total)
adjust: 25.0ms (12.1% of total)
ival-log: 14.0ms (6.8% of total)
ival-add!: 11.0ms (5.3% of total)
ival-cos: 8.0ms (3.9% of total)
ival-sinh: 6.0ms (2.9% of total)
ival-pow: 6.0ms (2.9% of total)
ival-exp: 5.0ms (2.4% of total)
ival-div!: 4.0ms (1.9% of total)
ival-sub!: 4.0ms (1.9% of total)
ival-sin: 4.0ms (1.9% of total)
ival-mult!: 3.0ms (1.5% of total)
ival-neg: 2.0ms (1% of total)

start1.0ms (0%)

Memory
1.7MiB live, 1.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...