Mul x0 exp Mul sec cos Mul x0 Mul coth x3 acos pi asinh x0 
Add exp Mul sec cos Mul x0 Mul coth x3 acos pi asinh x0 Mul x0 Mul exp Mul sec cos Mul x0 Mul coth x3 acos pi asinh x0 Add Mul asinh x0 Mul Mul tan cos Mul x0 Mul coth x3 acos pi sec cos Mul x0 Mul coth x3 acos pi Mul Mul -1 sin Mul x0 Mul coth x3 acos pi Mul coth x3 acos pi Mul sec cos Mul x0 Mul coth x3 acos pi Pow sqrt Add 1 Mul x0 x0 -1 