Pow x0 cos Mul x0 Mul sec Pow atanh x3 asech x0 -0.995884773662551 
Mul Pow x0 Add cos Mul x0 Mul sec Pow atanh x3 asech x0 -0.995884773662551 -1 Add cos Mul x0 Mul sec Pow atanh x3 asech x0 -0.995884773662551 Mul Mul x0 log x0 Mul Mul -1 sin Mul x0 Mul sec Pow atanh x3 asech x0 -0.995884773662551 Add Mul sec Pow atanh x3 asech x0 -0.995884773662551 Mul x0 Mul -0.995884773662551 Mul Mul tan Pow atanh x3 asech x0 sec Pow atanh x3 asech x0 Mul Pow atanh x3 Add asech x0 -1 Mul Mul atanh x3 log atanh x3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 