Mul sec Add pi Pow acsch Mul x0 x0 sec x0 x6 
Mul x6 Mul Mul tan Add pi Pow acsch Mul x0 x0 sec x0 sec Add pi Pow acsch Mul x0 x0 sec x0 Mul Pow acsch Mul x0 x0 Add sec x0 -1 Add Mul sec x0 Mul Mul -1 Add x0 x0 Pow Mul Mul Mul x0 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 -1 Mul Mul acsch Mul x0 x0 log acsch Mul x0 x0 Mul tan x0 sec x0 