Mul Pow x4 tanh atanh pi sech csc asin Mul x0 2 
Mul Pow x4 tanh atanh pi Mul Mul tanh csc asin Mul x0 2 Mul -1 sech csc asin Mul x0 2 Mul Mul Mul -1 cot asin Mul x0 2 csc asin Mul x0 2 Mul 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 