Mul x3 Pow Mul acoth sec Add 4 x0 -4 Pow x4 x4 
Mul x3 Mul Pow Mul acoth sec Add 4 x0 -4 Add Pow x4 x4 -1 Mul Pow x4 x4 Mul -4 Mul Mul tan Add 4 x0 sec Add 4 x0 Pow Add 1 Mul -1 Mul sec Add 4 x0 sec Add 4 x0 -1 