atanh acoth Mul pi Mul x6 Add sin cos x0 5 
Mul Mul Mul pi Mul x6 Mul cos cos x0 Mul -1 sin x0 Pow Add 1 Mul -1 Mul Mul pi Mul x6 Add sin cos x0 5 Mul pi Mul x6 Add sin cos x0 5 -1 Pow Add 1 Mul -1 Mul acoth Mul pi Mul x6 Add sin cos x0 5 acoth Mul pi Mul x6 Add sin cos x0 5 -1 