Time bar (total: 3.0s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 100% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
Compiled 66 to 48 computations (27.3% saved)
| 2.3s | 8256× | body | 256 | valid |
| 2× | egg-herbie |
| 1344× | associate-/l* |
| 1096× | times-frac |
| 1090× | associate-/l/ |
| 766× | associate-/r* |
| 702× | associate-*r/ |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 104 | 737 |
| 1 | 357 | 737 |
| 2 | 1263 | 693 |
| 3 | 6053 | 693 |
| 4 | 7310 | 693 |
| 0 | 5 | 5 |
| 1 | 5 | 5 |
| 1× | unsound |
| 1× | node limit |
| Inputs |
|---|
0 |
1 |
2 |
3 |
4 |
| Outputs |
|---|
0 |
1 |
0 |
2 |
3 |
2 |
4 |
| Inputs |
|---|
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_O cosTheta_i) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 cosTheta_i sinTheta_O) v))) (/.f32 (*.f32 sinTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i cosTheta_i) v))) (/.f32 (*.f32 sinTheta_O cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_i))) (/.f32 (*.f32 v cosTheta_O) cosTheta_i)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_i)) 2) cosTheta_i)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 cosTheta_O sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i sinTheta_i) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i cosTheta_O) v))) (/.f32 (*.f32 cosTheta_i sinTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_O))) (/.f32 (*.f32 cosTheta_i v) cosTheta_O)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) 2) cosTheta_O)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_O sinTheta_i) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 v sinTheta_O) sinTheta_i))) (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_i)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) 2) sinTheta_i)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i v) sinTheta_O))) (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_O)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) 2) sinTheta_O)) |
| Outputs |
|---|
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (sinh.f32 (/.f32 1 v))) (/.f32 (/.f32 cosTheta_O (/.f32 v cosTheta_i)) (*.f32 v 2))) |
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_O cosTheta_i) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (sinh.f32 (/.f32 1 v))) (/.f32 (/.f32 cosTheta_O (/.f32 v cosTheta_i)) (*.f32 v 2))) |
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 cosTheta_i sinTheta_O) v))) (/.f32 (*.f32 sinTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_O cosTheta_i)) v)) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 sinTheta_i (/.f32 v cosTheta_O)))) |
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (*.f32 sinTheta_i cosTheta_O) (*.f32 v v))) |
(/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O v) sinTheta_i) (*.f32 (sinh.f32 (/.f32 1 v)) (pow.f32 (exp.f32 (/.f32 cosTheta_i v)) sinTheta_O))) (*.f32 v 2)) |
(/.f32 (*.f32 (/.f32 cosTheta_O v) sinTheta_i) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 sinTheta_O) (/.f32 cosTheta_i v)))))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i cosTheta_i) v))) (/.f32 (*.f32 sinTheta_O cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i cosTheta_i)) v)) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 sinTheta_O (/.f32 v cosTheta_O)))) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i cosTheta_i)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 sinTheta_O (*.f32 v (/.f32 v cosTheta_O)))) |
(/.f32 (/.f32 (*.f32 sinTheta_O cosTheta_O) (pow.f32 (exp.f32 (/.f32 cosTheta_i v)) sinTheta_i)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 sinTheta_O (/.f32 cosTheta_O v)) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 cosTheta_i v)) sinTheta_i))))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_i))) (/.f32 (*.f32 v cosTheta_O) cosTheta_i)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_i)) 2) cosTheta_i)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i sinTheta_O)) cosTheta_i)) (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_i)))) (/.f32 (/.f32 v (/.f32 cosTheta_i cosTheta_O)) cosTheta_i)) |
(/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) cosTheta_i)) (*.f32 (/.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_i)) (*.f32 cosTheta_i 2)) (*.f32 v cosTheta_O)) cosTheta_i)) |
(/.f32 (*.f32 (/.f32 cosTheta_O cosTheta_i) v) (*.f32 (*.f32 2 (*.f32 cosTheta_i (sinh.f32 (/.f32 1 cosTheta_i)))) (exp.f32 (*.f32 (/.f32 sinTheta_O cosTheta_i) sinTheta_i)))) |
(*.f32 (/.f32 (/.f32 cosTheta_O (pow.f32 (exp.f32 (/.f32 sinTheta_O cosTheta_i)) sinTheta_i)) (*.f32 2 (*.f32 cosTheta_i (sinh.f32 (/.f32 1 cosTheta_i))))) (/.f32 v cosTheta_i)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 cosTheta_O sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i sinTheta_i) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_O cosTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_i)) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 cosTheta_O) (/.f32 v sinTheta_O))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 sinTheta_i (*.f32 v (/.f32 v cosTheta_i)))) |
(/.f32 (*.f32 sinTheta_i cosTheta_i) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)) (pow.f32 (exp.f32 (/.f32 cosTheta_O v)) sinTheta_O))) |
(/.f32 (*.f32 sinTheta_i (/.f32 cosTheta_i (pow.f32 (exp.f32 sinTheta_O) (/.f32 cosTheta_O v)))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i cosTheta_O) v))) (/.f32 (*.f32 cosTheta_i sinTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i cosTheta_O)) v)) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v sinTheta_O)))) |
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 cosTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (*.f32 sinTheta_O cosTheta_i) (*.f32 v v))) |
(/.f32 (*.f32 sinTheta_O cosTheta_i) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) cosTheta_O))) |
(/.f32 (*.f32 sinTheta_O cosTheta_i) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)) (pow.f32 (exp.f32 (/.f32 cosTheta_O v)) sinTheta_i))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) cosTheta_O))) (/.f32 (*.f32 cosTheta_i v) cosTheta_O)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) 2) cosTheta_O)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i sinTheta_O)) cosTheta_O)) (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_O)))) (/.f32 (/.f32 cosTheta_i (/.f32 cosTheta_O v)) cosTheta_O)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) cosTheta_O)) (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_O)))) (/.f32 (*.f32 v cosTheta_i) (*.f32 cosTheta_O cosTheta_O))) |
(/.f32 (*.f32 v cosTheta_i) (*.f32 (*.f32 cosTheta_O (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) (*.f32 cosTheta_O 2))) (exp.f32 (*.f32 (/.f32 sinTheta_O cosTheta_O) sinTheta_i)))) |
(*.f32 (/.f32 (/.f32 cosTheta_i (exp.f32 (*.f32 (/.f32 sinTheta_O cosTheta_O) sinTheta_i))) (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) (*.f32 cosTheta_O 2))) (/.f32 v cosTheta_O)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_O sinTheta_i) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (sinh.f32 (/.f32 1 v))) (/.f32 (/.f32 cosTheta_O (/.f32 v cosTheta_i)) (*.f32 v 2))) |
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 v sinTheta_O) sinTheta_i))) (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_i)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) 2) sinTheta_i)) |
(/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_O v)) sinTheta_i)) (/.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) (*.f32 2 sinTheta_i)) (/.f32 cosTheta_i (/.f32 sinTheta_i cosTheta_O)))) |
(*.f32 (/.f32 (*.f32 (/.f32 cosTheta_i sinTheta_i) cosTheta_O) (*.f32 2 (sinh.f32 (/.f32 1 sinTheta_i)))) (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_O (neg.f32 v)) sinTheta_i)) sinTheta_i)) |
(/.f32 (*.f32 cosTheta_O (/.f32 cosTheta_i sinTheta_i)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) (*.f32 sinTheta_i 2)) (exp.f32 (*.f32 sinTheta_O (/.f32 v sinTheta_i))))) |
(*.f32 (/.f32 (/.f32 cosTheta_i (pow.f32 (exp.f32 sinTheta_O) (/.f32 v sinTheta_i))) (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) (*.f32 sinTheta_i 2))) (/.f32 cosTheta_O sinTheta_i)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i v) sinTheta_O))) (/.f32 (*.f32 cosTheta_i cosTheta_O) sinTheta_O)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) 2) sinTheta_O)) |
(/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i v)) sinTheta_O)) (/.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) (*.f32 2 sinTheta_O)) (/.f32 cosTheta_i (/.f32 sinTheta_O cosTheta_O)))) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i v)) sinTheta_O)) (*.f32 2 (sinh.f32 (/.f32 1 sinTheta_O)))) (/.f32 cosTheta_i (*.f32 sinTheta_O (/.f32 sinTheta_O cosTheta_O)))) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 (*.f32 sinTheta_O (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) (*.f32 sinTheta_O 2))) (exp.f32 (/.f32 sinTheta_i (/.f32 sinTheta_O v))))) |
(*.f32 (/.f32 (/.f32 cosTheta_i (exp.f32 (/.f32 sinTheta_i (/.f32 sinTheta_O v)))) (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) (*.f32 sinTheta_O 2))) (/.f32 cosTheta_O sinTheta_O)) |
(sort cosTheta_i cosTheta_O)
(sort sinTheta_i sinTheta_O)
Compiled 32 to 24 computations (25% saved)
| 1× | egg-herbie |
| 1258× | times-frac |
| 1162× | associate-/l* |
| 762× | associate-/l/ |
| 668× | associate-/r* |
| 664× | associate-*l/ |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 67 |
| 1 | 56 | 67 |
| 2 | 174 | 63 |
| 3 | 744 | 63 |
| 4 | 5031 | 63 |
| 5 | 6738 | 63 |
| 1× | node limit |
| Inputs |
|---|
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
| Outputs |
|---|
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
(*.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) v)) |
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 v v))) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)) (exp.f32 (*.f32 (/.f32 sinTheta_O v) sinTheta_i)))) |
(*.f32 (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 cosTheta_O (*.f32 v v))) |
(*.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (/.f32 (/.f32 1/2 (*.f32 (sinh.f32 (/.f32 1 v)) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) v)) |
Compiled 134 to 77 computations (42.5% saved)
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 6 | 6 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 7 | 7 |
| Status | Error | Program |
|---|---|---|
| ▶ | 98.6% | (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)) |
| ▶ | 98.7% | (/.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)) (exp.f32 (*.f32 (/.f32 sinTheta_O v) sinTheta_i)))) |
| ▶ | 98.7% | (*.f32 (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 cosTheta_O (*.f32 v v))) |
| ▶ | 98.5% | (*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 v v))) |
| ▶ | 98.6% | (*.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 sinTheta_i (/.f32 v sinTheta_O)))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) v)) |
| 98.6% | (*.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (/.f32 (/.f32 1/2 (*.f32 (sinh.f32 (/.f32 1 v)) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) v)) |
Compiled 318 to 222 computations (30.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 99.5% | (*.f32 (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 cosTheta_O (*.f32 v v))) |
| ✓ | 99.4% | (/.f32 cosTheta_O (*.f32 v v)) |
| ✓ | 99.2% | (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
| ✓ | 97.5% | (sinh.f32 (/.f32 1 v)) |
Compiled 94 to 37 computations (60.6% saved)
36 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 105.0ms | cosTheta_i | @ | 0 | (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
| 18.0ms | v | @ | -inf | (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
| 15.0ms | sinTheta_i | @ | inf | (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
| 12.0ms | cosTheta_i | @ | inf | (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
| 12.0ms | sinTheta_i | @ | -inf | (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
| 1× | batch-egg-rewrite |
| 1488× | associate-/r/ |
| 460× | add-sqr-sqrt |
| 452× | *-un-lft-identity |
| 450× | pow1 |
| 424× | add-exp-log |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 132 |
| 1 | 451 | 132 |
| 2 | 6499 | 132 |
| 1× | node limit |
| Inputs |
|---|
(sinh.f32 (/.f32 1 v)) |
(/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) |
(/.f32 cosTheta_O (*.f32 v v)) |
(*.f32 (/.f32 (/.f32 cosTheta_i (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 cosTheta_O (*.f32 v v))) |
| Outputs |
|---|
((((x -.f32 (exp.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 1))) (((x -.f32 (/.f32 (exp.f32 (/.f32 1 v)) 2) (/.f32 (exp.f32 (/.f32 -1 v)) 2)))) (((x *.f32 1 (sinh.f32 (/.f32 1 v))))) (((x *.f32 (sinh.f32 (/.f32 1 v)) 1))) (((x *.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) (sqrt.f32 (sinh.f32 (/.f32 1 v)))))) (((x *.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)))) (((x *.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2) (cbrt.f32 (sinh.f32 (/.f32 1 v)))))) (((x *.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 1/2))) (((x *.f32 1/2 (*.f32 2 (sinh.f32 (/.f32 1 v)))))) (((x /.f32 1 (/.f32 2 (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (((x /.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 2))) (((x /.f32 (neg.f32 (*.f32 2 (sinh.f32 (/.f32 1 v)))) -2))) (((x pow.f32 (sinh.f32 (/.f32 1 v)) 1))) (((x pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 2))) (((x pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 3))) (((x pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3))) (((x sqrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2)))) (((x log.f32 (exp.f32 (sinh.f32 (/.f32 1 v)))))) (((x log.f32 (+.f32 1 (expm1.f32 (sinh.f32 (/.f32 1 v))))))) (((x cbrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3)))) (((x expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))))) (((x exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))))) (((x exp.f32 (*.f32 (log.f32 (sinh.f32 (/.f32 1 v))) 1)))) (((x log1p.f32 (expm1.f32 (sinh.f32 (/.f32 1 v))))))) |
((((x -.f32 (exp.f32 (log1p.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))) 1))) (((x *.f32 1 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x *.f32 cosTheta_i (*.f32 (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (/.f32 1 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 cosTheta_i (/.f32 1 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 1 (sinh.f32 (/.f32 1 v)))))) (((x *.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1))) (((x *.f32 (sqrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (sqrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (/.f32 1 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (cbrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (pow.f32 (cbrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2)))) (((x *.f32 (pow.f32 (cbrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2) (cbrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (pow.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2) (*.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (/.f32 1 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x *.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 1 (neg.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))) (((x *.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1) (/.f32 2 (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 1 (sqrt.f32 (sinh.f32 (/.f32 1 v)))) (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sqrt.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 1 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 cosTheta_i 1) (/.f32 (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (sinh.f32 (/.f32 1 v)))))) (((x *.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 2 (sinh.f32 (/.f32 1 v)))) 2))) (((x *.f32 (/.f32 1 (*.f32 2 (sinh.f32 (/.f32 1 v)))) (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 2)))) (((x *.f32 (/.f32 1 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) cosTheta_i))) (((x *.f32 (/.f32 1 (neg.f32 (sinh.f32 (/.f32 1 v)))) (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x *.f32 (/.f32 (sqrt.f32 cosTheta_i) (sinh.f32 (/.f32 1 v))) (/.f32 (sqrt.f32 cosTheta_i) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 cosTheta_i) 2) (sinh.f32 (/.f32 1 v))) (/.f32 (cbrt.f32 cosTheta_i) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x *.f32 (/.f32 cosTheta_i (sqrt.f32 (sinh.f32 (/.f32 1 v)))) (/.f32 (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (sqrt.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 cosTheta_i (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (/.f32 (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 1) (/.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (sinh.f32 (/.f32 1 v)))))) (((x *.f32 (/.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (sinh.f32 (/.f32 1 v))) (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (/.f32 (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2) 1) (/.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (sinh.f32 (/.f32 1 v)))))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2) (sqrt.f32 (sinh.f32 (/.f32 1 v)))) (/.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (sqrt.f32 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (cbrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (neg.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))))) -2))) (((x *.f32 (/.f32 1 (/.f32 (sinh.f32 (/.f32 1 v)) cosTheta_i)) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))) (((x *.f32 (/.f32 1 (/.f32 (sinh.f32 (/.f32 1 v)) (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (sqrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 1 (/.f32 (sinh.f32 (/.f32 1 v)) (pow.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2))) (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 cosTheta_i (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2))) (((x *.f32 (/.f32 (sqrt.f32 cosTheta_i) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (sqrt.f32 cosTheta_i)))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 cosTheta_i) 2) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (cbrt.f32 cosTheta_i)))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2) (sinh.f32 (/.f32 1 v))) (cbrt.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) 1) (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (*.f32 cosTheta_i 1/2)))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) cosTheta_i))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (sqrt.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (/.f32 cosTheta_i (sqrt.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 2)) (/.f32 cosTheta_i (cbrt.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (*.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) -2)) (neg.f32 cosTheta_i)))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) 1)) cosTheta_i))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (sqrt.f32 cosTheta_i))) (sqrt.f32 cosTheta_i)))) (((x *.f32 (/.f32 (/.f32 1 (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (pow.f32 (cbrt.f32 cosTheta_i) 2))) (cbrt.f32 cosTheta_i)))) (((x *.f32 (/.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (neg.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))))) 2))) (((x *.f32 (/.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1) 1) (/.f32 2 (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (((x *.f32 (/.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1) (*.f32 2 (sinh.f32 (/.f32 1 v)))) 2))) (((x *.f32 (/.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1) (neg.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))))) -2))) (((x *.f32 (/.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sqrt.f32 (sinh.f32 (/.f32 1 v)))) (sqrt.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))))) (sqrt.f32 2)))) (((x *.f32 (/.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (cbrt.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))))) (cbrt.f32 2)))) (((x pow.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1))) (((x pow.f32 (sqrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 2))) (((x pow.f32 (cbrt.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) 3))) (((x pow.f32 (pow.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 3) 1/3))) (((x pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))) -1))) (((x neg.f32 (/.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (neg.f32 (sinh.f32 (/.f32 1 v))))))) (((x sqrt.f32 (pow.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 2)))) (((x log.f32 (exp.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))))) (((x cbrt.f32 (pow.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 3)))) (((x cbrt.f32 (/.f32 (pow.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 3) (pow.f32 (sinh.f32 (/.f32 1 v)) 3))))) (((x expm1.f32 (log1p.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x exp.f32 (-.f32 (-.f32 (log.f32 (*.f32 cosTheta_i 1/2)) (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) (log.f32 (sinh.f32 (/.f32 1 v))))))) (((x exp.f32 (*.f32 (-.f32 (-.f32 (log.f32 (*.f32 cosTheta_i 1/2)) (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) (log.f32 (sinh.f32 (/.f32 1 v)))) 1)))) (((x log1p.f32 (expm1.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))))) |
((((x -.f32 (exp.f32 (log1p.f32 (/.f32 cosTheta_O (*.f32 v v)))) 1))) (((x *.f32 1 (/.f32 cosTheta_O (*.f32 v v))))) (((x *.f32 (/.f32 1 v) (/.f32 cosTheta_O v)))) (((x *.f32 cosTheta_O (pow.f32 v -2)))) (((x *.f32 (/.f32 cosTheta_O (*.f32 v v)) 1))) (((x *.f32 (sqrt.f32 cosTheta_O) (*.f32 (sqrt.f32 cosTheta_O) (pow.f32 v -2))))) (((x *.f32 (/.f32 (sqrt.f32 cosTheta_O) v) (/.f32 (sqrt.f32 cosTheta_O) v)))) (((x *.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) (*.f32 (cbrt.f32 cosTheta_O) (pow.f32 v -2))))) (((x *.f32 (cbrt.f32 (/.f32 cosTheta_O (*.f32 v v))) (pow.f32 (cbrt.f32 (/.f32 cosTheta_O (*.f32 v v))) 2)))) (((x *.f32 (pow.f32 (cbrt.f32 (/.f32 cosTheta_O (*.f32 v v))) 2) (cbrt.f32 (/.f32 cosTheta_O (*.f32 v v)))))) (((x *.f32 (/.f32 cosTheta_O v) (/.f32 1 v)))) (((x *.f32 (pow.f32 v -2) cosTheta_O))) (((x *.f32 (neg.f32 cosTheta_O) (/.f32 1 (*.f32 v (neg.f32 v)))))) (((x *.f32 (/.f32 (/.f32 cosTheta_O v) 1) (/.f32 1 v)))) (((x *.f32 (/.f32 (/.f32 cosTheta_O v) (sqrt.f32 v)) (pow.f32 v -1/2)))) (((x *.f32 (/.f32 (/.f32 cosTheta_O v) (pow.f32 (cbrt.f32 v) 2)) (/.f32 1 (cbrt.f32 v))))) (((x *.f32 (/.f32 1 (cbrt.f32 (pow.f32 v 4))) (/.f32 cosTheta_O (pow.f32 (cbrt.f32 v) 2))))) (((x *.f32 (/.f32 1 (*.f32 v (neg.f32 v))) (neg.f32 cosTheta_O)))) (((x *.f32 (/.f32 (sqrt.f32 cosTheta_O) 1) (/.f32 (sqrt.f32 cosTheta_O) (*.f32 v v))))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) 1) (/.f32 (cbrt.f32 cosTheta_O) (*.f32 v v))))) (((x *.f32 (/.f32 (sqrt.f32 cosTheta_O) (*.f32 v v)) (sqrt.f32 cosTheta_O)))) (((x *.f32 (/.f32 (sqrt.f32 cosTheta_O) (cbrt.f32 (pow.f32 v 4))) (/.f32 (sqrt.f32 cosTheta_O) (pow.f32 (cbrt.f32 v) 2))))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) v) (/.f32 (cbrt.f32 cosTheta_O) v)))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) (cbrt.f32 (pow.f32 v 4))) (cbrt.f32 (/.f32 cosTheta_O (*.f32 v v)))))) (((x *.f32 (/.f32 1 (/.f32 (*.f32 v v) (sqrt.f32 cosTheta_O))) (sqrt.f32 cosTheta_O)))) (((x *.f32 (/.f32 1 (/.f32 (*.f32 v v) (pow.f32 (cbrt.f32 cosTheta_O) 2))) (cbrt.f32 cosTheta_O)))) (((x *.f32 (/.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) (*.f32 v v)) (cbrt.f32 cosTheta_O)))) (((x *.f32 (/.f32 (/.f32 cosTheta_O v) (neg.f32 v)) -1))) (((x *.f32 (/.f32 (/.f32 (/.f32 cosTheta_O v) 1) 1) (/.f32 1 v)))) (((x *.f32 (/.f32 (/.f32 (/.f32 cosTheta_O v) 1) (sqrt.f32 v)) (pow.f32 v -1/2)))) (((x *.f32 (/.f32 (/.f32 (/.f32 cosTheta_O v) 1) (pow.f32 (cbrt.f32 v) 2)) (/.f32 1 (cbrt.f32 v))))) (((x *.f32 (/.f32 (/.f32 (/.f32 cosTheta_O v) 1) (neg.f32 v)) -1))) (((x pow.f32 (/.f32 cosTheta_O (*.f32 v v)) 1))) (((x pow.f32 (/.f32 (sqrt.f32 cosTheta_O) v) 2))) (((x pow.f32 (cbrt.f32 (/.f32 cosTheta_O (*.f32 v v))) 3))) (((x pow.f32 (pow.f32 (/.f32 cosTheta_O (*.f32 v v)) 3) 1/3))) (((x pow.f32 (*.f32 v (/.f32 v cosTheta_O)) -1))) (((x neg.f32 (/.f32 cosTheta_O (*.f32 v (neg.f32 v)))))) (((x sqrt.f32 (pow.f32 (/.f32 cosTheta_O (*.f32 v v)) 2)))) (((x log.f32 (exp.f32 (/.f32 cosTheta_O (*.f32 v v)))))) (((x log.f32 (+.f32 1 (expm1.f32 (/.f32 cosTheta_O (*.f32 v v))))))) (((x cbrt.f32 (pow.f32 (/.f32 cosTheta_O (*.f32 v v)) 3)))) (((x cbrt.f32 (/.f32 (pow.f32 cosTheta_O 3) (pow.f32 (*.f32 v v) 3))))) (((x expm1.f32 (log1p.f32 (/.f32 cosTheta_O (*.f32 v v)))))) (((x exp.f32 (log.f32 (/.f32 cosTheta_O (*.f32 v v)))))) (((x exp.f32 (*.f32 (log.f32 (/.f32 cosTheta_O (*.f32 v v))) 1)))) (((x log1p.f32 (expm1.f32 (/.f32 cosTheta_O (*.f32 v v))))))) |
((((x -.f32 (exp.f32 (log1p.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)))) 1))) (((x /.f32 1 (*.f32 (*.f32 v (/.f32 v cosTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))))))) (((x /.f32 1 (*.f32 (/.f32 (sinh.f32 (/.f32 1 v)) cosTheta_i) (*.f32 (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)) (*.f32 v (/.f32 v cosTheta_O))))))) (((x /.f32 1 (/.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v v)) (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x /.f32 cosTheta_i (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 v (/.f32 v cosTheta_O)))))) (((x /.f32 cosTheta_i (*.f32 (*.f32 v (/.f32 v cosTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x /.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 (sinh.f32 (/.f32 1 v)) (/.f32 cosTheta_O (*.f32 v v)))))) (((x /.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v v)) cosTheta_O)))) (((x /.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v (/.f32 v cosTheta_O)))))) (((x /.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 (*.f32 v (/.f32 v cosTheta_O)) (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 v (/.f32 v cosTheta_O))))) (((x /.f32 cosTheta_O (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))) (*.f32 v v))))) (((x /.f32 cosTheta_O (*.f32 (*.f32 v v) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))))))) (((x /.f32 (/.f32 cosTheta_O (*.f32 v v)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i)))))) (((x /.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (*.f32 v v)))) (((x /.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O (*.f32 v v))) (sinh.f32 (/.f32 1 v))))) (((x /.f32 (/.f32 cosTheta_O v) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))) v)))) (((x /.f32 (/.f32 cosTheta_O v) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v v))))) (((x /.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 (*.f32 v (/.f32 v cosTheta_O)) (neg.f32 (sinh.f32 (/.f32 1 v))))))) (((x /.f32 (neg.f32 cosTheta_O) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))) (*.f32 v (neg.f32 v)))))) (((x /.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O v)) (*.f32 (sinh.f32 (/.f32 1 v)) v)))) (((x /.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (neg.f32 cosTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v (neg.f32 v)))))) (((x /.f32 (*.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O v)) v))) (((x /.f32 (*.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (neg.f32 cosTheta_O)) (*.f32 v (neg.f32 v))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O (*.f32 v v)) cosTheta_i) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O (*.f32 v v)) (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (neg.f32 (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O (*.f32 v v))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))))) (((x /.f32 (*.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O (*.f32 v v))) (neg.f32 (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O v) (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) v))) (((x /.f32 (*.f32 (neg.f32 cosTheta_O) (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 v (neg.f32 v))))) (((x /.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 v v))))) (((x /.f32 (*.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) cosTheta_O) (*.f32 (neg.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v v))))) (((x /.f32 (/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) 1) (*.f32 v v)))) (((x /.f32 (/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) v) v))) (((x /.f32 (/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (cbrt.f32 (pow.f32 v 4))) (pow.f32 (cbrt.f32 v) 2)))) (((x /.f32 (/.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O (*.f32 v v))) 1) (sinh.f32 (/.f32 1 v))))) (((x /.f32 (/.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O (*.f32 v v))) (sqrt.f32 (sinh.f32 (/.f32 1 v)))) (sqrt.f32 (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (/.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O (*.f32 v v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (cbrt.f32 (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (*.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 1) (*.f32 (neg.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v (/.f32 v cosTheta_O)))))) (((x /.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) v)))) (((x /.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (*.f32 v (neg.f32 v)))))) (((x /.f32 (*.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O v)) (*.f32 (neg.f32 (sinh.f32 (/.f32 1 v))) v)))) (((x /.f32 (*.f32 (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (neg.f32 cosTheta_O)) (*.f32 (neg.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v (neg.f32 v)))))) (((x /.f32 (*.f32 cosTheta_O cosTheta_i) (*.f32 (*.f32 v v) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x /.f32 (*.f32 cosTheta_O (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 (*.f32 v v) (neg.f32 (sinh.f32 (/.f32 1 v))))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O v) (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 v (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (*.f32 (/.f32 cosTheta_O v) (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 v (neg.f32 (sinh.f32 (/.f32 1 v))))))) (((x /.f32 (*.f32 (neg.f32 cosTheta_O) 1) (*.f32 (*.f32 v (neg.f32 v)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (/.f32 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O) cosTheta_i))))))) (((x /.f32 (*.f32 (neg.f32 cosTheta_O) cosTheta_i) (*.f32 (*.f32 v (neg.f32 v)) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))))))) (((x /.f32 (*.f32 (neg.f32 cosTheta_O) (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 (*.f32 v (neg.f32 v)) (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (*.f32 (neg.f32 cosTheta_O) (*.f32 -1/2 (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (*.f32 (*.f32 v (neg.f32 v)) (neg.f32 (sinh.f32 (/.f32 1 v))))))) (((x /.f32 (neg.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v)))) (*.f32 v (neg.f32 v))))) (((x /.f32 (neg.f32 (*.f32 (*.f32 cosTheta_i (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (/.f32 cosTheta_O (*.f32 v v)))) (neg.f32 (sinh.f32 (/.f32 1 v)))))) (((x /.f32 (neg.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))) (neg.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v v)))))) (((x pow.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)) 1))) (((x pow.f32 (/.f32 (sqrt.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v)))) v) 2))) (((x pow.f32 (cbrt.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2))) 3))) (((x pow.f32 (pow.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)) 3) 1/3))) (((x sqrt.f32 (pow.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)) 2)))) (((x log.f32 (exp.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)))))) (((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2))))))) (((x cbrt.f32 (pow.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)) 3)))) (((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 3) (pow.f32 (/.f32 cosTheta_O (*.f32 v v)) 3))))) (((x cbrt.f32 (*.f32 (pow.f32 (/.f32 cosTheta_O (*.f32 v v)) 3) (pow.f32 (*.f32 (/.f32 cosTheta_i (sinh.f32 (/.f32 1 v))) (/.f32 1/2 (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) 3))))) (((x expm1.f32 (log1p.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)))))) (((x exp.f32 (log.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2)))))) (((x exp.f32 (*.f32 (log.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2))) 1)))) (((x log1p.f32 (expm1.f32 (*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O 2) (/.f32 cosTheta_i (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O))) (sinh.f32 (/.f32 1 v))) (pow.f32 v -2))))))) |
Loading profile data...