csc sec Add Pow acoth x1 Mul pi asinh x0 x3 
Mul Mul Mul -1 cot sec Add Pow acoth x1 Mul pi asinh x0 x3 csc sec Add Pow acoth x1 Mul pi asinh x0 x3 Mul Mul tan Add Pow acoth x1 Mul pi asinh x0 x3 sec Add Pow acoth x1 Mul pi asinh x0 x3 Mul Pow acoth x1 Add Mul pi asinh x0 -1 Mul Mul acoth x1 log acoth x1 Mul pi Pow sqrt Add 1 Mul x0 x0 -1 