acos Add tan Add exp x0 Mul x0 acoth pi x0 
Mul -1 Mul Add Mul Pow sec Add exp x0 Mul x0 acoth pi 2 Add exp x0 acoth pi 1 Pow sqrt Add 1 Mul -1 Mul Add tan Add exp x0 Mul x0 acoth pi x0 Add tan Add exp x0 Mul x0 acoth pi x0 -1 