atanh Add Add x0 Mul tanh sinh x4 -2 acsch Mul 2 Mul x0 Add cot x0 x0 
Mul Add 1 Mul Mul -1 Mul 2 Add Add cot x0 x0 Mul x0 Add Mul -1 Pow csc x0 2 1 Pow Mul Mul Mul 2 Mul x0 Add cot x0 x0 Mul 2 Mul x0 Add cot x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul 2 Mul x0 Add cot x0 x0 Mul 2 Mul x0 Add cot x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Add Add x0 Mul tanh sinh x4 -2 acsch Mul 2 Mul x0 Add cot x0 x0 Add Add x0 Mul tanh sinh x4 -2 acsch Mul 2 Mul x0 Add cot x0 x0 -1 