atanh Mul sin Add x1 acot E tan sqrt x0 
Mul Mul sin Add x1 acot E Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Mul sin Add x1 acot E tan sqrt x0 Mul sin Add x1 acot E tan sqrt x0 -1 