Mul Mul Mul x0 Mul acsch x2 log acsch sec x1 Mul x0 Add x0 0.283662185463226 Mul Add cot x7 x0 x0 
Add Mul Mul Add cot x7 x0 x0 Add Mul Mul x0 Add x0 0.283662185463226 Mul acsch x2 log acsch sec x1 Mul Mul x0 Mul acsch x2 log acsch sec x1 Add Add x0 0.283662185463226 x0 Mul Mul Mul x0 Mul acsch x2 log acsch sec x1 Mul x0 Add x0 0.283662185463226 Add x0 Add cot x7 x0 