Add x0 acsc acot Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 
Add 1 Mul -1 Mul Mul -1 Mul Mul Pow Mul x0 2 Add log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 -1 Add Mul log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Mul Pow x0 Add Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 -1 Add Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 Mul Mul x0 log x0 Add Mul x0 Add sinh exp sinh acot x0 Mul x0 Mul cosh exp sinh acot x0 Mul exp sinh acot x0 Mul cosh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul x0 sinh exp sinh acot x0 Pow Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 -1 Pow Add 1 Mul Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 acot Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 -1 acot Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 acot Pow Mul x0 2 log Pow x0 Add Mul Mul x0 sinh exp sinh acot x0 x0 x3 -1 