Mul tanh Pow Mul -1 asin sec acsc x1 x4 Mul Mul x0 asin acoth x0 Mul x3 5 
Mul tanh Pow Mul -1 asin sec acsc x1 x4 Mul Mul x3 5 Add asin acoth x0 Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 