Linear.Quaternion:$csin from linear-1.19.1.3

Time bar (total: 3.6s)

analyze20.0ms (0.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
93.8%93.7%6.2%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
96.9%96.8%3.1%0.1%0%0%0%12
Compiler

Compiled 10 to 7 computations (30% saved)

sample2.3s (62.8%)

Results
1.2s4104×body256infinite
1.0s4152×body256valid
Bogosity

preprocess174.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
1586×fma-neg
896×associate-/r/
778×div-sub
674×associate-*r*
622×sub-neg
FPErrors
Click to see full error table
truthopredexupredexsubexpr
2560-0-#f
00-0-x
00-0-(/.f64 (sinh.f64 y) y)
00-0-(cos.f64 x)
00-0-(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
00-0-y
00-0-(sinh.f64 y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025218
165218
2163218
3504218
41981218
56261218
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y)))
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y)))
(neg.f64 (*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y))))
(*.f64 (cos.f64 y) (/.f64 (sinh.f64 x) x))
Outputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y)))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y)))
(*.f64 (cos.f64 x) (neg.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (/.f64 (sinh.f64 y) y) (neg.f64 (cos.f64 x)))
(*.f64 (cos.f64 x) (/.f64 (neg.f64 (sinh.f64 y)) y))
(*.f64 (sinh.f64 y) (/.f64 (cos.f64 x) (neg.f64 y)))
(neg.f64 (*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y))))
(*.f64 (cos.f64 x) (neg.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (/.f64 (sinh.f64 y) y) (neg.f64 (cos.f64 x)))
(*.f64 (cos.f64 x) (/.f64 (neg.f64 (sinh.f64 y)) y))
(*.f64 (sinh.f64 y) (/.f64 (cos.f64 x) (neg.f64 y)))
(*.f64 (cos.f64 y) (/.f64 (sinh.f64 x) x))
(*.f64 (sinh.f64 x) (/.f64 (cos.f64 y) x))
Symmetry

(abs x)

(abs y)

Compiler

Compiled 49 to 20 computations (59.2% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
▶100.0%
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize38.0ms (1%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(/.f64 (sinh.f64 y) y)
Compiler

Compiled 20 to 7 computations (65% saved)

series4.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
2.0ms
y
@-inf
(/.f64 (sinh.f64 y) y)
1.0ms
y
@inf
(/.f64 (sinh.f64 y) y)
1.0ms
y
@0
(/.f64 (sinh.f64 y) y)

rewrite185.0ms (5.1%)

Algorithm
1×batch-egg-rewrite
Rules
542×unpow-prod-down
388×cbrt-prod
382×log-prod
379×log1p-expm1-u
379×expm1-log1p-u
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
17417
299517
Stop Event
1×node limit
Counts
1 → 64
Calls
Call 1
Inputs
(/.f64 (sinh.f64 y) y)
Outputs
(+.f64 0 (/.f64 (sinh.f64 y) y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(-.f64 (+.f64 1 (/.f64 (sinh.f64 y) y)) 1)
(*.f64 (sinh.f64 y) (/.f64 1 y))
(*.f64 (/.f64 (sinh.f64 y) y) 1)
(*.f64 (/.f64 (sinh.f64 y) y) (log.f64 (E.f64)))
(*.f64 1 (/.f64 (sinh.f64 y) y))
(*.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) (*.f64 (cbrt.f64 (sinh.f64 y)) (/.f64 1 y)))
(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 2) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (sqrt.f64 (sinh.f64 y)) (*.f64 (sqrt.f64 (sinh.f64 y)) (/.f64 1 y)))
(*.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (neg.f64 (sinh.f64 y)) (/.f64 1 (neg.f64 y)))
(*.f64 (/.f64 1 y) (sinh.f64 y))
(*.f64 (/.f64 1 y) (pow.f64 (/.f64 1 (sinh.f64 y)) -1))
(*.f64 (pow.f64 (cbrt.f64 y) -2) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(*.f64 (pow.f64 y -1/2) (/.f64 (sinh.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) 1) (/.f64 (cbrt.f64 (sinh.f64 y)) y))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) 1) (/.f64 (sqrt.f64 (sinh.f64 y)) y))
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (sinh.f64 y)) (cbrt.f64 y)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3))
(*.f64 (pow.f64 1 1/3) (/.f64 (sinh.f64 y) y))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) (sinh.f64 y)) 1/3) (/.f64 1 (cbrt.f64 y)))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)) -1) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (pow.f64 (sinh.f64 y) -1/2) -1) (pow.f64 (/.f64 y (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sinh.f64 y)) -1))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) (pow.f64 (sinh.f64 y) 2))) -1) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (sinh.f64 y))) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) 1) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sinh.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (sinh.f64 y)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) -1) 1/2)
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) (sinh.f64 y))) (/.f64 1 (cbrt.f64 y)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(pow.f64 (/.f64 (sinh.f64 y) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 3)
(pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 2)
(pow.f64 (/.f64 y (sinh.f64 y)) -1)
(pow.f64 (E.f64) (log.f64 (/.f64 (sinh.f64 y) y)))
(pow.f64 (/.f64 (/.f64 y (sinh.f64 y)) 1) -1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 (sinh.f64 y) y)))) (sqrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))))
(neg.f64 (/.f64 (sinh.f64 y) (neg.f64 y)))
(sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2))
(log.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))
(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
(cbrt.f64 (/.f64 (pow.f64 (neg.f64 (sinh.f64 y)) 3) (pow.f64 (neg.f64 y) 3)))
(expm1.f64 (log1p.f64 (/.f64 (sinh.f64 y) y)))
(exp.f64 (log.f64 (/.f64 (sinh.f64 y) y)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (sinh.f64 y) y))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sinh.f64 y))) -1))
(log1p.f64 (expm1.f64 (/.f64 (sinh.f64 y) y)))

simplify93.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
1174×log-prod
874×times-frac
810×associate-*r/
774×fma-def
738×unswap-sqr
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02212330
15372236
216022166
376082166
Stop Event
1×node limit
Counts
76 → 98
Calls
Call 1
Inputs
1
(+.f64 1 (*.f64 1/6 (pow.f64 y 2)))
(+.f64 1 (+.f64 (*.f64 1/120 (pow.f64 y 4)) (*.f64 1/6 (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 1/5040 (pow.f64 y 6)) (+.f64 (*.f64 1/120 (pow.f64 y 4)) (*.f64 1/6 (pow.f64 y 2)))))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(+.f64 0 (/.f64 (sinh.f64 y) y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(-.f64 (+.f64 1 (/.f64 (sinh.f64 y) y)) 1)
(*.f64 (sinh.f64 y) (/.f64 1 y))
(*.f64 (/.f64 (sinh.f64 y) y) 1)
(*.f64 (/.f64 (sinh.f64 y) y) (log.f64 (E.f64)))
(*.f64 1 (/.f64 (sinh.f64 y) y))
(*.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) (*.f64 (cbrt.f64 (sinh.f64 y)) (/.f64 1 y)))
(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 2) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (sqrt.f64 (sinh.f64 y)) (*.f64 (sqrt.f64 (sinh.f64 y)) (/.f64 1 y)))
(*.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (neg.f64 (sinh.f64 y)) (/.f64 1 (neg.f64 y)))
(*.f64 (/.f64 1 y) (sinh.f64 y))
(*.f64 (/.f64 1 y) (pow.f64 (/.f64 1 (sinh.f64 y)) -1))
(*.f64 (pow.f64 (cbrt.f64 y) -2) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(*.f64 (pow.f64 y -1/2) (/.f64 (sinh.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) 1) (/.f64 (cbrt.f64 (sinh.f64 y)) y))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) 1) (/.f64 (sqrt.f64 (sinh.f64 y)) y))
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (sinh.f64 y)) (cbrt.f64 y)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3))
(*.f64 (pow.f64 1 1/3) (/.f64 (sinh.f64 y) y))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) (sinh.f64 y)) 1/3) (/.f64 1 (cbrt.f64 y)))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)) -1) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (pow.f64 (sinh.f64 y) -1/2) -1) (pow.f64 (/.f64 y (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sinh.f64 y)) -1))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) (pow.f64 (sinh.f64 y) 2))) -1) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (sinh.f64 y))) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) 1) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sinh.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (sinh.f64 y)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) -1) 1/2)
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) (sinh.f64 y))) (/.f64 1 (cbrt.f64 y)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(pow.f64 (/.f64 (sinh.f64 y) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 3)
(pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 2)
(pow.f64 (/.f64 y (sinh.f64 y)) -1)
(pow.f64 (E.f64) (log.f64 (/.f64 (sinh.f64 y) y)))
(pow.f64 (/.f64 (/.f64 y (sinh.f64 y)) 1) -1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 (sinh.f64 y) y)))) (sqrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))))
(neg.f64 (/.f64 (sinh.f64 y) (neg.f64 y)))
(sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2))
(log.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))
(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
(cbrt.f64 (/.f64 (pow.f64 (neg.f64 (sinh.f64 y)) 3) (pow.f64 (neg.f64 y) 3)))
(expm1.f64 (log1p.f64 (/.f64 (sinh.f64 y) y)))
(exp.f64 (log.f64 (/.f64 (sinh.f64 y) y)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (sinh.f64 y) y))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sinh.f64 y))) -1))
(log1p.f64 (expm1.f64 (/.f64 (sinh.f64 y) y)))
Outputs
1
(+.f64 1 (*.f64 1/6 (pow.f64 y 2)))
(fma.f64 1/6 (pow.f64 y 2) 1)
(+.f64 1 (+.f64 (*.f64 1/120 (pow.f64 y 4)) (*.f64 1/6 (pow.f64 y 2))))
(+.f64 1 (fma.f64 1/120 (pow.f64 y 4) (*.f64 1/6 (pow.f64 y 2))))
(+.f64 (fma.f64 1/6 (pow.f64 y 2) 1) (*.f64 1/120 (pow.f64 y 4)))
(fma.f64 1/6 (pow.f64 y 2) (fma.f64 1/120 (pow.f64 y 4) 1))
(+.f64 1 (+.f64 (*.f64 1/5040 (pow.f64 y 6)) (+.f64 (*.f64 1/120 (pow.f64 y 4)) (*.f64 1/6 (pow.f64 y 2)))))
(+.f64 1 (fma.f64 1/5040 (pow.f64 y 6) (fma.f64 1/120 (pow.f64 y 4) (*.f64 1/6 (pow.f64 y 2)))))
(+.f64 (fma.f64 1/5040 (pow.f64 y 6) (*.f64 1/120 (pow.f64 y 4))) (fma.f64 1/6 (pow.f64 y 2) 1))
(fma.f64 1/5040 (pow.f64 y 6) (fma.f64 1/6 (pow.f64 y 2) (fma.f64 1/120 (pow.f64 y 4) 1)))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))) y))
(*.f64 1/2 (/.f64 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))) y))
(/.f64 (fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y))) y)
(+.f64 0 (/.f64 (sinh.f64 y) y))
(/.f64 (sinh.f64 y) y)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))) 3)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))))
(-.f64 (+.f64 1 (/.f64 (sinh.f64 y) y)) 1)
(/.f64 (sinh.f64 y) y)
(*.f64 (sinh.f64 y) (/.f64 1 y))
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 (sinh.f64 y) y) 1)
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 (sinh.f64 y) y) (log.f64 (E.f64)))
(/.f64 (sinh.f64 y) y)
(*.f64 1 (/.f64 (sinh.f64 y) y))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) (*.f64 (cbrt.f64 (sinh.f64 y)) (/.f64 1 y)))
(/.f64 (sinh.f64 y) y)
(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 2))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 2) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)
(*.f64 (sqrt.f64 (sinh.f64 y)) (*.f64 (sqrt.f64 (sinh.f64 y)) (/.f64 1 y)))
(/.f64 (sinh.f64 y) y)
(*.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) (sqrt.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)
(*.f64 (neg.f64 (sinh.f64 y)) (/.f64 1 (neg.f64 y)))
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 1 y) (sinh.f64 y))
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 1 y) (pow.f64 (/.f64 1 (sinh.f64 y)) -1))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (cbrt.f64 y) -2) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(/.f64 (*.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 y))
(*.f64 (pow.f64 y -1/2) (/.f64 (sinh.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) 1) (/.f64 (cbrt.f64 (sinh.f64 y)) y))
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) 1) (/.f64 (sqrt.f64 (sinh.f64 y)) y))
(/.f64 (sinh.f64 y) y)
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (sinh.f64 y)) (cbrt.f64 y)))
(*.f64 (pow.f64 (cbrt.f64 y) -2) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(/.f64 (*.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 y))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 1 1/3) (/.f64 (sinh.f64 y) y))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))))
(*.f64 (cbrt.f64 (fabs.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2))) (cbrt.f64 (fabs.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2)) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) (sinh.f64 y)) 1/3) (/.f64 1 (cbrt.f64 y)))
(*.f64 (cbrt.f64 (*.f64 (sinh.f64 y) (pow.f64 (/.f64 (sinh.f64 y) y) 2))) (/.f64 1 (cbrt.f64 y)))
(/.f64 (cbrt.f64 (*.f64 (sinh.f64 y) (pow.f64 (/.f64 (sinh.f64 y) y) 2))) (cbrt.f64 y))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 4) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 8)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)) -1) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2))))
(/.f64 (*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 1) (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)))
(/.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (sinh.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sinh.f64 y))) -1))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (pow.f64 (sinh.f64 y) -1/2) -1) (pow.f64 (/.f64 y (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (/.f64 1 (pow.f64 (sinh.f64 y) -1/2)) (/.f64 1 (/.f64 y (sqrt.f64 (sinh.f64 y)))))
(/.f64 (*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) y) 1) (pow.f64 (sinh.f64 y) -1/2))
(/.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) y) (pow.f64 (sinh.f64 y) -1/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sinh.f64 y)) -1))
(*.f64 (pow.f64 (cbrt.f64 y) -2) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(/.f64 (*.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 y))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) (pow.f64 (sinh.f64 y) 2))) -1) (cbrt.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2))))
(/.f64 (*.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 1) (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)))
(/.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) (cbrt.f64 (pow.f64 (/.f64 y (sinh.f64 y)) 2)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (sinh.f64 y))) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1))
(*.f64 (pow.f64 (cbrt.f64 y) -2) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(/.f64 (*.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 y))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) 1) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sinh.f64 y)) -1))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (sinh.f64 y)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (sinh.f64 y))) -1))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (sinh.f64 y))) -1))
(/.f64 (sinh.f64 y) y)
(*.f64 (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) -1) 1/2)
(*.f64 1/2 (/.f64 1 (/.f64 y (*.f64 2 (sinh.f64 y)))))
(/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y))))
(*.f64 1/2 (/.f64 (sinh.f64 y) (/.f64 y 2)))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))))
(*.f64 (cbrt.f64 (fabs.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2))) (cbrt.f64 (fabs.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2)) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3/2)))
(*.f64 (cbrt.f64 (*.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) (sinh.f64 y))) (/.f64 1 (cbrt.f64 y)))
(*.f64 (cbrt.f64 (*.f64 (sinh.f64 y) (pow.f64 (/.f64 (sinh.f64 y) y) 2))) (/.f64 1 (cbrt.f64 y)))
(/.f64 (cbrt.f64 (*.f64 (sinh.f64 y) (pow.f64 (/.f64 (sinh.f64 y) y) 2))) (cbrt.f64 y))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (sinh.f64 y) y) (cbrt.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 4) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 8)) (cbrt.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))))
(pow.f64 (/.f64 (sinh.f64 y) y) 1)
(/.f64 (sinh.f64 y) y)
(pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y)) 3)
(/.f64 (sinh.f64 y) y)
(pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2) 1/2)
(/.f64 (sinh.f64 y) y)
(pow.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3) 1/3)
(/.f64 (sinh.f64 y) y)
(pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y)) 2)
(/.f64 (sinh.f64 y) y)
(pow.f64 (/.f64 y (sinh.f64 y)) -1)
(/.f64 (sinh.f64 y) y)
(pow.f64 (E.f64) (log.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)
(pow.f64 (/.f64 (/.f64 y (sinh.f64 y)) 1) -1)
(/.f64 (sinh.f64 y) y)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))) 2)) (cbrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 (sinh.f64 y) y)))) (sqrt.f64 (log.f64 (/.f64 (sinh.f64 y) y))))
(neg.f64 (/.f64 (sinh.f64 y) (neg.f64 y)))
(/.f64 (sinh.f64 y) y)
(sqrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 2))
(/.f64 (sinh.f64 y) y)
(log.f64 (exp.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)
(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
(/.f64 (sinh.f64 y) y)
(cbrt.f64 (/.f64 (pow.f64 (neg.f64 (sinh.f64 y)) 3) (pow.f64 (neg.f64 y) 3)))
(/.f64 (sinh.f64 y) y)
(expm1.f64 (log1p.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)
(exp.f64 (log.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (sinh.f64 y) y))) 3))
(/.f64 (sinh.f64 y) y)
(exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (sinh.f64 y) y))) 1/3))
(/.f64 (sinh.f64 y) y)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (sinh.f64 y) y))) 2))
(/.f64 (sinh.f64 y) y)
(exp.f64 (*.f64 (log.f64 (/.f64 y (sinh.f64 y))) -1))
(/.f64 (sinh.f64 y) y)
(log1p.f64 (expm1.f64 (/.f64 (sinh.f64 y) y)))
(/.f64 (sinh.f64 y) y)

eval26.0ms (0.7%)

Compiler

Compiled 1421 to 631 computations (55.6% saved)

prune15.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New96298
Fresh000
Picked011
Done000
Total96399
Accuracy
100.0%
Counts
99 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
▶100.0%
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
▶54.3%
(*.f64 (cos.f64 x) 1)
✓100.0%
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
▶100.0%
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
▶54.3%
(*.f64 (cos.f64 x) 1)
Compiler

Compiled 56 to 42 computations (25% saved)

localize267.0ms (7.3%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓99.8%
(/.f64 y (*.f64 2 (sinh.f64 y)))
Compiler

Compiled 48 to 26 computations (45.8% saved)

series2.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
y
@-inf
(/.f64 y (*.f64 2 (sinh.f64 y)))
1.0ms
y
@inf
(/.f64 y (*.f64 2 (sinh.f64 y)))
0.0ms
y
@0
(/.f64 y (*.f64 2 (sinh.f64 y)))

rewrite78.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
850×unpow-prod-down
540×log-prod
494×log1p-expm1-u
494×expm1-log1p-u
472×add-exp-log
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
19623
2131623
Stop Event
1×node limit
Counts
1 → 76
Calls
Call 1
Inputs
(/.f64 y (*.f64 2 (sinh.f64 y)))
Outputs
(+.f64 0 (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y))))) 2)) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(-.f64 (+.f64 1 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 1)
(*.f64 y (/.f64 1/2 (sinh.f64 y)))
(*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 1)
(*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) (log.f64 (E.f64)))
(*.f64 (neg.f64 y) (/.f64 1 (*.f64 (sinh.f64 y) -2)))
(*.f64 1 (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(*.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 1/2 (sinh.f64 y))))
(*.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1/2 (sinh.f64 y))))
(*.f64 (/.f64 1/2 (sinh.f64 y)) y)
(*.f64 (/.f64 1/2 (sinh.f64 y)) (pow.f64 (/.f64 1 y) -1))
(*.f64 (*.f64 y 1/2) (/.f64 1 (sinh.f64 y)))
(*.f64 1/2 (/.f64 y (sinh.f64 y)))
(*.f64 1/2 (pow.f64 (/.f64 (sinh.f64 y) y) -1))
(*.f64 (/.f64 1 (sinh.f64 y)) (*.f64 y 1/2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (/.f64 y (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (pow.f64 (*.f64 2 (sinh.f64 y)) -1/2) (/.f64 y (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (sinh.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sinh.f64 y)) (/.f64 (cbrt.f64 y) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (*.f64 2 (sinh.f64 y))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (/.f64 (cbrt.f64 y) (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (sinh.f64 y)))
(*.f64 (/.f64 (sqrt.f64 y) (sinh.f64 y)) (/.f64 (sqrt.f64 y) 2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (*.f64 2 (sinh.f64 y))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (*.f64 y 1/2) (*.f64 2 (sinh.f64 y))) 2)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2) 3) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3))
(*.f64 (pow.f64 1 1/3) (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2) y) 1/3) (cbrt.f64 (/.f64 1/2 (sinh.f64 y))))
(*.f64 (pow.f64 (pow.f64 (*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(*.f64 (pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2))) 2) -1) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (pow.f64 (/.f64 2 (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (sinh.f64 y) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 2 (sqrt.f64 y)) -1) (pow.f64 (/.f64 (sinh.f64 y) (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) (sqrt.f64 y)) -1) (pow.f64 (/.f64 2 (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) 1) -1) (*.f64 y 1/2))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 2 (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) -2) -1) (pow.f64 (/.f64 (*.f64 2 (sinh.f64 y)) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (pow.f64 y -1/2) -1) (pow.f64 (/.f64 (*.f64 2 (sinh.f64 y)) (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) y) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (sqrt.f64 y)) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) y) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1))
(pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 1)
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2)
(pow.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2)) -1)
(pow.f64 (E.f64) (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (*.f64 2 (sinh.f64 y)) 3)) 1/3)
(pow.f64 (/.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2)) 1) -1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2)) (cbrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))) (sqrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(neg.f64 (/.f64 y (*.f64 (sinh.f64 y) -2)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2))
(log.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (*.f64 2 (sinh.f64 y)) 3)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(exp.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2))) -1))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))

simplify64.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1194×associate-/l*
1036×fma-def
926×times-frac
908×unswap-sqr
572×associate-/r*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02563721
16553599
220372862
Stop Event
1×node limit
Counts
88 → 128
Calls
Call 1
Inputs
1/2
(+.f64 1/2 (*.f64 -1/12 (pow.f64 y 2)))
(+.f64 1/2 (+.f64 (*.f64 -1/12 (pow.f64 y 2)) (*.f64 7/720 (pow.f64 y 4))))
(+.f64 1/2 (+.f64 (*.f64 -1/12 (pow.f64 y 2)) (+.f64 (*.f64 -31/30240 (pow.f64 y 6)) (*.f64 7/720 (pow.f64 y 4)))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(+.f64 0 (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y))))) 2)) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(-.f64 (+.f64 1 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 1)
(*.f64 y (/.f64 1/2 (sinh.f64 y)))
(*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 1)
(*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) (log.f64 (E.f64)))
(*.f64 (neg.f64 y) (/.f64 1 (*.f64 (sinh.f64 y) -2)))
(*.f64 1 (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(*.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 1/2 (sinh.f64 y))))
(*.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1/2 (sinh.f64 y))))
(*.f64 (/.f64 1/2 (sinh.f64 y)) y)
(*.f64 (/.f64 1/2 (sinh.f64 y)) (pow.f64 (/.f64 1 y) -1))
(*.f64 (*.f64 y 1/2) (/.f64 1 (sinh.f64 y)))
(*.f64 1/2 (/.f64 y (sinh.f64 y)))
(*.f64 1/2 (pow.f64 (/.f64 (sinh.f64 y) y) -1))
(*.f64 (/.f64 1 (sinh.f64 y)) (*.f64 y 1/2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (/.f64 y (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (pow.f64 (*.f64 2 (sinh.f64 y)) -1/2) (/.f64 y (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (sinh.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sinh.f64 y)) (/.f64 (cbrt.f64 y) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (*.f64 2 (sinh.f64 y))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (/.f64 (cbrt.f64 y) (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (sinh.f64 y)))
(*.f64 (/.f64 (sqrt.f64 y) (sinh.f64 y)) (/.f64 (sqrt.f64 y) 2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (*.f64 2 (sinh.f64 y))))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (*.f64 y 1/2) (*.f64 2 (sinh.f64 y))) 2)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2) 3) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3))
(*.f64 (pow.f64 1 1/3) (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2) y) 1/3) (cbrt.f64 (/.f64 1/2 (sinh.f64 y))))
(*.f64 (pow.f64 (pow.f64 (*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(*.f64 (pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2))) 2) -1) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (pow.f64 (/.f64 2 (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (sinh.f64 y) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 2 (sqrt.f64 y)) -1) (pow.f64 (/.f64 (sinh.f64 y) (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) (sqrt.f64 y)) -1) (pow.f64 (/.f64 2 (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) 1) -1) (*.f64 y 1/2))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 2 (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) -2) -1) (pow.f64 (/.f64 (*.f64 2 (sinh.f64 y)) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (pow.f64 y -1/2) -1) (pow.f64 (/.f64 (*.f64 2 (sinh.f64 y)) (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) y) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (sqrt.f64 y)) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) y) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1))
(pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 1)
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2)
(pow.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2)) -1)
(pow.f64 (E.f64) (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (*.f64 2 (sinh.f64 y)) 3)) 1/3)
(pow.f64 (/.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2)) 1) -1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2)) (cbrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))) (sqrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(neg.f64 (/.f64 y (*.f64 (sinh.f64 y) -2)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2))
(log.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (*.f64 2 (sinh.f64 y)) 3)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(exp.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2))) -1))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
Outputs
1/2
(+.f64 1/2 (*.f64 -1/12 (pow.f64 y 2)))
(fma.f64 -1/12 (pow.f64 y 2) 1/2)
(+.f64 1/2 (+.f64 (*.f64 -1/12 (pow.f64 y 2)) (*.f64 7/720 (pow.f64 y 4))))
(+.f64 1/2 (fma.f64 -1/12 (pow.f64 y 2) (*.f64 7/720 (pow.f64 y 4))))
(+.f64 (fma.f64 -1/12 (pow.f64 y 2) 1/2) (*.f64 7/720 (pow.f64 y 4)))
(fma.f64 -1/12 (pow.f64 y 2) (fma.f64 7/720 (pow.f64 y 4) 1/2))
(+.f64 1/2 (+.f64 (*.f64 -1/12 (pow.f64 y 2)) (+.f64 (*.f64 -31/30240 (pow.f64 y 6)) (*.f64 7/720 (pow.f64 y 4)))))
(+.f64 1/2 (fma.f64 -1/12 (pow.f64 y 2) (fma.f64 -31/30240 (pow.f64 y 6) (*.f64 7/720 (pow.f64 y 4)))))
(+.f64 (fma.f64 -1/12 (pow.f64 y 2) 1/2) (fma.f64 7/720 (pow.f64 y 4) (*.f64 -31/30240 (pow.f64 y 6))))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(+.f64 0 (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y))))) 2)) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(*.f64 3 (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(*.f64 2 (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))))
(-.f64 (+.f64 1 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 1)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 y (/.f64 1/2 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 1)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) (log.f64 (E.f64)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (neg.f64 y) (/.f64 1 (*.f64 (sinh.f64 y) -2)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 1 (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 1/2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1/2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 1/2 (sinh.f64 y)) y)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 1/2 (sinh.f64 y)) (pow.f64 (/.f64 1 y) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (*.f64 y 1/2) (/.f64 1 (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 1/2 (/.f64 y (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 1/2 (pow.f64 (/.f64 (sinh.f64 y) y) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 1 (sinh.f64 y)) (*.f64 y 1/2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (/.f64 y (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (pow.f64 (*.f64 2 (sinh.f64 y)) -1/2) (/.f64 y (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 2) (/.f64 (cbrt.f64 y) (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sinh.f64 y)) (/.f64 (cbrt.f64 y) 2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (*.f64 2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (cbrt.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y)))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)))
(/.f64 (*.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (/.f64 (cbrt.f64 y) (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(/.f64 (/.f64 y (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (sqrt.f64 (*.f64 2 (sinh.f64 y))))
(/.f64 y (*.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (sqrt.f64 y) 2) (/.f64 (sqrt.f64 y) (sinh.f64 y)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 (sqrt.f64 y) (sinh.f64 y)) (/.f64 (sqrt.f64 y) 2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (*.f64 2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2)) (/.f64 (sqrt.f64 y) (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (/.f64 y (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (/.f64 (*.f64 y 1/2) (*.f64 2 (sinh.f64 y))) 2)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2) 3) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 1 1/3) (*.f64 y (/.f64 1/2 (sinh.f64 y))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3)) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))) 3))))
(*.f64 (cbrt.f64 (sqrt.f64 (*.f64 1/8 (pow.f64 (/.f64 y (sinh.f64 y)) 3)))) (cbrt.f64 (sqrt.f64 (*.f64 1/8 (pow.f64 (/.f64 y (sinh.f64 y)) 3)))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) 3/2)) (cbrt.f64 (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) 3/2)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2) y) 1/3) (cbrt.f64 (/.f64 1/2 (sinh.f64 y))))
(*.f64 (cbrt.f64 (*.f64 y (pow.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))) 2))) (cbrt.f64 (/.f64 1/2 (sinh.f64 y))))
(*.f64 (cbrt.f64 (*.f64 y (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) 2))) (cbrt.f64 (/.f64 1/2 (sinh.f64 y))))
(*.f64 (pow.f64 (pow.f64 (*.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))) (cbrt.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y))))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y)))) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y))))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y)))) 8)))
(*.f64 (pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))))))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (*.f64 2 (sinh.f64 y))) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y))))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2))) 2) -1) (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(*.f64 (cbrt.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y)))) (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) (*.f64 1/2 y))) 2)))
(/.f64 (*.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y)))) 1) (pow.f64 (cbrt.f64 (/.f64 (sinh.f64 y) (*.f64 1/2 y))) 2))
(/.f64 (cbrt.f64 (/.f64 y (*.f64 2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 (*.f64 2 (/.f64 (sinh.f64 y) y))) 2))
(*.f64 (pow.f64 (/.f64 2 (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (sinh.f64 y) (cbrt.f64 y)) -1))
(*.f64 (/.f64 1 (/.f64 2 (pow.f64 (cbrt.f64 y) 2))) (/.f64 1 (/.f64 (sinh.f64 y) (cbrt.f64 y))))
(*.f64 (*.f64 1/2 (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 1 (sinh.f64 y)) (cbrt.f64 y)))
(/.f64 (*.f64 1/2 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sinh.f64 y) (cbrt.f64 y)))
(*.f64 (pow.f64 (/.f64 2 (sqrt.f64 y)) -1) (pow.f64 (/.f64 (sinh.f64 y) (sqrt.f64 y)) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) (sqrt.f64 y)) -1) (pow.f64 (/.f64 2 (sqrt.f64 y)) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) 1) -1) (*.f64 y 1/2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (/.f64 (sinh.f64 y) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 2 (cbrt.f64 y)) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) -2) -1) (pow.f64 (/.f64 (*.f64 2 (sinh.f64 y)) (cbrt.f64 y)) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(*.f64 (pow.f64 (pow.f64 y -1/2) -1) (pow.f64 (/.f64 (*.f64 2 (sinh.f64 y)) (sqrt.f64 y)) -1))
(*.f64 (/.f64 1 (pow.f64 y -1/2)) (/.f64 1 (/.f64 (*.f64 2 (sinh.f64 y)) (sqrt.f64 y))))
(*.f64 (/.f64 1 (pow.f64 y -1/2)) (*.f64 1/2 (/.f64 (sqrt.f64 y) (sinh.f64 y))))
(/.f64 (/.f64 (sqrt.f64 y) (*.f64 2 (sinh.f64 y))) (pow.f64 y -1/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) y) -1))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (/.f64 y (cbrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (pow.f64 (cbrt.f64 y) 2))) (/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (cbrt.f64 (*.f64 2 (sinh.f64 y)))) (cbrt.f64 y)) 1) (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (pow.f64 (cbrt.f64 y) 2)))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (sqrt.f64 y)) -1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (sqrt.f64 y))) (/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (cbrt.f64 (*.f64 2 (sinh.f64 y)))) (sqrt.f64 y)) 1) (/.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) 2) (sqrt.f64 y)))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) -2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) y) -1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (/.f64 (cbrt.f64 y) (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(/.f64 (/.f64 y (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (sqrt.f64 (*.f64 2 (sinh.f64 y))))
(/.f64 y (*.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 (*.f64 2 (sinh.f64 y)))))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (pow.f64 (cbrt.f64 y) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y)) -1))
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (pow.f64 (cbrt.f64 y) 2))) (/.f64 1 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (cbrt.f64 y))))
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 y) 2)) (*.f64 (/.f64 1 (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (cbrt.f64 y)))
(*.f64 (/.f64 (*.f64 (/.f64 1 (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (pow.f64 (cbrt.f64 y) 2)) (sqrt.f64 (*.f64 2 (sinh.f64 y)))) (cbrt.f64 y))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -1))
(pow.f64 (/.f64 (sqrt.f64 (*.f64 2 (sinh.f64 y))) (sqrt.f64 y)) -2)
(pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 1)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 3)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2) 1/2)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3) 1/3)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))) 2)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2)) -1)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (E.f64) (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (*.f64 2 (sinh.f64 y)) 3)) 1/3)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (/.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2)) 1) -1)
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2)) (cbrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))))) 2)) (cbrt.f64 (log.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 y (*.f64 2 (sinh.f64 y))))) 2)) (cbrt.f64 (log.f64 (/.f64 y (*.f64 2 (sinh.f64 y))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))) (sqrt.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y)))))) (sqrt.f64 (log.f64 (*.f64 1/2 (/.f64 y (sinh.f64 y))))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 y (*.f64 2 (sinh.f64 y)))))) (sqrt.f64 (log.f64 (/.f64 y (*.f64 2 (sinh.f64 y))))))
(neg.f64 (/.f64 y (*.f64 (sinh.f64 y) -2)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(sqrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(log.f64 (sqrt.f64 (exp.f64 (/.f64 y (sinh.f64 y)))))
(cbrt.f64 (pow.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))) 3))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (*.f64 2 (sinh.f64 y)) 3)))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(expm1.f64 (log1p.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(exp.f64 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 3))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 1/3))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y))))) 2))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(exp.f64 (*.f64 (log.f64 (/.f64 (sinh.f64 y) (*.f64 y 1/2))) -1))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))
(log1p.f64 (expm1.f64 (*.f64 y (/.f64 1/2 (sinh.f64 y)))))
(/.f64 y (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(/.f64 y (*.f64 2 (sinh.f64 y)))

eval51.0ms (1.4%)

Compiler

Compiled 2490 to 1558 computations (37.4% saved)

prune19.0ms (0.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1280128
Fresh000
Picked022
Done011
Total1283131
Accuracy
100.0%
Counts
131 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
✓100.0%
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
✓54.3%
(*.f64 (cos.f64 x) 1)
Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes16.0ms (0.4%)

Counts
3 → 1
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) 1)
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
Outputs
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
Calls

5 calls:

4.0ms
y
4.0ms
x
3.0ms
(cos.f64 x)
3.0ms
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
2.0ms
(/.f64 (sinh.f64 y) y)
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
100.0%1(cos.f64 x)
100.0%1(/.f64 (sinh.f64 y) y)
Compiler

Compiled 49 to 31 computations (36.7% saved)

regimes15.0ms (0.4%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) 1)
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
Outputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
Calls

5 calls:

3.0ms
x
3.0ms
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
3.0ms
y
3.0ms
(cos.f64 x)
2.0ms
(/.f64 (sinh.f64 y) y)
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
100.0%1(cos.f64 x)
100.0%1(/.f64 (sinh.f64 y) y)
Compiler

Compiled 38 to 25 computations (34.2% saved)

regimes9.0ms (0.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) 1)
Outputs
(*.f64 (cos.f64 x) 1)
Calls

3 calls:

3.0ms
(cos.f64 x)
3.0ms
y
3.0ms
x
Results
AccuracySegmentsBranch
54.3%1x
54.3%1y
54.3%1(cos.f64 x)
Compiler

Compiled 16 to 12 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×*-commutative
3×1-exp
2×*-rgt-identity
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02080
12980
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) 1)
Outputs
(*.f64 (cos.f64 x) (/.f64 1/2 (/.f64 y (*.f64 2 (sinh.f64 y)))))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) 1)
(cos.f64 x)
Compiler

Compiled 26 to 19 computations (26.9% saved)

soundness231.0ms (6.3%)

Rules
1174×log-prod
874×times-frac
810×associate-*r/
774×fma-def
738×unswap-sqr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
17417
299517
02212330
15372236
216022166
376082166
Stop Event
1×node limit
1×node limit
Compiler

Compiled 154 to 88 computations (42.9% saved)

end0.0ms (0%)

preprocess42.0ms (1.1%)

Remove

(abs y)

(abs x)

Compiler

Compiled 270 to 196 computations (27.4% saved)

Profiling

Loading profile data...