Mul cos atanh x0 Add Mul acsch sec x0 4 Pow Mul x1 Mul x0 x0 pi 
Add Mul Add Mul acsch sec x0 4 Pow Mul x1 Mul x0 x0 pi Mul Mul -1 sin atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cos atanh x0 Add Mul 4 Mul Mul -1 Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 Mul Pow Mul x1 Mul x0 x0 Add pi -1 Mul pi Mul x1 Add x0 x0 