atanh Mul Pow pi x1 asinh Add x0 log Mul Add 8 x0 cot x6 
Mul Mul Pow pi x1 Mul Add 1 Mul cot x6 Pow Mul Add 8 x0 cot x6 -1 Pow sqrt Add 1 Mul Add x0 log Mul Add 8 x0 cot x6 Add x0 log Mul Add 8 x0 cot x6 -1 Pow Add 1 Mul -1 Mul Mul Pow pi x1 asinh Add x0 log Mul Add 8 x0 cot x6 Mul Pow pi x1 asinh Add x0 log Mul Add 8 x0 cot x6 -1 