Add Add x0 x0 log asin tan Pow Pow acoth atan x0 2 x4 
Add 2 Mul Mul Mul Pow sec Pow Pow acoth atan x0 2 x4 2 Mul Pow Pow acoth atan x0 2 Add x4 -1 Mul x4 Mul acoth atan x0 Mul 2 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atan x0 atan x0 -1 Pow sqrt Add 1 Mul -1 Mul tan Pow Pow acoth atan x0 2 x4 tan Pow Pow acoth atan x0 2 x4 -1 Pow asin tan Pow Pow acoth atan x0 2 x4 -1 