Pow Mul acot x6 Add Pow cosh x0 sinh asin Add x3 sqrt exp x0 x4 x0 
Mul Pow Mul acot x6 Add Pow cosh x0 sinh asin Add x3 sqrt exp x0 x4 Add x0 -1 Add Mul x0 Mul acot x6 Mul Pow cosh x0 Add sinh asin Add x3 sqrt exp x0 -1 Add Mul sinh asin Add x3 sqrt exp x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul cosh asin Add x3 sqrt exp x0 Mul Mul Pow Mul 2 sqrt exp x0 -1 exp x0 Pow sqrt Add 1 Mul -1 Mul Add x3 sqrt exp x0 Add x3 sqrt exp x0 -1 Mul Mul acot x6 Add Pow cosh x0 sinh asin Add x3 sqrt exp x0 x4 log Mul acot x6 Add Pow cosh x0 sinh asin Add x3 sqrt exp x0 x4 