Hyperbolic sine

Time bar (total: 6.8s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 20 to 16 computations (20% saved)

sample6.7s (98.8%)

Results
205.0ms4271×0valid-rival-baseline
234.0ms4269×0valid-rival
256.0ms2048×1valid-rival-baseline
333.0ms2048×1valid-rival
206.0ms2048×1valid-sollya
645.0ms1939×2valid-rival
563.0ms1939×2valid-rival-baseline
465.0ms1939×2valid-sollya
24.0ms186×0valid-sollya
Bogosity

preprocess57.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
96×fma-define
95×fma-neg
27×sub-neg
23×distribute-neg-frac
20×div-sub
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
017124
145124
298124
3199124
4413116
5621116
6695116
7696116
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64)))
Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal -1/2 binary64))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (exp.f64 x)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal -1/2 binary64))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (exp.f64 x)))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal 2 binary64))
(fma.f64 (exp.f64 x) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal -1/2 binary64))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (exp.f64 x)))
Symmetry

(negabs x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
56.8%
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×sub-neg
3×+-commutative
2×*-commutative
2×neg-sub0
2×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11831
22331
32631
42731
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 9 to 7 computations (22.2% saved)

preprocess21.0ms (0.3%)

Remove

(negabs x)

Compiler

Compiled 72 to 56 computations (22.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...