Pow Mul log log Mul exp sqrt tan x3 coth Add Mul x1 x2 sec x2 Mul atan asinh x0 x3 x3 
Mul Pow Mul log log Mul exp sqrt tan x3 coth Add Mul x1 x2 sec x2 Mul atan asinh x0 x3 Add x3 -1 Mul x3 Mul log log Mul exp sqrt tan x3 coth Add Mul x1 x2 sec x2 Mul x3 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 