asech acoth tan Add x0 cos Mul x3 -2 
Mul Mul Pow sec Add x0 cos Mul x3 -2 2 Pow Add 1 Mul -1 Mul tan Add x0 cos Mul x3 -2 tan Add x0 cos Mul x3 -2 -1 Pow Mul Mul acoth tan Add x0 cos Mul x3 -2 acoth tan Add x0 cos Mul x3 -2 sqrt Add 1 Mul -1 Pow Mul acoth tan Add x0 cos Mul x3 -2 acoth tan Add x0 cos Mul x3 -2 -1 -1 