Add Mul Add x2 Add Mul pi x0 Add Mul x0 acot Mul 0.0497870683678639 Pow acosh x7 acot x0 x0 x0 asech x0 
Add Add Mul x0 Add pi Add Add acot Mul 0.0497870683678639 Pow acosh x7 acot x0 Mul x0 Mul -1 Mul Mul 0.0497870683678639 Mul Pow acosh x7 Add acot x0 -1 Mul Mul acosh x7 log acosh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul 0.0497870683678639 Pow acosh x7 acot x0 Mul 0.0497870683678639 Pow acosh x7 acot x0 -1 1 Add x2 Add Mul pi x0 Add Mul x0 acot Mul 0.0497870683678639 Pow acosh x7 acot x0 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 