Linear.Quaternion:$ctanh from linear-1.19.1.3

Time bar (total: 1.3s)

analyze68.0ms (5.2%)

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
0%0%99.9%0.1%0%0%0%3
25%25%74.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
37.5%37.4%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
56.3%56.2%43.7%0.1%0%0%0%8
65.6%65.5%34.3%0.1%0%0%0%9
76.6%76.5%23.4%0.1%0%0%0%10
76.6%76.5%23.4%0.1%0%0%0%11
82%81.9%17.9%0.1%0%0%0%12
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.1s (84.6%)

Results
995.0ms7591×body256valid
91.0ms663×body256infinite
1.0ms2×body1024valid
Bogosity

preprocess133.0ms (10.2%)

Algorithm
1×egg-herbie
Rules
477×distribute-lft-in
461×*-commutative
438×associate-/l*
386×times-frac
379×distribute-rgt-in
Problems
247×No Errors
9×(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037397
189397
2238397
3915397
44411397
57947397
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
(/.f64 (*.f64 (neg.f64 x) (/.f64 (sin.f64 y) y)) z)
(/.f64 (*.f64 x (/.f64 (sin.f64 (neg.f64 y)) (neg.f64 y))) z)
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) (neg.f64 z))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (/.f64 (sin.f64 y) y)) z))
(neg.f64 (/.f64 (*.f64 x (/.f64 (sin.f64 (neg.f64 y)) (neg.f64 y))) z))
(neg.f64 (/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) (neg.f64 z)))
(/.f64 (*.f64 y (/.f64 (sin.f64 x) x)) z)
(/.f64 (*.f64 z (/.f64 (sin.f64 y) y)) x)
(/.f64 (*.f64 x (/.f64 (sin.f64 z) z)) y)
Outputs
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x y) z))
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x y) z))
(/.f64 (*.f64 (neg.f64 x) (/.f64 (sin.f64 y) y)) z)
(/.f64 (neg.f64 x) (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 (neg.f64 x) z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 (neg.f64 x) z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x (neg.f64 y)) z))
(/.f64 (*.f64 x (/.f64 (sin.f64 (neg.f64 y)) (neg.f64 y))) z)
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x y) z))
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) (neg.f64 z))
(/.f64 (neg.f64 x) (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 (neg.f64 x) z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 (neg.f64 x) z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x (neg.f64 y)) z))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (/.f64 (sin.f64 y) y)) z))
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x y) z))
(neg.f64 (/.f64 (*.f64 x (/.f64 (sin.f64 (neg.f64 y)) (neg.f64 y))) z))
(/.f64 (neg.f64 x) (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 (neg.f64 x) z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 (neg.f64 x) z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x (neg.f64 y)) z))
(neg.f64 (/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) (neg.f64 z)))
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))
(*.f64 (sin.f64 y) (/.f64 (/.f64 x y) z))
(/.f64 (*.f64 y (/.f64 (sin.f64 x) x)) z)
(*.f64 (/.f64 y z) (/.f64 (sin.f64 x) x))
(*.f64 (/.f64 (sin.f64 x) x) (/.f64 y z))
(*.f64 y (/.f64 (sin.f64 x) (*.f64 x z)))
(/.f64 (*.f64 z (/.f64 (sin.f64 y) y)) x)
(/.f64 z (/.f64 x (/.f64 (sin.f64 y) y)))
(*.f64 (/.f64 z x) (/.f64 (sin.f64 y) y))
(*.f64 (/.f64 (sin.f64 y) y) (/.f64 z x))
(*.f64 z (/.f64 (sin.f64 y) (*.f64 x y)))
(*.f64 (sin.f64 y) (/.f64 z (*.f64 x y)))
(/.f64 (*.f64 x (/.f64 (sin.f64 z) z)) y)
(/.f64 x (/.f64 y (/.f64 (sin.f64 z) z)))
(/.f64 (/.f64 (sin.f64 z) z) (/.f64 y x))
(*.f64 (/.f64 (sin.f64 z) z) (/.f64 x y))
Symmetry

(abs y)

(negabs x)

(negabs z)

Compiler

Compiled 27 to 8 computations (70.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...