tan tan Pow Mul x5 acoth Mul x5 tan Add Add Mul x7 sqrt E x0 sec acot x5 exp x2 
Mul Pow sec tan Pow Mul x5 acoth Mul x5 tan Add Add Mul x7 sqrt E x0 sec acot x5 exp x2 2 Mul Pow sec Pow Mul x5 acoth Mul x5 tan Add Add Mul x7 sqrt E x0 sec acot x5 exp x2 2 Mul Pow Mul x5 acoth Mul x5 tan Add Add Mul x7 sqrt E x0 sec acot x5 Add exp x2 -1 Mul exp x2 Mul x5 Mul Mul x5 Pow sec Add Add Mul x7 sqrt E x0 sec acot x5 2 Pow Add 1 Mul -1 Mul Mul x5 tan Add Add Mul x7 sqrt E x0 sec acot x5 Mul x5 tan Add Add Mul x7 sqrt E x0 sec acot x5 -1 