Add x1 Pow Mul x0 acos Mul 0.463647609000806 tan acot atanh Add asin sinh x1 0.785398163397448 x0 
Mul Pow Mul x0 acos Mul 0.463647609000806 tan acot atanh Add asin sinh x1 0.785398163397448 Add x0 -1 Add Mul x0 acos Mul 0.463647609000806 tan acot atanh Add asin sinh x1 0.785398163397448 Mul Mul x0 acos Mul 0.463647609000806 tan acot atanh Add asin sinh x1 0.785398163397448 log Mul x0 acos Mul 0.463647609000806 tan acot atanh Add asin sinh x1 0.785398163397448 