
Time bar (total: 9.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 1 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 2 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 3 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 4 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 5 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 6 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 7 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 8 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 9 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 10 |
| 50.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 11 |
| 50.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 12 |
Compiled 62 to 42 computations (32.3% saved)
| 1.8s | 8 256× | 0 | valid |
ival-exp: 495.0ms (41.8% of total, 173.5 MiB)ival-mult!: 255.0ms (21.5% of total, 430.1 MiB)ival-div!: 189.0ms (15.9% of total, 378.0 MiB)ival-sinh: 99.0ms (8.4% of total, 198.2 MiB)ival-neg: 66.0ms (5.6% of total, 105.7 MiB)adjust: 49.0ms (4.1% of total, 11.3 MiB)ival-and: 10.0ms (0.8% of total, 24.1 MiB)ival-<=: 9.0ms (0.8% of total, 19.0 MiB)ival-<: 8.0ms (0.7% of total, 16.4 MiB)ival-assert: 4.0ms (0.3% of total, 18.6 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 141 | 467 |
| 1 | 838 | 441 |
| 2 | 4600 | 441 |
| 3 | 20189 | 441 |
| 4 | 47266 | 441 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 98.5% | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
(negabs cosTheta_i)
(negabs cosTheta_O)
(sort cosTheta_i cosTheta_O)
(sort sinTheta_i sinTheta_O)
Compiled 44 to 38 computations (13.6% saved)
| Inputs |
|---|
1 |
2 |
| Outputs |
|---|
#s(literal 1 binary32) |
#s(literal 2 binary32) |
| 0.0ms | 1× | 0 | valid |
Compiled 4 to 4 computations (0.0% saved)
adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 431 | 2405 |
| 1× | iter-limit |
| Inputs |
|---|
sinTheta_i |
sinTheta_O |
(*.f32 sinTheta_i sinTheta_O) |
v |
(/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
(neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
(exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) |
cosTheta_i |
cosTheta_O |
(*.f32 cosTheta_i cosTheta_O) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
(*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
#s(literal 1 binary32) |
(/.f32 #s(literal 1 binary32) v) |
(sinh.f32 (/.f32 #s(literal 1 binary32) v)) |
#s(literal 2 binary32) |
(*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) |
(*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v) |
(/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| Outputs |
|---|
#s(approx sinTheta_i #s(literal 0 binary32)) |
#s(approx cosTheta_i cosTheta_i) |
#s(approx (* cosTheta_i cosTheta_O) (*.f32 cosTheta_O cosTheta_i)) |
#s(approx cosTheta_O cosTheta_O) |
#s(approx sinTheta_i sinTheta_i) |
#s(approx (* sinTheta_i sinTheta_O) (*.f32 sinTheta_O sinTheta_i)) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx sinTheta_O sinTheta_O) |
#s(approx v v) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
15 calls:
| Time | Variable | Point |
|---|---|---|
| 4.0ms | sinTheta_i | 0 |
| 4.0ms | v | inf |
| 3.0ms | v | 0 |
| 3.0ms | cosTheta_i | 0 |
| 2.0ms | v | -inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 92 |
| 0 | 31 | 92 |
| 1 | 96 | 90 |
| 2 | 510 | 90 |
| 3 | 5390 | 90 |
| 4 | 25554 | 90 |
| 0 | 51048 | 19 |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
sinTheta_i |
sinTheta_O |
(*.f32 sinTheta_i sinTheta_O) |
v |
(/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
(neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
(exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) |
cosTheta_i |
cosTheta_O |
(*.f32 cosTheta_i cosTheta_O) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
(*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
#s(literal 1 binary32) |
(/.f32 #s(literal 1 binary32) v) |
(sinh.f32 (/.f32 #s(literal 1 binary32) v)) |
#s(literal 2 binary32) |
(*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) |
(*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v) |
(/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| Outputs |
|---|
Compiled 229 to 39 computations (83.0% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 9 | 2 | 11 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 9 | 3 | 12 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 98.5% | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| ▶ | 60.5% | (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| ▶ | 98.0% | (/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
Compiled 53 to 22 computations (58.5% saved)
| Inputs |
|---|
1 |
2 |
| Outputs |
|---|
#s(literal 1 binary32) |
#s(literal 2 binary32) |
| 0.0ms | 1× | 0 | valid |
Compiled 4 to 4 computations (0.0% saved)
adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 431 | 2405 |
| 1× | iter-limit |
| Inputs |
|---|
sinTheta_i |
sinTheta_O |
(*.f32 sinTheta_i sinTheta_O) |
v |
(/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
(neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
(exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) |
cosTheta_i |
cosTheta_O |
(*.f32 cosTheta_i cosTheta_O) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
(*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
#s(literal 1 binary32) |
(/.f32 #s(literal 1 binary32) v) |
(sinh.f32 (/.f32 #s(literal 1 binary32) v)) |
#s(literal 2 binary32) |
(*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) |
(*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
(*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Outputs |
|---|
#s(approx sinTheta_i #s(literal 0 binary32)) |
#s(approx cosTheta_i cosTheta_i) |
#s(approx (* cosTheta_i cosTheta_O) (*.f32 cosTheta_O cosTheta_i)) |
#s(approx cosTheta_O cosTheta_O) |
#s(approx sinTheta_i sinTheta_i) |
#s(approx (* sinTheta_i sinTheta_O) (*.f32 sinTheta_O sinTheta_i)) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx sinTheta_O sinTheta_O) |
#s(approx v v) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
15 calls:
| Time | Variable | Point |
|---|---|---|
| 120.0ms | v | 0 |
| 2.0ms | cosTheta_i | 0 |
| 2.0ms | cosTheta_O | 0 |
| 2.0ms | sinTheta_O | inf |
| 2.0ms | sinTheta_i | inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 152 |
| 0 | 45 | 152 |
| 1 | 122 | 150 |
| 2 | 597 | 150 |
| 3 | 5408 | 150 |
| 4 | 23352 | 150 |
| 0 | 50218 | 23 |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
sinTheta_i |
sinTheta_O |
(*.f32 sinTheta_i sinTheta_O) |
v |
(/.f32 (*.f32 sinTheta_i sinTheta_O) v) |
(neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) |
(exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) |
cosTheta_i |
cosTheta_O |
(*.f32 cosTheta_i cosTheta_O) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
(*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
#s(literal 1 binary32) |
(/.f32 #s(literal 1 binary32) v) |
(sinh.f32 (/.f32 #s(literal 1 binary32) v)) |
#s(literal 2 binary32) |
(*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) |
(*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
(*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Outputs |
|---|
Compiled 224 to 41 computations (81.7% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 14 | 1 | 15 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 1 | 1 |
| Total | 14 | 4 | 18 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 98.5% | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| ✓ | 60.5% | (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| ✓ | 98.0% | (/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| ▶ | 60.5% | (/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
Compiled 62 to 23 computations (62.9% saved)
| Inputs |
|---|
1 |
2 |
| Outputs |
|---|
#s(literal 1 binary32) |
#s(literal 2 binary32) |
| 0.0ms | 1× | 0 | valid |
Compiled 4 to 4 computations (0.0% saved)
adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 365 | 2050 |
| 1× | iter-limit |
| Inputs |
|---|
v |
cosTheta_i |
cosTheta_O |
(*.f32 cosTheta_i cosTheta_O) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
#s(literal 1 binary32) |
#s(literal 2 binary32) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
(*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Outputs |
|---|
#s(approx v #s(literal 0 binary32)) |
#s(approx cosTheta_i cosTheta_i) |
#s(approx (* cosTheta_i cosTheta_O) (*.f32 cosTheta_O cosTheta_i)) |
#s(approx cosTheta_O cosTheta_O) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx v v) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
15 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | v | 0 |
| 2.0ms | cosTheta_i | 0 |
| 2.0ms | cosTheta_O | 0 |
| 1.0ms | cosTheta_i | inf |
| 1.0ms | sinTheta_O | inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 73 |
| 0 | 25 | 73 |
| 1 | 85 | 73 |
| 2 | 379 | 73 |
| 3 | 2462 | 73 |
| 4 | 20014 | 73 |
| 5 | 41855 | 73 |
| 0 | 50339 | 11 |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
v |
cosTheta_i |
cosTheta_O |
(*.f32 cosTheta_i cosTheta_O) |
(/.f32 (*.f32 cosTheta_i cosTheta_O) v) |
#s(literal 1 binary32) |
#s(literal 2 binary32) |
#s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) |
#s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32)) |
(*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) |
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Outputs |
|---|
Compiled 54 to 17 computations (68.5% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 6 | 0 | 6 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 6 | 4 | 10 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 98.5% | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| ✓ | 60.5% | (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| ✓ | 98.0% | (/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| ✓ | 60.5% | (/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
Compiled 62 to 23 computations (62.9% saved)
| Inputs |
|---|
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Outputs |
|---|
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Inputs |
|---|
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Outputs |
|---|
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
| Inputs |
|---|
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| Outputs |
|---|
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| Inputs |
|---|
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) #s(approx (* (* (sinh (/ 1 v)) 2) v) #s(literal 2 binary32))) |
(/.f32 (*.f32 #s(approx (exp (neg (/ (* sinTheta_i sinTheta_O) v))) #s(literal 1 binary32)) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
(/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) 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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
32 calls:
| 117.0ms | v |
| 27.0ms | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| 21.0ms | cosTheta_i |
| 12.0ms | (*.f32 cosTheta_i cosTheta_O) |
| 3.0ms | sinTheta_O |
| Accuracy | Segments | Branch |
|---|---|---|
| 60.5% | 1 | sinTheta_i |
| 60.5% | 1 | sinTheta_O |
| 60.5% | 1 | (*.f32 cosTheta_i cosTheta_O) |
| 60.5% | 1 | cosTheta_i |
| 60.5% | 1 | cosTheta_O |
| 60.5% | 1 | v |
| 60.5% | 1 | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| 60.5% | 1 | (*.f32 sinTheta_i sinTheta_O) |
| 60.5% | 1 | (*.f32 cosTheta_i cosTheta_O) |
| 60.5% | 1 | cosTheta_i |
| 60.5% | 1 | sinTheta_i |
| 60.5% | 1 | sinTheta_O |
| 60.5% | 1 | v |
| 60.5% | 1 | (*.f32 sinTheta_i sinTheta_O) |
| 60.5% | 1 | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| 60.5% | 1 | cosTheta_O |
| 98.0% | 1 | (*.f32 cosTheta_i cosTheta_O) |
| 98.0% | 1 | (*.f32 sinTheta_i sinTheta_O) |
| 98.0% | 1 | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| 98.0% | 1 | cosTheta_i |
| 98.0% | 1 | cosTheta_O |
| 98.0% | 1 | sinTheta_i |
| 98.0% | 1 | sinTheta_O |
| 98.0% | 1 | v |
| 98.5% | 1 | (*.f32 cosTheta_i cosTheta_O) |
| 98.5% | 1 | (*.f32 sinTheta_i sinTheta_O) |
| 98.5% | 1 | (/.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 #s(literal 1 binary32) v)) #s(literal 2 binary32)) v)) |
| 98.5% | 1 | cosTheta_i |
| 98.5% | 1 | cosTheta_O |
| 98.5% | 1 | sinTheta_i |
| 98.5% | 1 | sinTheta_O |
| 98.5% | 1 | v |
Compiled 194 to 143 computations (26.3% saved)
| 1× | done |
Compiled 62 to 23 computations (62.9% saved)
Compiled 580 to 482 computations (16.9% saved)
Loading profile data...