atanh Add Mul Mul Mul x0 Pow Mul Mul x0 pi Mul pi asech x1 x0 x6 x0 sin sec Mul sin atanh x0 x0 
Mul Add Add Mul x0 Mul x6 Add Pow Mul Mul x0 pi Mul pi asech x1 x0 Mul x0 Mul Pow Mul Mul x0 pi Mul pi asech x1 Add x0 -1 Add Mul x0 Mul Mul pi asech x1 pi Mul Mul Mul x0 pi Mul pi asech x1 log Mul Mul x0 pi Mul pi asech x1 Mul Mul x0 Pow Mul Mul x0 pi Mul pi asech x1 x0 x6 Mul cos sec Mul sin atanh x0 x0 Mul Mul tan Mul sin atanh x0 x0 sec Mul sin atanh x0 x0 Add Mul x0 Mul cos atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 sin atanh x0 Pow Add 1 Mul -1 Mul Add Mul Mul Mul x0 Pow Mul Mul x0 pi Mul pi asech x1 x0 x6 x0 sin sec Mul sin atanh x0 x0 Add Mul Mul Mul x0 Pow Mul Mul x0 pi Mul pi asech x1 x0 x6 x0 sin sec Mul sin atanh x0 x0 -1 