atanh acos exp log Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 
Mul Mul -1 Mul Mul exp log Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 Mul Mul Mul Add 5 pi x4 Mul cosh Add pi asin Mul x0 3 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul x0 3 Mul x0 3 -1 Pow Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 -1 Pow sqrt Add 1 Mul -1 Mul exp log Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 exp log Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 -1 Pow Add 1 Mul -1 Mul acos exp log Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 acos exp log Mul Mul Add 5 pi x4 sinh Add pi asin Mul x0 3 -1 