Pow Pow acosh Add asinh x0 Add x3 acos Mul x0 sec x0 x0 x0 
Mul Pow Pow acosh Add asinh x0 Add x3 acos Mul x0 sec x0 x0 Add x0 -1 Add Mul x0 Mul Pow acosh Add asinh x0 Add x3 acos Mul x0 sec x0 Add x0 -1 Add Mul x0 Mul Add Pow sqrt Add 1 Mul x0 x0 -1 Mul -1 Mul Add sec x0 Mul x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 sec x0 Mul x0 sec x0 -1 Pow Mul sqrt Add Add asinh x0 Add x3 acos Mul x0 sec x0 -1 sqrt Add 1 Add asinh x0 Add x3 acos Mul x0 sec x0 -1 Mul acosh Add asinh x0 Add x3 acos Mul x0 sec x0 log acosh Add asinh x0 Add x3 acos Mul x0 sec x0 Mul Pow acosh Add asinh x0 Add x3 acos Mul x0 sec x0 x0 log Pow acosh Add asinh x0 Add x3 acos Mul x0 sec x0 x0 