Add -2 Mul asinh x0 Mul x7 Add 1 acosh acosh Pow acoth acot x0 sec Mul Add 3 x0 3 
Add Mul Mul x7 Add 1 acosh acosh Pow acoth acot x0 sec Mul Add 3 x0 3 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul x7 Mul Mul Mul Pow acoth acot x0 Add sec Mul Add 3 x0 3 -1 Add Mul sec Mul Add 3 x0 3 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Mul Mul acoth acot x0 log acoth acot x0 Mul Mul tan Mul Add 3 x0 3 sec Mul Add 3 x0 3 3 Pow Mul sqrt Add Pow acoth acot x0 sec Mul Add 3 x0 3 -1 sqrt Add 1 Pow acoth acot x0 sec Mul Add 3 x0 3 -1 Pow Mul sqrt Add acosh Pow acoth acot x0 sec Mul Add 3 x0 3 -1 sqrt Add 1 acosh Pow acoth acot x0 sec Mul Add 3 x0 3 -1 