Add Mul x1 x3 tan Mul Add x5 Mul Pow asinh acoth Mul x0 x0 x1 x0 x4 
Mul Pow sec Mul Add x5 Mul Pow asinh acoth Mul x0 x0 x1 x0 x4 2 Mul x4 Add Mul x0 Mul Pow asinh acoth Mul x0 x0 Add x1 -1 Mul x1 Mul Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow sqrt Add 1 Mul acoth Mul x0 x0 acoth Mul x0 x0 -1 Pow asinh acoth Mul x0 x0 x1 