Mul acoth E Pow Mul x0 Add Mul -2 Mul 2 Add E sec Mul x0 x0 1 -4 
Mul acoth E Mul Pow Mul x0 Add Mul -2 Mul 2 Add E sec Mul x0 x0 1 5 Mul -4 Add Add Mul -2 Mul 2 Add E sec Mul x0 x0 1 Mul x0 Mul -2 Mul 2 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 