Mul Mul acosh Pow x0 atanh acos Mul x7 Mul 4 Add Mul x6 asinh Mul pi x3 cot x5 x0 -3 
Mul -3 Add Mul x0 Mul Mul Pow x0 Add atanh acos Mul x7 Mul 4 Add Mul x6 asinh Mul pi x3 cot x5 -1 atanh acos Mul x7 Mul 4 Add Mul x6 asinh Mul pi x3 cot x5 Pow Mul sqrt Add Pow x0 atanh acos Mul x7 Mul 4 Add Mul x6 asinh Mul pi x3 cot x5 -1 sqrt Add 1 Pow x0 atanh acos Mul x7 Mul 4 Add Mul x6 asinh Mul pi x3 cot x5 -1 acosh Pow x0 atanh acos Mul x7 Mul 4 Add Mul x6 asinh Mul pi x3 cot x5 