Pow Mul Mul acsch x1 atanh x0 x0 sec Mul sech x5 log Mul x0 4 
Mul Pow Mul Mul acsch x1 atanh x0 x0 Add sec Mul sech x5 log Mul x0 4 -1 Add Mul sec Mul sech x5 log Mul x0 4 Add Mul x0 Mul acsch x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acsch x1 atanh x0 Mul Mul Mul Mul acsch x1 atanh x0 x0 log Mul Mul acsch x1 atanh x0 x0 Mul Mul tan Mul sech x5 log Mul x0 4 sec Mul sech x5 log Mul x0 4 Mul sech x5 Mul 4 Pow Mul x0 4 -1 