preprocess270.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

1258×	associate-*r/
1252×	associate-/r*
1054×	distribute-lft-in
948×	associate-/r/
938×	associate-*l/

Problems

189×	No Errors
50×	(sinh.f32 (/.f32 1 v))
9×	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
8×	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	150	2070
1	521	2022
2	1861	1942
3	6608	1942

Stop Event

1×	node limit

Calls

Call 1

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_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 (neg.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_i (neg.f32 cosTheta_O)) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 (neg.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 (neg.f32 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) (neg.f32 v)))) (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v))) (*.f32 (*.f32 (sinh.f32 (/.f32 1 (neg.f32 v))) 2) (neg.f32 v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 (neg.f32 cosTheta_i) cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 (neg.f32 sinTheta_i) sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v)))) (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v))) (*.f32 (*.f32 (sinh.f32 (/.f32 1 (neg.f32 v))) 2) (neg.f32 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 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v 2)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.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_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v 2)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.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 (neg.f32 cosTheta_i) cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(*.f32 (/.f32 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 (neg.f32 cosTheta_i) (/.f32 v cosTheta_O)) 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 (neg.f32 cosTheta_O)) (*.f32 v v)))
(/.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.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_i (neg.f32 cosTheta_O)) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(*.f32 (/.f32 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 (neg.f32 cosTheta_i) (/.f32 v cosTheta_O)) 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 (neg.f32 cosTheta_O)) (*.f32 v v)))
(/.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)))
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 (neg.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 (neg.f32 sinTheta_O))) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v))
(*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) v) (/.f32 (exp.f32 (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)))
(*.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (/.f32 (/.f32 (/.f32 (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v))) 2) (sinh.f32 (/.f32 1 v))) v))
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 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 (neg.f32 sinTheta_O))) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v))
(*.f32 (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) v) (/.f32 (exp.f32 (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)))
(*.f32 (*.f32 cosTheta_i (/.f32 cosTheta_O v)) (/.f32 (/.f32 (/.f32 (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v))) 2) (sinh.f32 (/.f32 1 v))) v))
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v)))) (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v))) (*.f32 (*.f32 (sinh.f32 (/.f32 1 (neg.f32 v))) 2) (neg.f32 v)))
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) (neg.f32 v))) (*.f32 2 (sinh.f32 (/.f32 1 (neg.f32 v))))) (/.f32 (/.f32 cosTheta_i (/.f32 (neg.f32 v) cosTheta_O)) (neg.f32 v)))
(*.f32 (/.f32 (exp.f32 (/.f32 sinTheta_O (/.f32 (neg.f32 v) (neg.f32 sinTheta_i)))) (sinh.f32 (/.f32 -1 v))) (/.f32 (/.f32 cosTheta_O (/.f32 (neg.f32 v) cosTheta_i)) (*.f32 -2 v)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (/.f32 sinTheta_i (neg.f32 (/.f32 v sinTheta_O))))) (*.f32 (*.f32 2 (sinh.f32 (/.f32 -1 v))) (*.f32 v v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 (neg.f32 cosTheta_i) cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(/.f32 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v 2)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(/.f32 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v 2)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 (*.f32 v 2) v)))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 (neg.f32 sinTheta_i) sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(/.f32 (neg.f32 (*.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O))) v)))) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))
(*.f32 (/.f32 (exp.f32 (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (neg.f32 (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) v)))
(*.f32 (/.f32 cosTheta_i (*.f32 v (/.f32 v (neg.f32 cosTheta_O)))) (/.f32 (/.f32 (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v))) 2) (sinh.f32 (/.f32 1 v))))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))
(/.f32 (neg.f32 (*.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O))) v)))) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))
(*.f32 (/.f32 (exp.f32 (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (neg.f32 (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) v)))
(*.f32 (/.f32 cosTheta_i (*.f32 v (/.f32 v (neg.f32 cosTheta_O)))) (/.f32 (/.f32 (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v))) 2) (sinh.f32 (/.f32 1 v))))
(neg.f32 (/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) (neg.f32 v)))) (/.f32 (*.f32 cosTheta_i cosTheta_O) (neg.f32 v))) (*.f32 (*.f32 (sinh.f32 (/.f32 1 (neg.f32 v))) 2) (neg.f32 v))))
(/.f32 (neg.f32 (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) (neg.f32 v))) (/.f32 cosTheta_i (/.f32 (neg.f32 v) cosTheta_O)))) (*.f32 (neg.f32 v) (*.f32 2 (sinh.f32 (/.f32 1 (neg.f32 v))))))
(/.f32 (neg.f32 (*.f32 (exp.f32 (/.f32 sinTheta_O (/.f32 (neg.f32 v) (neg.f32 sinTheta_i)))) (/.f32 cosTheta_O (/.f32 (neg.f32 v) cosTheta_i)))) (*.f32 (sinh.f32 (/.f32 -1 v)) (*.f32 -2 v)))
(/.f32 (/.f32 (*.f32 cosTheta_i (neg.f32 cosTheta_O)) (exp.f32 (/.f32 sinTheta_i (neg.f32 (/.f32 v sinTheta_O))))) (*.f32 (*.f32 2 (sinh.f32 (/.f32 -1 v))) (*.f32 v 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 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v 2)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.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 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_O cosTheta_i)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 sinTheta_i (/.f32 v cosTheta_O)) v))
(*.f32 (/.f32 (*.f32 (/.f32 sinTheta_i v) cosTheta_O) (sinh.f32 (/.f32 1 v))) (/.f32 (exp.f32 (/.f32 (neg.f32 cosTheta_i) (/.f32 v sinTheta_O))) (*.f32 v 2)))
(/.f32 (/.f32 (/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O v) sinTheta_i) (exp.f32 (*.f32 sinTheta_O (/.f32 cosTheta_i v)))) 2) (sinh.f32 (/.f32 1 v))) 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 (/.f32 (neg.f32 (*.f32 sinTheta_i cosTheta_i)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 sinTheta_O (/.f32 v cosTheta_O)) v))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 cosTheta_i) (/.f32 v sinTheta_i))) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 sinTheta_O (*.f32 v (/.f32 v cosTheta_O))))
(/.f32 (/.f32 (*.f32 sinTheta_O (/.f32 cosTheta_O v)) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) cosTheta_i)) (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))
(/.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 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) cosTheta_i)) (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_i)))) (/.f32 (/.f32 v (/.f32 cosTheta_i cosTheta_O)) cosTheta_i))
(*.f32 (/.f32 (/.f32 (exp.f32 (/.f32 sinTheta_O (/.f32 cosTheta_i (neg.f32 sinTheta_i)))) 2) (sinh.f32 (/.f32 1 cosTheta_i))) (/.f32 v (*.f32 cosTheta_i (/.f32 cosTheta_i cosTheta_O))))
(/.f32 (/.f32 (*.f32 cosTheta_O (/.f32 v cosTheta_i)) (pow.f32 (exp.f32 (/.f32 sinTheta_i cosTheta_i)) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 cosTheta_i)) (*.f32 cosTheta_i 2)))
(/.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 sinTheta_i (/.f32 v cosTheta_i)) v))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 cosTheta_O) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 sinTheta_i v) cosTheta_i) (*.f32 v 2)))
(/.f32 (*.f32 cosTheta_i (/.f32 sinTheta_i (pow.f32 (exp.f32 (/.f32 cosTheta_O v)) sinTheta_O))) (*.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 (/.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_i cosTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_O)) v))
(*.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 cosTheta_O)) v)) 2) (sinh.f32 (/.f32 1 v))) (/.f32 cosTheta_i (*.f32 v (/.f32 v sinTheta_O))))
(/.f32 (*.f32 cosTheta_i (/.f32 sinTheta_O (exp.f32 (*.f32 (/.f32 cosTheta_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) cosTheta_O))) (/.f32 (*.f32 cosTheta_i v) cosTheta_O)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) 2) cosTheta_O))
(/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 sinTheta_O)) cosTheta_O)) (/.f32 (*.f32 cosTheta_O (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_O)))) (/.f32 cosTheta_i (/.f32 cosTheta_O v))))
(/.f32 (exp.f32 (/.f32 sinTheta_O (/.f32 cosTheta_O (neg.f32 sinTheta_i)))) (*.f32 (/.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) (*.f32 cosTheta_O 2)) cosTheta_i) (/.f32 cosTheta_O v)))
(/.f32 (/.f32 (/.f32 cosTheta_i (/.f32 cosTheta_O v)) (pow.f32 (exp.f32 (/.f32 sinTheta_i cosTheta_O)) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) (*.f32 cosTheta_O 2)))
(/.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 (exp.f32 (/.f32 sinTheta_i (/.f32 v (neg.f32 sinTheta_O)))) (/.f32 (*.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (sinh.f32 (/.f32 1 v))) (/.f32 (*.f32 (/.f32 cosTheta_O v) cosTheta_i) (*.f32 v 2)))
(/.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) (exp.f32 (*.f32 sinTheta_O (/.f32 sinTheta_i v)))) (*.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 (*.f32 (exp.f32 (/.f32 (neg.f32 (*.f32 sinTheta_O v)) sinTheta_i)) (/.f32 cosTheta_i (/.f32 sinTheta_i cosTheta_O))) (*.f32 sinTheta_i (*.f32 2 (sinh.f32 (/.f32 1 sinTheta_i)))))
(*.f32 (/.f32 (exp.f32 (/.f32 (*.f32 sinTheta_O (neg.f32 v)) sinTheta_i)) (sinh.f32 (/.f32 1 sinTheta_i))) (/.f32 (/.f32 cosTheta_i (/.f32 sinTheta_i cosTheta_O)) (*.f32 sinTheta_i 2)))
(/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O sinTheta_i) cosTheta_i) (pow.f32 (exp.f32 (/.f32 v sinTheta_i)) sinTheta_O)) (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) (*.f32 sinTheta_i 2)))
(/.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 (neg.f32 (/.f32 sinTheta_i (/.f32 sinTheta_O v)))) (/.f32 (*.f32 sinTheta_O (*.f32 2 (sinh.f32 (/.f32 1 sinTheta_O)))) (/.f32 cosTheta_i (/.f32 sinTheta_O cosTheta_O))))
(*.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 sinTheta_O v))) (*.f32 2 (sinh.f32 (/.f32 1 sinTheta_O)))) (/.f32 (*.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_O sinTheta_O)))
(/.f32 (/.f32 (*.f32 (/.f32 cosTheta_O sinTheta_O) cosTheta_i) (exp.f32 (*.f32 v (/.f32 sinTheta_i sinTheta_O)))) (*.f32 2 (*.f32 sinTheta_O (sinh.f32 (/.f32 1 sinTheta_O)))))

Symmetry

(negabs cosTheta_i)

(negabs cosTheta_O)

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 98 to 38 computations (61.2% saved)